E-Books durchsuchen
Formal Models of Agents [2002]
- 1
-
Formal Models of Agents: An Introduction
- 2
-
A Model of BDI-Agent in Game-Theoretic Framework
- 3
-
Dynamic Belief Hierarchies
- 4
-
Modelling Internal Dynamic Behaviour of BDI Agents
- 5
-
Towards an Agent-Oriented Framework for Specification of Information Systems
- 6
-
The Impossibility of Modelling Cooperation in PD-Game
- 7
-
Designing Multi-agent Systems around an Extensible Communication Abstraction
- 8
-
Social Interactions of Autonomous Agents: Private and Global Views on Communication
- 9
-
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
- 10
-
Nondeterministic Actions with Typical Effects: Reasoning about Scenarios
- 11
-
Agents’ Dynamic Mental Attitudes
- 12
-
Diagnostic Agents for Distributed Systems
- 13
-
Preferential Action Semantics (Preliminary Report)
- 14
-
Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)
- 15
-
The Role of Diagnosis and Decision Theory in Normative Reasoning
- 16
-
Contextual Deontic Logic