3381 search results - page 471 / 677 » Extending Dependencies with Conditions |
190
click to vote
IJCAI
2003
15 years 8 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
192
click to vote
WSC
2004
15 years 8 months ago
2004
This paper introduces and summarizes a comprehensive systems approach guiding an ongoing project addressing these significant challenges confronting logistics transformation. Curr...
224
click to vote
PDPTA
2003
15 years 8 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...
181
click to vote
AAAI
2000
15 years 8 months ago
2000
We shed light on the connections between different approaches to constraint satisfaction by showing that the main consistency concepts used to derive tractability results for cons...
205
click to vote
AAAI
1994
15 years 8 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...