Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Knowledge Representation Formalisms And Methods (I.2.4) > Temporal Logic (I.2.4...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-3 of 3 Reviews about "Temporal Logic (I.2.4...)": Date Reviewed   Incremental qualitative temporal reasoning: algorithms for the point algebra and the ORD-Horn class Gerevini A. Artificial Intelligence 166(1-2): 37-80, 2005.  Type: Article Temporal reasoning plays an essential role in many applications. Two common paradigms for reasoning about temporal constraints are based on Allen’s interval algebra [1] and point algebra [2]. The computational behavior of... Dec 20 2005   A unifying semantics for time and events Bennett B., Galton A. Artificial Intelligence 153(1-2): 13-48, 2004.  Type: Article The authors describe a logical language called versatile event logic (VEL), and sketch how other languages--such as McCarthy and Hayes’ situation calculus [1], Allen’s interval logic [2], and Kowalski and S... Jan 27 2005   Combining interval-based temporal reasoning with general TBoxes Lutz C. Artificial Intelligence 152(2): 235-274, 2004.  Type: Article In contrast to most other approaches to combining description logics and sets of concept equations (so called TBoxes), the author of this paper concentrates on interval-based semantics, rather than on point-based semantics. As a result... Apr 23 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy