|
Titel
|
Author
|
Year
|
Type
|
|
Issues of Spatial Representation in Computational Version
|
Stiehl, Siegfried
|
1990
|
Incollection
|
|
The Conceptual Structure of the Geological Revolution
|
Paul Thagard and Greg Nowak
|
1990
|
Incollection
|
|
{K}onversationale {M}odellierung graphisch--interaktiver {S}ysteme: {E}in {B}eispiel
|
U. Thiel
|
1990
|
Inproceedings
|
|
Commonsense Perception and the Psychology of Theory Formation
|
Jeff Shrager
|
1990
|
Incollection
|
|
Exploiting Analogical Representations
|
Steels, L.
|
1990
|
Incollection
|
|
Apprenticeship Learning in Imperfect Domain Theories
|
Tecuci, Gheorghe and Kodratoff, Yves
|
1990
|
Incollection
|
|
Formalisieren und Beweisen - Logik für Informatiker
|
Siefkes, Dirk
|
1990
|
Book
|
|
{M}odellierung von {S}zenarien kooperierender {A}kteure
|
K. Sundermeyer
|
1990
|
Inproceedings
|
|
Computational Models of Scientific Discovery Formation
|
Jeff Shrager and Pat Langley
|
1990
|
Book
|
|
Categorical and Probabilistic Reasoning in Medical Diagnosis
|
Szolovits, Peter and Pauker, Stephen G.
|
1990
|
Incollection
|
|
An Endorsement--Based Plan Recognition Program
|
Sullivan, Michael and Cohen, Paul R.
|
1990
|
Incollection
|
|
Tractable learning and planning in games
|
P. Tadepalli
|
1990
|
Phdthesis
|
|
A Theory of Justified Reformulations
|
Subramanian, Devika
|
1990
|
Incollection
|
|
{A} {T}heory of {J}ustified {R}eformulations
|
Subramanian, D.
|
1990
|
Incollection
|
|
Global Filters for Qualitative Behaviors
|
Peter Struss
|
1990
|
Incollection
|
|
Problems of Interval--Based Qualitative Reasoning
|
Peter Struss
|
1990
|
Incollection
|
|
An Introduction to Unification Theory
|
J. H. Siekmann
|
1990
|
Incollection
|
|
Sorts and Types in Artificial Intelligence
|
|
1990
|
Book
|
|
A Statistical View of Uncertainty in Expert Systems
|
Spiegelhalter, D.J.
|
1990
|
Incollection
|
|
Computational Approaches to Scientific Discovery
|
Jeff Shrager and Pat Langley
|
1990
|
Incollection
|
|
'Commonsense' Arithmetic Reasoning
|
Reid Simmons
|
1990
|
Incollection
|
|
Pragma: a System for Actively Capturing Procedural KNowledge via a Graphical Interface
|
Edgar Sommer and Frank von Martial and Frank Victor
|
1990
|
Inproceedings
|
|
Tableau Calculus for Order--Sorted Logic
|
Schmitt, P. H. and Wernecke W.
|
1990
|
Inproceedings
|
|
Explanations, Machine Learning, and Creativity
|
Schrank, Roger and Alex Kass
|
1990
|
Incollection
|
|
On the Evolution of Adaptive Behaviour
|
Uwe Schnepf and Marcos Aurelio Rodrigues
|
1990
|
Techreport
|
|
> Show next 25 entries (4000 ... )
|
