Reasoning on temporal class diagrams: Undecidability results

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.46, Iss.3, 2006-03, pp. : 265-288

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

Editorial: Temporal representation and reasoning

By Chittaro L. Montanari A.

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

Springer Publishing Company

Access to resources Recommend Favorite

Approximate Qualitative Temporal Reasoning

By Bittner T.

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

Springer Publishing Company

Access to resources Recommend Favorite

Guest editorial: Temporal representation and reasoning

By Bouzid Maroua

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 231-234

Springer Publishing Company

Access to resources Recommend Favorite

AMAI Special Issue on Temporal Representation and Reasoning

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

Springer Publishing Company

Access to resources Recommend Favorite

Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment

By Hadad M.

Annals of Mathematics and Artificial Intelligence, Vol. 37, Iss. 4, 2003-04 ,pp. : 331-379

Springer Publishing Company

Access to resources Recommend Favorite