Results 261 to 270 of about 67,345 (316)

Temporal Defeasible Reasoning

Knowledge and Information Systems, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan Carlos Augusto, Guillermo Ricardo Simari   +1 more
openaire   +2 more sources

Temporal Representation and Reasoning

The Knowledge Engineering Review, 1997
Artificial intelligence research in temporal reasoning focuses on designing automated solutions to complex problems in computation involving time. TIME-97, the 4th International Workshop on Temporal Representation and Reasoning, held in Daytona Beach, Florida — like the three workshops that preceded it — had the objective of creating an international ...
Robert A. Morris 0001, Lina Khatib
openaire   +1 more source

Local temporal reasoning

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
We present the first method for reasoning about temporal logic properties of higher-order, infinite-data programs. By distinguishing between the finite traces and infinite traces in the specification, we obtain rules that permit us to reason about the temporal behavior of program parts via a type-and-effect system, which is then able to compose these ...
Eric Koskinen, Tachio Terauchi
openaire   +1 more source

Abduction in temporal reasoning

2005
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temporal extent of facts and their sequencing becomes complex due to this inherent partiality.
Cristina Ribeiro 0001, António Porto
openaire   +1 more source

Spatial and Temporal Reasoning

Spatial Cognition & Computation, 2008
In the last few decades significant progress has been made in the area of spatial and temporal reasoning.
Hans W. Guesgen, Gérard Ligozat, Jochen Renz, Rita V. Rodríguez   +3 more
openaire   +2 more sources

Temporal Reasoning in Workflow Systems

Distributed and Parallel Databases, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
C. Bettini, X. S. Wang, S. Jajodia
openaire   +1 more source

Temporal Reasoning in Medicine

2005
This chapter aims to give a comprehensive and critical review of current approaches to temporal reasoning in medical applications, and to suggest future research directions. The chapter begins by presenting the relevant time representation and temporal reasoning requirements.
Shahar, Yuval, Keravnou-Papailiou, Elpida   +1 more
openaire   +2 more sources

Temporal Reasoning with Aspectual Adverbs

Linguistics and Philosophy, 2002
Our central aim is to account for the validity of reasoning patterns involving focus adverbs in contexts where the temporal reference point may change during the process of interpretation of the premises. This paper proposes a dynamic semantics of such temporal inferences, determining what is updated in the interpretation and what information is ...
Alice ter Meulen, Hans Smessaert
openaire   +3 more sources

Temporal and hypothetical reasoning as a support for qualitative reasoning

Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92, 2003
To deal with complex problems, many kinds of reasoning and representation techniques are needed. The cooperation between different reasoning models constitutes one of the objectives of second-generation systems. The need to mix temporal and hypothetical reasoning for qualitative simulation is highlighted.
Corinne Loesel, François Charpillet, Jean Paul Haton   +2 more
openaire   +1 more source

Uncertantty in temporal representation and reasoning

International Journal of Computer Mathematics, 1999
The paper presents an approach of managing temporal knowledge under imprecision or uncertainty, based on possibility theory and fuzzy logic. Temporal uncertainties are modelled in terms of possibility theory with imprecise time instants, imprecise time intervals and imprecise time durations.
Ashis K. Pani, G. P. Bhattacharjee
openaire   +1 more source