Skip to content

Logics in Artificial Intelligence, European Conference

JELIA

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation · Artificial Intelligence

Papers indexed

727

1990–2025

Papers per year

199070 peak2025

JELIA papers

727 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2019Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey.Didier Dubois, Henri Prade
2019Explaining Actual Causation in Terms of Possible Causal Processes.Marc Denecker, Bart Bogaerts, Joost Vennekens
2019Axiomatising Logics with Separating Conjunction and Modalities.Stphane Demri, Raul Fervari, Alessio Mansutti
2019A Logic-Based Question Answering System for Cultural Heritage.Bernardo Cuteri, Kristian Reale, Francesco Ricca
2019Empirical Study on Human Evaluation of Complex Argumentation Frameworks.Marcos Cramer, Mathieu Guillaume
2019Computing Minimal Projection Modules forJieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
2019Interpolation and Beth Definability in Default Logics.Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2019Taking Defeasible Entailment Beyond Rational Closure.Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019Lower Bound Founded Logic of Here-and-There.Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019Interval Temporal Logic Decision Tree Learning.Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan
2019Multi-valued GRAPPA.Gerhard Brewka, Jrg Phrer, Stefan Woltran
2019The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners.Christian Breu, Axel Ind, Julia Mertesdorf, Marco Ragni
2019Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.Joseph Boudou, Martn Diguez, David Fernndez-Duque, Fabin Romero
2019A Bayesian Extension of the Description LogicLeonard Botha, Thomas Meyer, Rafael Pealoza
2019Closed-World Semantics for Conjunctive Queries with Negation overStefan Borgwardt, Walter Forkel
2019The Dynamic Logic of Policies and Contingent Planning.Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmller, Bernhard Nebel
2019A Possible World View and a Normal Form for the Constellation Semantics.Stefano Bistarelli, Theofrastos Mantadelis
2019Well-Foundedness in Weighted Argumentation Frameworks.Stefano Bistarelli, Francesco Santini
2019Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.Kees van Berkel, Tim S. Lyon
2019Unifying Reasoning and Core-Guided Search for Maximum Satisfiability.Jeremias Berg, Matti Jrvisalo
2019Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.Christoph Beierle, Steven Kutsch
2019On the Complexity of Graded Modal Logics with Converse.Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
2019AGM Meets Abstract Argumentation: Contraction for Dung Frameworks.Ringo Baumann, Felix Linker
2019Privacy-Preserving Ontology Publishing forFranz Baader, Francesco Kriegel, Adrian Nuradiansyah
2019Extending Bell Numbers for Parsimonious Chase Estimation.Giovanni Amendola, Cinzia Marte
151175 of 727← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.