default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID41st ICLP 2025: Rende, Italy
- Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski:
Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025. EPTCS 439, 2026 - Sanderson Molick, Vaishak Belle:
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach. 5-17 - Mohimenul Kabir, Kuldeep S. Meel:
An ASP-Based Framework for MUSes. 18-33 - Dyuman Aditya, Colton Payne, Mario A. Leiva, Paulo Shakarian
:
Machine Learning Model Integration with Open World Temporal Logic for Process Automation. 34-46 - Benjamin Callewaert, Simon Vandevelde, Joost Vennekens:
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning. 47-62 - Trang Tran, Trung Hoang Le, Huiping Cao, Tran Cao Son:
An LLM + ASP Workflow for Joint Entity-Relation Extraction. 63-75 - Alexis R. Tudor, Joaquín Arias, Gopal Gupta:
VECSR: Virtually Embodied Common Sense Reasoning System. 76-88 - Nijesh Upreti, Vaishak Belle:
Logic Tensor Network-Enhanced Generative Adversarial Network. 89-113 - Sanne Wielinga, Jesse Heyninck:
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming. 114-127 - Keegan Kimbrell, Wang Tianhao, Feng Chen, Gopal Gupta:
Correcting Autonomous Driving Object Detection Misclassifications with Automated Commonsense Reasoning. 128-142 - Fengming Zhu, Fangzhen Lin:
On Computing Universal Plans for Partially Observable Multi-Agent Path Finding. 143-166 - Fengming Zhu, Fangzhen Lin, Weijia Xu, Yifei Guo:
The Combined Problem of Online Task Assignment and Lifelong Path Finding in Logistics Warehouses: A Case Study. 167-187 - Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
A framework for Conditional Reasoning in Answer Set Programming. 188-201 - Racquel Dennison, Jesse Heyninck, Thomas Meyer:
Defeasible Conditionals using Answer Set Programming. 206-223 - Martín Diéguez, Igor Stéphan:
Extracting Policies from Quantified Answer Set Programs. 224-237 - Mohimenul Kabir, Kuldeep S. Meel:
A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets. 238-247 - Ivan Perez, Ángel Herranz:
Logic Programming with Extensible Types. 248-262 - Samuele Pollaci:
Fixpoint Semantics for DatalogMTL with Negation. 263-277 - Sascha Rechenberger, Thom W. Frühwirth:
A refined operational semantics for FreeCHR. 278-293 - Van-Giang Trinh, Sylvain Soliman, François Fages, Belaid Benhamou:
On the Trap Space Semantics of Normal Logic Programs. 294-319 - Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka, John Chapman, Paulo Shakarian:
Reasoning about Medical Triage Optimization with Logic Programming. 320-333 - Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh:
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital. 334-348 - Arun Raveendran Nair Sheela, Florence De Grancey, Christophe Rey, Victor Charpenay:
Hybrid MKNF for Aeronautics Applications: Usage and Heuristics. 349-366 - Alina Vozna, Andrea Monaldini, Stefania Costantini, Valentina Pitoni, Dawid Pado:
An ASP-based Solution to the Medical Appointment Scheduling Problem. 367-382 - Luís Cruz-Filipe, Jonas Vistrup:
færdXel: An Expert System for Danish Traffic Law. 383-396 - Agostino Dovier, Talissa Dreossi, Andrea Formisano, Benedetta Strizzolo:
XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions. 405-419 - Akihiro Takemura, Masayuki Otani, Katsumi Inoue:
Formally Explaining Decision Tree Models with Answer Set Programming. 420-437 - Ly Ly T. Trieu, Tran Cao Son:
xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming. 438-452 - Jens Otten, Torsten Schaub:
Implementing the First-Order Logic of Here and There. 453-468 - Fred Mesnard, Thierry Marianne, Étienne Payet:
Automated Theorem Proving for Prolog Verification. 469-481 - Veronika Semmelrock, Gerhard Friedrich:
Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing. 482-495 - Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar:
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. 496-510 - Ziyi Yang, George Pîrlea, Ilya Sergey:
Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference. 511-527 - Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand, Oisín Mac Fhearaí:
Picat Through the Lens of Advent of Code. 528-541
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 2026-02-27 23:15 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:
