![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
JELIA 2019: Rende, Italy
- Francesco Calimeri
, Nicola Leone, Marco Manna:
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11468, Springer 2019, ISBN 978-3-030-19569-4
Invited Talks
- Didier Dubois, Henri Prade:
Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey. 3-20 - Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Vadalog: Recent Advances and Applications. 21-37
Belief Revision and Argumentation
- Ringo Baumann, Felix Linker:
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. 41-57 - Stefano Bistarelli
, Theofrastos Mantadelis
:
A Possible World View and a Normal Form for the Constellation Semantics. 58-68 - Stefano Bistarelli
, Francesco Santini:
Well-Foundedness in Weighted Argumentation Frameworks. 69-84 - Gerhard Brewka
, Jörg Pührer
, Stefan Woltran
:
Multi-valued GRAPPA. 85-101 - Marcos Cramer, Mathieu Guillaume:
Empirical Study on Human Evaluation of Complex Argumentation Frameworks. 102-115 - Wolfgang Dvorák
, Matti Järvisalo
, Thomas Linsbichler
, Andreas Niskanen
, Stefan Woltran
:
Preprocessing Argumentation Frameworks via Replacement Patterns. 116-132 - Adrian Haret
, Johannes Peter Wallner
:
Manipulating Skeptical and Credulous Consequences When Merging Beliefs. 133-150 - Markus Ulbricht
:
Repairing Non-monotonic Knowledge Bases. 151-167
Causal, Defeasible and Inductive Reasoning
- 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. 171-181 - Giovanni Casini
, Thomas Meyer
, Ivan Varzinczak
:
Taking Defeasible Entailment Beyond Rational Closure. 182-197 - Rolf Morel, Andrew Cropper, C.-H. Luke Ong:
Typed Meta-interpretive Learning of Logic Programs. 198-213 - Marc Denecker
, Bart Bogaerts
, Joost Vennekens
:
Explaining Actual Causation in Terms of Possible Causal Processes. 214-230 - Emily C. LeBlanc
, Marcello Balduccini
, Joost Vennekens
:
Explaining Actual Causation via Reasoning About Actions and Change. 231-246 - Francesco Olivieri
, Guido Governatori
, Matteo Cristani
:
Advancements in Resource-Driven Substructural Defeasible Logic. 247-258 - Sophie Tourret
, Andrew Cropper
:
SLD-Resolution Reduction of Second-Order Horn Fragments. 259-276
Conditional, Probabilistic and Propositional Logic
- Christoph Beierle, Steven Kutsch:
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. 279-286 - Jeremias Berg
, Matti Järvisalo
:
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. 287-303 - Miika Hannula
, Åsa Hirvonen
, Juha Kontinen
, Vadim Kulikov, Jonni Virtema
:
Facets of Distribution Identities in Probabilistic Team Semantics. 304-320
Description Logics
- Franz Baader
, Francesco Kriegel
, Adrian Nuradiansyah
:
Privacy-Preserving Ontology Publishing for EL Instance Stores. 323-338 - Leonard Botha
, Thomas Meyer
, Rafael Peñaloza
:
A Bayesian Extension of the Description Logic ALC. 339-354 - Jieying Chen
, Michel Ludwig
, Yue Ma
, Dirk Walther
:
Computing Minimal Projection Modules for ELH^r -Terminologies. 355-370 - Stefan Borgwardt
, Walter Forkel
:
Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies. 371-386 - Laura Giordano
, Alberto Policriti
:
Extending ALC with the Power-Set Construct. 387-398 - Francesco Kriegel
:
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. 399-417 - Ana Ozaki
, Nicolas Troquard
:
Learning Ontologies with Epistemic Reasoning: The E\!L Case. 418-433 - Marco Wilhelm
, Gabriele Kern-Isberner
, Andreas Ecke
, Franz Baader
:
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. 434-449
Logic Programming
- Carlo Allocca
, Roberta Costabile
, Alessio Fiorentino
, Simona Perri
, Jessica Zangari
:
Memory-Saving Evaluation Plans for Datalog. 453-461 - Mario Alviano
, Wolfgang Faber
:
Chain Answer Sets for Logic Programs with Generalized Atoms. 462-478 - Giovanni Amendola
, Carmine Dodaro
, Wolfgang Faber
, Luca Pulina
, Francesco Ricca
:
Algorithm Selection for Paracoherent Answer Set Computation. 479-489 - Giovanni Amendola
, Cinzia Marte
:
Extending Bell Numbers for Parsimonious Chase Estimation. 490-497 - Christian Breu
, Axel Ind
, Julia Mertesdorf
, Marco Ragni
:
The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners. 498-508 - Pedro Cabalar
, Jorge Fandinno
, Torsten Schaub
, Sebastian Schellhorn
:
Lower Bound Founded Logic of Here-and-There. 509-525 - Bernardo Cuteri
, Kristian Reale
, Francesco Ricca
:
A Logic-Based Question Answering System for Cultural Heritage. 526-541 - Tobias Geibinger
, Hans Tompits
:
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. 542-558 - Tobias Kain
, Hans Tompits
:
\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language. 559-575 - Zeynep G. Saribatur
, Peter Schüller
, Thomas Eiter
:
Abstraction for Non-ground Answer Set Programs. 576-592 - Peter Schüller
:
The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. 593-607 - Ezgi Iraz Su
:
Epistemic Answer Set Programming. 608-626
Modal and Default Logic
- Aldo Iván Ramírez Abarca, Jan M. Broersen:
A Logic of Objective and Subjective Oughts. 629-641 - Bartosz Bednarczyk
, Emanuel Kieronski
, Piotr Witkowski
:
On the Complexity of Graded Modal Logics with Converse. 642-658 - Thomas Bolander
, Thorsten Engesser
, Andreas Herzig
, Robert Mattmüller
, Bernhard Nebel
:
The Dynamic Logic of Policies and Contingent Planning. 659-674 - Valentin Cassano, Raul Fervari, Carlos Areces
, Pablo F. Castro:
Interpolation and Beth Definability in Default Logics. 675-691 - Stéphane Demri, Raul Fervari, Alessio Mansutti
:
Axiomatising Logics with Separating Conjunction and Modalities. 692-708 - Marianna Girlando
, Björn Lellmann
, Nicola Olivetti
:
Nested Sequents for the Logic of Conditional Belief. 709-725 - Emiliano Lorini:
Reasoning About Cognitive Attitudes in a Qualitative Setting. 726-743 - Przemyslaw Andrzej Walega:
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. 744-759
Temporal Logic
- Joseph Boudou, Martín Diéguez
, David Fernández-Duque
, Fabián Romero
:
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. 763-777 - Andrea Brunello
, Guido Sciavicco
, Ionel Eduard Stan
:
Interval Temporal Logic Decision Tree Learning. 778-793 - Johannes Oetsch
, Juan Carlos Nieves:
Stable-Ordered Models for Propositional Theories with Order Operators. 794-802 - Kees van Berkel
, Tim Lyon
:
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. 803-819
![](https://dblp.org/img/cog.dark.24x24.png)
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.