|
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
|
|
Editing by Example
|
Nix, Robert P.
|
1985
|
Article
|
|
Semantical Considerations on Non-Monotonic Logic
|
Moore, R.C.
|
1985
|
Article
|
|
A Formal Theory of Knowledge and Action
|
Robert C. Moore
|
1985
|
Incollection
|
|
The Role of Logic in Knowledge Representation and Commonsense Reasoning
|
Moore, Robert C.
|
1985
|
Incollection
|
|
Semantical Considerations on Nonmonotonic Logic
|
R. C. Moore
|
1985
|
Article
|
|
The Real Estate Agent - Modeling Users by Uncertain Reasoning
|
Morik, K. and Rollinger, C.-R.
|
1985
|
Article
|
|
LEAP: A Learning Apprentice for VLSI Design
|
Tom Mitchell and Sridhar Mahadevan and Louis Steinberg
|
1985
|
Inproceedings
|
|
Conceptual change in childhood
|
Susan Carey
|
1985
|
Book
|
|
Learning to search: From weak mothods to domain-specific heuristics
|
P. Langley
|
1985
|
Article
|
|
Ansätze der sprachorientierten {KI}-Forschung
|
Katharina Morik
|
1985
|
Article
|
|
User Modelling, Dialog Structure, and Dialog Strategy in {HAM}-{ANS}
|
Katharina Morik
|
1985
|
Article
|
|
Partnermodellierung in {B}eratungsdialogen
|
K. Morik
|
1985
|
Article
|
|
Intellectual development: A systematic reinterpretation.
|
Case, R.
|
1985
|
Book
|
|
Iterative-deepening {A}*: {A}n optimal admissible tree search
|
Richard E. Korf
|
1985
|
Inproceedings
|
|
Macro-operators: A weak method for learning
|
R. Korf
|
1985
|
Article
|
|
Representing and Processing Copula and Full-Verb Sentences in {HAM}-{ANS}
|
S. Busemann and W. Hoeppner and H. Marburger and K. Morik
|
1985
|
Article
|
|
Why are some problems hard? Evidence from Tower of Hanoi
|
K. Kotovsky and J.R. Hayes and H.A. Simon
|
1985
|
Article
|
|
An analytical comparison of some rule-learning programs
|
Alan Bundy and Bernard Silver and Dave Plummer
|
1985
|
Article
|
|
Heuristic Classification
|
William J. Clancey
|
1985
|
Article
|
|
Using Structural Matching for Generalizing Examples
|
Y. Kodratoff and J. G. Ganascia and T. Bollinger
|
1985
|
Inproceedings
|
|
{VIE}--{DPM}: A User Model in a Natural--Language Dialog System
|
A. Kobsa
|
1985
|
Inproceedings
|
|
Meta-Level Programming and Knowledge Representation
|
Bowen, K.A.
|
1985
|
Article
|
|
Automated Enhancement of Knowledge Representations
|
Balzer, Robert
|
1985
|
Inproceedings
|
|
Maintaining Knowledge about Temporal Intervals
|
James F. Allen
|
1985
|
Incollection
|
|
> Show next 25 entries (5075 ... )
|
