research
∙
03/23/2023
Planning as Theorem Proving with Heuristics
Planning as theorem proving in situation calculus was abandoned 50 years...
share
research
∙
11/23/2021
A Logical Semantics for PDDL+
PDDL+ is an extension of PDDL2.1 which incorporates fully-featured auton...
research
∙
10/31/2019
Towards A Logical Account of Epistemic Causality
Reasoning about observed effects and their causes is important in multi-...
research
∙
07/12/2018
Hybrid Temporal Situation Calculus
The ability to model continuous change in Reiter's temporal situation ca...
research
∙
05/12/2017