|
Titel
|
Author
|
Year
|
Type
|
|
Intensional Concepts in Propositional Semantic Networks
|
Maida, Anthony S. and Shapiro, Stuart C.
|
1985
|
Incollection
|
|
Readings in Knowledge Representation
|
|
1985
|
Book
|
|
Readings in Knowledge Representation
|
|
1985
|
Book
|
|
On the logic of the theory change - partial meet contraction and revision functions
|
Alchourron and Grädenfors and Makinson
|
1985
|
Article
|
|
Heuristic Classification
|
Clancey, William J.
|
1986
|
Incollection
|
|
Representing Control Knowledge as Abstract Tasks and Metarules
|
Clancey, W.J. and Bock, C.
|
1986
|
Techreport
|
|
An Introduction to Mathematical Logic and Type Theory: To Truth through Proof
|
P. B. Andrews
|
1986
|
Book
|
|
{E}inführung in {LISP}
|
Christaller, Thomas
|
1986
|
Inproceedings
|
|
Processing Descriptions Containing Words and Gestures--A System Architecture
|
J. Allgayer and C. Reddig
|
1986
|
Inproceedings
|
|
{EXPRESS} An Expert System Utilizing Standard Statistical Packages
|
F. Carlsen and I. Heuch
|
1986
|
Incollection
|
|
An Approach to Learning from Observations
|
G. DeJong
|
1986
|
Incollection
|
|
An Assumption-Based Truth Maintenance System
|
de Kleer, J.
|
1986
|
Article
|
|
Explanation-Based-Learning: An Alternative View
|
DeJong, G. and Mooney, R.
|
1986
|
Article
|
|
Concept Formation by Incremental Analogical Reasoning and Debbuging
|
M. H. Burstein
|
1986
|
Incollection
|
|
Learning to Predict Sequences
|
T. G. Dietterich and R. S. Michalski
|
1986
|
Incollection
|
|
Learning to Predict Sequences
|
Dietterich, Thomas G. and Michalski, Ryszard S.
|
1986
|
Incollection
|
|
{H}ybrid {K}nowledge {A}cquisition
|
J. Diederich
|
1986
|
Inproceedings
|
|
Lazy Theory Unification in {P}rolog: An Extension of the {W}arren Abstract Machine
|
H.--J. Bürckert
|
1986
|
Inproceedings
|
|
The Test Incorporation Theory of Problem Solving
|
Diettrich, T.G. and Bennett, J.S.
|
1986
|
Inproceedings
|
|
The {EG} Project: Recent Progress
|
Dietterich, T.G.
|
1986
|
Incollection
|
|
Handbook of Philosophical Logic: Alternatives to Classical Logic
|
Gabbay, D. and Guenthner, F.
|
1986
|
Book
|
|
Machine Learning as a Tool for Bulding a Deterministic Parser
|
G. Francopoulo
|
1986
|
Inproceedings
|
|
{K}nuth--{B}endix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis
|
B. Fronhöfer and U. Furbach
|
1986
|
Inproceedings
|
|
Generating Perception Requests and Expectations to Verify the Execution of Plans
|
R. J. Doyle and D. J. Atkinson and R. S. Doshi
|
1986
|
Inproceedings
|
|
Conterfactuals
|
Ginsberg, M.L.
|
1986
|
Article
|
|
> Show next 25 entries (750 ... )
|
