ICLP-WS 2024
ICLP Workshops 2024

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
  Ondřej Vašíček, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Křena Bohuslav, Brian Larson, Sarat Ch. Varanasi, Tomáš 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, Joaquín Arias, Gopal Gupta
• A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
  Parth Padalkar, Natalia Ś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, Joaquí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 Rodrí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 Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodrí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 Ludäscher
• On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog
  François Fages
• Computational Thinking with Logic Programming
  Gopal Gupta, Elmer Salazar, Joaquín Arias
• Generative Logic: Teaching Prolog as Generative AI in Art and Design
  Christian Jendreiko
• Controlled Natural Language Models
  Jacinto A. Dá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.-Martín Castro-Manzano