DocumentCode
3201463
Title
The Event Calculus assessed
Author
Brandano, Sergio
Author_Institution
Dept. of Comput. Sci., London Univ., UK
fYear
2001
fDate
2001
Firstpage
7
Lastpage
12
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
Keywords
nonmonotonic reasoning; temporal logic; temporal reasoning; Full Event Calculus; Ksp-IA class; expressiveness; features and fluents taxonomy; nonmonotonic temporal reasoning; preference logic; problem-solving power; Calculus; Computer science; Educational institutions; Licenses; Logic design; Problem-solving; Software standards; Taxonomy; Warranties;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on
Conference_Location
Cividale del Friuli
Print_ISBN
0-7695-1107-4
Type
conf
DOI
10.1109/TIME.2001.930691
Filename
930691
Link To Document