ModelAge Workshop 1997
John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.): Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-67027-0- Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge: Modelling Internal Dynamic Behaviour of BDI Agents. 36-56
- Stefan Conrad, Gunter Saake, Can Türker: Towards an Agent-Oriented Framework for Specification of Information Systems. 57-73
- Rosaria Conte, Cristiano Castelfranchi, Roberto Pedone: The Impossibility of Modelling Cooperation in PD-Game. 74-89
- Enrico Denti, Andrea Omicini: Designing Multi-agent Systems around an Extensible Communication Abstraction. 90-102
- Frank Dignum: Social Interactions of Autonomous Agents: Private and Global Views on Communication. 103-122
- Carlos H. C. Duarte: Towards a Proof-Theoretic Foundation for Actor Specification and Verification. 123-142
- Barbara Dunin-Keplicz, Anna Radzikowska: Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. 143-156
- Bruno Errico: Agents' Dynamic Mental Attitudes. 157-172
- Peter Fröhlich, Iara de Almeida Móra, Wolfgang Nejdl, Michael Schroeder: Diagnostic Agents for Distributed Systems. 173-186
- Henry Prakken: Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report). 202-215
- Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan: The Role of Diagnosis and Decision Theory in Normative Reasoning. 216-239
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team