Limit search to available items
Book Cover
Author JELIA (Conference) (13th : 2012 : Toulouse, France)

Title Logics in artificial intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)
Published Berlin ; New York : Springer, [2012]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource
Series Lecture notes in artificial intelligence ; 7519
Lecture notes in computer science, 0302-9743
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence ; 7519
Lecture notes in computer science.
LNCS sublibrary. SL 7, Artificial intelligence.
Contents Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models / Régis Alenda and Nicola Olivetti -- Nested Sequent Calculi for Conditional Logics / Régis Alenda, Nicola Olivetti and Gian Luca Pozzato -- Conflict-Tolerant Semantics for Argumentation Frameworks / Ofer Arieli -- Knowledge Means 'All', Belief Means 'Most' / Dimitris Askounis, Costas D. Koutras and Yorgos Zikos -- Generalized DEL-Sequents / Guillaume Aucher, Bastien Maubert and François Schwarzentruber -- Deciding the Bisimilarity Relation between Datalog Goals / Philippe Balbiani and Antoun Yaacoub -- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results / Harald Beck, Thomas Eiter and Thomas Krennwallner -- Conditional Epistemic Planning / Mikkel Birkegaard Andersen, Thomas Bolander and Martin Holm Jensen -- PTL: A Propositional Typicality Logic / Richard Booth, Thomas Meyer and Ivan Varzinczak -- The Complexity of One-Agent Refinement Modal Logic / Laura Bozzelli, Hans van Ditmarsch and Sophie Pinchinat -- The View-Update Problem for Indefinite Databases / Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński and Ester Zumpano
Three-Valued Logics for Incomplete Information and Epistemic Logic / Davide Ciucci and Didier Dubois -- Exploiting Unfounded Sets for HEX-Program Evaluation / Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl and Peter Schüller -- Using Satisfiability for Non-optimal Temporal Planning / Masood Feyzbakhsh Rankooh, Ali Mahjoob and Gholamreza Ghassem-Sani -- How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic / Marc Finthammer and Christoph Beierle -- Exact Query Reformulation with First-Order Ontologies and Databases / Enrico Franconi, Volha Kerhet and Nhung Ngo -- A Selective Semantics for Logic Programs with Preferences / Alfredo Gabaldon -- A Minimal Model Semantics for Nonmonotonic Reasoning / Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato -- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights / Lluís Godo, Enrico Marchioni and Pere Pardo -- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility / Joanna Golińska-Pilarek
Fault Tolerance in Belief Formation Networks / Sarah Holbrook and Pavel Naumov -- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference / Naoya Inoue and Kentaro Inui -- Belief Base Change Operations for Answer Set Programming / Patrick Krümpelmann and Gabriele Kern-Isberner -- A Framework for Semantic-Based Similarity Measures for ELH-Concepts / Karsten Lehmann and Anni-Yasmin Turhan -- Sequent Systems for Lewis' Conditional Logics / Björn Lellmann and Dirk Pattinson -- Relevant Minimal Change in Belief Update / Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin and Dongmo Zhang -- Minimal Proof Search for Modal Logic K Model Checking / Abdallah Saffidine -- Building an Epistemic Logic for Argumentation / François Schwarzentruber, Srdjan Vesic and Tjitze Rienstra -- A Unifying Perspective on Knowledge Updates / Martin Slota and João Leite -- Verifying Brahms Human-Robot Teamwork Models / Richard Stocker, Louise Dennis, Clare Dixon and Michael Fisher -- On Satisfiability in ATL with Strategy Contexts / Nicolas Troquard and Dirk Walther
Jumping to Conclusions / A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments / Bart Verheij -- Beyond Maxi-Consistent Argumentation Operators / Srdjan Vesic and Leendert van der Torre -- Reasoning about Agent Programs Using ATL-Like Logics / Nitin Yadav and Sebastian Sardina -- Qualitative Approximate Behavior Composition / Nitin Yadav and Sebastian Sardina -- A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information / Anna Zamansky -- DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas / Julien Balax, Florence Dupin de Saint-Cyr and David Villard -- OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver / Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger and Antonius Weinzierl -- The Multi-Engine ASP Solver me-asp / Marco Maratea, Luca Pulina and Francesco Ricca -- A System for the Use of Answer Set Programming in Reinforcement Learning / Matthias Nickles -- The Tableau Prover Generator MetTeL2 / Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi
Summary 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
Analysis Computer science
Logic design
Information storage and retrieval systems
Artificial intelligence
Computer vision
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
Notes International conference proceedings
Bibliography Includes bibliographical references and author index
Subject Artificial intelligence -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Fariñas del Cerro, Luis.
Herzig, Andreas, 1949-
Mengin, Jérôme.
ISBN 9783642333538 (electronic bk.)
3642333532 (electronic bk.)
Other Titles JELIA 2012