| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Enrico Franconi, Alessandro Mosca 0001, Xavier Oriol, Guillem Rull, Ernest Teniente |
Logic Foundations of the OCL Modelling Language.  |
JELIA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Knorr 0001, José Júlio Alferes |
Preserving Strong Equivalence while Forgetting. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlos Peppas, Mary-Anne Williams |
Constructive Models for Contraction with Intransitive Plausibility Indifference. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer |
Reasoning about Dynamic Normative Systems. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Oikarinen, Matti Järvisalo |
Answer Set Solver Backdoors. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Köhler, Uwe Leck, Sebastian Link, Henri Prade |
Logical Foundations of Possibilistic Keys. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bartholomew, Joohyung Lee 0002 |
System aspmt2smt: Computing ASPMT Theories by SMT Solvers. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Askounis, Costas D. Koutras, Christos Moyzes, Yorgos Zikos |
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
SAT Modulo Graphs: Acyclicity. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Georgatos |
A Logic for Belief Contraction. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Lara Spendier |
Tools for the Investigation of Substructural and Paraconsistent Logics. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Rott |
Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Feuillade, Andreas Herzig |
A Dynamic View of Active Integrity Constraints. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Saïd Jabbour, João Marques-Silva 0001, Lakhdar Sais, Yakoub Salhi |
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé |
Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandiño, Michael Fink 0001 |
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |
Verification of Context-Sensitive Knowledge and Action Bases. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Thomas Eiter, Nicola Leone |
Modular Paracoherent Answer Sets. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Besnard |
Revisiting Postulates for Inconsistency Measures. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde |
A Free Logic for Stable Models with Partial Intensional Functions. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Fermé, João Leite 0001 (eds.) |
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylwia Polberg, Dragan Doder |
Probabilistic Abstract Dialectical Frameworks. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casini, Thomas Meyer 0002, Kodylan Moodley, Riku Nortje |
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Ludwig, Rafael Peñaloza |
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese |
Query Answering over Description Logic Ontologies. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
Finitary S5-Theories. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jussi Rintanen |
Constraint-Based Algorithm for Computing Temporal Invariants. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Alessandra Russo, Krysia Broda |
Inductive Learning of Answer Set Programs. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar 0001, Javier Espert, José Meseguer 0001 |
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Marti, Riccardo Pinosio |
Similarity Orders from Causal Equations. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismail Ilkan Ceylan, Rafael Peñaloza |
Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Slavkovik 0001, Thomas Ågotnes |
Measuring Dissimilarity between Judgment Sets. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eichhorn 0001, Gabriele Kern-Isberner |
LEG Networks for Ranking Functions. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Daria Stepanova 0001 |
Computing Repairs for Inconsistent DL-programs over EL Ontologies. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Slota, João Leite 0001 |
A Unifying Perspective on Knowledge Updates. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Beck, Thomas Eiter, Thomas Krennwallner |
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Alenda, Nicola Olivetti, Gian Luca Pozzato |
Nested Sequent Calculi for Conditional Logics. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitin Yadav, Sebastian Sardiña |
Reasoning about Agent Programs Using ATL-Like Logics. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Franconi, Volha Kerhet, Nhung Ngo |
Exact Query Reformulation with First-Order Ontologies and Databases. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Gerald Weidinger, Antonius Weinzierl |
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lellmann, Dirk Pattinson |
Sequent Systems for Lewis' Conditional Logics. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller |
Exploiting Unfounded Sets for HEX-Program Evaluation. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Zamansky |
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani |
Using Satisfiability for Non-optimal Temporal Planning. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra |
Building an Epistemic Logic for Argumentation. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
The Tableau Prover Generator MetTeL2. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoya Inoue, Kentaro Inui |
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Lehmann, Anni-Yasmin Turhan |
A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Verheij |
Jumping to Conclusions - A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Golinska-Pilarek |
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Finthammer, Christoph Beierle |
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Holbrook, Pavel Naumov |
Fault Tolerance in Belief Formation Networks. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Antoun Yaacoub |
Deciding the Bisimilarity Relation between Datalog Goals. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Krümpelmann, Gabriele Kern-Isberner |
Belief Base Change Operations for Answer Set Programming. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lluís Godo, Enrico Marchioni, Pere Pardo |
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitin Yadav, Sebastian Sardiña |
Qualitative Approximate Behavior Composition. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Gabaldon |
A Selective Semantics for Logic Programs with Preferences. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-Engine ASP Solver me-asp. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Alenda, Nicola Olivetti |
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen |
Conditional Epistemic Planning. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang |
Relevant Minimal Change in Belief Update. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Saffidine |
Minimal Proof Search for Modal Logic K Model Checking. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Dirk Walther 0002 |
On Satisfiability in ATL with Strategy Contexts. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Stocker 0001, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 |
Verifying Brahms Human-Robot Teamwork Models. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli |
Conflict-Tolerant Semantics for Argumentation Frameworks. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
A Minimal Model Semantics for Nonmonotonic Reasoning. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Booth 0001, Thomas Meyer 0002, Ivan José Varzinczak |
PTL: A Propositional Typicality Logic. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Srdjan Vesic, Leendert W. N. van der Torre |
Beyond Maxi-Consistent Argumentation Operators. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Nickles |
A System for the Use of Answer Set Programming in Reinforcement Learning. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.) |
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Bastien Maubert, François Schwarzentruber |
Generalized DEL-Sequents. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Balax, Florence Dupin de Saint-Cyr, David Villard |
DebateWEL: An Interface for Debating with Enthymemes and Logical Formulas. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat |
The Complexity of One-Agent Refinement Modal Logic. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano |
The View-Update Problem for Indefinite Databases. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Askounis, Costas D. Koutras, Yorgos Zikos |
Knowledge Means 'All', Belief Means 'Most'. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ciucci, Didier Dubois |
Three-Valued Logics for Incomplete Information and Epistemic Logic. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Martin Caminada, Andreas Herzig |
A Logical Account of Lying. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Parametrized Logic Programming. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
A Normal Form for Linear Temporal Equilibrium Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, Radu Grigore, João Marques-Silva 0001 |
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Costas D. Koutras, Yorgos Zikos |
Stable Belief Sets Revisited. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
An Incremental Answer Set Programming Based System for Finite ModelComputation. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Antonius Weinzierl |
Preference-Based Inconsistency Assessment in Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Grote, Torsten Schaub |
Coala: A Compiler from Action Languages to ASP. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casini, Umberto Straccia |
Rational Closure for Defeasible Description Logics. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fink 0001, David Pearce 0001 |
A Logical Semantics for Description Logic Programs. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Krötzsch |
Efficient Inferencing for OWL EL. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Szymon Klarman, Víctor Gutiérrez-Basulto |
ALCALC: A Context Description Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Darwiche |
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Bögl, Thomas Eiter, Michael Fink 0001, Peter Schüller |
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Loris Bozzato, Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
A Decidable Constructive Description Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Benferhat, Sylvain Lagrue, Safa Yahi |
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Anna Zamansky |
Similarity-Based Inconsistency-Tolerant Logics. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001, Stefan Woltran |
Sets of Boolean Connectives That Make Argumentation Easier. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license