|
Titel
|
Author
|
Year
|
Type
|
|
Intensional Concepts in Propositional Semantic Networks
|
Maida, Anthony S. and Shapiro, Stuart C.
|
1985
|
Incollection
|
|
{ROGET:} A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System
|
James S. Bennett
|
1985
|
Article
|
|
Epistemological Problems of Artificial Intelligence
|
McCarthy, John
|
1985
|
Incollection
|
|
Programs with Common Sense
|
McCarthy, John
|
1985
|
Incollection
|
|
First Order Theories of Individual Concepts and Propositions
|
McCarthy, John
|
1985
|
Incollection
|
|
{STRUPPI}: Ein graphischer {P}retty--{P}rinter für {LISP}--{S}trukturen
|
D. Bauer and M. Schneider
|
1985
|
Inproceedings
|
|
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
|
|
Languages with Self-Reference {I}: Foundations
|
Donald Perlis
|
1985
|
Article
|
|
Saturation, Nonmonotonic Reasoning
|
G. Bossu and P. Siegel
|
1985
|
Incollection
|
|
Heuristics: Intelligent Search Strategies for Computer Problem Solving
|
Pearl, Judea
|
1985
|
Book
|
|
Declarative Representation of Control Structures
|
K. von Luck and B. Owsnicki
|
1985
|
Inproceedings
|
|
{AMORD}: Explicit Control of Reasoning
|
de Kleer, Johan and Doyle, Jon and Guy, L. Steele and Sussman, Gerald Jay
|
1985
|
Incollection
|
|
'I lied about the trees', or, Defaults and Definitions in Knowledge Representation
|
Ronald J. Brachman
|
1985
|
Article
|
|
Explainable (and Maintainable) Expert Systems
|
Neches, R. and Swartout, W.R. and Moore, J.
|
1985
|
Inproceedings
|
|
Selectively generalizing plans for problem-solving
|
S. Minton
|
1985
|
Inproceedings
|
|
A Framwork for Representing Knowledge
|
Minsky, Marvin
|
1985
|
Incollection
|
|
A Decideable First-Order Logic for Knowledge Representation
|
Peter F. Patel-Schneider
|
1985
|
Techreport
|
|
Implementation of the {SMART} information retrieval system
|
Buckley, Chris
|
1985
|
Techreport
|
|
Diagnostic Reasoning with a Working Memory
|
F. Puppe and B. Puppe
|
1985
|
Inproceedings
|
|
Incidence calculus
|
A. Bundy
|
1985
|
Article
|
|
A Relational Matching Strategy for Temporal Event Recognition
|
H.--J. Novak
|
1985
|
Inproceedings
|
|
Word Concepts: A Theory and Simulation of Some Basic Semantic Capabilities
|
Quillian, M. Ross
|
1985
|
Incollection
|
|
A Fundamental Tradeoff in Knowledge Representation and Reasoning
|
Levesque, Hector J. and Brachman, Ronald J.
|
1985
|
Incollection
|
|
Meta--Level Knowledge: Overview and Applications
|
Davis, Randall and Buchanan, Bruce G.
|
1985
|
Incollection
|
|
> Show next 25 entries (5025 ... )
|
