|
Titel
|
Author
|
Year
|
Type
|
|
Natürlichsprachliche Argumentation in Dialogsystemen. {KI}-Verfahren zur Rekonstruktion approximativer Inferenzprozesse
|
Wahlster, Wolfgang
|
1981
|
Book
|
|
Selection Heuristics, Deletion Strategies and N--Level Terminatior Configurations for the Connection Graph Proof Procedure
|
J. Siekmann and G. Smolka
|
1981
|
Inproceedings
|
|
Elimination of Redundant Links in Extended Connection Graphs
|
C. Walther
|
1981
|
Inproceedings
|
|
Einf"uhrung in die Dependenzgrammatik
|
Kalevi Tarvainen
|
1981
|
Book
|
|
A Noetherian Rewrite System for Idempotent Semigroups
|
J. Siekmann and P. Szabó
|
1981
|
Inproceedings
|
|
Categories and Concepts
|
Edward E. Smith and Douglas L. Medin
|
1981
|
Book
|
|
Automatische Erstellung Semantischer Netze
|
H.J. Schneider and M. Eimermacher and S. Guenther and H. Gust and C.Habel and H. Huismann and N. Klein and M. König and C. Reddig and C.-R. Rollinger and A. Schmidt and T.-J. Wang
|
1981
|
Techreport
|
|
Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene
|
H. Marburger and B. Neumann and H. J. Novak
|
1981
|
Inproceedings
|
|
{SWISS} -- A Natural Language Question Answering System for Scene Analysis
|
Schefe, P. and Pretschner, B.
|
1981
|
Inproceedings
|
|
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
|
Y. Sagiv and C. Delobel and D.S. Parker and R. Fagin
|
1981
|
Article
|
|
Categorization of natural objects
|
Mervis, C. B. and Rosch, E.
|
1981
|
Article
|
|
Data-driven discovery of physical laws
|
Pat Langley
|
1981
|
Article
|
|
Linear separability in classification learning
|
Medin, D. L. and Schwanenflugel, P. L.
|
1981
|
Article
|
|
Mating in Matrices
|
W. Bibel
|
1981
|
Inproceedings
|
|
On the Completeness of Connection Graph Resolution
|
W. Bibel
|
1981
|
Inproceedings
|
|
The Handbook of Artificial Intelligence
|
|
1981
|
Book
|
|
Interacting with {PLIDIS}, a Deductive Question Answering System for German
|
Berry-Rogghe, G.L. and Kolvenbach, M. and Lutz, H.-D.
|
1980
|
Incollection
|
|
A model of cluster searching based on classification
|
Croft, W. B.
|
1980
|
Article
|
|
Inductive Inference of Formal Languages from Positive Data
|
Angluin, Dana
|
1980
|
Article
|
|
Meta-Rules: Reasoning about Control
|
Davis, Randall
|
1980
|
Article
|
|
Elements of Statistical Analysis
|
Hans W. Gottinger
|
1980
|
Book
|
|
Research in the Theory of Inductive Inference by {GDR} Mathematicians - A Survey
|
Klette, Reinhard and Wiehagen, Rolf
|
1980
|
Article
|
|
Detecting strange attractors in turbulence
|
F. Takens
|
1980
|
Incollection
|
|
Multilevel counterfactuals for generalizations of relational concepts and productions
|
Steven A. Vere
|
1980
|
Article
|
|
A Logic for Default Reasoning
|
Reiter, R.
|
1980
|
Article
|
|
> Show next 25 entries (5400 ... )
|
