Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Reasoning About Epistemic States of Agents by Modal Logic Programming -- Strongly Complete Axiomatizations...”
Cover Image
Read Now

4
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic...”