3446 search results - page 109 / 690 » A Reasoning Algorithm for pD* |
121
click to vote
TIME
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
117
click to vote
HIM
1997
Springer
15 years 5 months ago
1997
Springer
The application of information retrieval techniques in interactive environments requires systems capable of efficiently processing vague queries. To reach reasonable response tim...
108
click to vote
LPNMR
1997
Springer
15 years 5 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
LPAR
1994
Springer
15 years 5 months ago
1994
Springer
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
101
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...