Publication

Titel	Author	Year	Type
Many--Sorted Inferences in Automated Theorem Proving	Walther, C.	1990	Inproceedings
On analytical and symilarity-based classification	Marc Vilain and Phyilis Koton and Melissa P. Chase	1990	Inproceedings
Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report	Marc Vilain and Henry Kautz and Peter van Beek	1990	Incollection
Commonsense Perception and the Psychology of Theory Formation	Jeff Shrager	1990	Incollection
Design Goals for Sloppy Modeling Systems	Wrobel, Stefan	1990	Incollection
{MOBAL} 0.0 User's Guide	Wrobel,Stefan	1990	Techreport
Concepts and Concept Formation: Fundamental Issues	Wrobel, Stefan	1990	Techreport
Representation Adjustment by Demand-Driven Concept Formation	Wrobel, Stefan	1990	Inproceedings
{OGUST}: A System that Learns Using Domain Properties Expressed as Theorems	Vrain, Christel	1990	Incollection
Bibliography of Recent machine Learning Research (1985--1989)	Stefanski, Pawel A. and Wnek, Janusz and Zhang, Jianping	1990	Incollection
Das {E}rkennen richtungsräumlicher {O}bjektrelationen auf der {G}rundlage verbaler und bildlicher {I}nformationen	Tischer, Bernd	1990	Incollection
A Model of Inexact Reasoning in Medicine	Shortliffe, Edward H. and Buchanan, Bruce G.	1990	Incollection
A new Paradigm for Parallel and Distributed Rule-Processing	Ouri Wolfson and Aya Ozeri	1990	Inproceedings
Qualitative Probabilistic Networks for Planing Under Uncertainty	Wellman, Michael P.	1990	Incollection
Generating Global Behaviors Using Deep Knowledge of Local Dynamics	Kenneth Yip	1990	Incollection
Doing Time: Putting Qualitative Reasoning on Firmer Ground	Brian C. Williams	1990	Incollection
Extended Inference Modes in Reasoning by Computer Systems	Winograd, Terry	1990	Incollection
Temporal Qualitative Analysis: Explaining How Physical Systems Work	Brian C. Williams	1990	Incollection
Evidential Reasoning Using {DELIEF}	Zarley, Debra and Hsia, Yen--Teh and Shafer, Glenn	1990	Incollection
{MINIMA}: A Symbolic Approach to Qualitative Algebraic Reasoning	Brian C. Williams	1990	Incollection
Combining Symbolic and Connectionist Techniques for Coordination in Natural Language	S. Wermter	1990	Inproceedings
Constructing Decision Trees form Examples and Their Explanation--based Generalizations	K. Zercher	1990	Inproceedings
Multiple Experts in Knowledge Acquisition	Christopher R. Westphal and Karen L. McGraw	1990	Incollection
First Order Logic Foundation of the {KADS} Conceptual Model	Thomas Wetter	1990	Incollection
Reasoning and representation mechnisms for multiple--expert	Christopher R. Westphal and Larry H. Reker	1990	Incollection
> Show next 25 entries (1775 ... )