Sciweavers

20 search results - page 1 / 4
» Incremental Tractable Reasoning about Qualitative Temporal C...
Sort
View
IJCAI
2003
13 years 5 months ago
Incremental Tractable Reasoning about Qualitative Temporal Constraints
In many applications of temporal reasoning we are in­ terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...
Alfonso Gerevini
ECAI
2010
Springer
13 years 5 months ago
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...
Matthias Westphal, Stefan Wölfl, Jason Jingsh...
IJCAI
2007
13 years 6 months ago
Qualitative Temporal Reasoning about Vague Events
The temporal boundaries of many real–world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show ...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
FLAIRS
2006
13 years 6 months ago
On-line Qualitative Temporal Reasoning with Explanation
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...
Debasis Mitra, Florent Launay
JUCS
2008
134views more  JUCS 2008»
13 years 4 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer