Author: de Guzmán I.P. Ojeda-Aciego M. Valverde A.
Publisher: Springer Publishing Company
ISSN: 1012-2443
Source: Annals of Mathematics and Artificial Intelligence, Vol.27, Iss.1-4, 1999-01, pp. : 3-23
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A survey of temporal extensions of description logics
By Artale A.
Annals of Mathematics and Artificial Intelligence, Vol. 30, Iss. 1-4, 2000-01 ,pp. :
An Infinite Hierarchy of Temporal Logics over Branching Time
Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. :
The Complexity of Propositional Linear Temporal Logics in Simple Cases
Information and Computation, Vol. 174, Iss. 1, 2002-04 ,pp. :