|
Titel
|
Author
|
Year
|
Type
|
|
Explanations of Empirically Derived Reactive Plans
|
Gordon, D.F. and Grefenstette, J.J.
|
1990
|
Inproceedings
|
|
Qualitative Physics
|
S. D. Grantham and L. H. Ungar
|
1990
|
Incollection
|
|
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
|
|
Data Abstraction and Object-Oriented Programming in C++
|
K. E. Gorlen, S. M. Orlow, P. S. Plexico
|
1990
|
Book
|
|
{W}arum interessiert sich die {K}ognitionsforschung für die {D}arstellung räumlichen {W}issens?
|
Freksa, Christian and Habel, Christopher
|
1990
|
Incollection
|
|
L'^{a}me-machine
|
Ganascia, Jean-Gabriel
|
1990
|
Book
|
|
A Framework for the Parallel Processing of Datalog Queries
|
Sumit Ganguly and Avi Silberschatz and Shalom Tsur
|
1990
|
Inproceedings
|
|
{R}epräsentation und {V}erarbeitung räumlichen {W}issens
|
|
1990
|
Book
|
|
Parallelization in Inference Systems
|
|
1990
|
Book
|
|
An Incremental Constraint Solver
|
Freeman-Benson, B.N. and Malony, J. and Borning, A.
|
1990
|
Article
|
|
A Unified Approach to Explanation and Theory Formation
|
Brian Falkenhainer
|
1990
|
Incollection
|
|
Qualitative Kinematics in Mechanisms
|
Kenneth D. Forbus and Paul Nielsen and Boi Faltings
|
1990
|
Incollection
|
|
Causal Reasoning about Quantities
|
Kenneth D. Forbus and Dedre Gentner
|
1990
|
Incollection
|
|
Qualitative Physics: Past, Present, and Future
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
Interpreting Observations of Physical Systems
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
Qualitative Process Theory
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
The Qualitative Process Engine
|
Kenneth D. Forbus
|
1990
|
Incollection
|
|
A Logic for Reasoning about Probabilities
|
R. Fagin and J. Y. Halpern and N. Megiddo
|
1990
|
Article
|
|
Application of CIGOL for Fault Diagnosis for the Power Subsystem of Skynet Satellite
|
Feng, Cao
|
1990
|
Unpublished
|
|
Inductive Characterisation of database relations
|
Peter A. Flach
|
1990
|
Techreport
|
|
Inductive Characterisation of Database Relations
|
Flach, Peter A.
|
1990
|
Techreport
|
|
{STRIPS:} A New Approach to the Application of Theorem Proving to Problem Solving
|
Richard E. Fikes and Nils J. Nilsson
|
1990
|
Incollection
|
|
An Introduction to Possibilistic and Fuzzy Logics
|
Dubois, Didier and Prade, Henri
|
1990
|
Incollection
|
|
Assembling a Device
|
Jean--Luc Dormoy and Olivier Raiman
|
1990
|
Incollection
|
|
> Show next 25 entries (1975 ... )
|
