1988 share record
persistent URL:
Steve Adey : High Level Control of Simulated Ships and Aircraft. ECAI 1988 : 442-444 share record
persistent URL:
Giovanni Adorni , Antonio Camurri , Agostino Poggi , Renato Zaccaria : Integrating Spatio-Temporal Knowledge: A Hybrid Approach. ECAI 1988 : 644-649 share record
persistent URL:
Kurt Ammon : Discovering a Proof for the Fixed Point Theorem: A Case Study. ECAI 1988 : 613-618 share record
persistent URL:
Kurt Ammon , Sebastian Stier : Constructing Polygon Concepts from Line Drawings. ECAI 1988 : 663-665 share record
persistent URL:
Elisabeth André , Gerd Herzog , Thomas Rist : On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer. ECAI 1988 : 449-454 share record
persistent URL:
Marc Ayel : Protocols for Consistency Checking in Expert System Knowledge Bases. ECAI 1988 : 220-225 share record
persistent URL:
Jacqueline Ayel : A Conceptual Supervision Model in Computer Integrated Manufacturing. ECAI 1988 : 427-432 share record
persistent URL:
Franz Barachini , Norbert Theuretzbacher : PAMELA: An Expert System Technology for Real-Time Control Applications. ECAI 1988 : 42-47 share record
persistent URL:
Francesco Bergadano , Attilio Giordana , Lorenza Saitta : Concept Acquisition in an Integrated EBL and SBL Environment. ECAI 1988 : 363-368 share record
persistent URL:
Philippe Besnard , Jean Houdebine , Raymond Rolland : A Formula Circumscriptively both Valid and Unprovable. ECAI 1988 : 516-518 share record
persistent URL:
Nicole Bidoit , Christine Froidevaux : More on Stratified Default Theories. ECAI 1988 : 492-494 share record
persistent URL:
Susanne Biundo : Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI 1988 : 553-558 share record
persistent URL:
Jim Blythe : Constraining Search in a Hierarchical Discriminative Learning System. ECAI 1988 : 378-383 share record
persistent URL:
Siegfried Bocionek : Computer-Aided Configuration of Gantry-Robots. ECAI 1988 : 632-637 share record
persistent URL:
Harold Boley : Iconic-Declarative Programming and Adaptation Rules. ECAI 1988 : 27-29 share record
persistent URL:
Bert Bredeweg , Bob J. Wielinga : Integrating Qualitative Reasoning Approaches. ECAI 1988 : 195-201 share record
persistent URL:
Allen L. Brown Jr. : Logics of Justified Belief. ECAI 1988 : 507-512 share record
persistent URL:
A. Mike Burton , Nigel Shadbolt , G. Rugg , A. P. Hedgecock : Knowledge Elicitation Techniques in Classification Domains. ECAI 1988 : 85-90 share record
persistent URL:
Marco Cavalieri , Evelina Lamma , Paola Mello : An Extended Prolog Machine for Dynamic Context Handling. ECAI 1988 : 284-289 share record
persistent URL:
Bojan Cestnik , Ivan Bratko : Learning Redundant Rules in Noisy Domains. ECAI 1988 : 348-350 share record
persistent URL:
Gilles Chaminade : Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. ECAI 1988 : 625-630 share record
persistent URL:
Jacques Chassin de Kergommeaux , Jean-Claude Syre , Harald Westphal : Implementation of a Parallel Prolog System on a Commercial Multiprocessor. ECAI 1988 : 278-283 share record
persistent URL:
Eugène Chouraqui , Philippe Dugerdil : Conflict Solving in a Frame-Like Multiple Inheritance System. ECAI 1988 : 226-231 share record
persistent URL:
Andy Clark : Computation, Connectionism and Content (Panel Statement). ECAI 1988 : 725-727 share record
persistent URL:
Andy Clark : Two Kinds of Cognitive Science? ECAI 1988 : 155-157 share record
persistent URL:
M. R. B. Clarke : Intuitionistic Non-Monotonic Reasoning - Further Results. ECAI 1988 : 525-527 share record
persistent URL:
Helder Coelho : Interaction among Intelligent Agents (Panel). ECAI 1988 : 717-718 share record
persistent URL:
David Connah , Martin Shiels , Peter Wavish : A Testbed for Research on Cooperating Agents. ECAI 1988 : 445-447 share record
persistent URL:
Thierry Conrad : A Many Sorted PROLOG Based on Equational Unification. ECAI 1988 : 305-307 share record
persistent URL:
Marie-Odile Cordier : SHERLOCK: Hypothetical Reasoning in an Expert System Shell. ECAI 1988 : 486-491