1689 search results - page 254 / 338 » On Natural Non-dcpo Domains |
152
click to vote
SLP
1997
15 years 7 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
133
click to vote
AAAI
1994
15 years 7 months ago
1994
This paper describes an extension to the constraint satisfaction problem (CSP) approach called MUSE CSP (Multiply SEgmented Constraint Satisfaction Problem). This extension is esp...
171
click to vote
AAAI
1996
15 years 7 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
184
click to vote
AAAI
1994
15 years 7 months ago
1994
We present new algorithms for local planning over Markov decision processes. The base-level algorithm possesses several interesting features for control of computation, based on s...
148
click to vote
AIPS
1996
15 years 7 months ago
1996
Subgoal interactions have received considerable attention in AI Planning. Earlier analyses by Korf [11] and Joslin and Roach [6] were done in terms of the topology of the space of...