Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

By Yolum Pınar  

Annals of Mathematics and Artificial Intelligence, Vol. 42, Iss. 1-3, 2004-09 ,pp. : 227-253

Springer Publishing Company

Access to resources Recommend Favorite

A general framework for time granularity and its application to temporal reasoning

By Bettini C.  

Annals of Mathematics and Artificial Intelligence, Vol. 22, Iss. 1-2, 1998-01 ,pp. : 29-58

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

Representing and reasoning about concurrent actions with abductive logic programs

By Li Renwei  

Annals of Mathematics and Artificial Intelligence, Vol. 21, Iss. 2-4, 1997-12 ,pp. : 245-303

Springer Publishing Company

Access to resources Recommend Favorite

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

By Baral Chitta   Kreinovich Vladik   Lifschitz Vladimir  

Annals of Mathematics and Artificial Intelligence, Vol. 21, Iss. 2-4, 1997-12 ,pp. : 129-129

Springer Publishing Company

Access to resources Recommend Favorite