Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008336045/catalog> ?p ?o. }

• catalog abstract "This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these. We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology.".
• catalog contributor b11605316.
• catalog contributor b11605317.
• catalog created "c1999.".
• catalog date "1999".
• catalog date "c1999.".
• catalog dateCopyrighted "c1999.".
• catalog description "-- 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 ... [et al.] -- Contextual deontic logic / Leendert W.N. van der Torre ... [et al.].".
• catalog description "-- 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-Kȩplicz and Anna Radzikowska -- Agents' dynamic mental attitudes / Bruno Errico -- Diagnostic agents for distributed systems / Peter Fröhlich ... [et al.] -- Preferential action semantics (preliminary report) / John-Jules Ch. Meyer and Patrick Doherty".
• catalog description "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 ... [et al.] -- 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.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these. We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology.".
• catalog extent "viii, 251 p. :".
• catalog identifier "3540670270 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1760. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science ; 1760.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "1999".
• catalog issued "c1999.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "006.3 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer Communication Networks.".
• catalog subject "Computer science.".
• catalog subject "Formal methods (Computer science)".
• catalog subject "Intelligent agents (Computer software)".
• catalog subject "Logic design.".
• catalog subject "QA76.76.I58 F67 1999".
• catalog subject "Software engineering.".
• catalog tableOfContents "-- 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 ... [et al.] -- Contextual deontic logic / Leendert W.N. van der Torre ... [et al.].".
• catalog tableOfContents "-- 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-Kȩplicz and Anna Radzikowska -- Agents' dynamic mental attitudes / Bruno Errico -- Diagnostic agents for distributed systems / Peter Fröhlich ... [et al.] -- Preferential action semantics (preliminary report) / John-Jules Ch. Meyer and Patrick Doherty".
• catalog tableOfContents "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 ... [et al.] -- 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.".
• catalog title "Formal models of agents : ESPRIT Project ModelAge final workshop selected papers / John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.).".
• catalog type "Certosa di Pertignano (1997) swd".
• catalog type "text".