Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers > Reasoning About Epistemic States of Agents by Modal Logic Programming
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers |
Francesca Toni; Paolo Torroni
Springer Berlin Heidelberg
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Reasoning About Epistemic States of Agents by Modal Logic Programming
Authors

Linh Anh Nguyen

ARI Id

1665043676766_4592761

Access

Not Available Free

Pages

37-56

DOI

10.1007/11750734_3

Chapter URL

https://rd.springer.com/chapter/10.1007/11750734_3

Table of Contents of Book
Showing 1 to 20 of 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
The Logical Way to Be Artificially Intelligent
Robert Kowalski
1-22
Ability in a Multi-agent Context: A Model in the Situation Calculus
Laurence Cholvy; Christophe Garion; Claire Saurel
23-36
Reasoning About Epistemic States of Agents by Modal Logic Programming
Linh Anh Nguyen
37-56
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
Thomas Ågotnes; Michal Walicki
57-76
Logical Spaces in Multi-agent Only Knowing Systems
Bjørnar Solhaug; Arild Waaler
77-95
Trustworthiness by Default
Johan W. Klüwer; Arild Waaler
96-111
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
Regimantas Pliuškevičius; Aida Pliuškevičienė
112-128
Implementing Temporal Logics: Tools for Execution and Proof
Michael Fisher
129-142
BDI Agent Programming in AgentSpeak Using Jason
Rafael H. Bordini; Jomi F. Hübner
143-164
Using the KGP Model of Agency to Design Applications
Fariba Sadri
165-185
Multi-threaded Communicating Agents in Qu-Prolog
Keith L. Clark; Peter J. Robinson; Silvana Zappacosta Amboldi
186-205
Variety of Behaviours Through Profiles in Logic-Based Agents
Fariba Sadri; Francesca Toni
206-225
Contract-Related Agents
John Knottenbelt; Keith Clark
226-242
Specification and Verification of Agent Interaction Using Abductive Reasoning
Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni
243-264
Verification of Protocol Conformance and Agent Interoperability
Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti
265-283
Contextual Terminologies
Davide Grossi; Frank Dignum; John-Jules Ch. Meyer
284-302
Constitutive Norms in the Design of Normative Multiagent Systems
Guido Boella; Leendert van der Torre
303-319
Combining Answer Sets of Nonmonotonic Logic Programs
Chiaki Sakama; Katsumi Inoue
320-339
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
Martine Ceberio; Hiroshi Hosobe; Ken Satoh
340-357
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings