Results 271 to 280 of about 67,345 (316)

Approximate Qualitative Temporal Reasoning

Annals of Mathematics and Artificial Intelligence, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Probabilistic quantitative temporal reasoning

Proceedings of the Symposium on Applied Computing, 2017
Temporal reasoning, in the form of propagation of temporal constraints, is an important topic in Artificial Intelligence. The current literature in the area is moving from the treatment of "crisp" temporal constraints to fuzzy or probabilistic constraints, to account for different forms of uncertainty and\or preferences.
Terenziani P., Andolina A.
openaire   +2 more sources

Tractable Temporal Reasoning. [PDF]

, 2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simplified formalisms and techniques, such as temporal interval algebras or model checking. In this paper we show that tractable sub-classes of propositional linear temporal logic
Dixon, Clare, Fisher, Michael, Konev, Boris   +2 more
openaire   +1 more source

The Logical Approach to Temporal Reasoning

Artificial Intelligence Review, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Temporal representation and reasoning in medicine

Artificial Intelligence in Medicine, 2006
Temporal representation and reasoning is a very challenging research topic in several areas of computer science: among them, we mention here databases, artificial intelligence, theoretical computer science, computational linguistics, real time systems, and medical informatics.
C. Combi, POZZI, GIUSEPPE
openaire   +1 more source

Temporal Modeling and Temporal Reasoning

2010
In this chapter, the reader is guided through the basic notions of time and temporal information and is presented with some important, general approaches to represent and reason about temporal information. Simple medical examples are used to help the reader to understand the advantages and limitations of the different approaches.
Carlo Combi, Elpida Keravnou-Papailiou, Yuval Shahar   +2 more
openaire   +1 more source

Problems in formal temporal reasoning

Artificial Intelligence, 1988
Abstract Ever since its introduction by McCarthy and Hayes in 1969, the so-called frame problem has been the object of much fascination and debate. Although it was defined in the narrow context of the situation calculus, a specific temporal formalism, it was clear from the start that it is in fact a manifestation of some fundamental problem in ...
Yoav Shoham, Drew V. McDermott
openaire   +1 more source

Reasoning with Temporal Constraints in RDF

2006
Time management is a key feature needed in any query language for web and semistructured data. However, only recently this has been addressed by the Semantic Web community, through the study of temporal extensions to RDF (Resource Description Framework). In this paper we show that the ability of the RDF data model of handling unknown resources by means
Hurtado, Carlos, Vaisman, Alejandro
openaire   +1 more source

Modifying Rete to reason temporally

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93), 2002
Although researchers stress the importance of relative time representations, most expert system shells with temporal reasoning target real-time domains and use absolute time representations. This ontological assumption limits these systems to domains in which temporal events relate to times of occurrence.
Marcus A. Maloof, Krys J. Kochut
openaire   +1 more source

Temporal reasoning: A relativistic model

International Journal of Intelligent Systems, 1991
In 1983, Allen presented an ingenious method for the representation and maintenance of temporal information in the presence of imprecise, uncertain, and relative knowledge about time of occurrence. He introduced 13 relations between his primitive “temporal intervals,” providing for the expression of “any relationship which can hold between two ...
Rita V. Rodríguez, Frank D. Anger, Kenneth M. Ford   +2 more
openaire   +1 more source