Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2111.11588
Cited By
A Logical Semantics for PDDL+
23 November 2021
Vitaliy Batusov
M. Soutchanski
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Logical Semantics for PDDL+"
2 / 2 papers shown
Title
Planning as Theorem Proving with Heuristics
M. Soutchanski
Ryan Young
LRM
11
1
0
23 Mar 2023
Bounded Situation Calculus Action Theories
Giuseppe De Giacomo
Yves Lespérance
F. Patrizi
LRM
29
38
0
07 Sep 2015
1
