default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID40th ICLP 2024: Dallas, TX, USA
- Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi:
Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024. CEUR Workshop Proceedings 3799, CEUR-WS.org 2024
Answer Set Programming and Other Computing Paradigms (ASPOCP)
- Daniela Inclezan, Charles Harders, Vineel S. K. Tummala:
A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents. - Spencer Killen, Jia-Huai You:
Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning. - Wolfgang Faber:
Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report.
Goal-directed Execution of Answer Set Programs (GDE)
- Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar:
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Luciana Fidilio-Allende, Joaquín Arias:
Extended abstract: 푓퐶퐴푆푃 - A forgetting technique for XAI based on goal-directed constraint ASP models. - Alexis R. Tudor, Gopal Gupta:
Autonomous Task Completion Based on Goal-directed Answer Set Programming. - Sopam Dasgupta, Farhad Shakerin, Elmer Salazar, Joaquín Arias, Gopal Gupta:
Causally Constrained Counterfactual Generation using ASP. - Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta:
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. - Kinjal Basu:
Neuro-Symbolic Agent with ASP for Robust Exception Learning in Text-Based Games. - Sarat Chandra Varanasi, Baoluo Meng:
Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. - Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias, Gopal Gupta:
Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Bryant Hargreaves, Dan N. Nguyen, Keegan Kimbrell, Gopal Gupta:
Automated Playing of Survival Video Games with Commonsense Reasoning.
Prolog Education Workshop (PEG)
- Laura Andrea Cecchi, Jorge Pablo Rodríguez:
Bringing Logic Programming to primary school: a teacher training course. - Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Teaching Pure LP with Prolog and a Fair Search Rule. - Michael R. Genesereth:
General Game Playing - Killer App for Logic Programming. - David S. Warren:
Teaching Prolog through Grammars. - Santiago Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodríguez, Laura Andrea Cecchi:
Democratising Access to Logic Programming: A Web Application Design Tool for Querying Prolog Code. - Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludäscher:
From Logic Programming to Programming in Logica: A First-Course in Declarative Data Science & Engineering. - François Fages:
On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog. - Gopal Gupta, Elmer Salazar, Joaquín Arias:
Computational Thinking with Logic Programming. - Christian Jendreiko:
Generative Logic: Teaching Prolog as Generative AI in Art and Design. - Jacinto Alfonso Dávila Quintero:
Controlled Natural Language Models. - Paul Tarau:
On Teaching Logic Programming in the Era of Generative AI.
Probabilistic Logic Programming (PLP)
- Mario Alviano, Antonio Ielo, Francesco Ricca:
Efficient Compliance Computation in Probabilistic Declarative Specifications. - Damiano Azzolini, Markus Hecher:
A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming. - José Martín Castro-Manzano:
Statistical Syllogistic Tableaux.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
