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
Language
eng
Summary
This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997. The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making
Member of
Cataloging source
COO
Dewey number
006.3
Illustrations
illustrations
Index
index present
LC call number
QA76.76.I58
LC item number
F67 1999
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1961-
http://library.link/vocab/relatedWorkOrContributorName
  • Meyer, John-Jules Ch
  • Schobbens, Pierre-Yves
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)
  • Formal methods (Computer science)
  • Intelligent agents (Computer software)
Label
Formal models of agents : ESPRIT Project ModelAge final workshop selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
Instantiates
Publication
Note
Papers from workshop held in 1997
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
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
326670244
Dimensions
unknown
Extent
1 online resource (viii, 251 pages)
Form of item
online
Isbn
9783540465812
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-46581-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)326670244
Label
Formal models of agents : ESPRIT Project ModelAge final workshop selected papers, John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
Publication
Note
Papers from workshop held in 1997
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
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
326670244
Dimensions
unknown
Extent
1 online resource (viii, 251 pages)
Form of item
online
Isbn
9783540465812
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-46581-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)326670244

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...