Formal models of agents : ESPRIT Project ModelAge Final Workshop : selected papers
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
1760 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal models of agents, ESPRIT Project ModelAge final workshop, selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.), 1999, New York, Springer, 1 vol. (VIII-251 p.), Lecture notes in computer science, 3-540-67027-0 • Formal Models of Agents, Texte imprimé, 9783662166338 |
Sommario:
- 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.