Sciweavers

AAAI
1990
14 years 21 days ago
Obtaining Quantitative Predictions from Monotone Relationships
: Tasks such as forecasting, diagnosis, and planning frequently require quantitative predictions . Typically, quantitative predictions are obtained by characterizing a system in te...
Joseph L. Hellerstein
AAAI
1990
14 years 21 days ago
Practical Temporal Projection
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
Steve Hanks
AAAI
1990
14 years 21 days ago
Integrating Planning and Acting in a Case-Based Framework
Kristian J. Hammond, Timothy M. Converse
AAAI
1990
14 years 21 days ago
The Representation of Defaults in Cyc
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
Ramanathan V. Guha
AAAI
1990
14 years 21 days ago
On the Complexity of Monotonic Inheritance with Roles
Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav...
AAAI
1990
14 years 21 days ago
Constructor: A System for the Induction of Probabilistic Models
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
Robert M. Fung, Stuart L. Crawford
AAAI
1990
14 years 21 days ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso
AAAI
1990
14 years 21 days ago
Generalization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
Alan M. Frisch, C. David Page Jr.
AAAI
1990
14 years 21 days ago
Physical Impossibility Instead of Fault Models
In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses si...
Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl