![Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Workshop Selected Papers /](/search/themes/bootstrap3/images/libros.png)
Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Workshop Selected Papers /
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.
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1999
|
| Subjects: | 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., |
| Online Access: | http://dx.doi.org/10.1007/3-540-46581-2 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|