ICLP Workshops 2023
International Conference on Logic Programming 2023 Workshops

Table of Contents

• Preface
  Summary: Four workshops co-located with ICLP 2023 joined efforts in the production of these proceedings. Overall, there were 31 papers submitted for peer-review. Out of these, 27 papers were accepted for this volume, 24 as regular papers and 3 as short papers.

Answer Set Programming and Other Computing Paradigms (ASPOCP)

• Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
  Alessandro Bertagnon, Marco Gavanelli
• Routing and Scheduling in different ways: Abridged Preliminary Report
  Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiři Švancera, Philipp Wanko
• Explanation Graphs for Stable Models of Labelled Logic Programs
  Pedro Cabalar, Brais Muñiz
• Introducing ASP recipes and ASP Chef
  Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
• Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)
  Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
• Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
• Past-present temporal programs over finite traces: a preliminary report
  Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
• Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF
  Spencer Killen, Wengkai Gao, Jia-Huai You
• Recursive Aggregates as Intensional Functions
  Jorge Fandinno, Zachary Hansen
• Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
  Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova
• On the impact of sensors update in declarative AI for videogames
  Denise Angilica, Giorgio Michele De Giorgio, Giovambattista Ianni

Goal-directed Execution of Answer Set Programs (GDE)

• Semantic Analysis of Assurance Cases using s(CASP)
  Anitha Murugesan, Isaac Hong Wong, Robert Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
• Modelling Cyber Defenses using s(CASP)
  Steve Moyle, Nicholas Allott, John Manslow
• Value awareness and process automation: a reflection through school place allocation models
  Joaquín Arias, Mar Moreno-Rebato, Jose A. Rodriguez-García, Sascha Ossowski
• NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks
  Parth Padalkar, Huaduo Wang, Gopal Gupta
• Building Blawx
  Jason Morris
• Argument analysis using Answer Set Programming and Semantics-guided Large Language Models
  Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta
• (Re)Integration of Logical English and s(CASP)
  Galileo Sartor, Jacinto Dávila, Alessia Fidelangeli, Giuseppe Pisano

Logic Programming and Legal Reasoning (LPLR)

• How well do SOTA legal reasoning models support abductive reasoning?
  Ha Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh
• Beyond Logic Programming for Legal Reasoning
  Ha Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh
• A Dataset of Contractual Events in Court Decisions
  Guilherme Paulino-Passos, Ken Satoh, Francesca Toni
• Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions
  Kumar Manas, Adrian Paschke

Probabilistic Logic Programming (PLP)

• asymptoticplp: Approximating probabilistic logic programs on large domains
  Bao Loi Quach, Felix Weitkämper
• Sampling and probabilistic inference in D/Slps
  Nicos Angelopoulos
• A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs
  Damiano Azzolini
• On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated Disjunctions
  Kilian Rückschloß, Felix Weitkämper
• Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress
  Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi