891 search results - page 32 / 179 » Temporal Constraints: A Survey |
AIPS
2003
13 years 11 months ago
2003
We describe the problem of scheduling observations for an airborne astronomical observatory. The problem incorporates complex constraints relating the feasibility of an astronomic...
ARTMED
2005
13 years 9 months ago
2005
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...
ICTL
1994
14 years 2 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...
TPLP
2010
13 years 8 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
DM
2011
13 years 1 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...