04799nam 22008295 450 99646584020331620200703092743.03-642-05301-710.1007/978-3-642-05301-6(CKB)1000000000798308(SSID)ssj0000318586(PQKBManifestationID)11245642(PQKBTitleCode)TC0000318586(PQKBWorkID)10311617(PQKB)10872617(DE-He213)978-3-642-05301-6(MiAaPQ)EBC3064711(PPN)139959262(EXLCZ)99100000000079830820100301d2009 u| 0engurnn|008mamaatxtccrKnowledge Representation for Agents and Multi-Agent Systems[electronic resource] First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers /edited by John-Jules Meyer, Jan M. Broersen1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (VII, 162 p.) Lecture Notes in Artificial Intelligence ;5605International conference proceedings.3-642-05300-9 Includes bibliographical references and index.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.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.Lecture Notes in Artificial Intelligence ;5605Artificial intelligenceUser interfaces (Computer systems)ComputersMathematical logicData miningApplication softwareArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000User Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Data Mining and Knowledge Discoveryhttps://scigraph.springernature.com/ontologies/product-market-codes/I18030Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Kongress.swdSydney (2008)swdArtificial intelligence.User interfaces (Computer systems).Computers.Mathematical logic.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).004n/aDAT 709fstubSS 4800rvkMeyer John-Julesedthttp://id.loc.gov/vocabulary/relators/edtBroersen Jan Medthttp://id.loc.gov/vocabulary/relators/edtKRAMAS 2008BOOK996465840203316Knowledge Representation for Agents and Multi-Agent Systems773770UNISA