A survey of temporal extensions of description logics

Author： Artale A.  

Publisher： Springer Publishing Company

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.30, Iss.1-4, 2000-01, pp. : 171-210

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

Implicates and reduction techniques for temporal logics

By de Guzmán I.P.   Ojeda-Aciego M.   Valverde A.  

Annals of Mathematics and Artificial Intelligence, Vol. 27, Iss. 1-4, 1999-01 ,pp. : 3-23

Springer Publishing Company

Access to resources Recommend Favorite

An Infinite Hierarchy of Temporal Logics over Branching Time

By Rabinovich A.   Maoz S.  

Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. : 306-332

Academic Press

Access to resources Recommend Favorite

The Complexity of Propositional Linear Temporal Logics in Simple Cases

By Demri S.   Schnoebelen P.  

Information and Computation, Vol. 174, Iss. 1, 2002-04 ,pp. : 84-103

Academic Press

Access to resources Recommend Favorite

A survey on different triangular norm-based fuzzy logics

By Klement E.P.   Navara M.  

Fuzzy Sets and Systems, Vol. 101, Iss. 2, 1999-01 ,pp. : 241-251

Elsevier

Access to resources Recommend Favorite

Functional systems in the context of temporal×modal logics with indexed flows

By Burrieza A.  

International Journal of Computer Mathematics, Vol. 86, Iss. 10-11, 2009-10 ,pp. : 1696-1706

Taylor & Francis Ltd

Access to resources Recommend Favorite