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 |
|
computerwetenschappen |
|
computer sciences |
|
patroonherkenning |
|
pattern recognition |
|
machine vision |
|
informatieontsluiting |
|
information retrieval |
|
informatieopslag |
|
information storage |
|
programmeren |
|
programming |
|
kunstmatige intelligentie |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
Subject |
Artificial intelligence -- Congresses
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
Informatique.
|
|
Artificial intelligence
|
|
Logic, Symbolic and mathematical
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Fariñas del Cerro, Luis.
|
|
Herzig, Andreas, 1949-
|
|
Mengin, Jérôme.
|
ISBN |
9783642333538 |
|
3642333532 |
|
3642333524 |
|
9783642333521 |
|