<!DOCTYPE html>
<!-- CEURVERSION=2020-07-09 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="https://ceur-ws.org/ceur-ws.css">
<title>CEUR-WS.org/Vol-3799 - International Conference on Logic Programming 2024 Workshops</title>
</head>
<!--CEURLANG=eng -->
<body>



<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="https://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-3799</span> <br>
<span class="CEURURN">urn:nbn:de:0074-3799-0</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2024 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2024</span> 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
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="https://www.iclp24.utdallas.edu/workshops/"><span class="CEURVOLACRONYM">ICLP-WS 2024</span></a><br>
<span class="CEURVOLTITLE">ICLP Workshops 2024</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024)</span><br>
co-located with the 40th International Conference on Logic Programming (<span class="CEURCOLOCATED">ICLP 2024</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">Dallas, USA, October 12th and 13th, 2024</span>.</h3> 

<br>
<b> Edited by </b>
<h3>
   <span class="CEURVOLEDITOR">Joaquín Arias</span> <sup>1</sup><br>
   <span class="CEURVOLEDITOR">Damiano Azzolini</span> <sup>2</sup><br>
   <span class="CEURVOLEDITOR">Kinjal Basu</span> <sup>3</sup><br>
   <span class="CEURVOLEDITOR">Veronica Dahl</span> <sup>4</sup><br>
   <span class="CEURVOLEDITOR">Markus Hecher</span> <sup>5</sup><br>
   <span class="CEURVOLEDITOR">Francesco Pacenza</span> <sup>6</sup><br>
   <span class="CEURVOLEDITOR">Zeynep G. Saribatur</span> <sup>7</sup><br>
   <span class="CEURVOLEDITOR">Sarat C. Varanasi</span> <sup>8</sup><br>

</h3>

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

<hr>

<br><br><br>

<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li id="preface"><a href="preface.pdf">Preface</a><br>
Summary: Four workshops co-located with ICLP 2024 joined efforts in the production of these proceedings. 
  Overall, there were <span class="CEURSUBMITTEDPAPERS">36
  </span> papers submitted for peer-review. Out of these, 32
  were accepted and <span class="CEURACCEPTEDPAPERS">26
  </span> are included in this volume, 
  <span class="CEURACCEPTEDREGULARPAPERS">16
  </span> as regular papers and
  <span class="CEURACCEPTEDSHORTPAPERS">10
  </span> as short papers.
</li>
</ul>
<br>


<h3><a href="https://sites.google.com/unical.it/aspocp2024"><span class="CEURSESSION">Answer Set Programming and Other Computing Paradigms (ASPOCP)</span></a></h3>

<ul>

<li id="paper2ASPOCP"><a href="paper2ASPOCP.pdf">
<span class="CEURTITLE">A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents</span></a><br>
<span class="CEURAUTHOR">Daniela Inclezan</span>, 
<span class="CEURAUTHOR">Charles Harders</span>, 
<span class="CEURAUTHOR">Vineel S. K. Tummala</span> 
</li>

<li id="paper3ASPOCP"><a href="paper3ASPOCP.pdf">
<span class="CEURTITLE">Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning</span></a> <br>
<span class="CEURAUTHOR">Spencer Killen</span>, 
<span class="CEURAUTHOR">Jia-Huai You</span>
</li>

<li id="short4ASPOCP"><a href="short4ASPOCP.pdf">
<span class="CEURTITLE">Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report</span></a> <br>
<span class="CEURAUTHOR">Wolfgang Faber</span>
</li>


</ul>

<h3><span class="CEURSESSION">
    <a href="https://sites.google.com/view/gde-iclp-2024">
Goal-directed Execution of Answer Set Programs (GDE)
</a></span></h3>

<ul>

<li id="abstract1GDE24"><a href="abstract1GDE24.pdf">
<span class="CEURTITLE">Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming</span></a> <br>
<span class="CEURAUTHOR">Ondřej Vašíček</span>, 
<span class="CEURAUTHOR">Joaquín Arias</span>, 
<span class="CEURAUTHOR">Jan Fiedor</span>, 
<span class="CEURAUTHOR">Gopal Gupta</span>, 
<span class="CEURAUTHOR">Brendan Hall</span>, 
<span class="CEURAUTHOR">Křena Bohuslav</span>, 
<span class="CEURAUTHOR">Brian Larson</span>, 
<span class="CEURAUTHOR">Sarat Ch. Varanasi</span>, 
<span class="CEURAUTHOR">Tomáš Vojnar</span>
</li>

<li id="abstract2GDE24"><a href="abstract2GDE24.pdf">
    <span class="CEURTITLE">Extended abstract: 𝑓𝐶𝐴𝑆𝑃 - A forgetting technique
for XAI based on goal-directed constraint ASP models</span></a> <br>
<span class="CEURAUTHOR">Luciana Fidilio-Allende</span>, 
<span class="CEURAUTHOR">Joaquín Arias</span>
</li>

<li id="paper4GDE24"><a href="paper4GDE24.pdf">
<span class="CEURTITLE">Autonomous Task Completion Based on Goal-directed Answer Set Programming
</span></a> <br>
<span class="CEURAUTHOR">Alexis Tudor</span>, 
<span class="CEURAUTHOR">Gopal Gupta</span>
</li>

<li id="paper5GDE24"><a href="paper5GDE24.pdf">
<span class="CEURTITLE">Causally Constrained Counterfactual Generation using ASP</span></a> <br>
<span class="CEURAUTHOR">Sopam Dasgupta</span>, 
<span class="CEURAUTHOR">Farhad Shakerin</span>, 
<span class="CEURAUTHOR">Elmer Salazar</span>, 
<span class="CEURAUTHOR">Joaquín Arias</span>, 
<span class="CEURAUTHOR">Gopal Gupta</span>
</li>

<li id="short6GDE24"><a href="short6GDE24.pdf">
<span class="CEURTITLE">A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks</span></a> <br>
<span class="CEURAUTHOR">Parth Padalkar</span>, 
<span class="CEURAUTHOR">Natalia Ślusarz</span>, 
<span class="CEURAUTHOR">Ekaterina Komendantskaya</span>, 
<span class="CEURAUTHOR">Gopal Gupta</span>
</li>

<li id="short7GDE24"><a href="short7GDE24.pdf">
<span class="CEURTITLE">Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games</span></a> <br>
<span class="CEURAUTHOR">Kinjal Basu</span>
</li>

<li id="short8GDE24"><a href="short8GDE24.pdf">
<span class="CEURTITLE">Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions</span></a> <br>
<span class="CEURAUTHOR">Sarat Chandra Varanasi</span>, 
<span class="CEURAUTHOR">Baoluo Meng</span>
</li>

<li id="abstract9GDE24"><a href="abstract9GDE24.pdf">
<span class="CEURTITLE">Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP</span></a> <br>
<span class="CEURAUTHOR">Yankai Zeng</span>, 
<span class="CEURAUTHOR">Abhiramon Rajashekharan</span>, 
<span class="CEURAUTHOR">Kinjal Basu</span>, 
<span class="CEURAUTHOR">Huaduo Wang</span>, 
<span class="CEURAUTHOR">Joaquín Arias</span>, 
<span class="CEURAUTHOR">Gopal Gupta</span>
</li>

<li id="paper10GDE24"><a href="paper10GDE24.pdf">
<span class="CEURTITLE">Automated Playing of Survival Video Games with Commonsense Reasoning</span></a> <br>
<span class="CEURAUTHOR">Bryant Hargreaves</span>, 
<span class="CEURAUTHOR">Dan N. Nguyen</span>, 
<span class="CEURAUTHOR">Keegan Kimbrell</span>, 
<span class="CEURAUTHOR">Gopal Gupta</span>
</li>

</ul>

<h3><span class="CEURSESSION">
    <a href="https://prolog-lang.org/Education/PrologEducationWS2024.html">
Prolog Education Workshop (PEG)
</a></span></h3>

<ul>

<li id="short1PEG2.0"><a href="short1PEG2.0.pdf">
<span class="CEURTITLE">Bringing Logic Programming to primary school: a teacher training course</span></a> <br>
<span class="CEURAUTHOR">Laura Andrea Cecchi</span>, 
<span class="CEURAUTHOR">Jorge Pablo Rodríguez</span>
</li>

<li id="paper2PEG2.0"><a href="paper2PEG2.0.pdf">
<span class="CEURTITLE">Teaching Pure LP with Prolog and a Fair Search Rule</span></a> <br>
<span class="CEURAUTHOR">Manuel V. Hermenegildo</span>, 
<span class="CEURAUTHOR">Jose F. Morales</span>, 
<span class="CEURAUTHOR">Pedro Lopez-Garcia</span>
</li>

<li id="short3PEG2.0"><a href="short3PEG2.0.pdf">
<span class="CEURTITLE">General Game Playing - Killer App for Logic Programming</span></a> <br>
<span class="CEURAUTHOR">Michael Genesereth</span>
</li>

<li id="paper4PEG2.0"><a href="paper4PEG2.0.pdf">
<span class="CEURTITLE">Teaching Prolog through Grammars</span></a> <br>
<span class="CEURAUTHOR">David S. Warren</span>
</li>

<li id="paper5PEG2.0"><a href="paper5PEG2.0.pdf">
<span class="CEURTITLE">Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog Code</span></a> <br>
<span class="CEURAUTHOR">Santiago Andrés Villarroel</span>, 
<span class="CEURAUTHOR">Christian Nelson Gimenez</span>, 
<span class="CEURAUTHOR">Jorge Pablo Rodríguez</span>, 
<span class="CEURAUTHOR">Laura Andrea Cecchi</span>
</li>

<li id="paper6PEG2.0"><a href="paper6PEG2.0.pdf">
<span class="CEURTITLE">From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering</span></a> <br>
<span class="CEURAUTHOR">Evgeny Skvortsov</span>, 
<span class="CEURAUTHOR">Yilin Xia</span>, 
<span class="CEURAUTHOR">Shawn Bowers</span>, 
<span class="CEURAUTHOR">Bertram Ludäscher</span>
</li>

<li id="short7PEG2.0"><a href="short7PEG2.0.pdf">
<span class="CEURTITLE">On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog</span></a> <br>
<span class="CEURAUTHOR">François Fages</span>
</li>

<li id="paper8PEG2.0"><a href="paper8PEG2.0.pdf">
<span class="CEURTITLE">Computational Thinking with Logic Programming</span></a> <br>
<span class="CEURAUTHOR">Gopal Gupta</span>, 
<span class="CEURAUTHOR">Elmer Salazar</span>, 
<span class="CEURAUTHOR">Joaquín Arias</span>
</li>

<li id="paper9PEG2.0"><a href="paper9PEG2.0.pdf">
<span class="CEURTITLE">Generative Logic: Teaching Prolog as Generative AI in Art and Design</span></a> <br>
<span class="CEURAUTHOR">Christian Jendreiko</span>
</li>

<li id="paper10PEG2.0"><a href="paper10PEG2.0.pdf">
<span class="CEURTITLE">Controlled Natural Language Models</span></a> <br>
<span class="CEURAUTHOR">Jacinto A. Dávila Quintero</span>
</li>

<li id="paper11PEG2.0"><a href="paper11PEG2.0.pdf">
<span class="CEURTITLE">On Teaching Logic Programming in the Era of Generative AI</span></a> <br>
<span class="CEURAUTHOR">Paul Tarau</span>
</li>

</ul>

<h3><span class="CEURSESSION">
    <a href="https://stoics.org.uk/~plp2024/">
Probabilistic Logic Programming (PLP)
</a></span></h3>

<ul>

<li id="paper1PLP24"><a href="paper1PLP24.pdf">
<span class="CEURTITLE">Efficient Compliance Computation in Probabilistic Declarative Specifications</span></a> <br>
<span class="CEURAUTHOR">Mario Alviano</span>, 
<span class="CEURAUTHOR">Antonio Ielo</span>, 
<span class="CEURAUTHOR">Francesco Ricca</span>
</li>

<li id="paper2PLP24"><a href="paper2PLP24.pdf">
<span class="CEURTITLE">A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming</span></a> <br>
<span class="CEURAUTHOR">Damiano Azzolini</span>, 
<span class="CEURAUTHOR">Markus Hecher</span>
</li>

<li id="paper3PLP24"><a href="paper3PLP24.pdf">
<span class="CEURTITLE">Statistical Syllogistic Tableaux</span></a> <br>
<span class="CEURAUTHOR">J.-Martín Castro-Manzano</span>
</li>


</ul>






</div>


<hr>
<span class="unobtrusive">
2024-10-13: submitted by Joaquín Arias, 
            metadata incl. bibliographic data published under <a href="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</a><br>
<span class="CEURPUBDATE">2024-10-24</span>: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
	|<a href="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-3193%2F">valid HTML5</a>|
</span>

</body>
</html>
