3 papers
cs.AI2026
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
João Filipe, Ãlvaro Torralba, Gregor Behnke
Factored tasks are a classical planning representation that extends SAS+ with limited forms of disjunctive preconditions, conditional effects, and angelic nondeterminism. This allo…
cs.AI2026
When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
João Filipe, Gregor Behnke
Classical planning problems are typically defined using lifted first-order representations, which offer compactness and generality. While most planners ground these representations…
cs.LO2025
Comparing State-Representations for DEL Model Checking
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh +1
Model checking with the standard Kripke models used in (Dynamic) Epistemic Logic leads to scalability issues. Hence alternative representations have been developed, in particular s…