Logics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings / edited by Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin.

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
1 online resource (XIV, 498 pages) : 49 illustrations
1st ed. 2012.
Computer Science (Springer-11645)
Lecture notes in computer science. Lecture notes in artificial intelligence 7519
Lecture Notes in Artificial Intelligence ; 7519
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Artificial intelligence.
Logic, Symbolic and mathematical.
Computer logic.
Computer programming.
Information storage and retrieval.
Optical data processing.
Local subjects:
Artificial Intelligence. (search)
Mathematical Logic and Formal Languages. (search)
Logics and Meanings of Programs. (search)
Programming Techniques. (search)
Information Storage and Retrieval. (search)
Computer Imaging, Vision, Pattern Recognition and Graphics. (search)
System Details:
text file PDF
This 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.
Preferential 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.
Fariñas del Cerro, Luis, editor., Editor,
Herzig, Andreas. editor., Editor,
Mengin, Jérôme, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-642-33353-8 doi
Access Restriction:
Restricted for use by site license.