Today we advertise an article submitted by Michael Thielscher, addressing planning in hybrid domains with both discrete and continuous change. This is the first example of an ETAI article that builds on the previously published reference articles for its definitions, whereby the length of the article has been reduced considerably.

Michael Thielscher
Fluent Calculus Planning with Continuous Change.
[Interactions]

Abstract: Green's classical definition of planning by deduction has recently been generalized to hybrid domains, which involve both discrete and continuous change. We show that this generalization is unsuited for planning under incomplete information. An improved theory is developed on the basis of the novel concept of a situation tree with trajectories and using the predicate formalism of the Fluent Calculus.