|
Titel
|
Author
|
Year
|
Type
|
|
What's in a Link: Foundations for Semantic Networks
|
Woods, William A.
|
1985
|
Incollection
|
|
Meta--Level Knowledge: Overview and Applications
|
Davis, Randall and Buchanan, Bruce G.
|
1985
|
Incollection
|
|
A Fundamental Tradeoff in Knowledge Representation and Reasoning
|
Levesque, Hector J. and Brachman, Ronald J.
|
1985
|
Incollection
|
|
Word Concepts: A Theory and Simulation of Some Basic Semantic Capabilities
|
Quillian, M. Ross
|
1985
|
Incollection
|
|
A Relational Matching Strategy for Temporal Event Recognition
|
H.--J. Novak
|
1985
|
Inproceedings
|
|
Implementation of the {SMART} information retrieval system
|
Buckley, Chris
|
1985
|
Techreport
|
|
Diagnostic Reasoning with a Working Memory
|
F. Puppe and B. Puppe
|
1985
|
Inproceedings
|
|
Automated Enhancement of Knowledge Representations
|
Balzer, Robert
|
1985
|
Inproceedings
|
|
A Decideable First-Order Logic for Knowledge Representation
|
Peter F. Patel-Schneider
|
1985
|
Techreport
|
|
'I lied about the trees', or, Defaults and Definitions in Knowledge Representation
|
Ronald J. Brachman
|
1985
|
Article
|
|
Selectively generalizing plans for problem-solving
|
S. Minton
|
1985
|
Inproceedings
|
|
Explainable (and Maintainable) Expert Systems
|
Neches, R. and Swartout, W.R. and Moore, J.
|
1985
|
Inproceedings
|
|
A Framwork for Representing Knowledge
|
Minsky, Marvin
|
1985
|
Incollection
|
|
{AMORD}: Explicit Control of Reasoning
|
de Kleer, Johan and Doyle, Jon and Guy, L. Steele and Sussman, Gerald Jay
|
1985
|
Incollection
|
|
Declarative Representation of Control Structures
|
K. von Luck and B. Owsnicki
|
1985
|
Inproceedings
|
|
Heuristics: Intelligent Search Strategies for Computer Problem Solving
|
Pearl, Judea
|
1985
|
Book
|
|
{KRYPTON}: a Functional Approach to Knowledge Representation
|
Brachman, Ronald J. and Fikes, Richard E. and Levesque, Hector J.
|
1985
|
Incollection
|
|
Languages with Self-Reference {I}: Foundations
|
Donald Perlis
|
1985
|
Article
|
|
Goals in Knowledge--based Office Systems
|
P. Maes
|
1985
|
Inproceedings
|
|
The Logical Basis for Computer Programming: Deductive Reasoning
|
Manna, Zohar and Waldinger, Richard
|
1985
|
Book
|
|
An Essential Hybrid Reasoning System
|
Brachman, R.J. and Gilbert, V.P. and Levesque, H.J.
|
1985
|
Inproceedings
|
|
An Overview of the {KL-ONE} Knowledge Representation System
|
Brachman, R. J. and Schmolze, J.G.
|
1985
|
Article
|
|
Programs with Common Sense
|
McCarthy, John
|
1985
|
Incollection
|
|
Epistemological Problems of Artificial Intelligence
|
McCarthy, John
|
1985
|
Incollection
|
|
First Order Theories of Individual Concepts and Propositions
|
McCarthy, John
|
1985
|
Incollection
|
|
> Show next 25 entries (725 ... )
|
