Temporal Granularity and Indeterminacy in Reasoning About Actions and Change: An Approach Based on the Event Calculus

By Chittaro L.  

Annals of Mathematics and Artificial Intelligence, Vol. 36, Iss. 1-2, 2002-09 ,pp. : 81-119

Springer Publishing Company

Access to resources Recommend Favorite

A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus

By Franceschet M.  

Annals of Mathematics and Artificial Intelligence, Vol. 30, Iss. 1-4, 2000-01 ,pp. : 93-118

Springer Publishing Company

Access to resources Recommend Favorite

A Calculus for Cryptographic Protocols: The Spi Calculus

By Abadi M.   Gordon A.D.  

Information and Computation, Vol. 148, Iss. 1, 1999-01 ,pp. : 1-70

Academic Press

Access to resources Recommend Favorite

An Epistemological and Didactic Study of a Specific Calculus Reasoning Rule

By Durand-Guerrier Viviane   Arsac Gilbert  

Educational Studies in Mathematics, Vol. 60, Iss. 2, 2005-10 ,pp. : 149-172

Springer Publishing Company

Access to resources Recommend Favorite

A procedural approach to explorations in calculus

By Yerushalmy M.   Schwartz J. J.  

International Journal of Mathematical Education in Science and Technology, Vol. 30, Iss. 6, 1999-11 ,pp. : 903-914

Taylor & Francis Ltd

Access to resources Recommend Favorite