fluent Physical_ fluent Liquid_ fluent Gaseous_ fluent EM_ fluent Kinetic_ fluent ... ... Rotational_ motion Translational_ motion Rotational_ force Translational_ force ... ... ... (a) functions (b) fluents Figure 5: The function and fluent taxonomies.

Kurzfassung. Patientenspezifische Strömungsund die Geometrieanalyse von Aneurysmen basiert auf der 3D-Rekonstruktion aus Daten, die mit modernen Methoden der Bildgebung (z.B. CT und MRT) gewonnen werden. Die unterschiedlichen Charakteristika der Bildgebungsverfahren und die damit verbundenen Unsicherheiten führen zu Variationen der rekonstruierten Geometrien, die sich auf die numerische Berechn...

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called AMK , provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then d...

This position paper advocates a simple fluent representation of intention, knowledge, belief and memory that due to its grounded and integrated nature allows the use of constraint based planning algorithms for all aspects of agent reasoning and execution, including planning under uncertainty and integrated diagnosis and repair.

RANTANPLAN is a numeric planning solver that takes advantage of recent advances in SMT. It extends reduction to SAT approaches with an easy and efficient handling of numeric fluents using background theories. In this paper we describe the design choices and features of RANTANPLAN, especially, how numeric reasoning is integrated in the system. We also provide experimental results showing that RA...