LIDOS BibTeX Database File
ecai88.bib

@inproceedings{Laasri:88EC,
  AUTHOR = {H. Laasri and B. Maitre and T. Mondot and F. Charpillet and J. P. Haton},
  TITLE = {ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {5-10},
  KEYWORDS = {}}

@inproceedings{Krickhahn:88EC,
  AUTHOR = {R. Krickhahn and R. Nobis and A. M\"ahlmann and M.-J. Schachter-Radig},
  TITLE = {Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {11-17},
  KEYWORDS = {}}

@inproceedings{Masuda:88EC,
  AUTHOR = {K. Masuda and H. Ishizuka and H. Iwayama and K. Taki and E. Sugino},
  TITLE = {Preliminary Evaluation of the Connection Network for the Multi-PSI System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {18-23},
  KEYWORDS = {}}

@inproceedings{Dixneuf:88EC,
  AUTHOR = {P. Dixneuf and A. Meller and M. Porcheron},
  TITLE = {ELOISE's Heart: An Efficient Frame for Production System Execution},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {24-26},
  KEYWORDS = {}}

@inproceedings{Boley88EC,
  AUTHOR = {H. Boley},
  TITLE = {Iconic-Declarative Programming and Adaptation Rules},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {27-29},
  KEYWORDS = {}}

@inproceedings{Dimitrov88EC,
  AUTHOR = {I. I. Dimitrov},
  TITLE = {INEX: Flexible and Efficient Objects},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {30-35},
  KEYWORDS = {}}

@inproceedings{Wilmes88EC,
  AUTHOR = {T. Wilmes},
  TITLE = {A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {36-41},
  KEYWORDS = {}}

@inproceedings{Barachini:88EC,
  AUTHOR = {F. Barachini and N. Theuretzbacher},
  TITLE = {PAMELA: An Expert System Technology for Real-Time Control Applications},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {42-47},
  KEYWORDS = {}}

@inproceedings{Steels88EC,
  AUTHOR = {L. Steels},
  TITLE = {Steps towards Common Sense},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {49-54},
  KEYWORDS = {}}

@inproceedings{Partridge:88EC,
  AUTHOR = {D. Partridge and J. McDonald and V. Johnston and K. Paap},
  TITLE = {AI Programs and Cognitive Models: Models of Perceptual Processes},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {55-60},
  KEYWORDS = {}}

@inproceedings{Plaza:88EC,
  AUTHOR = {E. Plaza and R. {Lopez de Mantaras}},
  TITLE = {Model-Based Knowledge Acquisition for Heuristic Classification Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {61-66},
  KEYWORDS = {}}

@inproceedings{Doherty:88EC,
  AUTHOR = {B. S. Doherty and J. J. Stuart},
  TITLE = {Induction and Dialogue in Specification Formalisation: An Object-Based Approach},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {67-69},
  KEYWORDS = {}}

@inproceedings{Slack88EC,
  AUTHOR = {J. M. Slack},
  TITLE = {Linguistic Constraints and Memory Management},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {70-72},
  KEYWORDS = {}}

@inproceedings{Lambert:88EC,
  AUTHOR = {H. Lambert and L. Eshelman and Y. Iwasaki},
  TITLE = {Acquiring and Complementing the Model for Diagnostic Tasks},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {73-78},
  KEYWORDS = {}}

@inproceedings{Rousset88EC,
  AUTHOR = {M.-C. Rousset},
  TITLE = {On the Consistency of Knowledge Bases: The COVADIS System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {79-84},
  KEYWORDS = {}}

@inproceedings{Burton:88EC,
  AUTHOR = {A. M. Burton and N. R. Shadbolt and G. Rugg and A. P. Hedgecock},
  TITLE = {Knowledge Elicitation Techniques in Classification Domains},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {85-90},
  KEYWORDS = {}}

@inproceedings{Tanaka:88EC,
  AUTHOR = {K. Tanaka and K. Kubota},
  TITLE = {Memory-Based Learner Model and its Application to a Game Coach},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {91-93},
  KEYWORDS = {}}

@inproceedings{Fum:88EC,
  AUTHOR = {D. Fum and P. Giangrandi and C. Tasso},
  TITLE = {Student Modeling Techniques in Foreign Language Tutoring},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {94-96},
  KEYWORDS = {}}

@inproceedings{Sumiga:88EC,
  AUTHOR = {J. H. Sumiga and B. Khazaei and J. I. A. Siddiqi},
  TITLE = {A Cognitive Model of Program Designer Behaviour},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {97-99},
  KEYWORDS = {}}

@inproceedings{Greef:88EC,
  AUTHOR = {P. de Greef and J. Breuker and G. Schreiber and J. Wielemaker},
  TITLE = {StatCons: Knowledge Acquisition in a Complex Domain},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {100-105},
  KEYWORDS = {}}

@inproceedings{Sandberg:88EC,
  AUTHOR = {J. Sandberg and J. Breuker and R. Winkels},
  TITLE = {Research on HELP-Systems: Empirical Study and Model Construction},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {106-111},
  KEYWORDS = {}}

@inproceedings{Tong:88EC,
  AUTHOR = {X. Tong and Z. He and R. Yu},
  TITLE = {A Survey of the Expert System Tool ZDEST-2},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {113-118},
  KEYWORDS = {}}

@inproceedings{Larsson:88EC,
  AUTHOR = {J. E. Larsson and P. Persson},
  TITLE = {An Intelligent Help System for Idpac},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {119-123},
  KEYWORDS = {}}

@inproceedings{Maree88EC,
  AUTHOR = {J. Maree},
  TITLE = {ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {124-129},
  KEYWORDS = {}}

@inproceedings{Guarino88EC,
  AUTHOR = {N. Guarino},
  TITLE = {DRL: Terminologic and Relational Knowledge in Prolog},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {130-135},
  KEYWORDS = {}}

@inproceedings{Franova88ECb,
  AUTHOR = {M. Franova},
  TITLE = {Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {136-141},
  KEYWORDS = {}}

@inproceedings{Thornton88EC,
  AUTHOR = {C. Thornton},
  TITLE = {Links between Content and Information-Content},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {143-148},
  KEYWORDS = {}}

@inproceedings{Janlert88EC,
  AUTHOR = {L.-E. Janlert},
  TITLE = {Pictorial Knowledge Representation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {149-151},
  KEYWORDS = {}}

@inproceedings{Haegglund:88EC,
  AUTHOR = {S. H\"agglund and I. Rankin},
  TITLE = {Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {152-154},
  KEYWORDS = {}}

@inproceedings{Clark88ECb,
  AUTHOR = {A. Clark},
  TITLE = {Two Kinds of Cognitive Science?},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {155-157},
  KEYWORDS = {}}

@inproceedings{Prosser88EC,
  AUTHOR = {P. Prosser},
  TITLE = {A Hybrid Genetic Algorithm for Pallet Loading},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {159-164},
  KEYWORDS = {}}

@inproceedings{Kwa88EC,
  AUTHOR = {J. B. H. Kwa},
  TITLE = {Planning Robust AGV Movements},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {165-169},
  KEYWORDS = {applic}}

@inproceedings{Tulp:88EC,
  AUTHOR = {E. Tulp and L. Siklossy},
  TITLE = {TRAINS, An Active Time-Table Searcher},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {170-175},
  KEYWORDS = {applic}}

@inproceedings{Grant88EC,
  AUTHOR = {T. J. Grant},
  TITLE = {An Algorithm for Obtaining Action Sequences from a Procedures Knowledge Base},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {176-181},
  KEYWORDS = {applic}}

@inproceedings{Soler:88EC,
  AUTHOR = {B. Soler and A. Carpentieri and M. P. Branca and P. G. Kubansky},
  TITLE = {Escut: An Expert System for Configuring Digital Telephone Switching Equipements},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {182-187},
  KEYWORDS = {applic}}

@inproceedings{Huber:88EC,
  AUTHOR = {A. Huber and S. Becker},
  TITLE = {Production Planning Using a Temoral Planning Component},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {188-190},
  KEYWORDS = {applic}}

@inproceedings{Schachter-Radig:88EC,
  AUTHOR = {M.-J. Schachter-Radig and D. Wermser},
  TITLE = {A Sales Assistant for Chemical Measurement Equipment: SEARCHEM},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {191-193},
  KEYWORDS = {applic}}

@inproceedings{Bredeweg:88EC,
  AUTHOR = {B. Bredeweg and B. J. Wielinga},
  TITLE = {Integrating Qualitative Reasoning Approaches},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {195-201},
  KEYWORDS = {know-repr}}

@inproceedings{VanDeVelde88ECa,
  AUTHOR = {W. {Van de Velde}},
  TITLE = {Inference Structure as a Basis for Problem Solving},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {202-207},
  KEYWORDS = {know-repr}}

@inproceedings{Frixione:88EC,
  AUTHOR = {M. Frixione and S. Gaglio and G. Spinelli},
  TITLE = {Proper Names and Individual Concepts in SI-Nets},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {208-213},
  KEYWORDS = {know-repr}}

@inproceedings{Wobcke88EC,
  AUTHOR = {W. Wobcke},
  TITLE = {A Global Theory of Inheritance},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {214-219},
  KEYWORDS = {know-repr}}

@inproceedings{Ayel88ECa,
  AUTHOR = {M. Ayel},
  TITLE = {Protocols for Consistency Checking in Expert System Knowledge Bases},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {220-225},
  KEYWORDS = {know-repr}}

@inproceedings{Chouraqui:88EC,
  AUTHOR = {E. Chouraqui and P. Dugerdil},
  TITLE = {Conflict Solving in a Frame-Like Multiple Inheritance System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {226-231},
  KEYWORDS = {know-repr}}

@inproceedings{Elfrink:88EC,
  AUTHOR = {B. Elfrink and H. Reichgelt},
  TITLE = {The Use of Assertion-Time Inference in Logic-Based Knowledge Bases},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {232-237},
  KEYWORDS = {know-repr}}

@inproceedings{Ferber:88EC,
  AUTHOR = {J. Ferber and P. Volle},
  TITLE = {Using Coreference in Object-Oriented Representations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {238-240},
  KEYWORDS = {know-repr}}

@inproceedings{Eberle88EC,
  AUTHOR = {K. Eberle},
  TITLE = {Extensions of Event-Structures},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {241-246},
  KEYWORDS = {know-repr}}

@inproceedings{Poesio88EC,
  AUTHOR = {M. Poesio},
  TITLE = {Toward a Hybrid Representation of Time},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {247-252},
  KEYWORDS = {know-repr}}

@inproceedings{Farquhar88EC,
  AUTHOR = {A. Farquhar},
  TITLE = {A Qualitative Reasoning Approach to Fault Avoidance},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {253-255},
  KEYWORDS = {know-repr}}

@inproceedings{Cuena88EC,
  AUTHOR = {J. Cuena},
  TITLE = {The Qualitative Modelling of Axis-Based Flow Systems: Methodology and Examples},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {256-258},
  KEYWORDS = {know-repr}}

@inproceedings{Popp88EC,
  AUTHOR = {C. Popp},
  TITLE = {Answering WHY?, HOW? and WHY-NOT? Questions in a Blackboard System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {259-261},
  KEYWORDS = {know-repr}}

@inproceedings{Porcheron88EC,
  AUTHOR = {M. Porcheron},
  TITLE = {MILORE, a Meta-Level Knowledge Based Architecture for Production System Execution},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {262-267},
  KEYWORDS = {know-repr}}

@inproceedings{Sharples:88EC,
  AUTHOR = {M. Sharples and B. du Boulay},
  TITLE = {Knowledge Representation for a Concept Tutoring System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {268-270},
  KEYWORDS = {know-repr}}

@inproceedings{Ducasse88EC,
  AUTHOR = {M. Ducasse},
  TITLE = {Opium, a Meta-Debugger for Prolog},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {272-277},
  KEYWORDS = {logic}}

@inproceedings{Chassin:88EC,
  AUTHOR = {J. Chassin and J.-C. Syre and H. Westphal},
  TITLE = {Implementation of a Parallel Prolog Sytem on a Commercial Multiprocessor},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {278-283},
  KEYWORDS = {logic}}

@inproceedings{Cavalieri:88EC,
  AUTHOR = {M. Cavalieri and E. Lamma and P. Mello},
  TITLE = {An Extended Prolog Machine for Dynamic Context Handling},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {284-289},
  KEYWORDS = {logic}}

@inproceedings{Dincbas:88EC,
  AUTHOR = {M. Dincbas and H. Simonis and P. {Van Hentenryck}},
  TITLE = {Solving the Car-Sequencing Problem in Constraint Logic Programming},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {290-295},
  KEYWORDS = {logic}}

@inproceedings{Hrycej88ECb,
  AUTHOR = {T. Hrycej},
  TITLE = {Temporal Prolog},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {296-301},
  KEYWORDS = {logic}}

@inproceedings{Saint-Dizier88EC,
  AUTHOR = {P. Saint-Dizier},
  TITLE = {Foundations of DISLOG, Programming in Logic with Discontinuities},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {302-304},
  KEYWORDS = {logic}}

@inproceedings{Conrad88EC,
  AUTHOR = {T. Conrad},
  TITLE = {A Many Sorted PROLOG Based on Equational Unification},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {305-307},
  KEYWORDS = {logic}}

@inproceedings{Owen:88EC,
  AUTHOR = {S. Owen and R. Hull},
  TITLE = {The Use of Explicit Interpretation to Control Reasoning about Protein Topology},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {308-313},
  KEYWORDS = {logic}}

@inproceedings{Looi88EC,
  AUTHOR = {C.-K. Looi},
  TITLE = {Analysing Novices Programs in a Prolog Intelligent Teaching System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {314-319},
  KEYWORDS = {logic}}

@inproceedings{Zhang:88EC,
  AUTHOR = {J. Zhang and P. W. Grant},
  TITLE = {An Automatic Difference-List Transformation Algorithm for Prolog},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {320-325},
  KEYWORDS = {logic}}

@inproceedings{Keane88EC,
  AUTHOR = {M. Keane},
  TITLE = {Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {327-332},
  KEYWORDS = {}}

@inproceedings{Stepp:88EC,
  AUTHOR = {R. E. Stepp and B. L. Whitehall and L. B. Holder},
  TITLE = {Towards Intelligent Machine Learning Algorithms},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {333-338},
  KEYWORDS = {}}

@inproceedings{Siqueira:88EC,
  AUTHOR = {J. L. de Siqueira N. and J.-F. Puget},
  TITLE = {Explanation-Based Generalisation of Failures},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {339-344},
  KEYWORDS = {}}

@inproceedings{Herrmann88EC,
  AUTHOR = {J. Herrmann},
  TITLE = {A Machine Learning Approach to Estimation for IC Design},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {345-347},
  KEYWORDS = {}}

@inproceedings{Cestnik:88EC,
  AUTHOR = {B. Cestnik and I. Bratko},
  TITLE = {Learning Redundant Rules in Noisy Domains},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {348-350},
  KEYWORDS = {}}

@inproceedings{Diederich88EC,
  AUTHOR = {J. Diederich},
  TITLE = {Connectionist Recruitment Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {351-356},
  KEYWORDS = {}}

@inproceedings{Goodman:88EC,
  AUTHOR = {R. M. F. Goodman and P. Smyth},
  TITLE = {Information-Theoretic Rule Induction},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {357-362},
  KEYWORDS = {}}

@inproceedings{Bergadano:88EC,
  AUTHOR = {F. Bergadano and A. Giordana and L. Saitta},
  TITLE = {Concept Acquisition in an Integrated EBL and SBL Environment},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {363-368},
  KEYWORDS = {}}

@inproceedings{Valtorta88EC,
  AUTHOR = {M. Valtorta},
  TITLE = {Automating Rule Strengths in Expert Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {369-371},
  KEYWORDS = {}}

@inproceedings{Terpstra:88EC,
  AUTHOR = {P. P. Terpstra and M. W. van Someren},
  TITLE = {INDE: A System for Heuristic Knowledge Refinement},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {372-374},
  KEYWORDS = {}}

@inproceedings{Takada88EC,
  AUTHOR = {Y. Takada},
  TITLE = {Grammatical Inference for Even Linear Languages Based on Control Sets},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {375-377},
  KEYWORDS = {}}

@inproceedings{Blythe88EC,
  AUTHOR = {J. Blythe},
  TITLE = {Constraining Search in a Hierarchical Discriminative Learning System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {378-383},
  KEYWORDS = {}}

@inproceedings{Ganascia88EC,
  AUTHOR = {J. G. Ganascia},
  TITLE = {Improvement and Refinement of the Learning Bias Semantic},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {384-389},
  KEYWORDS = {}}

@inproceedings{Gascuel:88EC,
  AUTHOR = {O. Gascuel and A. Danchin},
  TITLE = {Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {390-395},
  KEYWORDS = {}}

@inproceedings{Oosthuizen:88EC,
  AUTHOR = {G. D. Oosthuizen and D. R. McGregor},
  TITLE = {Induction through Knowledge Base Normalisation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {396-401},
  KEYWORDS = {}}

@inproceedings{Nicolas88EC,
  AUTHOR = {J. Nicolas},
  TITLE = {Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {402-407},
  KEYWORDS = {}}

@inproceedings{VanDeVelde88ECb,
  AUTHOR = {W. {Van de Velde}},
  TITLE = {Quality of Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {408-413},
  KEYWORDS = {}}

@inproceedings{Galliers88EC,
  AUTHOR = {J. R. Galliers},
  TITLE = {A Strategic Framework for Multi-Agent Cooperative Dialogue},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {415-420},
  KEYWORDS = {}}

@inproceedings{Hopkins88EC,
  AUTHOR = {C. Hopkins},
  TITLE = {DePlan: Enabling Agents to Produce Plans that Achieve Cooperative Problem Solving},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {421-426},
  KEYWORDS = {}}

@inproceedings{Ayel88ECb,
  AUTHOR = {J. Ayel},
  TITLE = {A Conceptual Supervision Model in Computer Integrated Manufacturing},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {427-432},
  KEYWORDS = {}}

@inproceedings{Seel88EC,
  AUTHOR = {N. R. Seel},
  TITLE = {Modelling Iterated Strategies: A Case Study},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {433-438},
  KEYWORDS = {}}

@inproceedings{Fields:88EC,
  AUTHOR = {C. A. Fields and M. J. Coombs and E. S. Dietrich and R. T. Hartley},
  TITLE = {Incorporating Dynamic Control into the Model Generative Reasoning System},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {439-441},
  KEYWORDS = {}}

@inproceedings{Adey88EC,
  AUTHOR = {S. Adey},
  TITLE = {High Level Control of Simulated Ships and Aircraft},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {442-444},
  KEYWORDS = {}}

@inproceedings{Connah:88EC,
  AUTHOR = {D. Connah and M. Shiels and P. Wavish},
  TITLE = {A Testbed for Research on Cooperating Agents},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {445-447},
  KEYWORDS = {}}

@inproceedings{Andre:88EC,
  AUTHOR = {E. Andre and G. Herzog and T. Rist},
  TITLE = {On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {449-454},
  KEYWORDS = {}}

@inproceedings{Retz-Schmidt88EC,
  AUTHOR = {G. Retz-Schmidt},
  TITLE = {A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer Games},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {455-457},
  KEYWORDS = {}}

@inproceedings{Otani:88EC,
  AUTHOR = {M. Otani and J.-M. Lancel},
  TITLE = {Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-Grammar},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {458-463},
  KEYWORDS = {}}

@inproceedings{Simons88EC,
  AUTHOR = {A. J. H. Simons},
  TITLE = {A Qualitative Model of the Articulators},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {464-466},
  KEYWORDS = {}}

@inproceedings{Nakazawa:88EC,
  AUTHOR = {T. Nakazawa and L. Neher and E. W. Hinrichs},
  TITLE = {Unification with Disjunctive and Negative Values for GPSG Grammars},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {467-472},
  KEYWORDS = {}}

@inproceedings{Lesmo:88EC,
  AUTHOR = {L. Lesmo and M. Berti and P. Terenziani},
  TITLE = {A Network Formalism for Representing Natural Language Quantifiers},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {473-478},
  KEYWORDS = {}}

@inproceedings{Jackson:88EC,
  AUTHOR = {P. Jackson and H. Reichgelt},
  TITLE = {A Modal Proof Method for Doxastic Reasoning in Incomplete Theories},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {480-485},
  KEYWORDS = {}}

@inproceedings{Cordier88EC,
  AUTHOR = {M.-O. Cordier},
  TITLE = {SHERLOCK: Hypothetical Reasoning in an Expert System Shell},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {486-491},
  KEYWORDS = {}}

@inproceedings{Bidoit:88EC,
  AUTHOR = {N. Bidoit and C. Froidevaux},
  TITLE = {More on Stratified Default Theories},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {492-494},
  KEYWORDS = {}}

@inproceedings{Smets88EC,
  AUTHOR = {P. Smets},
  TITLE = {Transferable Belief Model versus Bayesian Model},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {495-500},
  KEYWORDS = {}}

@inproceedings{Dubois:88EC,
  AUTHOR = {D. Dubois and H. Prade and C. Testemale},
  TITLE = {In Search of a Modal System for Possibility Theory},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {501-506},
  KEYWORDS = {}}

@inproceedings{Brown88EC,
  AUTHOR = {A. L. Brown},
  TITLE = {Logics of Justified Belief},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {507-512},
  KEYWORDS = {}}

@inproceedings{Moinard88EC,
  AUTHOR = {Y. Moinard},
  TITLE = {Computing Circumscription of Horn Theories},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {513-515},
  KEYWORDS = {}}

@inproceedings{Besnard:88EC,
  AUTHOR = {P. Besnard and J. Houdebine and R. Rolland},
  TITLE = {A Formula Circumscriptively both Valid and Unprovable},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {516-518},
  KEYWORDS = {}}

@inproceedings{Quintana88EC,
  AUTHOR = {P. J. de la Quintana},
  TITLE = {Computing Quantifiers in Predicate Modal Logics},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {519-524},
  KEYWORDS = {}}

@inproceedings{Clarke88EC,
  AUTHOR = {M. R. B. Clarke},
  TITLE = {Intuitionistic Non-Monotonic Reasoning - further Results},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {525-527},
  KEYWORDS = {}}

@inproceedings{D-Angelo:88EC,
  AUTHOR = {A. D'Angelo and C. Mirolo and E. Pagello},
  TITLE = {A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed Environment},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {528-533},
  KEYWORDS = {}}

@inproceedings{Dressler88EC,
  AUTHOR = {O. Dressler},
  TITLE = {Extending the Basic ATMS},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {535-540},
  KEYWORDS = {th-prov}}

@inproceedings{Lafon:88EC,
  AUTHOR = {E. Lafon and C. B. Schwind},
  TITLE = {A Theorem Prover for Action Performance},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {541-546},
  KEYWORDS = {th-prov}}

@inproceedings{Provan88EC,
  AUTHOR = {G. M. Provan},
  TITLE = {Solving Diagnostic Problems Using Extended Truth Maintenance Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {547-552},
  KEYWORDS = {th-prov}}

@inproceedings{Biundo88EC,
  AUTHOR = {S. Biundo},
  TITLE = {Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {553-558},
  KEYWORDS = {th-prov}}

@inproceedings{Franova88ECa,
  AUTHOR = {M. Franova},
  TITLE = {An Implementation of Program Synthesis from Formal Specifications: PRECOMAS},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {559-564},
  KEYWORDS = {th-prov}}

@inproceedings{Stevens88EC,
  AUTHOR = {A. Stevens},
  TITLE = {A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {565-570},
  KEYWORDS = {th-prov}}

@inproceedings{Tsang88EC,
  AUTHOR = {E. P. K. Tsang},
  TITLE = {Elements in Temporal Reasoning in Planning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {571-573},
  KEYWORDS = {th-prov}}

@inproceedings{Lukaszewicz88EC,
  AUTHOR = {W. Lukaszewicz},
  TITLE = {Chronological Minimization of Abnormality: Simple Theories of Action},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {574-576},
  KEYWORDS = {th-prov}}

@inproceedings{Lenzerini:88EC,
  AUTHOR = {M. Lenzerini and D. Nardi},
  TITLE = {Belief Revision as Meta-Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {577-579},
  KEYWORDS = {th-prov}}

@inproceedings{Liu88EC,
  AUTHOR = {B. Liu},
  TITLE = {A Reinforcement Approach to Schelduling},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {580-585},
  KEYWORDS = {th-prov}}

@inproceedings{Tuominen88EC,
  AUTHOR = {H. Tuominen},
  TITLE = {Translations from Epistemic into Dynamic Logic},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {586-588},
  KEYWORDS = {th-prov}}

@inproceedings{Hrycej88ECa,
  AUTHOR = {T. Hrycej},
  TITLE = {Intelligent Backtracking with Structured Contexts},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {589-594},
  KEYWORDS = {th-prov}}

@inproceedings{Niemelae88EC,
  AUTHOR = {I. Niemel\"a},
  TITLE = {Autoepistemic Predicate Logic},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {595-600},
  KEYWORDS = {th-prov}}

@inproceedings{Freitag:88EC,
  AUTHOR = {H. Freitag and M. Reinfrank},
  TITLE = {A Non-Monotonic Deduction System Based on (A)TMS},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {601-606},
  KEYWORDS = {th-prov}}

@inproceedings{Giunchiglia:88EC,
  AUTHOR = {F. Giunchiglia and E. Giunchiglia},
  TITLE = {Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {607-609},
  KEYWORDS = {th-prov}}

@inproceedings{Paredis88EC,
  AUTHOR = {J. Paredis},
  TITLE = {Qualified Logic as a Means of Integrating Conceptual Formalisms},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {610-612},
  KEYWORDS = {th-prov}}

@inproceedings{Ammon88EC,
  AUTHOR = {K. Ammon},
  TITLE = {Discovering a Proof for the Fixed Point Theorem: A Case Study},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {613-618},
  KEYWORDS = {th-prov}}

@inproceedings{Treur88EC,
  AUTHOR = {T. Treur},
  TITLE = {Completeness and Definability in Diagnostic Expert Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {619-624},
  KEYWORDS = {th-prov}}

@inproceedings{Chaminade88EC,
  AUTHOR = {G. Chaminade},
  TITLE = {Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {625-630},
  KEYWORDS = {th-prov}}

@inproceedings{Bocionek88EC,
  AUTHOR = {S. Bocionek},
  TITLE = {Computer-Aided Configuration of Gantry-Robots},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {632-637},
  KEYWORDS = {robot}}

@inproceedings{Levi88EC,
  AUTHOR = {P. Levi},
  TITLE = {TOPAS: A Task-Oriented Planner for Optimized Assembly-Sequences},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {638-643},
  KEYWORDS = {robot}}

@inproceedings{Adorni:88EC,
  AUTHOR = {G. Adorni and A. Camurri and A. Poggi and R. Zaccaria},
  TITLE = {Integrating Spatio-Temporal Knowledge: A Hybrid Approach},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {644-649},
  KEYWORDS = {robot}}

@inproceedings{Mohr:88EC,
  AUTHOR = {R. Mohr and G. Masini},
  TITLE = {Good Old Discrete Relaxation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {651-656},
  KEYWORDS = {vision}}

@inproceedings{Sielaff88EC,
  AUTHOR = {C. Sielaff},
  TITLE = {Hierarchies over Relational Structures},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {657-662},
  KEYWORDS = {vision}}

@inproceedings{Ammon:88EC,
  AUTHOR = {K. Ammon and S. Stier},
  TITLE = {Constructing Polygon Concepts from Line Drawings},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {663-665},
  KEYWORDS = {vision}}

@inproceedings{Vivo:88EC,
  AUTHOR = {G. Vivo and P. Cosoli and R. Salonna},
  TITLE = {An Environment for Expert Image Processing},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {666-668},
  KEYWORDS = {vision}}

@inproceedings{Saroldi88EC,
  AUTHOR = {A. Saroldi},
  TITLE = {Successive Groupings: Adding Knowledge to Improve Segmentation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {669-671},
  KEYWORDS = {vision}}

@inproceedings{Menhardt88EC,
  AUTHOR = {W. Menhardt},
  TITLE = {Image Analysis Using Iconic Fuzzy Sets},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {672-674},
  KEYWORDS = {vision}}

@inproceedings{Johnston:88EC,
  AUTHOR = {V. Johnston and P. Lopez and D. Partridge},
  TITLE = {A Biologically Based Algorithm for Rapid Scene Analysis},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {675-677},
  KEYWORDS = {vision}}

@inproceedings{Thirion:88EC,
  AUTHOR = {E. Thirion and R. Mohr},
  TITLE = {Matching 3-D Images without Backtracking through Feature Grouping},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {678-682},
  KEYWORDS = {vision}}

@inproceedings{Grosso:88EC,
  AUTHOR = {E. Grosso and G. Sandini and C. Frigato},
  TITLE = {Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo Images},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {683-688},
  KEYWORDS = {vision}}

@inproceedings{DeJong88EC,
  AUTHOR = {G. DeJong},
  TITLE = {Some Thoughts on the Present and Future of Explanation-Based Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {690-697},
  KEYWORDS = {}}

@inproceedings{Hogger88EC,
  AUTHOR = {C. J. Hogger},
  TITLE = {Programming Environments},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {698-706},
  KEYWORDS = {}}

@inproceedings{Sandewall88EC,
  AUTHOR = {E. Sandewall},
  TITLE = {Future Developments in Artificial Intelligence: A Personal View},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {707-715},
  KEYWORDS = {}}

@inproceedings{Coelho88EC,
  AUTHOR = {H. Coelho},
  TITLE = {Interaction among Intelligent Agents},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {717-718},
  KEYWORDS = {}}

@inproceedings{Werner88EC,
  AUTHOR = {E. Werner},
  TITLE = {Social Intentions},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {719-723},
  KEYWORDS = {}}

@inproceedings{Clark88ECa,
  AUTHOR = {A. Clark},
  TITLE = {Computation, Connectionism and Content},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {725-727},
  KEYWORDS = {}}

@inproceedings{Dunin-Keplicz88EC,
  AUTHOR = {B. Dunin-Keplicz},
  TITLE = {Partial Reconstruction of Coreferential Structure of Discourse},
  YEAR = 1988,
  BOOKTITLE = {Proc. of the 8th ECAI},
  ADDRESS = "Munich, Germany",
  PAGES = {732-737},
  KEYWORDS = {}}