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

This page contains an index consisting of author-provided keywords.

A
Abduction	Abduction in the Landscape of Probabilistic Logic Programming
Abstract Argumentation	On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Agnostic Grid Reconstruction	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
AI	BLAST: Benchmarking LLMs with ASP-based Structured Testing
AI Agents	ASP Sous-Chef
Air Traffic Flow and Capacity Management	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming
Answer Set Programming	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming Deontic Equilibrium Logic with Paraconsistent Modality Lightweight language models for encoding ASP from natural language ASP Sous-Chef Theory-Level Heuristics and Multi-Level Optimization for clingcon Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming Bayesian Hyperparameter Optimization with ALASPO Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming Finding Counterexamples for External Equivalence aspen-tree: A system for non-ground meta-programming in ASP From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation Computational Complexity of Disjunctive Answer Set Programming with Quantifiers Emergency planning for norm violations via ASP-based stream reasoning Brief Temporal Equilibrium Logic Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding Equivalence under Stable-Unstable Semantics BLAST: Benchmarking LLMs with ASP-based Structured Testing Model-Theoretic Characterization of Programs under Specific Inputs Strong Equivalence of Logic Programs Relative to a User Guide Here-and-There with Constraints for Description Logic
Applications	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
ASP	Solving configuration problems with unbounded cardinalities in COOM mkdoclingo: A system for automatic documentation of ASP programs
ASP Chef	ASP Sous-Chef
ASP modulo theories	Here-and-There with Constraints for Description Logic
ASP with Quantifier	Computational Complexity of Disjunctive Answer Set Programming with Quantifiers
ASP(Q)	Step-Wise Explanations for Sudoku Puzzles Using ASP(Q)
Award	Best Doctoral Consortium Contribution Award
B
benchmarking	BLAST: Benchmarking LLMs with ASP-based Structured Testing
Best Contribution	Best Doctoral Consortium Contribution Award
bit vector	Efficient Grounding with Bounds using Bit Vectors
C
Complexity analysis	On the Complexity of Model Checking for Temporal Equilibrium Logic
Computational Complexity	Computational Complexity of Disjunctive Answer Set Programming with Quantifiers
Constraint Answer Set Programming	Theory-Level Heuristics and Multi-Level Optimization for clingcon Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
COOM	Solving configuration problems with unbounded cardinalities in COOM
Counterexample finding	Finding Counterexamples for External Equivalence
Course Timetabling	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
D
DALI2	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
Declarative search control	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Deontic Equilibrium Logic with eXplicit negation	Deontic Equilibrium Logic with Paraconsistent Modality
Deontic Logic	Deontic Equilibrium Logic with Paraconsistent Modality
Description Logic	Here-and-There with Constraints for Description Logic
disjunctive logic programs	LLMs Find New Classes of Logic Programs
Doctoral Consortium	Best Doctoral Consortium Contribution Award
Documentation	mkdoclingo: A system for automatic documentation of ASP programs
Dynamic Airspace Configuration	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming
E
Epistemic logic	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
Equilibrium Logic	Deontic Equilibrium Logic with Paraconsistent Modality Here-and-There with Constraints for Description Logic
equivalence checking	Equivalence under Stable-Unstable Semantics Model-Theoretic Characterization of Programs under Specific Inputs
ethical norms	Emergency planning for norm violations via ASP-based stream reasoning
Explainable AI	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
Explanations	Step-Wise Explanations for Sudoku Puzzles Using ASP(Q)
External Equivalence	Finding Counterexamples for External Equivalence
F
first order logic	Efficient Grounding with Bounds using Bit Vectors
Formal Methods	Strong Equivalence of Logic Programs Relative to a User Guide
G
generation	BLAST: Benchmarking LLMs with ASP-based Structured Testing
Genetic Auto-tuning	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
grounding	Efficient Grounding with Bounds using Bit Vectors
H
hiding	Equivalence under Stable-Unstable Semantics
Hybrid Qualitative-Quantitative Reasoning	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
Hybrid solving	Theory-Level Heuristics and Multi-Level Optimization for clingcon
hybrid systems	BLAST: Benchmarking LLMs with ASP-based Structured Testing
J
Joint Optimization	Abstract Air Traffic Flow and Capacity Management via Answer Set Programming
K
Keynote	Probabilistic Logics for Declarative Process Mining LPNMR in the Age of LLMs: Verification, Policy, and Trustworthy Agency Answer Set Programming for Reinforcement Learning
Knowledge Extraction from Images	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
KR in the Wild: autonomous systems	Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
KRR	BLAST: Benchmarking LLMs with ASP-based Structured Testing mkdoclingo: A system for automatic documentation of ASP programs
L
L-DINF	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
Large Language Models	Lightweight language models for encoding ASP from natural language ASP Sous-Chef LLMs Find New Classes of Logic Programs
Large Neighborhood Search	Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming
Large Neighbourhood Search	Bayesian Hyperparameter Optimization with ALASPO
Least Fixpoint Computation	SAT Modulo Well-Founded Semantics: Extended Abstract
Lexicographic optimization	Theory-Level Heuristics and Multi-Level Optimization for clingcon
Linear Algebra	Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches
Linear Temporal Logic	Brief Temporal Equilibrium Logic
Logic Programming	Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling On Strong Equivalence Notions in Logic Programming and Abstract Argumentation Equivalence under Stable-Unstable Semantics
LPNMR 2026	Probabilistic Logics for Declarative Process Mining LPNMR in the Age of LLMs: Verification, Policy, and Trustworthy Agency Answer Set Programming for Reinforcement Learning
M
Meta Programming	aspen-tree: A system for non-ground meta-programming in ASP
Modal Logic	Deontic Equilibrium Logic with Paraconsistent Modality
Model checking	On the Complexity of Model Checking for Temporal Equilibrium Logic
Model Context Protocol	ASP Sous-Chef
modularity	Equivalence under Stable-Unstable Semantics
Multi-Agent Pathfinding	Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding
Multi-agent systems	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
Multi-shot	Solving configuration problems with unbounded cardinalities in COOM
N
Natural Language Processing	Lightweight language models for encoding ASP from natural language
Neuro-Symbolic Integration	ASP Sous-Chef
neurosymbolic AI	BLAST: Benchmarking LLMs with ASP-based Structured Testing
Nonmonotonic logics	On the Complexity of Model Checking for Temporal Equilibrium Logic
Normative Reasoning	Deontic Equilibrium Logic with Paraconsistent Modality
P
Parameter Configuration	Bayesian Hyperparameter Optimization with ALASPO
Probabilistic Logic Programming	Abduction in the Landscape of Probabilistic Logic Programming
Probability	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
Product Configuration	Solving configuration problems with unbounded cardinalities in COOM
program transformation	LLMs Find New Classes of Logic Programs
R
Railway Scheduling	Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming
reasoning engine	Efficient Grounding with Bounds using Bit Vectors
Rewriting	aspen-tree: A system for non-ground meta-programming in ASP
Routing and Scheduling	Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming
S
SAT	SAT Modulo Well-Founded Semantics: Extended Abstract
Search heuristics	Theory-Level Heuristics and Multi-Level Optimization for clingcon
specific inputs	Model-Theoretic Characterization of Programs under Specific Inputs
Stable Model	Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches
stable model semantics	Equivalence under Stable-Unstable Semantics
State Representation	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
Statistical Relational Artificial Intelligence	Abduction in the Landscape of Probabilistic Logic Programming
stream reasoning	Emergency planning for norm violations via ASP-based stream reasoning
Strong Equivalence	On Strong Equivalence Notions in Logic Programming and Abstract Argumentation Equivalence under Stable-Unstable Semantics Strong Equivalence of Logic Programs Relative to a User Guide
Sudoku	Step-Wise Explanations for Sudoku Puzzles Using ASP(Q)
Symbolic Abstraction	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning
System	mkdoclingo: A system for automatic documentation of ASP programs
T
Talk	Probabilistic Logics for Declarative Process Mining LPNMR in the Age of LLMs: Verification, Policy, and Trustworthy Agency Answer Set Programming for Reinforcement Learning
Temporal Equilibrium Logic	Brief Temporal Equilibrium Logic
Temporal logics	On the Complexity of Model Checking for Temporal Equilibrium Logic
testing	BLAST: Benchmarking LLMs with ASP-based Structured Testing
translation-based ASP	Equivalence under Stable-Unstable Semantics
Trust	Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling
trustable AI	BLAST: Benchmarking LLMs with ASP-based Structured Testing
U
uniform equivalence	Model-Theoretic Characterization of Programs under Specific Inputs
Urban Traffic Control	Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization
W
weak equivalence	Equivalence under Stable-Unstable Semantics
WebGPU	ASP Sous-Chef
Well-Founded Semantics	SAT Modulo Well-Founded Semantics: Extended Abstract
Windowed Solver	Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding
Z
Zero-shot Perception	From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning

Disclaimer | Powered by EasyChair Smart Program