Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised . (Lecture Notes in Computer Science, 5605)

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.