LEADER 06366nam 22007935 450 001 996465589503316 005 20200630023206.0 010 $a3-642-33353-2 024 7 $a10.1007/978-3-642-33353-8 035 $a(CKB)3400000000086225 035 $a(SSID)ssj0000767547 035 $a(PQKBManifestationID)11419311 035 $a(PQKBTitleCode)TC0000767547 035 $a(PQKBWorkID)10758149 035 $a(PQKB)10413222 035 $a(DE-He213)978-3-642-33353-8 035 $a(MiAaPQ)EBC3069964 035 $a(PPN)168324237 035 $a(EXLCZ)993400000000086225 100 $a20120906d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence$b[electronic resource] $e13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings /$fedited by Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XIV, 498 p. 49 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v7519 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-33352-4 320 $aIncludes bibliographical references and author index. 327 $aPreferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models -- Nested Sequent Calculi for Conditional Logics -- Conflict-Tolerant Semantics for Argumentation Frameworks -- Knowledge Means ?All ?, Belief Means ?Most? -- Generalized DEL-Sequents -- Deciding the Bisimilarity Relation between Datalog Goals -- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results -- Conditional Epistemic Planning -- PTL: A Propositional Typicality Logic -- The Complexity of One-Agent Refinement Modal Logic -- The View-Update Problem for Indefinite Databases -- Three-Valued Logics for Incomplete Information and Epistemic Logic -- Exploiting Unfounded Sets for HEX-Program Evaluation -- Using Satisfiability for Non-optimal Temporal Planning -- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic -- Exact Query Reformulation with First-Order Ontologies and Databases -- A Selective Semantics for Logic Programs with Preferences -- A Minimal Model Semantics for Nonmonotonic Reasoning -- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights -- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility -- Fault Tolerance in Belief Formation Networks -- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference -- Belief Base Change Operations for Answer Set Programming -- A Framework for Semantic-Based Similarity Measures for ELH-Concepts -- Sequent Systems for Lewis? Conditional Logics -- Relevant Minimal Change in Belief Update -- Minimal Proof Search for Modal Logic K Model Checking -- Building an Epistemic Logic for Argumentation -- A Unifying Perspective on Knowledge Updates -- Verifying Brahms Human-Robot Teamwork Models -- On Satisfiability in ATL with Strategy Contexts -- Jumping to Conclusions: A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments -- Beyond Maxi-Consistent Argumentation Operators -- Reasoning about Agent Programs Using ATL-Like Logics -- Qualitative Approximate Behavior Composition -- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information -- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas -- OMiGA: An Open Minded Grounding On-The-Fly Answer Set Solver -- The Multi-Engine ASP Solver ME-ASP -- A System for the Use of Answer Set Programming in Reinforcement Learning -- The Tableau Prover Generator MetTeL2. 330 $aThis book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence. 410 0$aLecture Notes in Artificial Intelligence ;$v7519 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aComputer programming 606 $aInformation storage and retrieval 606 $aOptical data processing 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22005 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aInformation storage and retrieval. 615 0$aOptical data processing. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aInformation Storage and Retrieval. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 676 $a006.3 702 $aFariñas del Cerro$b Luis$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHerzig$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMengin$b Jérôme$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aJELIA 2012 906 $aBOOK 912 $a996465589503316 996 $aLogics in Artificial Intelligence$9772596 997 $aUNISA