KR
1989
Springer
14 years 3 months ago
1989
Springer
KR
1989
Springer
14 years 3 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
KR
1989
Springer
14 years 3 months ago
1989
Springer
In this work we extend the work of Dean, Kaelbling, Kirman and Nicholson on planning under time constraints in stochastic domains to handle more complicated scheduling problems. I...
KR
1989
Springer
14 years 3 months ago
1989
Springer
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
KR
1989
Springer
14 years 3 months ago
1989
Springer
ICLP
1990
Springer
14 years 3 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
ICLP
1990
Springer
14 years 3 months ago
1990
Springer
ICLP
1990
Springer
14 years 3 months ago
1990
Springer
ICLP
1990
Springer
14 years 3 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
ICLP
1990
Springer
14 years 3 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...