000			05125nam a22005895i 4500
001			978-3-642-33353-8
003			DE-He213
005			20140220083326.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
100	1		_aCerro, Luis Fariñas. _eeditor.
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.
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		_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
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v7519
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-33353-8
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c103623 _d103623