FEEDBACK Smiley face
Formal Models of Agents ESPRIT Project ModelAge Final Workshop Selected Papers / [electronic resource] : edited by John-Jules Ch. Meyer, Pierre-Yves Schobbens. - VIII, 260 p. online resource. - Lecture Notes in Computer Science, 1760 0302-9743 ; . - Lecture Notes in Computer Science, 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.


10.1007/3-540-46581-2 doi

Computer science.
Computer communication systems.
Architecture, Computer.
Software engineering.
Computer logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.

Q334-342 TJ210.2-211.495


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: