Sciweavers

Share
IJCAI
1989
9 years 8 months ago
Reducing the Derivation of Redundant Clauses in Reasoning Systems
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
Rolf Socher-Ambrosius
IJCAI
1989
9 years 8 months ago
Time for Action: On the Relation Between Time, Knowledge and Action
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
Yoav Shoham
IJCAI
1989
9 years 8 months ago
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
Peter Shell, Jaime G. Carbonell
IJCAI
1989
9 years 8 months ago
Acquiring Recursive Concepts with Explanation-Based Learning
Explanation-based generalization algorithms need to generalize the structure of their explanations. This is necessary in order to acquire concepts where a recursive or iterative p...
Jude W. Shavlik
IJCAI
1989
9 years 8 months ago
Prediction is Deduction but Explanation is Abduction
This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...
Murray Shanahan
IJCAI
1989
9 years 8 months ago
Learning Novel Domains Through Curiosity and Conjecture
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
Paul D. Scott, Shaul Markovitch
IJCAI
1989
9 years 8 months ago
The Reason for the Benefits of Minimax Search
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
Anton Scheucher, Hermann Kaindl
books