Coverart for item
The Resource Formal models of agents : ESPRIT Project ModelAge final workshop : selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)

Formal models of agents : ESPRIT Project ModelAge final workshop : selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)

Label
Formal models of agents : ESPRIT Project ModelAge final workshop : selected papers
Title
Formal models of agents
Title remainder
ESPRIT Project ModelAge final workshop : selected papers
Statement of responsibility
John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
EQO
Illustrations
illustrations
Index
index present
LC call number
QA76.76.I58
LC item number
F67 1999
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1961-
http://library.link/vocab/relatedWorkOrContributorName
  • Schobbens, Pierre-Yves
  • Meyer, John-Jules Ch
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1760.
http://library.link/vocab/subjectName
  • Intelligent agents (Computer software)
  • Formal methods (Computer science)
Label
Formal models of agents : ESPRIT Project ModelAge final workshop : selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Formal models of agents : an introduction / John-Jules Ch. Meyer and Pierre-Yves Schobbens -- A model of BDI-agent in game-theoretic framework / Stanisław Ambroszkiewicz and Jan Komar -- Dynamic belief hierarchies / John Bell and Zhisheng Huang -- Modelling internal dynamic behaviour of BDI agents / Frances Brazier [and others] -- Towards an agent-oriented framework for specification of information systems / Stefan Conrad, Gunter Saake, Can Türker -- The impossibility of modelling cooperation in PD-game / Rosaria Conte, Cristiano Castelfranchi and Roberto Pedone -- Designing multi-agent systems around an extensible communication abstraction / Enrico Denti and Andrea Omicini -- Social interactions of autonomous agents : private and global views on communication / Frank Dignum -- Towards a proof-theoretic foundation for actor specification and verification / Carlos H.C. Duarte -- Nondeterministic actions with typical effects : reasoning about scenarios / Barbara Dunin-Kep̧licz and Anna Radzikowska -- Agents' dynamic mental attitudes / Bruno Errico -- Diagnostic agents for distributed systems / Peter Fröhlich [and others] -- Preferential action semantics (preliminary report) / John-Jules Ch. Meyer and Patrick Doherty -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) / Henry Prakken -- The role of diagnosis and decision theory in normative reasoning / Leendert W.N. van der Torre [and others] -- Contextual deontic logic / Leendert W.N. van der Torre [and others]
Control code
43318713
Dimensions
24 cm
Extent
viii, 251 pages
Isbn
9783540670278
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Formal models of agents : ESPRIT Project ModelAge final workshop : selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Formal models of agents : an introduction / John-Jules Ch. Meyer and Pierre-Yves Schobbens -- A model of BDI-agent in game-theoretic framework / Stanisław Ambroszkiewicz and Jan Komar -- Dynamic belief hierarchies / John Bell and Zhisheng Huang -- Modelling internal dynamic behaviour of BDI agents / Frances Brazier [and others] -- Towards an agent-oriented framework for specification of information systems / Stefan Conrad, Gunter Saake, Can Türker -- The impossibility of modelling cooperation in PD-game / Rosaria Conte, Cristiano Castelfranchi and Roberto Pedone -- Designing multi-agent systems around an extensible communication abstraction / Enrico Denti and Andrea Omicini -- Social interactions of autonomous agents : private and global views on communication / Frank Dignum -- Towards a proof-theoretic foundation for actor specification and verification / Carlos H.C. Duarte -- Nondeterministic actions with typical effects : reasoning about scenarios / Barbara Dunin-Kep̧licz and Anna Radzikowska -- Agents' dynamic mental attitudes / Bruno Errico -- Diagnostic agents for distributed systems / Peter Fröhlich [and others] -- Preferential action semantics (preliminary report) / John-Jules Ch. Meyer and Patrick Doherty -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) / Henry Prakken -- The role of diagnosis and decision theory in normative reasoning / Leendert W.N. van der Torre [and others] -- Contextual deontic logic / Leendert W.N. van der Torre [and others]
Control code
43318713
Dimensions
24 cm
Extent
viii, 251 pages
Isbn
9783540670278
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...