default search action
17th LPNMR 2024: Dallas, TX, USA
- Carmine Dodaro
, Gopal Gupta
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
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
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
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. 57-70 - Joachim Baumeister
Towards Industrial-Scale Product Configuration. 71-84 - Francesco Chiariello
An ILASP-Based Approach to Repair Petri Nets. 85-97 - Jesse Heyninck
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
Multi-paradigm Logic Programming in the ErgoAI System. 126-139 - Antonio Ielo
An ASP-Based Approach to Water Distribution System Reconstruction. 140-153 - Ringo Baumann
Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. 154-166 - Lucas Van Laer
Efficiently Grounding FOL Using Bit Vectors. 167-173 - Mario Alviano
Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. 174-186 - Mario Alviano
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. 187-199 - Nils Küchenmeister
Towards Mass Spectrum Analysis with ASP. 200-214 - Elena Mastria
Monitoring and Scheduling of Semiconductor Failure Analysis Labs. 215-227 - Iosif Apostolakis
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. 228-234 - Matti Berthold
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
Semantic-Based Arguments Using Logic Programming Rewriting Systems. 276-289 - Stefano Bistarelli
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
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
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
LTLf2ASP: LTLf Bounded Satisfiability in ASP. 373-386 - Mario Alviano
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 2024-12-30 19: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: