default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 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
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-05 20:50 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:
