Sciweavers

IJCAI
1993
14 years 1 months ago
PHI - A Logic-Based Tool for Intelligent Help Systems
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Ja...
IJCAI
1993
14 years 1 months ago
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems
Constraint relaxation is a frequently used technique for managing over-determined constraint satisfaction problems. A problem in constraint relaxation is the selection of the appr...
R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognu...
IJCAI
1993
14 years 1 months ago
Estimating the Accuracy of Learned Concepts
Timothy L. Bailey, Charles Elkan
IJCAI
1993
14 years 1 months ago
Symbolic Revision of Theories with M-of-N Rules
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
Paul T. Baffes, Raymond J. Mooney
IJCAI
1993
14 years 1 months ago
Statistical Foundations for Default Reasoning
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
IJCAI
1993
14 years 1 months ago
Representing Concurrent Actions in Extended Logic Programming
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
Chitta Baral, Michael Gelfond
IJCAI
1993
14 years 1 months ago
HYDRA: A Noise-tolerant Relational Concept Learning Algorithm
Many learning algorithms form concept descriptions composed of clauses, each of which covers some proportion of the positive training data and a small to zero proportion of the ne...
Kamal M. Ali, Michael J. Pazzani