Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers / [electronic resource] :
edited by John-Jules C. Meyer, Pierre-Yves Schobbens.
- 1st ed. 1999.
- VIII, 260 p. online resource.
- Lecture Notes in Artificial Intelligence, 1760 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 1760 .
Formal Models of Agents: An Introduction -- A Model of BDI-Agent in Game-Theoretic Framework -- Dynamic Belief Hierarchies -- Modelling Internal Dynamic Behaviour of BDI Agents -- Towards an Agent-Oriented Framework for Specification of Information Systems -- The Impossibility of Modelling Cooperation in PD-Game -- Designing Multi-agent Systems around an Extensible Communication Abstraction -- Social Interactions of Autonomous Agents: Private and Global Views on Communication -- Towards a Proof-Theoretic Foundation for Actor Specification and Verification -- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios -- Agents’ Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems -- Preferential Action Semantics (Preliminary Report) -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) -- The Role of Diagnosis and Decision Theory in Normative Reasoning -- Contextual Deontic Logic.
9783540465812
10.1007/3-540-46581-2 doi
Artificial intelligence.
Software engineering.
Computer systems.
Computer science.
Computer networks .
Artificial Intelligence.
Software Engineering.
Computer System Implementation.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Q334-342 TA347.A78
006.3
Formal Models of Agents: An Introduction -- A Model of BDI-Agent in Game-Theoretic Framework -- Dynamic Belief Hierarchies -- Modelling Internal Dynamic Behaviour of BDI Agents -- Towards an Agent-Oriented Framework for Specification of Information Systems -- The Impossibility of Modelling Cooperation in PD-Game -- Designing Multi-agent Systems around an Extensible Communication Abstraction -- Social Interactions of Autonomous Agents: Private and Global Views on Communication -- Towards a Proof-Theoretic Foundation for Actor Specification and Verification -- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios -- Agents’ Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems -- Preferential Action Semantics (Preliminary Report) -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) -- The Role of Diagnosis and Decision Theory in Normative Reasoning -- Contextual Deontic Logic.
9783540465812
10.1007/3-540-46581-2 doi
Artificial intelligence.
Software engineering.
Computer systems.
Computer science.
Computer networks .
Artificial Intelligence.
Software Engineering.
Computer System Implementation.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Q334-342 TA347.A78
006.3