Knowledge Representation for Agents and Multi-Agent Systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / edited by John-Jules Meyer, Jan M. Broersen.

Format:

Book

Contributor:

Meyer, John-Jules, editor.

Broersen, Jan M., editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 5605.

Lecture Notes in Artificial Intelligence ; 5605

Language:

English

Subjects (All):

Artificial intelligence.

User interfaces (Computer systems).

Computers.

Logic, Symbolic and mathematical.

Data mining.

Application software.

Artificial Intelligence.

User Interfaces and Human Computer Interaction.

Theory of Computation.

Mathematical Logic and Formal Languages.

Data Mining and Knowledge Discovery.

Information Systems Applications (incl. Internet).

Local Subjects:

Artificial Intelligence.

User Interfaces and Human Computer Interaction.

Theory of Computation.

Mathematical Logic and Formal Languages.

Data Mining and Knowledge Discovery.

Information Systems Applications (incl. Internet).

Physical Description:

1 online resource (VII, 162 pages).

Edition:

First edition 2009.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

System Details:

text file PDF

Summary:

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.

Contents:

Reasoning about Other Agents' Beliefs under Bounded Resources

Normative Multi-agent Programs and Their Logics

Modal Logics for Preferences and Cooperation: Expressivity and Complexity

Simulation and Information: Quantifying over Epistemic Events

On the Dynamics of Institutional Agreements

From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic

Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms

Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments

Information-Based Argumentation

Mediation = Information Revelation + Analogical Reasoning.

Other Format:

Printed edition:

ISBN:

978-3-642-05301-6

9783642053016

Access Restriction:

Restricted for use by site license.