|
Titel
|
Author
|
Year
|
Type
|
|
An Overview of {KRL}, a Knowledge Representation Language
|
Bobrow, Daniel G. and Winograd, Terry
|
1985
|
Incollection
|
|
Readings in Knowledge Representation
|
|
1985
|
Book
|
|
Paradigm Directed Computer Learning
|
Brebner, P.C.
|
1985
|
Mastersthesis
|
|
An Overview of the {KL-ONE} Knowledge Representation System
|
Brachman, R. J. and Schmolze, J.G.
|
1985
|
Article
|
|
The Implication Problem for Functional and Inclusion Dependencies is Undecidable
|
Chandra, Ashok K. and Vardi, Moshe Y.
|
1985
|
Article
|
|
{E}ine neue {I}mplementation von {SRL}
|
W. Emde and K. von Luck and A. Schmiedel
|
1985
|
Inproceedings
|
|
A Blackboard Architecture for Control
|
B. Hayes-Roth
|
1985
|
Article
|
|
On Inheritance Hierarchies With Exceptions
|
Etherington, David W. and Reiter, Raymond
|
1985
|
Incollection
|
|
An Essential Hybrid Reasoning System
|
Brachman, R.J. and Gilbert, V.P. and Levesque, H.J.
|
1985
|
Inproceedings
|
|
From Micro--Worlds to Knowledge Representation: {AI} at an Impasse
|
Dreyfus, Hubert L.
|
1985
|
Incollection
|
|
Formal Theories of the Commonsense World
|
|
1985
|
Book
|
|
Granularity
|
Hobbs, J. R.
|
1985
|
Inproceedings
|
|
A {K}ripke-Kleene semantics for General Logic Programs
|
M.Fitting
|
1985
|
Article
|
|
In Defence of Logic
|
Hayes, P.J.
|
1985
|
Inproceedings
|
|
The Second Naive Physics Manifesto
|
Hayes, Patrick. J.
|
1985
|
Incollection
|
|
The Logic of Frames
|
Hayes, Patrick J.
|
1985
|
Incollection
|
|
Some Problems and Non--Problems in Representation Theory
|
Hayes, J. Patrick
|
1985
|
Incollection
|
|
Frühjahrsschule für Künstliche Intelligenz KIFS--84
|
|
1985
|
Proceedings
|
|
Making Compromises among Antagonist Constraints in a Planner
|
Descotte, Y. and Latombe, J.C.
|
1985
|
Article
|
|
Introduction to Artificial Intelligence
|
Charniak, Eugene and McDermott, Drew V.
|
1985
|
Book
|
|
A guide to modal logics of knowledge and belief
|
Halpern J.Y. and Y. Moses
|
1985
|
Article
|
|
Learning Planning Heuristics through Observation
|
Charles Dolan and Michael Dyer
|
1985
|
Inproceedings
|
|
{ATLAST}: A three--level Language Analysis System
|
R. Granger, K. Eiselt and J. Holbrook
|
1985
|
Inproceedings
|
|
In Defence of Probability
|
Peter Cheeseman
|
1985
|
Inproceedings
|
|
{KRYPTON}: a Functional Approach to Knowledge Representation
|
Brachman, Ronald J. and Fikes, Richard E. and Levesque, Hector J.
|
1985
|
Incollection
|
|
> Show next 25 entries (5100 ... )
|
