Abstract
The range of applicability of the Full Event Calculus is proven to
be the Ksp-IA class in the features and fluents taxonomy. The proof is
given with respect to the original definition of this preference logic,
where no adjustments of the language or reasoning method were necessary.
The result implies that the claims on the expressiveness and
problem-solving power of this logic were indeed correct
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
