37 search results - page 2 / 8 » SAT-Based Procedures for Temporal Reasoning |
ICTL
1994
13 years 10 months ago
1994
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 temp...
JAIR
1998
13 years 6 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
IJCAI
2003
13 years 7 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
ECSQARU
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
BIOSTEC
2008
13 years 7 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...