| Vol-3799 urn:nbn:de:0074-3799-0 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 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-WS 2024
ICLP Workshops 2024

### Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024)
co-located with the 40th International Conference on Logic Programming (ICLP 2024)

### Dallas, USA, October 12th and 13th, 2024.

Edited by

### Joaquín Arias 1
Damiano Azzolini 2
Kinjal Basu 3
Veronica Dahl 4
Markus Hecher 5
Francesco Pacenza 6
Zeynep G. Saribatur 7
Sarat C. Varanasi 8

1 CETINIA, Universidad Rey Juan Carlos, Spain
2 Università di Ferrara, Italy
3 IBM Research, USA
4 Simon Fraser University, Canada
5 Massachusetts Institute of Technology, USA
6 University of Calabria, Italy
7 Institute of Logic and Computation, TU Wien, Austria
8 GE Aerospace Research, USA

## Table of Contents

- Preface
  Summary: Four workshops co-located with ICLP 2024 joined efforts in the production of these proceedings. Overall, there were 36 papers submitted for peer-review. Out of these, 32 were accepted and 26 are included in this volume, 16 as regular papers and 10 as short papers.

### Answer Set Programming and Other Computing Paradigms (ASPOCP)

- A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents
  Daniela Inclezan, Charles Harders, Vineel S. K. Tummala
- Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning
  Spencer Killen, Jia-Huai You
- Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report
  Wolfgang Faber

### Goal-directed Execution of Answer Set Programs (GDE)

- Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
  Ondřej Vašíček, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Křena Bohuslav, Brian Larson, Sarat Ch. Varanasi, Tomáš Vojnar
- Extended abstract: 𝑓𝐶𝐴𝑆𝑃 - A forgetting technique for XAI based on goal-directed constraint ASP models
  Luciana Fidilio-Allende, Joaquín Arias
- Autonomous Task Completion Based on Goal-directed Answer Set Programming
  Alexis Tudor, Gopal Gupta
- Causally Constrained Counterfactual Generation using ASP
  Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta
- A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
  Parth Padalkar, Natalia Ślusarz, Ekaterina Komendantskaya, Gopal Gupta
- Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games
  Kinjal Basu
- Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions
  Sarat Chandra Varanasi, Baoluo Meng
- Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
  Yankai Zeng, Abhiramon Rajashekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta
- Automated Playing of Survival Video Games with Commonsense Reasoning
  Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta

### Prolog Education Workshop (PEG)

- Bringing Logic Programming to primary school: a teacher training course
  Laura Andrea Cecchi, Jorge Pablo Rodríguez
- Teaching Pure LP with Prolog and a Fair Search Rule
  Manuel V. Hermenegildo, Jose F. Morales, Pedro Lopez-Garcia
- General Game Playing - Killer App for Logic Programming
  Michael Genesereth
- Teaching Prolog through Grammars
  David S. Warren
- Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog Code
  Santiago Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodríguez, Laura Andrea Cecchi
- From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering
  Evgeny Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher
- On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog
  François Fages
- Computational Thinking with Logic Programming
  Gopal Gupta, Elmer Salazar, Joaquín Arias
- Generative Logic: Teaching Prolog as Generative AI in Art and Design
  Christian Jendreiko
- Controlled Natural Language Models
  Jacinto A. Dávila Quintero
- On Teaching Logic Programming in the Era of Generative AI
  Paul Tarau

### Probabilistic Logic Programming (PLP)

- Efficient Compliance Computation in Probabilistic Declarative Specifications
  Mario Alviano, Antonio Ielo, Francesco Ricca
- A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming
  Damiano Azzolini, Markus Hecher
- Statistical Syllogistic Tableaux
  J.-Martín Castro-Manzano

2024-10-13: submitted by Joaquín Arias, metadata incl. bibliographic data published under Creative Commons CC0
2024-10-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|