Logics in Artificial Intelligence

Multi-valued GRAPPA

Pages 85-101

Brewka, Gerhard (et al.)

Empirical Study on Human Evaluation of Complex Argumentation Frameworks

Pages 102-115

Cramer, Marcos (et al.)

Preprocessing Argumentation Frameworks via Replacement Patterns

Pages 116-132

Dvořák, Wolfgang (et al.)

Manipulating Skeptical and Credulous Consequences When Merging Beliefs

Pages 133-150

Haret, Adrian (et al.)

Repairing Non-monotonic Knowledge Bases

Pages 151-167

Ulbricht, Markus

$${\textsf {ACUOS}}^\mathbf {2}$$: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

Pages 171-181

Alpuente, María (et al.)

Taking Defeasible Entailment Beyond Rational Closure

Pages 182-197

Casini, Giovanni (et al.)

Typed Meta-interpretive Learning of Logic Programs

Pages 198-213

Morel, Rolf (et al.)

Explaining Actual Causation in Terms of Possible Causal Processes

Pages 214-230

Denecker, Marc (et al.)

Explaining Actual Causation via Reasoning About Actions and Change

Pages 231-246

LeBlanc, Emily (et al.)

Advancements in Resource-Driven Substructural Defeasible Logic

Pages 247-258

Olivieri, Francesco (et al.)

SLD-Resolution Reduction of Second-Order Horn Fragments

Pages 259-276

Tourret, Sophie (et al.)

Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence

Pages 279-286

Beierle, Christoph (et al.)

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability

Pages 287-303

Berg, Jeremias (et al.)

Facets of Distribution Identities in Probabilistic Team Semantics

Pages 304-320

Hannula, Miika (et al.)

Privacy-Preserving Ontology Publishing for $$\mathcal {EL} $$ Instance Stores

Pages 323-338

Baader, Franz (et al.)

A Bayesian Extension of the Description Logic $$\mathcal {ALC}$$

Pages 339-354

Botha, Leonard (et al.)

Computing Minimal Projection Modules for $$\mathcal{ELH}^{r}$$-Terminologies

Pages 355-370

Chen, Jieying (et al.)

Closed-World Semantics for Conjunctive Queries with Negation over $$\mathcal {ELH}_\bot $$ Ontologies

Pages 371-386

Borgwardt, Stefan (et al.)

Extending $$\mathcal {ALC}$$ with the Power-Set Construct

Pages 387-398

Giordano, Laura (et al.)

Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs

Pages 399-417

Kriegel, Francesco

Learning Ontologies with Epistemic Reasoning: The $$\mathcal{E\!L}$$ Case

Pages 418-433

Ozaki, Ana (et al.)

Counting Strategies for the Probabilistic Description Logic $$\mathcal {ALC}^\mathsf {ME}$$ Under the Principle of Maximum Entropy

Pages 434-449

Wilhelm, Marco (et al.)

Memory-Saving Evaluation Plans for Datalog

Pages 453-461

Allocca, Carlo (et al.)

Chain Answer Sets for Logic Programs with Generalized Atoms

Pages 462-478

Alviano, Mario (et al.)

Algorithm Selection for Paracoherent Answer Set Computation

Pages 479-489

Amendola, Giovanni (et al.)

Extending Bell Numbers for Parsimonious Chase Estimation

Pages 490-497

Amendola, Giovanni (et al.)

The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners

Pages 498-508

Breu, Christian (et al.)

Lower Bound Founded Logic of Here-and-There

Pages 509-525

Cabalar, Pedro (et al.)

A Logic-Based Question Answering System for Cultural Heritage

Pages 526-541

Cuteri, Bernardo (et al.)

Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs

Pages 542-558

Geibinger, Tobias (et al.)

$$\mathsf {Uhura}$$: An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language

Pages 559-575

Kain, Tobias (et al.)

Abstraction for Non-ground Answer Set Programs

Pages 576-592

Saribatur, Zeynep G. (et al.)

The Hexlite Solver

Pages 593-607

Schüller, Peter

Epistemic Answer Set Programming

Pages 608-626

Su, Ezgi Iraz

A Logic of Objective and Subjective Oughts

Pages 629-641

Ramírez Abarca, Aldo Iván (et al.)

On the Complexity of Graded Modal Logics with Converse

Pages 642-658

Bednarczyk, Bartosz (et al.)

The Dynamic Logic of Policies and Contingent Planning

Pages 659-674

Bolander, Thomas (et al.)

Interpolation and Beth Definability in Default Logics

Pages 675-691

Cassano, Valentin (et al.)

Axiomatising Logics with Separating Conjunction and Modalities

Pages 692-708

Demri, Stéphane (et al.)

Nested Sequents for the Logic of Conditional Belief

Pages 709-725

Girlando, Marianna (et al.)

Reasoning About Cognitive Attitudes in a Qualitative Setting

Pages 726-743

Lorini, Emiliano

Computational Complexity of Core Fragments of Modal Logics T, K4, and S4

Pages 744-759

Wałęga, Przemysław Andrzej

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Pages 763-777

Boudou, Joseph (et al.)

Interval Temporal Logic Decision Tree Learning

Pages 778-793

Brunello, Andrea (et al.)

Stable-Ordered Models for Propositional Theories with Order Operators

Pages 794-802

Oetsch, Johannes (et al.)

Cut-Free Calculi and Relational Semantics for Temporal STIT Logics

Pages 803-819

Berkel, Kees (et al.)