| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rolf Morel, Andrew Cropper, C.-H. Luke Ong |
Typed Meta-interpretive Learning of Logic Programs.  |
JELIA  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
Well-Foundedness in Weighted Argumentation Frameworks. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski 0001 |
On the Complexity of Graded Modal Logics with Converse. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001 |
Chain Answer Sets for Logic Programs with Generalized Atoms. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Ulbricht |
Repairing Non-monotonic Knowledge Bases. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
Vadalog: Recent Advances and Applications. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tourret, Andrew Cropper |
SLD-Resolution Reduction of Second-Order Horn Fragments. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezgi Iraz Su |
Epistemic Answer Set Programming. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Oetsch, Juan Carlos Nieves |
Stable-Ordered Models for Propositional Theories with Order Operators. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonard Botha, Thomas Meyer 0002, Rafael Peñaloza |
A Bayesian Extension of the Description Logic ALC. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Theofrastos Mantadelis |
A Possible World View and a Normal Form for the Constellation Semantics. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Raul Fervari, Alessio Mansutti |
Axiomatising Logics with Separating Conjunction and Modalities. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Steven Kutsch |
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Cramer, Mathieu Guillaume |
Empirical Study on Human Evaluation of Complex Argumentation Frameworks. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini |
Reasoning About Cognitive Attitudes in a Qualitative Setting. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Borgwardt, Walter Forkel |
Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
Privacy-Preserving Ontology Publishing for EL Instance Stores. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep Gozen Saribatur, Peter Schüller, Thomas Eiter |
Abstraction for Non-ground Answer Set Programs. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel |
The Dynamic Logic of Policies and Contingent Planning. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the Power-Set Construct. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega |
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo Iván Ramírez Abarca, Jan M. Broersen |
A Logic of Objective and Subjective Oughts. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Haret, Johannes Peter Wallner |
Manipulating Skeptical and Credulous Consequences When Merging Beliefs. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran |
Preprocessing Argumentation Frameworks via Replacement Patterns. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Olivieri, Guido Governatori, Matteo Cristani |
Advancements in Resource-Driven Substructural Defeasible Logic. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Bart Bogaerts 0001, Joost Vennekens |
Explaining Actual Causation in Terms of Possible Causal Processes. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
Interpolation and Beth Definability in Default Logics. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Ozaki, Nicolas Troquard |
Learning Ontologies with Epistemic Reasoning: The E\!L Case. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois, Henri Prade |
Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Kain, Hans Tompits |
\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Jörg Pührer, Stefan Woltran |
Multi-valued GRAPPA. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari |
Memory-Saving Evaluation Plans for Datalog. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 |
Computing Minimal Projection Modules for ELH^r -Terminologies. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Lower Bound Founded Logic of Here-and-There. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak |
Taking Defeasible Entailment Beyond Rational Closure. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens |
Explaining Actual Causation via Reasoning About Actions and Change. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca |
Algorithm Selection for Paracoherent Answer Set Computation. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Geibinger, Hans Tompits |
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Kriegel |
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Cinzia Marte |
Extending Bell Numbers for Parsimonious Chase Estimation. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schüller |
The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema |
Facets of Distribution Identities in Probabilistic Team Semantics. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremias Berg, Matti Järvisalo |
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees van Berkel 0002, Tim Lyon |
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader |
Counting Strategies for the Probabilistic Description Logic ALC^\mathsf ME Under the Principle of Maximum Entropy. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianna Girlando, Björn Lellmann, Nicola Olivetti |
Nested Sequents for the Logic of Conditional Belief. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer |
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuteri, Kristian Reale, Francesco Ricca |
A Logic-Based Question Answering System for Cultural Heritage. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan |
Interval Temporal Logic Decision Tree Learning. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero |
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Felix Linker |
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Breu, Axel Ind, Julia Mertesdorf, Marco Ragni |
The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohreh Shams, Nir Oren |
A Two-Phase Dialogue Game for Skeptical Preferred Semantics. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifan Jin, Kewen Wang, Zhe Wang 0001, Zhiqiang Zhuang |
Revising Possibilistic Knowledge Bases via Compatibility Degrees. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylwia Polberg |
Understanding the Abstract Dialectical Framework. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlos Peppas, Mary-Anne Williams |
Kinetic Consistency and Relevance in Belief Revision. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kuznets |
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Dominik Wojtczak |
On Decidability of a Logic of Gossips. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarina Britz, Ivan José Varzinczak |
Introducing Role Defeasibility in Description Logics. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Raul Fervari |
Hilbert-Style Axiomatization for Hybrid XPath with Data. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Philipp, Adrian Rebola-Pardo |
DRAT Proofs for XOR Reasoning. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Doherty 0001, Jonas Kvarnström, Andrzej Szalas |
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Verheij |
Correct Grounded Reasoning with Presumptive Arguments. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
Prompt Interval Temporal Logic. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmina Croitoru, Kurt Mehlhorn |
Opposition Frameworks. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, David Pearce 0001 |
On the Expressiveness of Temporal Equilibrium Logic. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Martín Diéguez |
Temporal Here and There. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer |
Inconsistency Management in Reactive Multi-context Systems. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Tobias Kaminski |
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Greco, Francesco Parisi |
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Boudou, Emiliano Lorini |
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao |
On Hierarchical Task Networks. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Fang Fan, Churn-Jung Liau |
Reasoning About Justified Belief Based on the Fusion of Evidence. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 |
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Forgetting in ASP: The Forgotten Properties. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza |
Efficient Reasoning for Inconsistent Horn Formulae. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang |
Refinement of Intentions. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Ulbricht, Matthias Thimm, Gerhard Brewka |
Measuring Inconsistency in Answer Set Programs. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin |
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Naumov, Jia Tao |
Information Flow Under Budget Constraints. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
Writing Declarative Specifications for Clauses. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro |
Metabolic Pathways as Temporal Logic Programs. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Yaggie, György Turán |
Characterizability in Horn Belief Revision. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Hunter, Eric Tsang |
GenB: A General Solver for AGM Revision. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Panos Rondogiannis, Ioanna Symeonidou |
Extensional Semantics for Higher-Order Logic Programs with Negation. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Basseda, Michael Kifer |
Formalizing Goal Serializability for Evaluation of Planning Features. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo |
Pakota: A System for Enforcement in Abstract Argumentation. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Nickles |
A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Loizos Michael, Antonis C. Kakas (eds.) |
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Pavlos Marantidis, Alexander Okhotin |
Approximate Unification in the Description Logic FL_0. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep Gozen Saribatur, Thomas Eiter |
Reactive Policies with Planning for Action Languages. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, David Pearce 0001, Levan Uridia |
On Logics of Group Belief in Structured Coalitions. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Bomanson, Martin Gebser, Tomi Janhunen |
Improving the Normalization of Weight Rules in Answer Set Programs. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada |
Efficient Program Transformers for Translating LCC to PDL. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran |
The D-FLAT System for Dynamic Programming on Tree Decompositions. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Jesús Medina, Manuel Ojeda-Aciego |
Revisiting Reductants in the Multi-adjoint Logic Programming Framework. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license