The Transition Calculus: a high-level formalism for reasoning about action and change

ISSN： 1362-3079

Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.9, Iss.1, 1997-01, pp. : 51-66

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Formalism for Representing and Reasoning with Temporal Information, Event and Change

By Obeid Nadim

Applied Intelligence, Vol. 23, Iss. 2, 2005-10 ,pp. : 109-119

Springer Publishing Company

Access to resources Recommend Favorite

Robust human action recognition scheme based on high-level feature fusion

By Benmokhtar Rachid

Multimedia Tools and Applications, Vol. 69, Iss. 2, 2014-03 ,pp. : 253-275

Springer Publishing Company

Access to resources Recommend Favorite

Efficient high-level parallel programming

By Botorog G.H. Kuchen H.

Theoretical Computer Science, Vol. 196, Iss. 1, 1998-04 ,pp. : 71-107

Elsevier

Access to resources Recommend Favorite

HIGH-LEVEL INTERPRETATION IN VIRTUAL ENVIRONMENTS

By Cavazza Marc Palmer Ian

Applied Artificial Intelligence, Vol. 14, Iss. 1, 2000-01 ,pp. : 125-144

Taylor & Francis Ltd

Access to resources Recommend Favorite

Parallel high-level replacement systems

By Taentzer G.

Theoretical Computer Science, Vol. 186, Iss. 1, 1997-10 ,pp. : 43-81

Elsevier

Access to resources Recommend Favorite