The Projection Problem for EL Actions.
Hongkai Liu, Carsten Lutz, Maja Miličić · 2008
Classical action formalisms form a dichotomy regarding their expressive power and computational properties: they are either based on first-order logic (FOL) and undecidable like the Situation Calculus [13], or decidable but only propositional like STRIPS [8, 7]. In [3, 11], it was proposed to integrate description