|
Titel
|
Author
|
Year
|
Type
|
|
Representation and Use of Explicit Justifications for Knowledge Base Refinement
|
R.G. Smith and H.A. Winston and T.M. Mitchell and B.G. Buchanan
|
1985
|
Inproceedings
|
|
Inference and the Computer Understanding of Natural Language
|
Schank, Roger C. and Rieger, Charles J.
|
1985
|
Incollection
|
|
Prologue to Reflection and Semantics in a Procedural Language
|
Smith, Brian C.
|
1985
|
Incollection
|
|
A logic-based knowledge source system for natural language documents
|
D. Skuce and S. Matwin and B. Tauzovich and F. Oppacher and S. Szpakowicz
|
1985
|
Article
|
|
An Organization of Knowledge for Problem Solving and Language Comprehension
|
Rieger, Chuck
|
1985
|
Incollection
|
|
{LEAP}: A Learning Apprentice for VLSI Design
|
Mitchell, Tom M.
|
1985
|
Inproceedings
|
|
The Complete Guide to {MRS}
|
Russell, S.E.
|
1985
|
Techreport
|
|
Programming Styles in Artificial Intelligence
|
H. Stoyan
|
1985
|
Inproceedings
|
|
Design Requirements for Knowledge Representatiopn Systems
|
L. Steels
|
1985
|
Inproceedings
|
|
Lectures on Contemporary Syntactic Theories
|
Sells, Peter
|
1985
|
Book
|
|
Temporal Logic in Artificial Intelligence
|
C. Schwind
|
1985
|
Inproceedings
|
|
Languages and Designs for Probability Judgment
|
Glenn Shafer and Amos Tversky
|
1985
|
Article
|
|
On Reasoning by Default
|
Reiter, Raymond
|
1985
|
Incollection
|
|
The Restricted Language Architecture of a Hybrid Reasoning System
|
Vilain, M.
|
1985
|
Inproceedings
|
|
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation
|
Schmidt-Strau\ss , M.
|
1985
|
Inproceedings
|
|
Utility Patterns as Criteria for Efficient Generalization Learning
|
Rendell, L.
|
1985
|
Techreport
|
|
Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search
|
Larry Rendell
|
1985
|
Inproceedings
|
|
{B}ildverstehen und {K}ünstliche {I}ntelligenz
|
B. Radig
|
1985
|
Inproceedings
|
|
An Introduction to Non-Monotonic Reasoning
|
Reinfrank, M.
|
1985
|
Techreport
|
|
Prolegomena to a Theory of Mechanized Formal Reasoning
|
Weyhrauch, Richard W.
|
1985
|
Incollection
|
|
Towards A Model of Conceptual Knowledge Acquisition Through Directed Experimentation
|
Shankar Rajamoney and Gerald DeJong and Boi Faltings
|
1985
|
Inproceedings
|
|
Production Rules as a Representation for a Knowledge--Based Consultation Program
|
Davis, Randall and Buchanan, Bruce and Shortliffe, Edward
|
1985
|
Incollection
|
|
Learning Structural Descriptions from Examples
|
Winston, Patrick H.
|
1985
|
Incollection
|
|
Ein {E}xpertensystem zur {D}atenhaltung und Methodenauswahl für statistische Anwendungen
|
K.Wittkowski
|
1985
|
Phdthesis
|
|
Frame Representations and the Declarative Procedural Controversy
|
Winograd, Terry
|
1985
|
Incollection
|
|
> Show next 25 entries (700 ... )
|
