![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
17th 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 Peter 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 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.