ICLP Workshops 2021
International Conference on Logic Programming 2021 Workshops

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