1353 search results - page 8 / 271 » Streamlined Constraint Reasoning |
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
ASP
2001
Springer
15 years 5 months ago
2001
Springer
LPAR
2000
Springer
15 years 5 months ago
2000
Springer
TIME
2002
IEEE
15 years 6 months 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...
101
Voted
AAAI
1994
15 years 2 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...