|  | Vol-2970 urn:nbn:de:0074-2970-2 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# ICLP Workshops 2021
International Conference on Logic Programming 2021 Workshops

### Proceedings of the International Conference on Logic Programming 2021 Workshops
co-located with the 37th International Conference on Logic Programming (ICLP 2021)

### Porto, Portugal (virtual), September 20th-21st, 2021.

Edited by

### Joaquin Arias 1
Fabio Aurelio D’Asaro 2
Abeer Dyoub 3
Gopal Gupta 4
Markus Hecher 5, 6
Emily LeBlanc 7
Rafael Peñaloza 8
Elmer Salazar 4
Ari Saptawijaya 9
Felix Weitkämper 10
Jessica Zangari 11

1 Universidad Rey Juan Carlos, Spain
2 University of Milan, Italy
3 University of L'Aquila, Italy
4 The University of Texas at Dallas, USA
5 Vienna University of Technology, Austria
6 University of Potsdam, Germany
7 US Naval Research Lab, USA
8 University of Milano-Bicocca, Italy
9 Universitas Indonesia, Indonesia
10 Ludwig-Maximilians-Universität München, Germany
11 University of Calabria, Italy

## Table of Contents

- Preface
  Summary: five workshops co-located with ICLP 2021 joined efforts in the production of these proceedings. Overall, 30 papers were submitted for peer-review to the workshops. Out of these, 24 papers were accepted for this volume, 21 as regular papers and 3 as short papers.

### Answer Set Programming and Other Computing Paradigms

- Automata for Dynamic Answer Set Solving: Preliminary Report (invited paper)
  Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
- A Speech about Generative Datalog and Non-measurable Sets (invited short paper)
  Mario Alviano, Arnel Zamayla
- Gradient-Based Supported Model Computation in Vector Spaces
  Akihiro Takemura, Katsumi Inoue
- Top-down Splitting Property for Epistemic Logic Programs
  Stefania Costantini
- Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases
  Spencer Killen, Jia-Huai You
- Modeling Clique Coloring via ASP(Q)
  Giovanni Amendola, Giovanni Rotondaro
- Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior
  Andreas Brännström, Juan Carlos Nieves
- Answer Set Programming with Epistemic Defaults
  Shutao Zhang, Zhizheng Zhang, Jun Shen
- Asynchronous Forward-Bounding algorithm with Directional Arc Consistency
  Rachid Adrdor, Lahcen Koutti

### Causal Reasoning and Explanation in Logic Programming

- When is a Program an Actual Cause?
  Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
- Explainability Through Argumentation in Logic Programming
  Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets
  Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
- Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation
  Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner
- exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules
  Ly Ly Trieu, Tran Cao Son, Marcello Balduccini

### Goal-directed Execution of Answer Set Programs

- Solving B Constraints with Goal-directed Answer Set Programming (invited paper)
  Alexandros Efremidis
- Applications of Goal-directed Answer Set Programming to Avionics Industry (invited extended paper)
  Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquin Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
- Building Health Policy Enforcement Solution Based on HL7 FHIR (invited short paper)
  Alexey Koptsevich, Wolf Ruzicka, Victor Shilo, Mikkel P. Schultz, Dmitrii Velikii
- s(CASP) for SWI-Prolog (invited short paper)
  Jan Wielemaker, Joaquin Arias, Gopal Gupta
- A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs
  Joaquin Arias, Gopal Gupta, Manuel Carro
- Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)
  Sarat Chandra Varanasi, Brendan Hall, Joaquin Arias, Elmer Salazar Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
- Formalizing Informal Logic and Natural Language Deductivism
  Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquin Arias, Brendan Hall, Kevin Driscoll
- Theory Revision with Goal-directed ASP (short paper)
  Elmer Salazar
- Natural Language Question Answering with Goal-directed Answer Set Programming
  Kinjal Basu, Gopal Gupta
- Graph Based Answer Set Programming Solver Systems (short paper)
  Fang Li, Elmer Salazar, Gopal Gupta
- AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning
  Suraj Kothawade, Vinaya Khandelwal, Kinjal Basu, Huaduo Wang, Gopal Gupta

### Machine Ethics and Explainability

- Logic Programming for XAI: A Technical Perspective
  Laura State

### Probabilistic Logic Programming

- From Probabilistic Programming to Probabilistic Argumentation (invited paper)
  Nico Potyka
- aspmc: An Algebraic Answer Set Counter
  Thomas Eiter, Markus Hecher, Rafael Kiesel
- Modelling Infectious Disease Dynamics with Probabilistic Logic Programming
  Felix Weitkämper, Beatrice Sarbu, Kailin Sun
- Reasoning about Independence in Open Universe Probabilistic Logic Programs
  Kilian Rueckschloss, Felix Weitkämper
- probKanren: A Simple Probabilistic Extension for microKanren (short paper)
  Robert Zinkov, Willliam E. Byrd

2021-09-21: submitted by Rafael Peñaloza, metadata incl. bibliographic data published under Creative Commons CC0
2021-10-06: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|