Sciweavers

IJCAI
1989
14 years 9 hour ago
On the Relation Between Truth Maintenance and Autoepistemic Logic
Michael Reinfrank, Oskar Dressler, Gerhard Brewka
IJCAI
1989
14 years 9 hour ago
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
The study of belief revision and reasoning about actions have been two of the most active areas of research in AI. Both these areas involve reasoning about change. However very li...
Anand S. Rao, Norman Y. Foo
IJCAI
1989
14 years 9 hour ago
Normality and Faults in Logic-Based Diagnosis
Is there one logical de nition of diagnosis? In this paper I argue that the answer to this question is \no". This paper is about the pragmatics of using logic for diagnosis w...
David Poole
IJCAI
1989
14 years 9 hour ago
Detecting and Correcting Errors of Omission After Explanation-Based Learning
In this paper, we address an issue that arises when the background knowledge used by explanationbased learning is incorrect. In particular, we consider the problems that can be ca...
Michael J. Pazzani
IJCAI
1989
14 years 9 hour ago
Negative Reasoning Using Inheritance
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
Lin Padgham
IJCAI
1989
14 years 9 hour ago
Generating Better Decision Trees
A new decision tree learning algorithm called IDX is described. More general than existing algorithms, IDX addresses issues of decision tree quality largely overlooked in the arti...
Steven W. Norton