2 papers
cs.AI2026
On the Size Complexity and Decidability of First-Order Progression
Jens Classen, Daxin Liu
Progression, the task of updating a knowledge base to reflect action effects, generally requires second-order logic. Identifying first-order special cases, by restricting either th…
cs.AI2024
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
Till Hofmann, Jens Claßen
We investigate the synthesis of policies for high-level agent programs expressed in Golog, a language based on situation calculus that incorporates nondeterministic programming con…