| Vol-3437 urn:nbn:de:0074-3437-4 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 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 2023
International Conference on Logic Programming 2023 Workshops

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

### London, United Kingdom, July 9th and 10th, 2023.

Edited by

### Joaquín Arias 1
Sotiris Batsakis 2
Wolfgang Faber 3
Gopal Gupta 4
Francesco Pacenza 5
Emmanuel Papadakis 2
Livio Robaldo 6
Kilian Rückschloß 7
Elmer Salazar 4
Zeynep G. Saribatur 8
Ilias Tachmazidis 2
Felix Weitkämper 7
Adam Wyner 6

1 Universidad Rey Juan Carlos, Spain
2 University of Huddersfield, UK
3 University of Klagenfurt, Austria
4 University of Texas at Dallas, USA
5 University of Calabria, Italy
6 University of Swansea, UK
7 Ludwig-Maximilians-Universität München, Germany
8 TU Wien, Austria

## 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

2023-07-06: submitted by Wolfgang Faber, metadata incl. bibliographic data published under Creative Commons CC0
2023-07-08: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|