default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 2014: Funchal, Madeira, Portugal
- Eduardo Fermé
, João Leite:
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8761, Springer 2014, ISBN 978-3-319-11557-3
Invited Talks
- Diego Calvanese:
Query Answering over Description Logic Ontologies. 1-17 - Agata Ciabattoni, Lara Spendier:
Tools for the Investigation of Substructural and Paraconsistent Logics. 18-32 - Hector Geffner:
Non-classical Planning with a Classical Planner: The Power of Transformations. 33-47 - Anthony Hunter:
Opportunities for Argument-Centric Persuasion in Behaviour Change. 48-61
Description Logics
- Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. 62-76 - Ismail Ilkan Ceylan, Rafael Peñaloza:
Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. 77-91 - Giovanni Casini, Thomas Meyer, Kodylan Moodley, Riku Nortje:
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. 92-106 - Michel Ludwig, Rafael Peñaloza:
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. 107-121
Automated Reasoning
- Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. 122-136 - Martin Gebser, Tomi Janhunen, Jussi Rintanen:
SAT Modulo Graphs: Acyclicity. 137-151 - Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi:
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. 152-165 - Jori Bomanson, Martin Gebser, Tomi Janhunen:
Improving the Normalization of Weight Rules in Answer Set Programs. 166-180
Logics for Uncertain Reasoning
- Henning Köhler, Uwe Leck, Sebastian Link, Henri Prade:
Logical Foundations of Possibilistic Keys. 181-195 - Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé:
Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information. 196-209 - Christian Eichhorn, Gabriele Kern-Isberner:
LEG Networks for Ranking Functions. 210-223 - Henning Köhler, Sebastian Link:
Logics for Approximating Implication Problems of Saturated Conditional Independence. 224-238
Non-Classical Logics
- Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Finitary S5-Theories. 239-252 - Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Efficient Program Transformers for Translating LCC to PDL. 253-266 - Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. 267-281 - Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos:
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report. 282-296
Answer-Set Programming
- Pedro Cabalar, Jorge Fandiño, Michael Fink:
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. 297-310 - Mark Law, Alessandra Russo, Krysia Broda:
Inductive Learning of Answer Set Programs. 311-325 - Joohyung Lee, Yi Wang:
Stable Models of Fuzzy Propositional Formulas. 326-339 - Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
A Free Logic for Stable Models with Partial Intensional Functions. 340-354
Belief Revision
- Pavlos Peppas, Mary-Anne Williams:
Constructive Models for Contraction with Intransitive Plausibility Indifference. 355-367 - Hans Rott:
Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination. 368-382 - Philippe Besnard:
Revisiting Postulates for Inconsistency Measures. 383-396 - Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
A Translation-Based Approach for Revision of Argumentation Frameworks. 397-411
Dealing with Inconsistency in ASP and DL
- Matthias Knorr, José Júlio Alferes:
Preserving Strong Equivalence while Forgetting. 412-425 - Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs for Inconsistent DL-programs over EL Ontologies. 426-441 - Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel:
A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases. 442-456 - Giovanni Amendola, Thomas Eiter, Nicola Leone:
Modular Paracoherent Answer Sets. 457-471
Reason about Actions and Causality
- Fabio Patrizi, Stavros Vassos:
Action Theories over Generalized Databases with Equality Constraints. 472-485 - Guillaume Feuillade, Andreas Herzig:
A Dynamic View of Active Integrity Constraints. 486-499 - Johannes Marti, Riccardo Pinosio:
Similarity Orders from Causal Equations. 500-513 - Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso:
Verification of Context-Sensitive Knowledge and Action Bases. 514-528
System Descriptions
- Michael Bartholomew, Joohyung Lee:
System aspmt2smt: Computing ASPMT Theories by SMT Solvers. 529-542 - Alexander Baumgartner, Temur Kutsia:
A Library of Anti-unification Algorithms. 543-557 - Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran:
The D-FLAT System for Dynamic Programming on Tree Decompositions. 558-572
Short System Descriptions
- María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. 573-581 - François Schwarzentruber, Jin-Kao Hao:
Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. 582-590
Short Papers
- Sylwia Polberg, Dragan Doder:
Probabilistic Abstract Dialectical Frameworks. 591-599 - Cosmina Croitoru:
Argumentative Aggregation of Individual Opinions. 600-608 - Marija Slavkovik, Thomas Ågotnes:
Measuring Dissimilarity between Judgment Sets. 609-617 - Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino:
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. 618-627 - Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about Dynamic Normative Systems. 628-636 - Costas D. Koutras, Christos Moyzes, Yorgos Zikos:
A Modal Logic of Knowledge, Belief, and Estimation. 637-646 - Konstantinos Georgatos:
A Logic for Belief Contraction. 647-656 - Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
Logic Foundations of the OCL Modelling Language. 657-664 - Jussi Rintanen:
Constraint-Based Algorithm for Computing Temporal Invariants. 665-673 - Emilia Oikarinen, Matti Järvisalo:
Answer Set Solver Backdoors. 674-683 - Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura:
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. 684-693 - Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego:
Revisiting Reductants in the Multi-adjoint Logic Programming Framework. 694-702
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-12-03 20:34 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:
