Did you mean: Representing Action Domains with Numeric-Values Fluents.
We present a general method to formalize action domains with numeric-valued fluents whose values are incremented or decremented by executions of actions, ...
We present a general method to formalize action domains with numeric- valued fluents whose values are incremented or decremented by executions of actions, and ...
We present a general method to formalize action domains with numeric-valued fluents whose values are incremented or decremented by executions of actions, ...
We present a general method to formalize action domains with numeric-valued fluents whose values are incremented or decremented by executions of actions, ...
We present a generalmethod to formalize action domains with numeric valued fluents whose values are incremented or decremented by executions of actions, ...
This paper proposes complementing the notion of fluent by the related concept of counting fluent, and develops a sound (but incomplete) model checking ...
Abstract. We aim at representing and reasoning about actions and (high level) programs over ontologies expressed in Description Logics. This is a critical issue ...
Title: Representing action domains with numeric-valued fluents ; Authors: Erdem, Esra · Gabaldon, Alfredo ; Issue Date: 2006 ; Citation: Erdem, E., & Gabaldon, A.
Representing action domains with numeric-valued fluents. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), <i>Proceedings 10th European ...
The domain syntax in PDDL2.1 extended upon version 1.2 to include two key new features, durative-actions and functions which are referred to as numeric fluents.