1353 search results - page 8 / 271 » Streamlined Constraint Reasoning |
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
ASP
2001
Springer
13 years 11 months ago
2001
Springer
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
TIME
2002
IEEE
14 years 18 days ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
AAAI
1994
13 years 9 months ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...