000 05055nam a22006735i 4500
001 978-3-642-40624-9
003 DE-He213
005 20240730173953.0
007 cr nn 008mamaa
008 130910s2013 gw | s |||| 0|eng d
020 _a9783642406249
_9978-3-642-40624-9
024 7 _a10.1007/978-3-642-40624-9
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aComputational Logic in Multi-Agent Systems
_h[electronic resource] :
_b14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /
_cedited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran.
250 _a1st ed. 2013.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXXIV, 391 p. 75 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v8143
505 0 _aFrom Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! - Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.
520 _aThis book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and Normative Multi-Agent Systems.
650 0 _aArtificial intelligence.
_93407
650 0 _aMachine theory.
_9110561
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aApplication software.
_9110562
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aFormal Languages and Automata Theory.
_9110563
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aComputer and Information Systems Applications.
_9110564
700 1 _aLeite, João.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110565
700 1 _aSon, Tran Cao.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110566
700 1 _aTorroni, Paolo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110567
700 1 _avan der Torre, Leon.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110568
700 1 _aWoltran, Stefan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9110569
710 2 _aSpringerLink (Online service)
_9110570
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642406232
776 0 8 _iPrinted edition:
_z9783642406256
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v8143
_9110571
856 4 0 _uhttps://doi.org/10.1007/978-3-642-40624-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89194
_d89194