LPNMR 2026: 18TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING

A
Adam, Sebastian	Emergency planning for norm violations via ASP-based stream reasoning
Alviano, Mario	ASP Sous-Chef
Angilica, Denise	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
Ateeq, Tayyab	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
Azzolini, Damiano	Abduction in the Landscape of Probabilistic Logic Programming
B
Banbara, Mutsunori	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
Bankosegger, Rafael Philipp	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Baral, Chitta	LPNMR in the Age of LLMs: Verification, Policy, and Trustworthy Agency
Barreca, Oscar	On the Complexity of Model Checking for Temporal Equilibrium Logic
Baumeister, Joachim	Solving configuration problems with unbounded cardinalities in COOM
Beiser, Alexander	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming
Bellodi, Elena	Probabilistic Logics for Declarative Process Mining
Bhatt, Mehul	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
Bogaerts, Bart	Step-Wise Explanations for Sudoku Puzzles Using ASP(Q) Efficient Grounding with Bounds using Bit Vectors
Borroto, Manuel	Lightweight language models for encoding ASP from natural language BLAST: Benchmarking LLMs with ASP-based Structured Testing
Bruno, Pierangela	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
Buraglio, Giovanni	On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
C
Cabalar, Pedro	Deontic Equilibrium Logic with Paraconsistent Modality Brief Temporal Equilibrium Logic Here-and-There with Constraints for Description Logic
Calimeri, Francesco	BLAST: Benchmarking LLMs with ASP-based Structured Testing Emergency planning for norm violations via ASP-based stream reasoning
Comploi-Taupe, Richard	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Coppolillo, Erica	BLAST: Benchmarking LLMs with ASP-based Structured Testing
Costantini, Stefania	Here-and-There with Constraints for Description Logic Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
D
De Lauretis, Lorenzo	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
Doria, Francesco	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
Dvořák, Wolfgang	On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
E
Eiter, Thomas	Bayesian Hyperparameter Optimization with ALASPO Brief Temporal Equilibrium Logic Answer Set Programming for Reinforcement Learning On the Complexity of Model Checking for Temporal Equilibrium Logic SAT Modulo Well-Founded Semantics: Extended Abstract Emergency planning for norm violations via ASP-based stream reasoning
Ek, Alexander	Step-Wise Explanations for Sudoku Puzzles Using ASP(Q)
F
Fandinno, Jorge	Finding Counterexamples for External Equivalence Strong Equivalence of Logic Programs Relative to a User Guide
G
Galardo, Emanuele	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
Geibinger, Tobias	Bayesian Hyperparameter Optimization with ALASPO
Gerndt, Dominik	mkdoclingo: A system for automatic documentation of ASP programs
H
Hahn, Susana	mkdoclingo: A system for automatic documentation of ASP programs
Hansen, Zachary	Strong Equivalence of Logic Programs Relative to a User Guide
Havur, Giray	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Hecher, Markus	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming Abduction in the Landscape of Probabilistic Logic Programming
Herud, Konstantin	Solving configuration problems with unbounded cardinalities in COOM
Heuer, Jan	Finding Counterexamples for External Equivalence Solving configuration problems with unbounded cardinalities in COOM
I
Ianni, Giovambattista	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
Inoue, Katsumi	Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches
J
Janhunen, Tomi	Finding Counterexamples for External Equivalence Equivalence under Stable-Unstable Semantics
K
Kareem, Irfan	Lightweight language models for encoding ASP from natural language
Karlsson, Lars	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
Kuhlmann, Isabelle	Best Doctoral Consortium Contribution Award
L
Laboccetta, Luca	Emergency planning for norm violations via ASP-based stream reasoning
Lierler, Yuliya	Strong Equivalence of Logic Programs Relative to a User Guide
Lifschitz, Vladimir	Strong Equivalence of Logic Programs Relative to a User Guide
M
Macrì, Pietro	ASP Sous-Chef
Manco, Giuseppe	BLAST: Benchmarking LLMs with ASP-based Structured Testing
Manteiga, Ovidio	Deontic Equilibrium Logic with Paraconsistent Modality
Maratea, Marco	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
Mazzotta, Giuseppe	Computational Complexity of Disjunctive Answer Set Programming with Quantifiers Best Doctoral Consortium Contribution Award
Miyashita, Maki	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
Moeller, Maximilian	Step-Wise Explanations for Sudoku Puzzles Using ASP(Q)
Monsen, Julius	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
Murphy, Ryan	Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming
Musliu, Nysret	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming
N
Nabeshima, Hidetomo	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
Nemes, Amadé	Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming aspen-tree: A system for non-ground meta-programming in ASP
Nguyen, Tuan	Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches
Nießen, Tobias	SAT Modulo Well-Founded Semantics: Extended Abstract
P
Pearce, David	Brief Temporal Equilibrium Logic
Perri, Simona	BLAST: Benchmarking LLMs with ASP-based Structured Testing Emergency planning for norm violations via ASP-based stream reasoning
Pfliegler, Dave	Bayesian Hyperparameter Optimization with ALASPO
Pitoni, Valentina	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
R
Ramagnano, Gabriele	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
Reutelshöfer, Jochen	Solving configuration problems with unbounded cardinalities in COOM
Ricca, Francesco	Computational Complexity of Disjunctive Answer Set Programming with Quantifiers Lightweight language models for encoding ASP from natural language BLAST: Benchmarking LLMs with ASP-based Structured Testing
Rodler, Patrick	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Rodriguez Reiners, Luis Angel	ASP Sous-Chef
Romero, Javier	Finding Counterexamples for External Equivalence Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming
Rühling, Nicolas	Solving configuration problems with unbounded cardinalities in COOM
S
Saffidine, Abdallah	Solving configuration problems with unbounded cardinalities in COOM
Sakama, Chiaki	LLMs Find New Classes of Logic Programs Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches
Saribatur, Zeynep G.	Model-Theoretic Characterization of Programs under Specific Inputs
Schaub, Torsten	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming Finding Counterexamples for External Equivalence Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding Solving configuration problems with unbounded cardinalities in COOM Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming aspen-tree: A system for non-ground meta-programming in ASP
Sestito, Pierpaolo	ASP Sous-Chef
Soh, Takehide	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
Soldà, Davide	Brief Temporal Equilibrium Logic On the Complexity of Model Checking for Temporal Equilibrium Logic SAT Modulo Well-Founded Semantics: Extended Abstract
Strauch, Klaus	Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding
Suchan, Jakob	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
Sugimori, Irumi	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
T
Tamura, Naoyuki	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
Tarzariol, Alice	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
Terracina, Giorgio	Emergency planning for norm violations via ASP-based stream reasoning
Truszczynski, Mirek	Computational Complexity of Disjunctive Answer Set Programming with Quantifiers
U
Unalan, Kaan	Model-Theoretic Characterization of Programs under Specific Inputs
V
Vallati, Mauro	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
Van Laer, Lucas	Efficient Grounding with Bounds using Bit Vectors
Vennekens, Joost	Efficient Grounding with Bounds using Bit Vectors
Vidal, Concepción	Deontic Equilibrium Logic with Paraconsistent Modality
Vitale, Michele	Lightweight language models for encoding ASP from natural language
Vozna, Alina	Here-and-There with Constraints for Description Logic
W
Woltran, Stefan	On Strong Equivalence Notions in Logic Programming and Abstract Argumentation Abstract Air Traffic Flow and Capacity Management via Answer Set Programming Model-Theoretic Characterization of Programs under Specific Inputs
Z
Zuccato, Francesco	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Š
Švancara, Jiří	Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding

Disclaimer | Powered by EasyChair Smart Program