loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
The Event Calculus Assessed
Cividale Del Friuli, Italy
June 14-June 16
ISBN: 0-7695-1107-4
ASCII Text
x 
 
Sergio Brandano, "The Event Calculus Assessed," Temporal Representation and Reasoning, International Syposium on, pp. 0007, Eighth International Symposium on Temporal Representation and Reasoning (TIME'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/TIME.2001.930691,
author = {Sergio Brandano},
title = {The Event Calculus Assessed},
journal ={Temporal Representation and Reasoning, International Syposium on},
volume = {0},
year = {2001},
isbn = {0-7695-1107-4},
pages = {0007},
doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930691},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Temporal Representation and Reasoning, International Syposium on
TI - The Event Calculus Assessed
SN - 0-7695-1107-4
SP
EP
A1 - Sergio Brandano,
PY - 2001
VL - 0
JA - Temporal Representation and Reasoning, International Syposium on
ER -
 
Sergio Brandano, Queen Mary College, University of London
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.
Citation:
Sergio Brandano, "The Event Calculus Assessed," time, pp.0007, Eighth International Symposium on Temporal Representation and Reasoning (TIME'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.