default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ECAI 1984: Pisa, Italy
- Tim O'Shea:
Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland 1985, ISBN 0-444-87611-1
Expert Systems
- Bob J. Wielinga, J. A. Breuker:
Interpretation of Verbal Data for Knowledge Acquisition. ECAI 1984: 3-12 - Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy:
An Intelligent Front End for Ecological Modelling. ECAI 1984: 13-22 - Shimji Araya, Koji Fukumori:
ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations. ECAI 1984: 23-32 - Patrick Ferrand:
SESAM: An Explanatory Medical Aid System. ECAI 1984: 33-40 - Gary S. Kahn:
On When Diagnostic Systems Want to Do without Causal Knowledge. ECAI 1984: 41-50 - John H. Boose:
Personal Construct Theory and the Transfer of Human Expertise. ECAI 1984: 51-60 - Meyer A. Billmers, Mark W. Swartwout:
AI-SPEAR: Computer System Failure Analysis Tool. 61-69l. ECAI 1984: 61-69 - Simon Hayward:
Diagnostic Expertise and its Use in Commercially Viable Expert Systems. ECAI 1984: 71-75
Robotics and Vision
- Michael Brady, Philip E. Agre:
The Mechanic's Mate. ECAI 1984: 79-94 - John F. Canny:
On Detecting Collisions Between Polyhedra. ECAI 1984: 95-104 - Bernard F. Buxton, Hilary Buxton, David William Murray, N. S. Williams:
3D Solutions to the Aperture Problem. ECAI 1984: 105-114 - Prasanta K. Bose:
Learning Stiffness Control for Compliant Motion. ECAI 1984: 115-126 - Alan L. Yuille:
The Smoothest Velocity Field Token Matching Schemes. ECAI 1984: 127-136
Cognitive Modelling and Learning
- Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia:
From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148 - Marc Eisenstadt:
A Powerful Prolog Trace Package. ECAI 1984: 149-158 - Michael Lebowitz:
Using Memory in Text Understanding. ECAI 1984: 159-168 - Jon M. Slack:
The Role of Distributed Memory in Natural Language Parsing. ECAI 1984: 169-178 - Göran Hagert:
Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. ECAI 1984: 179-188 - Tony Hasemer:
MacSolo/AURAC: A Programming Environment for Novices. ECAI 1984: 189-198 - Stefano A. Cerri, C. Colombini, M. Grillo, R. Mallozzi:
RADAR: Reasoning on ADA Rubbish. ECAI 1984: 199-208 - Nigel R. Seel:
An Analysis of a Simple Learning System. ECAI 1984: 209-218 - Michael P. Georgeff, Chris S. Wallace:
A General Selection Criterion for Inductive Inference. ECAI 1984: 219-228 - Yves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci:
Careful Generalization for Concept Learning. ECAI 1984: 229-238 - Pavel Brazdil:
Use of Derivation Trees in Discrimination. ECAI 1984: 239-244 - Eileen Scanlon, C. Hawkridge, Rick Evertsz, Tim O'Shea:
Novice Physics Problem Solving Behaviour. ECAI 1984: 245-253
Natural Language
- Sharon C. Salveter:
A Model of Action that Supports Natural Language Database Update. ECAI 1984: 257-266 - Henry S. Thompson:
Speech Transcription: An Incremental, Interactive Approach. ECAI 1984: 267-274 - Gabriella Airenti, Bruno G. Bara, Marco Colombetti:
Plan Formation and Failure Recovery in Communicative Acts. ECAI 1984: 275-284 - Graeme D. Ritchie:
Simulating a Turing Machine Using Functional Unification Grammar. ECAI 1984: 285-294 - Paul S. Jacobs, Lisa F. Rau:
Ace: Associating Language with Meaning. ECAI 1984: 295-304 - Jean-Louis Binot:
A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. ECAI 1984: 305-314 - Barbara Dunin-Keplicz:
Default Reasoning in Anaphora Resolution. ECAI 1984: 315-324 - Esa Nelimarkka, Harri Jäppinen, Aarno Lehtola:
Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata. ECAI 1984: 325-334
Knowledge Representation
- Luis Fariñas del Cerro, Ewa Orlowska:
DAL: A Logic for Data Analysis. ECAI 1984: 337-346 - Raf Venken:
A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation. ECAI 1984: 347-356 - Ling Zhang, Bo Zhang:
The Successive SA* Search and its Computational Complexity. ECAI 1984: 357-366 - Edwina L. Rissland:
The Ubiquitous Dialectic. ECAI 1984: 367-372 - Jean-Luc Rémy, Hantao Zhang:
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI 1984: 373-382 - Christoph Walther:
Unification in Many-Sorted Theories. ECAI 1984: 383-392 - Richard A. O'Keefe:
A New Data-Structure for Type Trees. ECAI 1984: 393-402 - Witold Lukaszewicz:
Nonmonotonic Logic for Default Theories. ECAI 1984: 403-412 - Giuseppe Attardi, Maria Simi:
Metalanguage and Reasoning Across Viewpoints. ECAI 1984: 413-422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-03 00:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
