default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th LPNMR 2024: Dallas, TX, USA
- Carmine Dodaro
, Gopal Gupta, Maria Vanina Martinez:
Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings. Lecture Notes in Computer Science 15245, Springer 2025, ISBN 978-3-031-74208-8 - Jorge Fandinno, Vladimir Lifschitz:
Deductive Systems for Logic Programs with Counting: Preliminary Report. 1-14 - Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub:
Compiling Metric Temporal Answer Set Programming. 15-29 - Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker:
A Sequent Calculus for Generalized Inductive Definitions. 30-42 - Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare:
tExplain: Information Extraction with Explanations. 43-56 - Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. 57-70 - Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko:
Towards Industrial-Scale Product Configuration. 71-84 - Francesco Chiariello, Antonio Ielo, Alice Tarzariol:
An ILASP-Based Approach to Repair Petri Nets. 85-97 - Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. 98-111 - Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo:
Using Learning from Answer Sets for Robust Question Answering with LLM. 112-125 - Theresa Swift, Michael Kifer:
Multi-paradigm Logic Programming in the ErgoAI System. 126-139 - Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca:
An ASP-Based Approach to Water Distribution System Reconstruction. 140-153 - Ringo Baumann, Hannes Strass:
Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. 154-166 - Lucas Van Laer, Simon Vandevelde, Joost Vennekens:
Efficiently Grounding FOL Using Bit Vectors. 167-173 - Mario Alviano, Luis Angel Rodriguez Reiners:
Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. 174-186 - Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt:
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. 187-199 - Nils Küchenmeister, Alex Ivliev, Markus Krötzsch:
Towards Mass Spectrum Analysis with ASP. 200-214 - Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin:
Monitoring and Scheduling of Semiconductor Failure Analysis Labs. 215-227 - Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner:
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. 228-234 - Matti Berthold, Markus Ulbricht:
On Forgetting in Assumption-Based Argumentation. 235-261 - Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait:
Towards Explainable Weather Forecasting Through FastLAS. 262-275 - Esteban Guerrero, Juan Carlos Nieves:
Semantic-Based Arguments Using Logic Programming Rewriting Systems. 276-289 - Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Modelling Dialogues in a Concurrent Language for Argumentation. 290-303 - Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan:
A Fixpoint Characterisation of Temporal Equilibrium Logic. 304-316 - Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts:
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. 317-330 - Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini:
A Simulation for Supply Chains Contract Execution. 331-344 - Hasra Dodampegama, Mohan Sridharan:
Reasoning and Explanation Generation in Ad Hoc Collaboration Between Humans and Embodied AI. 345-358 - Vineel S. K. Tummala, Daniela Inclezan:
Policies, Penalties, and Autonomous Agents. 359-372 - Valeria Fionda, Antonio Ielo, Francesco Ricca:
LTLf2ASP: LTLf Bounded Satisfiability in ASP. 373-386 - Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners, Ilaria R. Vasile:
Integrating Structured Declarative Language (SDL) into ASP Chef. 387-392 - Ezgi Iraz Su:
A Generalisation of Epistemic Splitting Property. 393-406
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-10-13 23:39 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
