Sciweavers

177 search results - page 20 / 36
» ijcai 1989
Sort
View
IJCAI
1989
15 years 29 days ago
A Sequential View of AND-Parallelism Through Partial AND-Processes
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
Bernd Schend
IJCAI
1989
15 years 29 days ago
Sometimes Updates Are Circumscription
Model-based revision of knowledge bases ex­ pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de­ scribing and reasoning about the effects o...
Marianne Winslett
IJCAI
1989
15 years 29 days ago
Platypus: A Constraint-Based Reasoning System
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
William S. Havens, Paul Stephen Rehfuss
IJCAI
1989
15 years 29 days ago
Plausible Inferencing Using Extended Composition
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
Michael N. Huhns, Larry M. Stephens
IJCAI
1989
15 years 29 days ago
On the Semantics of Counterfactuals
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
Peter Jackson