ICLP Workshops 2022
International Conference on Logic Programming 2022 Workshops

Table of Contents

• Preface
  Summary: Five workshops co-located with ICLP 2022 joined efforts in the production of these proceedings. Overall, there were 32 papers submitted for peer-review. Out of these, 31 were accepted and 25 are included in this volume, 15 as regular papers and 10 as short papers.

Answer Set Programming and Other Computing Paradigms

• Computing H-Partitions in ASP and Datalog
  Chloé Capon, Nicolas Lecomte, Jef Wijsen
• Conflict Handling in Product Configuration using Answer Set Programming
  Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub
• A Normative Model of Explanation for Binary Classification Legal AI and Its Implementation on Causal Explanations of Answer Set Programming
  Evan Iatrou
• Translating Definitions into the Language of Logic Programming: A Case Study
  Vladimir Lifschitz
• A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
  David Tuckey, Krysia Broda, Alessandra Russo
• Constrained Default Logic Programming
  Shutao Zhang, Zhizheng Zhang, Jun Shen
• Assumable Answer Set Programming
  Zhizheng Zhang

Causal Reasoning and Explanation in Logic Programming

• Correct Causal Inference in Probabilistic Logic Programming
  Kilian Rückschloß, Felix Weitkämper
• A Causal Perspective on AI Deception in Games
  Francis Rhys Ward, Francesca Toni, Francesco Belardinelli

Epistemic Extensions of Logic Programming

• Epistemic Logic Programs: a Novel Perspective and Some Extensions
  Stefania Costantini, Andrea Formisano

Goal-directed Execution of Answer Set Programs

• Modeling Administrative Discretion using Goal-Directed Answer Set Programming (extended abstract)
  Joaquín Arias, Mar Moreno-Rebato, José A. Rodríguez-García, Sascha Ossowski
• Summary on “Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic” (extended abstract)
  Kinjal Basu
• Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy
  Kinjal Basu, Elmer Salazar, Huaduo Wang, Joaquín Arias, Parth Padalkar, Gopal Gupta
• An s(CASP) In-Browser Playground based on Ciao Prolog
  Guillermo García-Pradales, José F. Morales, Manuel Hermenegildo, Joaquín Arias, Manuel Carro
• Tutorial: Automating Commonsense Reasoning
  Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
• Automating Defeasible Reasoning in Law with Answer Set Programming
  Lim How Khang, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
• Blawx: Web-based User-Friendly Rules as Code
  Jason Morris
• Integration of Logical English and s(CASP)
  Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
• A Query Evaluation Method for ASP with Abduction (extended abstract)
  Ken Satoh
• First Order Logic and Commonsense Reasoning: A Path Less Travelled
  Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev
• Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming
  Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos, Brendan Hall
• LTL Model Checking using Coinductive Answer Set Programming
  Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
• Embedding s(CASP) in Prolog
  Jan Wielemaker, Mikko Tiihonen

Probabilistic Logic Programming

• Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
  Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
• Exploiting the Full Power of Pearl’s Causality in Probabilistic Logic Programming
  Kilian Rückschloß, Felix Weitkämper