|
Titel
|
Author
|
Year
|
Type
|
|
The Vienna School of Terminology Fundamentals and its Theory
|
Felber, H.
|
1981
|
Incollection
|
|
Feature frequency in concept learning: What is counted?
|
Kellogg, Ronald T.
|
1981
|
Article
|
|
Special-purpose processors for text retrieval.
|
Haskin, R. L.
|
1981
|
Article
|
|
A Parallel Connection Graph Proof Procedure
|
G. Hornung and A. Knapp and U. Knapp
|
1981
|
Inproceedings
|
|
Theorem Proving with Abstraction
|
Plaisted, D.
|
1981
|
Article
|
|
{I}nformationsgewinnung durch automatisches {E}rzeugen zielbezogener {F}ragen
|
S. Müller
|
1981
|
Inproceedings
|
|
A Scetch on Acquisition of Higher Cognitive Concepts
|
Habel, C. and Rollinger, C.-R.
|
1981
|
Techreport
|
|
Programmverification at Stanford: Past, Present Future
|
W. Polak
|
1981
|
Inproceedings
|
|
{A}spekte der rechnergestützten {G}enerierung von {I}nferenzregeln durch {R}egelschemata
|
Ch. Habel and C. R. Rollinger
|
1981
|
Inproceedings
|
|
Term Reduction Systems and Algebraic Algorithms
|
R. Loos
|
1981
|
Inproceedings
|
|
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types
|
H. Bartels and W. Olthoff and P. Raulefs
|
1981
|
Inproceedings
|
|
Models and Structures in Image Processing
|
Radig, W.
|
1981
|
Inproceedings
|
|
A Concurrent Chart Parser
|
P. Raulefs and H. Siebenbach
|
1981
|
Inproceedings
|
|
Expert Systems: State of the Art and future Prospects
|
P. Raulefs
|
1981
|
Inproceedings
|
|
On Interacting Defaults
|
Reiter, Raymond and Criscuolo, Giovanni
|
1981
|
Inproceedings
|
|
Subsumption and Connectionsgraphs
|
N. Eisinger
|
1981
|
Inproceedings
|
|
{V}erarbeitung von externer und interner {S}ituation in Überzeugungssystemen
|
Katharina Morik
|
1981
|
Inproceedings
|
|
{GLP}: A Linguistic Processor
|
Görz, G.
|
1981
|
Inproceedings
|
|
System Aids in Constructing Consultation Programs
|
van Melle, William J.
|
1981
|
Book
|
|
Structures for Knowledge--Based Chess Programs
|
K. von Luck and B. Owsnicki
|
1981
|
Inproceedings
|
|
Probabilistic Semantics Objectified
|
B. van Fraasen
|
1981
|
Article
|
|
An Algorithm that Infers Theories from Facts
|
Shapiro, E.Y.
|
1981
|
Inproceedings
|
|
Inductive Inference of Theories from Facts
|
Shapiro, E.Y.
|
1981
|
Techreport
|
|
German Workshop on Artificial Intelligence GWAI--81
|
|
1981
|
Proceedings
|
|
Planning with Constraints (MOLGEN: Part 1)
|
Stefik, M.
|
1981
|
Article
|
|
> Show next 25 entries (5375 ... )
|
