Sciweavers

2 search results - page 1 / 1
» Finding a Consistent Scenario to an Interval Algebra Network...
Sort
View
JUCS
2010
124views more  JUCS 2010»
13 years 3 months ago
Finding a Consistent Scenario to an Interval Algebra Network Containing Possibly Infinite Intervals
: Interval algebra networks are traditionally defined over finite intervals. In this paper, we relax this restriction by allowing one or more of the intervals involved to be infini...
André Trudel
AI
2008
Springer
13 years 5 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar