Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ECAI 1986: Brighton, UK
- Benedict du Boulay, David C. Hogg, Luc Steels:
Advances in Artificial Intelligence II, Seventh European Conference on Artificial Intelligence, ECAI 1986, Brighton, UK, July 20-25, 1986, Proceedings. North-Holland 1987, ISBN 0-444-70279-2
Learning
Fundamental Problems
- Robin Boswell:
Analytic Goal Regression: Problems, Solutions and Enhancements. ECAI 1986: 3-14 - Wray L. Buntine:
Generalised Subsumption and its Applications to Induction and Redundancy. ECAI 1986: 15-23 - Michael Lebowitz:
UNIMEM, a General Learning System: An Overview. ECAI 1986: 25-35 - Walter Van de Velde:
Explainable Knowledge Production. ECAI 1986: 37-51 - Maarten van Someren:
Knowledge Based Learning: Reducing the Description Space for Rule Learning. ECAI 1986: 53-59
Analogy
- Catherine Granger:
Fuzzy Reasoning in a Knowledge-Based System for Object Classification. ECAI 1986: 61-68 - Stephen Owen:
Heuristics for Analogy Matching. ECAI 1986: 69-81 - Lisa F. Rau:
Generalization-Based Retrieval. ECAI 1986: 83-92 - Ken Wellsch, Marlene Jones:
Computational Analogy. ECAI 1986: 93-102
Discovery and Human Problem Solving
- Werner Emde:
Big Flood in the Blocks World or Non-Cumulative Learning. ECAI 1986: 103-109 - Kenneth W. Haase Jr.:
Discovery Systems. ECAI 1986: 111-120 - Wouter N. H. Jansweijer, Jan J. Elshout, Bob J. Wielinga:
The Expertise of Novice Problem Solvers. ECAI 1986: 121-130 - Viviane Jonckers:
Exploring Algorithms through Mutations. ECAI 1986: 131-143 - Robert W. Lawler:
Co-Adaptation and the Development of Cognitive Structures. ECAI 1986: 145-156
Knowledge Representation
Foundations of Knowledge Representation
- John A. Barnden:
Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control. ECAI 1986: 159-173 - Witold Lukaszewicz:
Minimization of Abnormality: A Simple System for Default Reasoning. ECAI 1986: 175-182 - Yoav Shoham:
Reified Temporal Logics: Semantical and Ontological Considerations. ECAI 1986: 183-190 - Aaron Sloman:
Reference without Causal Links. ECAI 1986: 191-203
Knowledge Representation Systems
- Giuseppe Attardi:
Concurrent Strategy Execution in OMEGA. ECAI 1986: 205-214 - Ch. Benoit, Yves Caseau, Ch. Pherivong:
Knowledge Representation and Communication Mechanisms in LORE. ECAI 1986: 215-224 - Jean-Pierre Briot, Pierre Cointe:
The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language. ECAI 1986: 225-232 - Hervé Kauffmann, Alain Grumbach:
MULTILOG: Multiple Words in Logic Programming. ECAI 1986: 233-247 - Pattie Maes:
Introspection in Knowledge Representation. ECAI 1986: 249-262 - Kris Van Marcke:
A Parallel Algorithm for Consistency Maintenance in Knowledge Representation. ECAI 1986: 263-275
Logic and Deduction
- Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi:
Taxonomic Reasoning. ECAI 1986: 277-286 - Susanne Biundo:
A Synthesis System Mechanizing Proofs by Induction. ECAI 1986: 287-296 - Béatrice Duval, Yves Kodratoff:
Automated Deduction in an Uncertain and Inconsistent Data Basis. ECAI 1986: 297-304 - Christine Froidevaux:
Taxonomic Default Theory. ECAI 1986: 305-311 - John P. Gallagher:
Transforming Logic Programs by Specialising Interpreters. ECAI 1986: 313-326 - D. Goossens:
Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness. ECAI 1986: 327-333 - Matthew M. Huntbach:
Program Synthesis by Inductive Inference. ECAI 1986: 335-344 - Paul Jacquet, Marie-Laure Potet:
Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI 1986: 345-356 - Judea Pearl, Azaria Paz:
Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z? ECAI 1986: 357-363 - Jörg H. Siekmann:
Unification Theory. ECAI 1986: 365-400
Natural Language
- Geert Adriaens:
WEP (Word Expert Parsing) Revised and Applied to Dutch. ECAI 1986: 403-416 - Udo Hahn:
A Generalized Word Expert Model of Lexically Distributed Text Parsing. ECAI 1986: 417-425 - Paul S. Jacobs:
The KING Natural Language Generator. ECAI 1986: 427-436 - Margaret King:
The Prospect of Machine Translation. ECAI 1986: 437-448 - Oliviero Stock:
Dynamic Unification in Lexically Based Parsing. ECAI 1986: 449-458
Expert Systems
Expertise and Use of Deep Models
- Stig K. Andersen, Steen Andreassen, Marianne Woldbye:
Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography. ECAI 1986: 461-472 - W. F. Clocksin, A. J. Morgan:
Qualitative Control. ECAI 1986: 473-479 - Massimo Gallanti, Luca Gilardoni, Giovanni Guida, Alberto Stefanini:
Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. ECAI 1986: 481-495 - Bob J. Wielinga, J. A. Breuker:
Models of Expertise. ECAI 1986: 497-509 - Robert P. Worden, M. H. Foote, J. A. Knight, Stig K. Andersen:
Co-Operative Expert Systems. ECAI 1986: 511-526
Tools for Expert Systems
- Paul R. Cohen:
Numeric and Symbolic Reasoning in Expert Systems. ECAI 1986: 527-541 - Philip J. Hayes:
Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems. ECAI 1986: 543-552 - John Jones, Mark Millington, Peter Ross:
A Blackboard Shell in Prolog. ECAI 1986: 553-561 - Bonnie A. Nardi, E. Anne Paulson:
Multiple Worlds with Truth Maintenance in AI Applications. ECAI 1986: 563-572 - Jean-Paul Sansonnet:
The Machine for Artificial Intelligence Applications: MAIA. ECAI 1986: 573-583
Vision and Robotics
- Andrew Blake, Andrew Zisserman, A. V. Papoulias:
Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves. ECAI 1986: 587-597 - Hilary Buxton, Nick Williams:
Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow. ECAI 1986: 599-605 - Radu Horaud:
Combining Image and Spatial Reasoning for Model Retrieval. ECAI 1986: 607-616 - Christian Laugier, Pascal Théveneau:
Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques. ECAI 1986: 617-629 - Lina Massone, Pietro Morasso:
Analogical and Propositional Knowledge in Intelligent Path Planning. ECAI 1986: 631-641 - Edward P. K. Tsang:
Plan Generation in a Temporal Frame. ECAI 1986: 643-657 - David E. Wilkins:
Hierarchical Planning: Definition and Implementation. ECAI 1986: 659-671
Concluding Visionary Paper
- Clive Sinclair:
The Why and When of Artificial Intelligence. ECAI 1986: 675-679
a service of 
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 2024-04-25 05:27 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
