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 BibTeX
- 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 BibTeX
- Reinhard Krickhahn, Reinhard Nobis, Andres Mählmann, Mina-Jaqueline Schachter-Radig:
Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler.
11-17 BibTeX
- Kanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino:
Preliminary Evaluation of the Connection Network for the Multi-PSI System.
18-23 BibTeX
- Patrick Dixneuf, Alain Meller, Marc Porcheron:
ELOISE's Heart: An Efficient Frame for Production System Execution.
24-26 BibTeX
- Harold Boley:
Iconic-Declarative Programming and Adaptation Rules.
27-29 BibTeX
- Ilia Iv. Dimitrov:
INEX: Flexible and Efficient Objects.
30-35 BibTeX
- Thomas Wilmes:
A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions.
36-41 BibTeX
- Franz Barachini, Norbert Theuretzbacher:
PAMELA: An Expert System Technology for Real-Time Control Applications.
42-47 BibTeX
Cognition
- Luc Steels:
Steps towards Common Sense.
49-54 BibTeX
- Derek Partridge, Jim McDonald, Victor Johnston, Ken Paap:
AI Programs and Cognitive Models: Models of Perceptual Processes.
55-60 BibTeX
- Enric Plaza, Ramon López de Mántaras:
Model-Based Knowledge Acquisition for Heuristic Classification Systems.
61-66 BibTeX
- B. S. Doherty, J. J. Stuart:
Induction and Dialogue in Specification Formalisation: An Object-Based Approach.
67-69 BibTeX
- Jon M. Slack:
Linguistic Constraints and Memory Management.
70-72 BibTeX
- Hervé Lambert, Larry J. Eshelman, Yumi Iwasaki:
Acquiring and Complementing the Model for Diagnostic Tasks.
73-78 BibTeX
- Marie-Christine Rousset:
On the Consistency of Knowledge Bases: The COVADIS System.
79-84 BibTeX
- A. M. Burton, Nigel Shadbolt, G. Rugg, A. P. Hedgecock:
Knowledge Elicitation Techniques in Classification Domains.
85-90 BibTeX
- Kazuo Tanaka, Kazunari Kubota:
Memory-Based Learner Model and its Application to a Game Coach.
91-93 BibTeX
- Danilo Fum, Paolo Giangrandi, Carlo Tasso:
Student Modeling Techniques in Foreign Language Tutoring.
94-96 BibTeX
- J. H. Sumiga, Babak Khazaei, Jawed I. A. Siddiqi:
A Cognitive Model of Program Designer Behaviour.
97-99 BibTeX
- Paul de Greef, Joost Breuker, Guus Schreiber, Jan Wielemaker:
StatCons: Knowledge Acquisition in a Complex Domain.
100-105 BibTeX
- Jacobijn Sandberg, Joost Breuker, Radboud Winkels:
Research on HELP-Systems: Empirical Study and Model Construction.
106-111 BibTeX
Demonstrations of Academic AI Software
Epistemology
Industrial Applications
Knowledge Representation
Logic Programming
- Mireille Ducassé:
Opium+, a Meta-Debugger for Prolog.
272-277 BibTeX
- Jacques Chassin de Kergommeaux, Jean-Claude Syre, Harald Westphal:
Implementation of a Parallel Prolog Sytem on a Commercial Multiprocessor.
278-283 BibTeX
- Marco Cavalieri, Evelina Lamma, Paola Mello:
An Extended Prolog Machine for Dynamic Context Handling.
284-289 BibTeX
- Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming.
290-295 BibTeX
- Tomas Hrycej:
Temporal Prolog.
296-301 BibTeX
- Patrick Saint-Dizier:
Foundations of DISLOG, Programming in Logic with Discontinuities.
302-304 BibTeX
- Thierry Conrad:
A Many Sorted PROLOG Based on Equational Unification.
305-307 BibTeX
- Stephen Owen, Richard Hull II:
The Use of Explicit Interpretation to Control Reasoning about Protein Topology.
308-313 BibTeX
- Chee-Kit Looi:
Analysing Novices Programs in a Prolog Intelligent Teaching System.
314-319 BibTeX
- J. Zhang, P. W. Grant:
An Automatic Difference-List Transformation Algorithm for Prolog.
320-325 BibTeX
Machine Learning
- Mark T. Keane:
Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy.
327-332 BibTeX
- Robert E. Stepp, Bradley L. Whitehall, Lawrence B. Holder:
Towards Intelligent Machine Learning Algorithms.
333-338 BibTeX
- J. L. de Siqueira N., Jean-Francois Puget:
Explanation-Based Generalisation of Failures.
339-344 BibTeX
- Jürgen Herrmann:
A Machine Learning Approach to Estimation for IC Design.
345-347 BibTeX
- Bojan Cestnik, Ivan Bratko:
Learning Redundant Rules in Noisy Domains.
348-350 BibTeX
- Joachim Diederich:
Connectionist Recruitment Learning.
351-356 BibTeX
- Rodney M. Goodman, Padhraic Smyth:
Information-Theoretic Rule Induction.
357-362 BibTeX
- Francesco Bergadano, Attilio Giordana, Lorenza Saitta:
Concept Acquisition in an Integrated EBL and SBL Environment.
363-368 BibTeX
- Marco Valtorta:
Automating Rule Strengths in Expert Systems.
369-371 BibTeX
- P. P. Terpstra, Maarten van Someren:
INDE: A System for Heuristic Knowledge Refinement.
372-374 BibTeX
- Yuji Takada:
Grammatical Inference for Even Linear Languages Based on Control Sets.
375-377 BibTeX
- Jim Blythe:
Constraining Search in a Hierarchical Discriminative Learning System.
378-383 BibTeX
- Jean-Gabriel Ganascia:
Improvement and Refinement of the Learning Bias Semantic.
384-389 BibTeX
- Olivier Gascuel, Antoine Danchin:
Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis.
390-395 BibTeX
- G. Deon Oosthuizen, D. R. McGregor:
Induction through Knowledge Base Normalisation.
396-401 BibTeX
- Jacques Nicolas:
Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction.
402-407 BibTeX
- Walter Van de Velde:
Quality of Learning.
408-413 BibTeX
Multi-Agent Interaction
Natural Language Understanding
Non-Standard Approaches
Reasoning and Theorem Proving
Robotics
Vision
Invited Talks
Panels
Paper added in press
Copyright © Sat May 16 23:07:46 2009
by Michael Ley (ley@uni-trier.de)