Accepted Papers

The CEUR volume with original ICLP 2021 workshop papers is available here.

Accepted papers are listed below.

• Pedro Cabalar, Martín Diéguez, Susana Hahn and Torsten Schaub (Invited Talk) - Automata for dynamic answer set solving: Preliminary report (available here)

• Mario Alviano and Arnel Zamayla (Invited Talk) - A speech about Generative Datalog and Non-measurable Sets (available here)

• Spencer Killen and Jia-Huai You - Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases (available here)

• Haya Majid Qureshi and Wolfgang Faber - An Evaluation of Meta-reasoning over OWL 2 QL

• Pedro Cabalar, Rodrigo Martin, Brais Muñiz Castro and Gilberto Pérez - aspBEEF: Explaining Predictions Through Optimal Clustering (preliminary report) (available here)

• Wolfgang Dvořák, Matthias König, Anna Rapberger, Johannes P. Wallner and Stefan Woltran - ASPARTIX-V - A Solver for Argumentation Tasks Using ASP (available here)

• Thomas Eiter, Markus Hecher and Rafael Kiesel - aspmc: An Algebraic Answer Set Counter (available here)

• Giovanni Amendola and Giovanni Rotondaro - Modeling Clique Coloring via ASP(Q) (available here)

• Andreas Brännström and Juan Carlos Nieves - Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior (available here)

• Stefania Costantini - Top-down Splitting Property for Epistemic Logic Programs (available here)

• Shutao Zhang, Zhizheng Zhang and Jun Shen - Answer Set Programming with Epistemic Defaults (available here)

• Akihiro Takemura and Katsumi Inoue - Gradient-Based Supported Model Computation in Vector Spaces (available here)

• Rachid Adrdor and Lahcen Koutti - Asynchronous Forward-Bounding algorithm with Directional Arc Consistency (available here)