default search action
JELIA 2012: Toulouse, France
- Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin:
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7519, Springer 2012, ISBN 978-3-642-33352-1
Regular Papers
- Régis Alenda, Nicola Olivetti:
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. 1-13 - Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
:
Nested Sequent Calculi for Conditional Logics. 14-27 - Ofer Arieli:
Conflict-Tolerant Semantics for Argumentation Frameworks. 28-40 - Dimitris Askounis, Costas D. Koutras
Knowledge Means 'All', Belief Means 'Most'. 41-53 - Guillaume Aucher, Bastien Maubert
Generalized DEL-Sequents. 54-66 - Philippe Balbiani
Deciding the Bisimilarity Relation between Datalog Goals. 67-79 - Harald Beck, Thomas Eiter, Thomas Krennwallner
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. 80-93 - Mikkel Birkegaard Andersen, Thomas Bolander
Conditional Epistemic Planning. 94-106 - Richard Booth, Thomas Meyer
PTL: A Propositional Typicality Logic. 107-119 - Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat:
The Complexity of One-Agent Refinement Modal Logic. 120-133 - Luciano Caroprese
The View-Update Problem for Indefinite Databases. 134-146 - Davide Ciucci
Three-Valued Logics for Incomplete Information and Epistemic Logic. 147-159 - Thomas Eiter, Michael Fink, Thomas Krennwallner
Exploiting Unfounded Sets for HEX-Program Evaluation. 160-175 - Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani:
Using Satisfiability for Non-optimal Temporal Planning. 176-188 - Marc Finthammer, Christoph Beierle:
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. 189-201 - Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation with First-Order Ontologies and Databases. 202-214 - Alfredo Gabaldon
A Selective Semantics for Logic Programs with Preferences. 215-227 - Laura Giordano
A Minimal Model Semantics for Nonmonotonic Reasoning. 228-241 - Lluís Godo
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. 242-254 - Joanna Golinska-Pilarek
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. 255-266 - Sarah Holbrook, Pavel Naumov
Fault Tolerance in Belief Formation Networks. 267-280 - Naoya Inoue
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference. 281-293 - Patrick Krümpelmann, Gabriele Kern-Isberner:
Belief Base Change Operations for Answer Set Programming. 294-306 - Karsten Lehmann, Anni-Yasmin Turhan:
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. 307-319 - Björn Lellmann
Sequent Systems for Lewis' Conditional Logics. 320-332 - Laurent Perrussel, Jerusa Marchi
Relevant Minimal Change in Belief Update. 333-345 - Abdallah Saffidine:
Minimal Proof Search for Modal Logic K Model Checking. 346-358 - François Schwarzentruber
Building an Epistemic Logic for Argumentation. 359-371 - Martin Slota, João Leite
A Unifying Perspective on Knowledge Updates. 372-384 - Richard Stocker, Louise A. Dennis
Verifying Brahms Human-Robot Teamwork Models. 385-397 - Nicolas Troquard
On Satisfiability in ATL with Strategy Contexts. 398-410 - Bart Verheij:
Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. 411-423 - Srdjan Vesic, Leendert W. N. van der Torre
Beyond Maxi-Consistent Argumentation Operators. 424-436 - Nitin Yadav
Reasoning about Agent Programs Using ATL-Like Logics. 437-449 - Nitin Yadav
Qualitative Approximate Behavior Composition. 450-462 - Anna Zamansky:
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. 463-475
System Descriptions
- Julien Balax, Florence Dupin de Saint-Cyr
DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas. 476-479 - Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl:
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. 480-483 - Marco Maratea, Luca Pulina
The Multi-Engine ASP Solver me-asp. 484-487 - Matthias Nickles
A System for the Use of Answer Set Programming in Reinforcement Learning. 488-491 - Dmitry Tishkovsky, Renate A. Schmidt
The Tableau Prover Generator MetTeL2. 492-495
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: