Nonmonotonic Reasoning as a Temporal Activity (abstract)

Probabilistic Inductive Logic Programming based on Answer Set Programming (abstract)

A Plausibility Semantics for Abstract Argumentation Frameworks (abstract)

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence (abstract)

Three Semantics for Modular Systems (abstract)

Generalising Modular Logic Programs (abstract)

The Multi-engine ASP Solver ME-ASP: Progress Report (abstract)

Preliminary Report on WASP 2 (abstract)

Four Floors for the Theory of Theory Change (abstract)

On Strong and Default Negation in Logic Program Updates (abstract)

Foundations and Technology Competitions Award Ceremony (abstract)

FLoC Olympic Games Award Ceremony 1 (abstract)

FLoC Closing Week 1 (abstract)

Inference in the FO(C) Modelling Language (abstract)

FO(C) and Related Modelling Paradigms (abstract)

Belief merging within fragments of propositional logic (abstract)

Belief Revision and Trust (abstract)

Invited Talk: Fragments of Logic, Language, and Computation (abstract)

On the Non-Monotonic Description Logic ALC+Tmin (abstract)

Towards Practical Deletion Repair of Inconsistent DL-programs (abstract)

An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC (abstract)

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (abstract)

Some thoughts about benchmarks for NMR (abstract)

Towards a Benchmark of Natural Language Arguments (abstract)

Analysis of Dialogical Argumentation via Finite State Machines (abstract)

Abduction in Argumentation: Dialogical Proof Procedures and Instantiation (abstract)

Non-Monotonic Reasoning and Story Comprehension (abstract)

Tableau vs. Sequent Calculi for Minimal Entailment (abstract)

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation (abstract)

Causality in Databases: The Diagnosis and Repair Connections (abstract)

Interactive Debugging of ASP Programs (abstract)

Semantics and Compilation of Answer Set Programming with Generalized Atoms (abstract)

A Family of Descriptive Approaches To Preferred Answer Sets (abstract)

Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics (abstract)

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report (abstract)

Revisiting Postulates for Inconsistency Measures (abstract)

Implementing Default and Autoepistemic Logics via the Logic of GK (abstract)

Compact Argumentation Frameworks (abstract)

Extension--based Semantics of Abstract Dialectical Frameworks (abstract)

Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation (abstract)

On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks (abstract)