Logic for Safe Reinforcement Learning (abstract)

Reinforcement Learning Meets Logic Programming: Towards Explainable AI (abstract)

Exact Approaches for the Diverse Satisfiability Problem (abstract)

Maximum Satisfiability Formulations for Nonlinear Integer Programming (abstract)

Inclusion with repetitions and Boolean constants -- implication problems revisited (abstract)

On Extracting Legal Arguments (abstract)

Interpolating Parametric Array Theories (abstract)

Comparing Dialectical Systems: Contradiction and Counterexample in Iterated Belief Revision (abstract)

Extending Defeasibility for Propositional Standpoint Logics (abstract)

Towards Practicable Defeasible Reasoning for ABoxes (abstract)

Closure-Based Tractable Possibilistic Inference from Partially Ordered DL-Lite Ontologies (abstract)

The InfOCF Library for Reasoning With Conditional Belief Bases (abstract)

GL-based calculi for PCL and its deontic cousin (abstract)

Dual Scale Detachment (abstract)

Formal Explanations of Black-Box Ranking Functions (abstract)

Why this and not that? A Logic-based Framework for Contrastive Explanations (abstract)

A Uniform Language for Safety, Robustness and Explainability (abstract)

Tackling Semantics-Aware Machine Learning and Explanations for Knowledge Graph Refinement (abstract)

deon-B: A language for Well-Founded Deontic Planning (abstract)

On the Sensitivity of Extension Semantics to Similarity (abstract)

SCC-recursiveness in infinite argumentation (abstract)

Completing Structured Arguments in Assumption-based Argumentation (abstract)

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback (abstract)

AxSAT - Bringing Axioms to SAT Planning (abstract)

Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing (abstract)

Explanations of Unsatisfiability Beyond Minimal Subsets (abstract)

Refinement-Based Enumeration of QBF Solutions (abstract)

Refined Notions of QBF Equivalences (abstract)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics (abstract)

A Kripke Semantics for Intuitionistic Lukasiewicz Logic with Weak Excluded Middle (abstract)

From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness (abstract)

On a Second-Order Version of Russellian Theory of Definite Descriptions (abstract)

Deciding Non-Fregean Identities: A Dual Tableau Approach (abstract)

It is Possible! Distance Semantics for Modal Belief Revision (abstract)

Lockean beliefs that are deductively closed and minimal change (abstract)

Lazy Atom Discovery in Compilation-Based ASP Solving (abstract)

Encoding Action Reversibility In Planning Using Quantified ASP and Bule (abstract)

DIRT: a Literature-Based Benchmark Suite for Grounders (abstract)

Generalizing the Syntax of Terms in Mini-gringo (abstract)

An Experiment with Anthem: Semantic Equivalence of Tiling Programs (abstract)

A framework for computing upper bounds in passive learning settings (abstract)

On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order (abstract)

Alternating-Time Temporal Logic with Default Actions (abstract)

Engineering and Evaluating Multi-objective Pseudo-boolean Optimizers (abstract)

Unsupervised Automata Learning via Discrete Optimization (abstract)

Finding short tree-like unit refutations in UTVPI Constraint Systems (abstract)

Exposure and Hiding: Approaching the Objective Probability and Hiding the Secret in Zero-Knowledge Proof (abstract)