Knowledge Representation for Agents and Multi-Agent Systems | First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers. Este artículo no está disponible.Knowledge Representation for Agents and Multi-Agent Systems | First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers

This book comprises the formal proceedings of KRAMAS 2008, a workshop on Knowledge Representation for Agents and Multi-Agent Systems, held at KR 2008, Sydney, Australia, September 17, 2008. The initiative for KRAMAS 2008 wastakenbylastyear’sKRChairstoenhancecross-fertilizationbetweentheKR (KnowledgeRepresentationandReasoning)andagentcommunities. Topromote participation in the KR schedule, the workshop was conveniently ’sandwiched’ between days with regular KR sessions. The topics solicited included: - Knowledge representation and reasoning aspects of agent systems (lang- ges, ontologies, techniques) - Reasoning about (actions of) agents - Reasoning methods (such asnon-monotonic reasoning,abduction, argum- tation, diagnosis, planning, decision making under uncertainty, reasoning about preference, . . . ) applied to agents and multi-agent systems (MAS) - Theory of negotiation, communication, cooperation, group decision making, game theory for MAS - Cognitive robotics - Representations of other agents / opponent models - Logics for intelligent agents and MAS - Speci?cation and veri?cation techniques for agents - Automated reasoning techniques for agent-based systems - Logicalfoundationsofagent-basedsystems,normativeMASande-institutions - Formal semantics of agent programming languages - Formal techniques for agent-oriented programming and agent-oriented so- ware engineering We originally received 14 papers. There were two review rounds: the ?rst one deciding on acceptance for presentation at the workshop, and the second one deciding on inclusion of revised, extended and resubmitted versions of the presented papers in these proceedings. Of the original14, 10 papers made it into these proceedings. The workshop was a success and proved that there is indeed muchinterestinthe problemsandissuesarisingatthe junctionofKRandMAS.

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.