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
Feedback