ModelAge Workshop 1997

@proceedings{DBLP:conf/modelage/1997,
  editor    = {John-Jules Ch. Meyer and
               Pierre-Yves Schobbens},
  title     = {Formal Models of Agents, ESPRIT Project ModelAge Final Workshop,
               Selected Papers},
  booktitle = {ModelAge Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1760},
  year      = {1999},
  isbn      = {3-540-67027-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• John-Jules Ch. Meyer, Pierre-Yves Schobbens:
  Formal Models of Agents: An Introduction. 1-7
  Electronic Edition (Springer LINK) BibTeX
• Stanislaw Ambroszkiewicz, Jan Komar:
  A Model of BDI-Agent in Game-Theoretic Framework. 8-19
  Electronic Edition (Springer LINK) BibTeX
• John Bell, Zhisheng Huang:
  Dynamic Belief Hierarchies. 20-35
  Electronic Edition (Springer LINK) BibTeX
• Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge:
  Modelling Internal Dynamic Behaviour of BDI Agents. 36-56
  Electronic Edition (Springer LINK) BibTeX
• Stefan Conrad, Gunter Saake, Can Türker:
  Towards an Agent-Oriented Framework for Specification of Information Systems. 57-73
  Electronic Edition (Springer LINK) BibTeX
• Rosaria Conte, Cristiano Castelfranchi, Roberto Pedone:
  The Impossibility of Modelling Cooperation in PD-Game. 74-89
  Electronic Edition (Springer LINK) BibTeX
• Enrico Denti, Andrea Omicini:
  Designing Multi-agent Systems around an Extensible Communication Abstraction. 90-102
  Electronic Edition (Springer LINK) BibTeX
• Frank Dignum:
  Social Interactions of Autonomous Agents: Private and Global Views on Communication. 103-122
  Electronic Edition (Springer LINK) BibTeX
• Carlos H. C. Duarte:
  Towards a Proof-Theoretic Foundation for Actor Specification and Verification. 123-142
  Electronic Edition (Springer LINK) BibTeX
• Barbara Dunin-Keplicz, Anna Radzikowska:
  Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. 143-156
  Electronic Edition (Springer LINK) BibTeX
• Bruno Errico:
  Agents' Dynamic Mental Attitudes. 157-172
  Electronic Edition (Springer LINK) BibTeX
• Peter Fröhlich, Iara de Almeida Móra, Wolfgang Nejdl, Michael Schroeder:
  Diagnostic Agents for Distributed Systems. 173-186
  Electronic Edition (Springer LINK) BibTeX
• John-Jules Ch. Meyer, Patrick Doherty:
  Preferential Action Semantics (Preliminary Report). 187-201
  Electronic Edition (Springer LINK) BibTeX
• Henry Prakken:
  Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report). 202-215
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX
• Leendert W. N. van der Torre, Yao-Hua Tan:
  Contextual Deontic Logic. 240-251
  Electronic Edition (Springer LINK) BibTeX