2 citations · 2 across the 1 of their papers we have counts for
1 paper
Mohammad Abdulaziz, Lukas Koller
We present a simple and concise semantics for temporal planning. Our semantics are developed and formalised in the logic of the interactive theorem prover Isabelle/HOL. We derive f…