The Event Calculus Assessed
View/ Open
Series
Department of Computer Science Research Reports;RR-01-02 - March 2001
ISSN
1470-5559
Metadata
Show full item recordAbstract
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.