|
Titel
|
Author
|
Year
|
Type
|
|
Methodological Simplicity in Expert System Construction: The Case of Judgments and Reasoned Assumptions
|
Doyle, Jon
|
1990
|
Incollection
|
|
Assembling a Device
|
Jean--Luc Dormoy and Olivier Raiman
|
1990
|
Incollection
|
|
{STRIPS:} A New Approach to the Application of Theorem Proving to Problem Solving
|
Richard E. Fikes and Nils J. Nilsson
|
1990
|
Incollection
|
|
Inductive Characterisation of Database Relations
|
Flach, Peter A.
|
1990
|
Techreport
|
|
Inductive Characterisation of database relations
|
Peter A. Flach
|
1990
|
Techreport
|
|
Application of CIGOL for Fault Diagnosis for the Power Subsystem of Skynet Satellite
|
Feng, Cao
|
1990
|
Unpublished
|
|
A Logic for Reasoning about Probabilities
|
R. Fagin and J. Y. Halpern and N. Megiddo
|
1990
|
Article
|
|
The Cascade-Correlation Learning Architecture
|
Fahlman, Scott E. and Lebiere, Christian
|
1990
|
Techreport
|
|
Using latent semantic indexing for information filtering.
|
Foltz, Peter W.
|
1990
|
Inproceedings
|
|
Qualitative Process Theory
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
Qualitative Physics: Past, Present, and Future
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
Causal Reasoning about Quantities
|
Kenneth D. Forbus and Dedre Gentner
|
1990
|
Incollection
|
|
Qualitative Kinematics in Mechanisms
|
Kenneth D. Forbus and Paul Nielsen and Boi Faltings
|
1990
|
Incollection
|
|
Interpreting Observations of Physical Systems
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
Constructivist approaches to automated knowledge acquisition
|
Kenneth M. Ford and Jack R. Adams-Webber and Howard R. Stahl and Michael W. Bringmann
|
1990
|
Incollection
|
|
Parallelization in Inference Systems
|
|
1990
|
Book
|
|
An Incremental Constraint Solver
|
Freeman-Benson, B.N. and Malony, J. and Borning, A.
|
1990
|
Article
|
|
{R}epräsentation und {V}erarbeitung räumlichen {W}issens
|
|
1990
|
Book
|
|
A Framework for the Parallel Processing of Datalog Queries
|
Sumit Ganguly and Avi Silberschatz and Shalom Tsur
|
1990
|
Inproceedings
|
|
L'^{a}me-machine
|
Ganascia, Jean-Gabriel
|
1990
|
Book
|
|
{R}ückkopplungen in einem modellbasierten {D}iagnostikshell
|
K. Goos
|
1990
|
Inproceedings
|
|
The Dempster--Shafer Theory of Evidence
|
Gordon, Jean and Shortliffe, Edward H.
|
1990
|
Incollection
|
|
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies
|
G. Gottlob and L. Libkin
|
1990
|
Article
|
|
Qualitative Physics
|
S. D. Grantham and L. H. Ungar
|
1990
|
Incollection
|
|
Data Abstraction and Object-Oriented Programming in C++
|
K. E. Gorlen, S. M. Orlow, P. S. Plexico
|
1990
|
Book
|
|
> Show next 25 entries (3775 ... )
|
