ICLP-WS 2024

Table of Contents

• PDF
  
• A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents PDF
  Daniela Inclezan, Charles Harders, Vineel S. K. Tummala
• Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning PDF
  Spencer Killen, Jia-Huai You
• Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report PDF
  Wolfgang Faber 0001
• Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming PDF
  Joaquín Arias, Brian Larson, Gopal Gupta 0001, Bohuslav Krena, Brendan Hall, Sarat Chandra Varanasi, Ondrej Vasícek, Jan Fiedor, Tomás Vojnar
• Extended abstract: 𝑓𝐶𝐴𝑆𝑃 - A forgetting technique for XAI based on goal-directed constraint ASP models PDF
  Joaquín Arias, Luciana Fidilio-Allende
• Autonomous Task Completion Based on Goal-directed Answer Set Programming PDF
  Alexis Tudor, Gopal Gupta 0001
• Causally Constrained Counterfactual Generation using ASP PDF
  Joaquín Arias, Elmer Salazar, Farhad Shakerin, Sopam Dasgupta, Gopal Gupta 0001
• A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks PDF
  Ekaterina Komendantskaya, Gopal Gupta 0001, Parth Padalkar, Natalia Slusarz
• Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games PDF
  Kinjal Basu 0002
• Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions PDF
  Baoluo Meng, Sarat Chandra Varanasi
• Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP PDF
  Abhiramon Rajasekharan, Gopal Gupta 0001, Kinjal Basu 0002, Yankai Zeng, Huaduo Wang, Joaquín Arias
• Automated Playing of Survival Video Games with Commonsense Reasoning PDF
  Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta 0001
• Bringing Logic Programming to primary school: a teacher training course PDF
  Jorge Pablo Rodríguez, Laura Andrea Cecchi
• Teaching Pure LP with Prolog and a Fair Search Rule PDF
  José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo
• General Game Playing - Killer App for Logic Programming PDF
  Michael R. Genesereth
• Teaching Prolog through Grammars PDF
  David S. Warren
• Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog Code PDF
  Laura Andrea Cecchi, Christian Gimenez, Jorge Pablo Rodríguez, Santiago Andrés Villarroel
• From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering PDF
  Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher
• On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog PDF
  François Fages
• Computational Thinking with Logic Programming PDF
  Joaquín Arias, Elmer Salazar, Gopal Gupta 0001
• Generative Logic: Teaching Prolog as Generative AI in Art and Design PDF
  Christian Jendreiko
• Controlled Natural Language Models PDF
  Jacinto A. Dávila
• On Teaching Logic Programming in the Era of Generative AI PDF
  Paul Tarau
• Efficient Compliance Computation in Probabilistic Declarative Specifications PDF
  Mario Alviano, Antonio Ielo, Francesco Ricca
• A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming PDF
  Damiano Azzolini, Markus Hecher
• Statistical Syllogistic Tableaux PDF
  José Martín Castro-Manzano