570 search results - page 3 / 114 » The Complexity of Reasoning with Global Constraints |
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
ECAI
2000
Springer
13 years 10 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
CPAIOR
2005
Springer
13 years 11 months ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...
AAAI
2008
13 years 8 months ago
2008
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...
ICALP
1998
Springer
13 years 10 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...