000 05220nam a22006015i 4500
001 978-3-642-33353-8
003 DE-He213
005 20160624102218.0
007 cr nn 008mamaa
008 120906s2012 gw | s |||| 0|eng d
020 _a9783642333538
_9978-3-642-33353-8
024 7 _a10.1007/978-3-642-33353-8
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aLogics in Artificial Intelligence
_h[electronic resource] :
_b13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
_cedited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXIV, 498 p. 49 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 Computer Science,
_x0302-9743 ;
_v7519
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aLogic design.
650 0 _aInformation storage and retrieval systems.
650 0 _aArtificial intelligence.
650 0 _aComputer vision.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aProgramming Techniques.
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aComputer Imaging, Vision, Pattern Recognition and Graphics.
700 1 _aCerro, Luis Fariñas.
_eeditor.
700 1 _aHerzig, Andreas.
_eeditor.
700 1 _aMengin, Jérôme.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642333521
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7519
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-33353-8
942 _2EBK10480
_cEBK
999 _c39774
_d39774