Abstract is missing.
- Teaching Pure LP with Prolog and a Fair Search RuleManuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001. [doi]
- Statistical Syllogistic TableauxJosé Martín Castro-Manzano. [doi]
- General Game Playing - Killer App for Logic ProgrammingMichael R. Genesereth. [doi]
- Automated Playing of Survival Video Games with Commonsense ReasoningBryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta 0001. [doi]
- Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary ReportWolfgang Faber 0001. [doi]
- Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and DirectionsSarat Chandra Varanasi, Baoluo Meng. [doi]
- Computational Thinking with Logic ProgrammingGopal Gupta 0001, Elmer Salazar, Joaquín Arias. [doi]
- Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based GamesKinjal Basu 0002. [doi]
- Generative Logic: Teaching Prolog as Generative AI in Art and DesignChristian Jendreiko. [doi]
- On Teaching Constraint-based Modeling and Algorithms for Decision Support in PrologFrançois Fages. [doi]
- Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set ProgrammingOndrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta 0001, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar. [doi]
- Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid ReasoningSpencer Killen, Jia-Huai You. [doi]
- A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set ProgrammingDamiano Azzolini, Markus Hecher. [doi]
- From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & EngineeringEvgeny Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher. [doi]
- Efficient Compliance Computation in Probabilistic Declarative SpecificationsMario Alviano, Antonio Ielo, Francesco Ricca. [doi]
- A Framework for Defining Behavior Modes in Policy-Aware Autonomous AgentsDaniela Inclezan, Charles Harders, Vineel S. K. Tummala. [doi]
- Teaching Prolog through GrammarsDavid S. Warren. [doi]
- Autonomous Task Completion Based on Goal-directed Answer Set ProgrammingAlexis Tudor, Gopal Gupta 0001. [doi]
- Bringing Logic Programming to primary school: a teacher training courseLaura Andrea Cecchi, Jorge Pablo Rodríguez. [doi]
- Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP modelsLuciana Fidilio-Allende, Joaquín Arias. [doi]
- Causally Constrained Counterfactual Generation using ASPSopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta 0001. [doi]
- Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog CodeSantiago Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodríguez, Laura Andrea Cecchi. [doi]
- Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASPYankai Zeng, Abhiramon Rajasekharan, Kinjal Basu 0002, Huaduo Wang, Joaquín Arias, Gopal Gupta 0001. [doi]
- A Neurosymbolic Framework for Bias Correction in Convolutional Neural NetworksParth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta 0001. [doi]
- Controlled Natural Language ModelsJacinto Alfonso Dávila Quintero. [doi]
- On Teaching Logic Programming in the Era of Generative AIPaul Tarau. [doi]