| 2024 | Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog Code. | Santiago Andrs Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodrguez, Laura Andrea Cecchi |
| 2024 | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2024 | Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. | Sarat Chandra Varanasi, Baoluo Meng |
| 2024 | Autonomous Task Completion Based on Goal-directed Answer Set Programming. | Alexis R. Tudor, Gopal Gupta |
| 2024 | On Teaching Logic Programming in the Era of Generative AI. | Paul Tarau |
| 2024 | From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering. | Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludscher |
| 2024 | Controlled Natural Language Models. | Jacinto Alfonso Dvila Quintero |
| 2024 | A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. | Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta |
| 2024 | Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning. | Spencer Killen, Jia-Huai You |
| 2024 | Generative Logic: Teaching Prolog as Generative AI in Art and Design. | Christian Jendreiko |
| 2024 | A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents. | Daniela Inclezan, Charles Harders, Vineel S. K. Tummala |
| 2024 | Teaching Pure LP with Prolog and a Fair Search Rule. | Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca |
| 2024 | Automated Playing of Survival Video Games with Commonsense Reasoning. | Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta |
| 2024 | General Game Playing - Killer App for Logic Programming. | Michael R. Genesereth |
| 2024 | Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models. | Luciana Fidilio-Allende, Joaqun Arias |
| 2024 | On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog. | Franois Fages |
| 2024 | Causally Constrained Counterfactual Generation using ASP. | Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2024 | Bringing Logic Programming to primary school: a teacher training course. | Laura Andrea Cecchi, Jorge Pablo Rodrguez |
| 2024 | Statistical Syllogistic Tableaux. | Jos Martn Castro-Manzano |
| 2024 | A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming. | Damiano Azzolini, Markus Hecher |
| 2024 | Efficient Compliance Computation in Probabilistic Declarative Specifications. | Mario Alviano, Antonio Ielo, Francesco Ricca |
| 2024 | Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games. | Kinjal Basu |
| 2024 | Computational Thinking with Logic Programming. | Gopal Gupta, Elmer Salazar, Joaqun Arias |
| 2024 | Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report. | Wolfgang Faber |
| 2023 | (Re)Integration of Logical English and s(CASP). | Galileo Sartor, Jacinto A. Dvila, Alessia Fidelangeli, Giuseppe Pisano |