8. ECAI 1988:
Munich,
Germany
Yves Kodratoff (ed.):
8th European Conference on Artificial Intelligence, ECAI 88, Munich,
Germany, August 1-5, 1988, Proceedings.
Pitmann Publishing, London, 1988, ISBN 0-273-08798-3
Architectures and Languages
- Christian Märtin, Klemens Waldhör:
BASAR: A Blackboard Based Software Architecture.
2-4
- H. Lâasri, B. Maître, T. Mondot, François Charpillet, Jean Paul Haton:
ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning.
5-10
- Reinhard Krickhahn, Reinhard Nobis, Andres Mählmann, Mina-Jaqueline Schachter-Radig:
Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler.
11-17
- Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino:
Preliminary Evaluation of the Connection Network for the Multi-PSI System.
18-23
- Patrick Dixneuf, Alain Meller, Marc Porcheron:
ELOISE's Heart: An Efficient Frame for Production System Execution.
24-26
- Harold Boley:
Iconic-Declarative Programming and Adaptation Rules.
27-29
- Ilia Iv. Dimitrov:
INEX: Flexible and Efficient Objects.
30-35
- Thomas Wilmes:
A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions.
36-41
- Franz Barachini, Norbert Theuretzbacher:
PAMELA: An Expert System Technology for Real-Time Control Applications.
42-47
Cognition
- Luc Steels:
Steps towards Common Sense.
49-54
- Derek Partridge, Jim McDonald, Victor Johnston, Ken Paap:
AI Programs and Cognitive Models: Models of Perceptual Processes.
55-60
- Enric Plaza, Ramon López de Mántaras:
Model-Based Knowledge Acquisition for Heuristic Classification Systems.
61-66
- B. S. Doherty, J. J. Stuart:
Induction and Dialogue in Specification Formalisation: An Object-Based Approach.
67-69
- Jon M. Slack:
Linguistic Constraints and Memory Management.
70-72
- Hervé Lambert, Larry J. Eshelman, Yumi Iwasaki:
Acquiring and Complementing the Model for Diagnostic Tasks.
73-78
- Marie-Christine Rousset:
On the Consistency of Knowledge Bases: The COVADIS System.
79-84
- A. M. Burton, Nigel Shadbolt, G. Rugg, A. P. Hedgecock:
Knowledge Elicitation Techniques in Classification Domains.
85-90
- Kazuo Tanaka, Kazunari Kubota:
Memory-Based Learner Model and its Application to a Game Coach.
91-93
- Danilo Fum, Paolo Giangrandi, Carlo Tasso:
Student Modeling Techniques in Foreign Language Tutoring.
94-96
- J. H. Sumiga, Babak Khazaei, Jawed I. A. Siddiqi:
A Cognitive Model of Program Designer Behaviour.
97-99
- Paul de Greef, Joost Breuker, Guus Schreiber, Jan Wielemaker:
StatCons: Knowledge Acquisition in a Complex Domain.
100-105
- Jacobijn Sandberg, Joost Breuker, Radboud Winkels:
Research on HELP-Systems: Empirical Study and Model Construction.
106-111
Demonstrations of Academic AI Software
- Xuejun Tong, Zhijun He, Ruizao Yu:
A Survey of the Expert System Tool ZDEST-2.
113-118
- Jan Eric Larsson, Per Persson:
An Intelligent Help System for Idpac.
119-123
- Jacques Maree:
ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms.
124-129
- Nicola Guarino:
DRL: Terminologic and Relational Knowledge in Prolog.
130-135
- Marta Franová:
Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae.
136-141
Epistemology
Industrial Applications
Knowledge Representation
Logic Programming
- Mireille Ducassé:
Opium+, a Meta-Debugger for Prolog.
272-277
- Jacques Chassin de Kergommeaux, Jean-Claude Syre, Harald Westphal:
Implementation of a Parallel Prolog Sytem on a Commercial Multiprocessor.
278-283
- Marco Cavalieri, Evelina Lamma, Paola Mello:
An Extended Prolog Machine for Dynamic Context Handling.
284-289
- Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming.
290-295
- Tomas Hrycej:
Temporal Prolog.
296-301
- Patrick Saint-Dizier:
Foundations of DISLOG, Programming in Logic with Discontinuities.
302-304
- Thierry Conrad:
A Many Sorted PROLOG Based on Equational Unification.
305-307
- Stephen Owen, Richard Hull II:
The Use of Explicit Interpretation to Control Reasoning about Protein Topology.
308-313
- Chee-Kit Looi:
Analysing Novices Programs in a Prolog Intelligent Teaching System.
314-319
- J. Zhang, P. W. Grant:
An Automatic Difference-List Transformation Algorithm for Prolog.
320-325
Machine Learning
- Mark T. Keane:
Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy.
327-332
- Robert E. Stepp, Bradley L. Whitehall, Lawrence B. Holder:
Towards Intelligent Machine Learning Algorithms.
333-338
- J. L. de Siqueira N., Jean-Francois Puget:
Explanation-Based Generalisation of Failures.
339-344
- Jürgen Herrmann:
A Machine Learning Approach to Estimation for IC Design.
345-347
- Bojan Cestnik, Ivan Bratko:
Learning Redundant Rules in Noisy Domains.
348-350
- Joachim Diederich:
Connectionist Recruitment Learning.
351-356
- Rodney M. Goodman, Padhraic Smyth:
Information-Theoretic Rule Induction.
357-362
- Francesco Bergadano, Attilio Giordana, Lorenza Saitta:
Concept Acquisition in an Integrated EBL and SBL Environment.
363-368
- Marco Valtorta:
Automating Rule Strengths in Expert Systems.
369-371
- P. P. Terpstra, Maarten van Someren:
INDE: A System for Heuristic Knowledge Refinement.
372-374
- Yuji Takada:
Grammatical Inference for Even Linear Languages Based on Control Sets.
375-377
- Jim Blythe:
Constraining Search in a Hierarchical Discriminative Learning System.
378-383
- Jean-Gabriel Ganascia:
Improvement and Refinement of the Learning Bias Semantic.
384-389
- Olivier Gascuel, Antoine Danchin:
Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis.
390-395
- G. Deon Oosthuizen, D. R. McGregor:
Induction through Knowledge Base Normalisation.
396-401
- Jacques Nicolas:
Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction.
402-407
- Walter Van de Velde:
Quality of Learning.
408-413
Multi-Agent Interaction
Natural Language Understanding
Non-Standard Approaches
Reasoning and Theorem Proving
- Oskar Dressler:
Extending the Basic ATMS.
535-540
- Emmanuel Lafon, Camilla Schwind:
A Theorem Prover for Action Performance.
541-546
- Gregory M. Provan:
Solving Diagnostic Problems Using Extended Truth Maintenance Systems.
547-552
- Susanne Biundo:
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool.
553-558
- Marta Franová:
An Implementation of Program Synthesis from Formal Specifications: PRECOMAS.
559-564
- Andrew Stevens:
A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas.
565-570
- Edward P. K. Tsang:
Elements in Temporal Reasoning in Planning.
571-573
- Witold Lukaszewicz:
Chronological Minimization of Abnormality: Simple Theories of Action.
574-576
- Maurizio Lenzerini, Daniele Nardi:
Belief Revision as Meta-Reasoning.
577-579
- Bing Liu:
A Reinforcement Approach to Schelduling.
580-585
- Heikki Tuominen:
Translations from Epistemic into Dynamic Logic.
586-588
- Tomas Hrycej:
Intelligent Backtracking with Structured Contexts.
589-594
- Ilkka Niemelä:
Autoepistemic Predicate Logic.
595-600
- Hartmut Freitag, Michael Reinfrank:
A Non-Monotonic Deduction System Based on (A)TMS.
601-606
- Fausto Giunchiglia, Enrico Giunchiglia:
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.
607-609
- Jan Paredis:
Qualified Logic as a Means of Integrating Conceptual Formalisms.
610-612
- Kurt Ammon:
Discovering a Proof for the Fixed Point Theorem: A Case Study.
613-618
- Jan Treur:
Completeness and Definability in Diagnostic Expert Systems.
619-624
- Gilles Chaminade:
Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses.
625-630
Robotics
Vision
Invited Talks
Panels
Paper added in press
Copyright © Wed Nov 25 18:51:44 2009
by Michael Ley (ley@uni-trier.de)
