5. ECAI 1982:
Paris,
France
5th European Conference on Artificial Intelligence,
ECAI 82,
Paris,
1982,
Proceedings
- Robert A. Kowalski:
Logic as a Computer Language for Children.
2-10 BibTeX
- Roger C. Schank:
Looking at Learning.
11-18 BibTeX
- Gérard P. Huet:
In Defense of Programming Languages Design.
19-27 BibTeX
- Hans J. Berliner:
Multiprocessing and Duality in Intelligence.
28-36 BibTeX
- Hervé Gallaire:
Artificial Intelligence and Industry.
37-42 BibTeX
- Henri Farreny, Henri Prade:
About Flexible Matching and its Use in Analogical Reasoning.
43-47 BibTeX
- Eugène Chouraqui:
Construction of a Model for Reasoning by Analogy.
48-53 BibTeX
- Dieter Poetschke:
Toward a Mathematical Theory of Analogical Reasoning.
54-59 BibTeX
- Luis Fariñas del Cerro:
A Deduction Method for Modal Logic.
60-61 BibTeX
- Joxan Jaffar, Jean-Louis Lassez:
Reasoning about Array Segments.
62-66 BibTeX
- Alan Bundy, Lawrence Byrd, Chris Mellish:
Special Purpose, but Domain Independent, Inference Mechanisms.
67-74 BibTeX
- Luc Steels:
Constraints as Consultants.
75-78 BibTeX
- Harald Wertz:
A Programming Environment for the Development of Complex Systems.
79-84 BibTeX
- Allan Ramsay:
An Environment for Developing Distributed Programs.
85-86 BibTeX
- Ernesto Jorge Costa:
Weakly commuting term rewriting systems : application to automatic recursion removal.
87-90 BibTeX
- Michel Bidoit:
Automatic Transformation of Abstract Data Types ``FAIR'' Presentations.
91-95 BibTeX
- Christoph Beierle:
Synthesizing Minimal Programs from Traces of Observable Behaviour.
96-101 BibTeX
- Elaine Kant, Allen Newell:
Naive Algorithm Design Techniques: A Case Study.
102-105 BibTeX
- Kenji Hanakata:
A Bit Table for Message Passing in Multiple Inheritance Hierarchies.
106-107 BibTeX
- F. Sobik, E. Sommerfeld:
A Graph Theoretic Approach for Representation and Classification of Structured Objects.
108-113 BibTeX
- Hiyan Alshawi:
A Clustering Technique for Semantic Network Processing.
114-115 BibTeX
- Dominique Pastre:
A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving.
116-118 BibTeX
- Daniel Kayser:
An Experiment in Knowledge Representation.
119-124 BibTeX
- Sergei Litvak, Madis Saluveer, Tiit Roosmaa, Haldur Oim:
On the Interaction of Knowledge Representation and Reasoning Mechanism in Discourse Comprehension.
125-126 BibTeX
- Renato de Mori, Attilio Giordana, Pietro Laface, Lorenza Saitta:
An Expert System for Speech Decoding.
127-132 BibTeX
- Ryszard S. Michalski, J. H. Davis, V. S. Bisht, J. B. Sinclair:
PLANT/ds: An Expert Consulting System for the Diagnosis of Soybean Diseases.
133-138 BibTeX
- Anatole Gershman:
Building a Geological Expert System for Dipmeter Interpretation.
139-140 BibTeX
- S. Klein:
Culture, Mysticism & Social Structure and the Calculation of Behavior.
141-146 BibTeX
- Ivan M. Havel:
The Truth-Reaction Paradox: A Probe of Artificial Intelligence.
147-148 BibTeX
- Petr Hájek:
Applying Artificial Intelligence to Data Analysis.
149-150 BibTeX
- Alan Bundy, Bernard Silver:
A Critical Survey of Rule Learning Programs.
151-157 BibTeX
- Christopher Habel, Claus-Rainer Rollinger:
The Machine as Concept-Learner.
158-159 BibTeX
- Derek H. Sleeman:
Inferring (Mal) Rules from Pupil's Protocols.
160-164 BibTeX
- J. G. (Iain) Wallace:
A Developmental Approach to General Learning Processes.
165-170 BibTeX
- Pat Langley:
Strategy Acquisition Governed by Experimentation.
171-176 BibTeX
- Judea Pearl:
The Utility of Precision in Search Heuristics.
177-179 BibTeX
- Dennis de Champeaux, E. van Dijk:
Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space.
180-182 BibTeX
- Henri Farreny, Henri Prade:
Toward Search Methods with Imprecise Estimates.
183-184 BibTeX
- Ivan Bratko:
Symbolic Derivation of Chess Patterns.
185-189 BibTeX
- R. J. Beattie:
Edge Detection for Semantically Based Early Visual Processing.
190-196 BibTeX
- B. Yin:
A Program which Recognizes Overlapping Objects.
197-198 BibTeX
- Alex Pentland:
Local Computation of Shape.
199-204 BibTeX
- David Owen:
Relating Object Models to Segmentation Strategies.
205-210 BibTeX
- Raja Chatila:
Path Planning and Environment Learning in a Mobile Robot System.
211-215 BibTeX
- Eliezer L. Lozinskii, Sergei Nirenburg:
Parallel Processing of Natural Language.
216-221 BibTeX
- Anthony Jameson, Wolfgang Wahlster:
User Modelling in Anaphora Generation: Ellipsis and Definite Description.
222-227 BibTeX
- Marie-Odile Cordier:
An Experiment Towards More Efficient Automatic Translation.
228-231 BibTeX
- Branimir Boguraev, Karen Sparck Jones:
Steps towards Natural Language to Data Language Translation Using General Semantic Information.
232-233 BibTeX
- Sylvia Weber Russell:
Formalizing Factors in Metaphorical Extension.
234-239 BibTeX
- Petr Sgall:
Automatic Understanding with a Linguistically Based Knowledge Representation.
240-243 BibTeX
- David Maier, Sharon C. Salveter:
Supporting Natural Language Updates in Database Systems.
244-249 BibTeX
- Jean François Pique, Paul Sabatier:
An Informative, Adaptable and Efficient Natural Language Consultable Database System.
250-254 BibTeX
- Eric Mays, Aravind K. Joshi, Bonnie L. Webber:
Taking the Initiative in Natural Language Data Base Interactions: Monitoring as Response.
255-256 BibTeX
- Günther Görz:
Applying a Chart Parser to Speech Understanding.
257-258 BibTeX
- Masoud Yazdani:
How to Write a Story.
259-260 BibTeX
- Göran Hagert:
On Procedural Learning and its Relation to Memory and Attention.
261-266 BibTeX
- T. A. Harley:
There's More than One Way...
267-268 BibTeX
- Rolf Pfeifer, D. W. Nicholas:
Toward Computational Models of Emotion.
269-271 BibTeX
- D. W. Massaro:
Simulating Letter and Word Recognition: A Fuzzy Logical Model of Integrating Visual Information and Orthographic Structure in Reading.
272-277 BibTeX
- Wouter N. H. Jansweijer, L. Konst, J. J. Elshout, Bob J. Wielinga:
PDP: A Protocol Diagnostic Program for Problem Solving in Physics.
278-280 BibTeX
...
Copyright © Sat May 16 23:07:46 2009
by Michael Ley (ley@uni-trier.de)