List of contents of the Proceedings of the
8'th European Conference on Artificial Intelligence,
1988 (ECAI-88)
Published by Pitman Publishing
- c-ecai-88-2
- C. Märtin and K. Waldhör:
BASAR: A Blackboard Based Software Architecture.
Pages 2-4.
- c-ecai-88-5
- H. Laasri, B. Maitre, T. Mondot, F. Charpillet, and J. P. Haton:
ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning.
Pages 5-10.
- c-ecai-88-11
- R. Krickhahn, R. Nobis, A. Mählmann, and M.-J. Schachter-Radig:
Applying the KADS Methodology to Develop a Knowledge Based System: NetHandler.
Pages 11-17.
- c-ecai-88-18
- K. Masuda, H. Ishizuka, H. Iwayama, K. Taki, and E. Sugino:
Preliminary Evaluation of the Connection Network for the Multi-PSI System.
Pages 18-23.
- c-ecai-88-24
- P. Dixneuf, A. Meller, and M. Porcheron:
ELOISE's Heart: An Efficient Frame for Production System Execution.
Pages 24-26.
- c-ecai-88-27
- H. Boley:
Iconic-Declarative Programming and Adaptation Rules.
Pages 27-29.
- c-ecai-88-30
- I. I. Dimitrov:
INEX: Flexible and Efficient Objects.
Pages 30-35.
- c-ecai-88-36
- T. Wilmes:
A Typed Unification of Functional and Logic Programming Based on Many-Valued Functions.
Pages 36-41.
- c-ecai-88-42
- F. Barachini and N. Theuretzbacher:
PAMELA: An Expert System Technology for Real-Time Control Applications.
Pages 42-47.
- c-ecai-88-49
- L. Steels:
Steps towards Common Sense.
Pages 49-54.
- c-ecai-88-55
- D. Partridge, J. McDonald, V. Johnston, and K. Paap:
AI Programs and Cognitive Models: Models of Perceptual Processes.
Pages 55-60.
- c-ecai-88-61
- E. Plaza and R. Lopez de Mantaras:
Model-Based Knowledge Acquisition for Heuristic Classification Systems.
Pages 61-66.
- c-ecai-88-67
- B. S. Doherty and J. J. Stuart:
Induction and Dialogue in Specification Formalisation: An Object-Based Approach.
Pages 67-69.
- c-ecai-88-70
- J. M. Slack:
Linguistic Constraints and Memory Management.
Pages 70-72.
- c-ecai-88-73
- H. Lambert, L. Eshelman, and Y. Iwasaki:
Acquiring and Complementing the Model for Diagnostic Tasks.
Pages 73-78.
- c-ecai-88-79
- M.-C. Rousset:
On the Consistency of Knowledge Bases: The COVADIS System.
Pages 79-84.
- c-ecai-88-85
- A. M. Burton, N. R. Shadbolt, G. Rugg, and A. P. Hedgecock:
Knowledge Elicitation Techniques in Classification Domains.
Pages 85-90.
- c-ecai-88-91
- K. Tanaka and K. Kubota:
Memory-Based Learner Model and its Application to a Game Coach.
Pages 91-93.
- c-ecai-88-94
- D. Fum, P. Giangrandi, and C. Tasso:
Student Modeling Techniques in Foreign Language Tutoring.
Pages 94-96.
- c-ecai-88-97
- J. H. Sumiga, B. Khazaei, and J. I. A. Siddiqi:
A Cognitive Model of Program Designer Behaviour.
Pages 97-99.
- c-ecai-88-100
- P. de Greef, J. Breuker, G. Schreiber, and J. Wielemaker:
StatCons: Knowledge Acquisition in a Complex Domain.
Pages 100-105.
- c-ecai-88-106
- J. Sandberg, J. Breuker, and R. Winkels:
Research on HELP-Systems: Empirical Study and Model Construction.
Pages 106-111.
- c-ecai-88-113
- X. Tong, Z. He, and R. Yu:
A Survey of the Expert System Tool ZDEST-2.
Pages 113-118.
- c-ecai-88-119
- J. E. Larsson and P. Persson:
An Intelligent Help System for Idpac.
Pages 119-123.
- c-ecai-88-124
- J. Maree:
ENIARC: An Intelligent Explicative Expert System for Rhythm Analysis in Electro-Cardiograms.
Pages 124-129.
- c-ecai-88-130
- N. Guarino:
DRL: Terminologic and Relational Knowledge in Prolog.
Pages 130-135.
- c-ecai-88-136
- M. Franova:
Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae.
Pages 136-141.
- c-ecai-88-143
- C. Thornton:
Links between Content and Information-Content.
Pages 143-148.
- c-ecai-88-149
- L.-E. Janlert:
Pictorial Knowledge Representation.
Pages 149-151.
- c-ecai-88-152
- S. Hägglund and I. Rankin:
Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation Systems.
Pages 152-154.
- c-ecai-88-155
- A. Clark:
Two Kinds of Cognitive Science?.
Pages 155-157.
- c-ecai-88-159
- P. Prosser:
A Hybrid Genetic Algorithm for Pallet Loading.
Pages 159-164.
- c-ecai-88-165
- J. B. H. Kwa:
Planning Robust AGV Movements.
Pages 165-169.
- c-ecai-88-170
- E. Tulp and L. Siklossy:
TRAINS, An Active Time-Table Searcher.
Pages 170-175.
- c-ecai-88-176
- T. J. Grant:
An Algorithm for Obtaining Action Sequences from a Procedures Knowledge Base.
Pages 176-181.
- c-ecai-88-182
- B. Soler, A. Carpentieri, M. P. Branca, and P. G. Kubansky:
Escut: An Expert System for Configuring Digital Telephone Switching Equipements.
Pages 182-187.
- c-ecai-88-188
- A. Huber and S. Becker:
Production Planning Using a Temoral Planning Component.
Pages 188-190.
- c-ecai-88-191
- M.-J. Schachter-Radig and D. Wermser:
A Sales Assistant for Chemical Measurement Equipment: SEARCHEM.
Pages 191-193.
- c-ecai-88-195
- B. Bredeweg and B. J. Wielinga:
Integrating Qualitative Reasoning Approaches.
Pages 195-201.
- c-ecai-88-202
- W. van de Velde:
Inference Structure as a Basis for Problem Solving.
Pages 202-207.
- c-ecai-88-208
- M. Frixione, S. Gaglio, and G. Spinelli:
Proper Names and Individual Concepts in SI-Nets.
Pages 208-213.
- c-ecai-88-214
- W. Wobcke:
A Global Theory of Inheritance.
Pages 214-219.
- c-ecai-88-220
- M. Ayel:
Protocols for Consistency Checking in Expert System Knowledge Bases.
Pages 220-225.
- c-ecai-88-226
- E. Chouraqui and P. Dugerdil:
Conflict Solving in a Frame-Like Multiple Inheritance System.
Pages 226-231.
- c-ecai-88-232
- B. Elfrink and H. Reichgelt:
The Use of Assertion-Time Inference in Logic-Based Knowledge Bases.
Pages 232-237.
- c-ecai-88-238
- J. Ferber and P. Volle:
Using Coreference in Object-Oriented Representations.
Pages 238-240.
- c-ecai-88-241
- K. Eberle:
Extensions of Event-Structures.
Pages 241-246.
- c-ecai-88-247
- M. Poesio:
Toward a Hybrid Representation of Time.
Pages 247-252.
- c-ecai-88-253
- A. Farquhar:
A Qualitative Reasoning Approach to Fault Avoidance.
Pages 253-255.
- c-ecai-88-256
- J. Cuena:
The Qualitative Modelling of Axis-Based Flow Systems: Methodology and Examples.
Pages 256-258.
- c-ecai-88-259
- C. Popp:
Answering WHY?, HOW? and WHY-NOT? Questions in a Blackboard System.
Pages 259-261.
- c-ecai-88-262
- M. Porcheron:
MILORE, a Meta-Level Knowledge Based Architecture for Production System Execution.
Pages 262-267.
- c-ecai-88-268
- M. Sharples and B. du Boulay:
Knowledge Representation for a Concept Tutoring System.
Pages 268-270.
- c-ecai-88-272
- M. Ducasse:
Opium, a Meta-Debugger for Prolog.
Pages 272-277.
- c-ecai-88-278
- J. Chassin, J.-C. Syre, and H. Westphal:
Implementation of a Parallel Prolog Sytem on a Commercial Multiprocessor.
Pages 278-283.
- c-ecai-88-284
- M. Cavalieri, E. Lamma, and P. Mello:
An Extended Prolog Machine for Dynamic Context Handling.
Pages 284-289.
- c-ecai-88-290
- M. Dincbas, H. Simonis, and P. van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming.
Pages 290-295.
- c-ecai-88-296
- T. Hrycej:
Temporal Prolog.
Pages 296-301.
- c-ecai-88-302
- P. Saint-Dizier:
Foundations of DISLOG, Programming in Logic with Discontinuities.
Pages 302-304.
- c-ecai-88-305
- T. Conrad:
A Many Sorted PROLOG Based on Equational Unification.
Pages 305-307.
- c-ecai-88-308
- S. Owen and R. Hull:
The Use of Explicit Interpretation to Control Reasoning about Protein Topology.
Pages 308-313.
- c-ecai-88-314
- C.-K. Looi:
Analysing Novices Programs in a Prolog Intelligent Teaching System.
Pages 314-319.
- c-ecai-88-320
- Yan Zhang and P. W. Grant:
An Automatic Difference-List Transformation Algorithm for Prolog.
Pages 320-325.
- c-ecai-88-327
- M. Keane:
Where's the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of Analogy.
Pages 327-332.
- c-ecai-88-333
- R. E. Stepp, B. L. Whitehall, and L. B. Holder:
Towards Intelligent Machine Learning Algorithms.
Pages 333-338.
- c-ecai-88-339
- J. L. de Siqueira N. and J.-F. Puget:
Explanation-Based Generalisation of Failures.
Pages 339-344.
- c-ecai-88-345
- J. Herrmann:
A Machine Learning Approach to Estimation for IC Design.
Pages 345-347.
- c-ecai-88-348
- B. Cestnik and I. Bratko:
Learning Redundant Rules in Noisy Domains.
Pages 348-350.
- c-ecai-88-351
- J. Diederich:
Connectionist Recruitment Learning.
Pages 351-356.
- c-ecai-88-357
- R. M. F. Goodman and P. Smyth:
Information-Theoretic Rule Induction.
Pages 357-362.
- c-ecai-88-363
- F. Bergadano, A. Giordana, and L. Saitta:
Concept Acquisition in an Integrated EBL and SBL Environment.
Pages 363-368.
- c-ecai-88-369
- M. Valtorta:
Automating Rule Strengths in Expert Systems.
Pages 369-371.
- c-ecai-88-372
- P. P. Terpstra and M. W. van Someren:
INDE: A System for Heuristic Knowledge Refinement.
Pages 372-374.
- c-ecai-88-375
- Y. Takada:
Grammatical Inference for Even Linear Languages Based on Control Sets.
Pages 375-377.
- c-ecai-88-378
- Jim Blythe:
Constraining Search in a Hierarchical Discriminative Learning System.
Pages 378-383.
- c-ecai-88-384
- J. G. Ganascia:
Improvement and Refinement of the Learning Bias Semantic.
Pages 384-389.
- c-ecai-88-390
- O. Gascuel and A. Danchin:
Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence Analysis.
Pages 390-395.
- c-ecai-88-396
- G. D. Oosthuizen and D. R. McGregor:
Induction through Knowledge Base Normalisation.
Pages 396-401.
- c-ecai-88-402
- J. Nicolas:
Consistency and Preference Criteria for Generalization Languages Handling Negation and Disjunction.
Pages 402-407.
- c-ecai-88-408
- W. van de Velde:
Quality of Learning.
Pages 408-413.
- c-ecai-88-415
- J. R. Galliers:
A Strategic Framework for Multi-Agent Cooperative Dialogue.
Pages 415-420.
- c-ecai-88-421
- C. Hopkins:
DePlan: Enabling Agents to Produce Plans that Achieve Cooperative Problem Solving.
Pages 421-426.
- c-ecai-88-427
- J. Ayel:
A Conceptual Supervision Model in Computer Integrated Manufacturing.
Pages 427-432.
- c-ecai-88-433
- N. R. Seel:
Modelling Iterated Strategies: A Case Study.
Pages 433-438.
- c-ecai-88-439
- C. A. Fields, M. J. Coombs, E. S. Dietrich, and R. T. Hartley:
Incorporating Dynamic Control into the Model Generative Reasoning System.
Pages 439-441.
- c-ecai-88-442
- S. Adey:
High Level Control of Simulated Ships and Aircraft.
Pages 442-444.
- c-ecai-88-445
- D. Connah, M. Shiels, and P. Wavish:
A Testbed for Research on Cooperating Agents.
Pages 445-447.
- c-ecai-88-449
- E. Andre, Gerd Herzog, and T. Rist:
On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer.
Pages 449-454.
- c-ecai-88-455
- G. Retz-Schmidt:
A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer Games.
Pages 455-457.
- c-ecai-88-458
- M. Otani and J.-M. Lancel:
Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-Grammar.
Pages 458-463.
- c-ecai-88-464
- A. J. H. Simons:
A Qualitative Model of the Articulators.
Pages 464-466.
- c-ecai-88-467
- T. Nakazawa, L. Neher, and E. W. Hinrichs:
Unification with Disjunctive and Negative Values for GPSG Grammars.
Pages 467-472.
- c-ecai-88-473
- L. Lesmo, M. Berti, and Paolo Terenziani:
A Network Formalism for Representing Natural Language Quantifiers.
Pages 473-478.
- c-ecai-88-480
- P. Jackson and H. Reichgelt:
A Modal Proof Method for Doxastic Reasoning in Incomplete Theories.
Pages 480-485.
- c-ecai-88-486
- Marie-Odile Cordier:
SHERLOCK: Hypothetical Reasoning in an Expert System Shell.
Pages 486-491.
- c-ecai-88-492
- N. Bidoit and C. Froidevaux:
More on Stratified Default Theories.
Pages 492-494.
- c-ecai-88-495
- P. Smets:
Transferable Belief Model versus Bayesian Model.
Pages 495-500.
- c-ecai-88-501
- Didier Dubois, H. Prade, and C. Testemale:
In Search of a Modal System for Possibility Theory.
Pages 501-506.
- c-ecai-88-507
- A. L. Brown:
Logics of Justified Belief.
Pages 507-512.
- c-ecai-88-513
- Y. Moinard:
Computing Circumscription of Horn Theories.
Pages 513-515.
- c-ecai-88-516
- P. Besnard, J. Houdebine, and R. Rolland:
A Formula Circumscriptively both Valid and Unprovable.
Pages 516-518.
- c-ecai-88-519
- P. J. de la Quintana:
Computing Quantifiers in Predicate Modal Logics.
Pages 519-524.
- c-ecai-88-525
- M. R. B. Clarke:
Intuitionistic Non-Monotonic Reasoning - further Results.
Pages 525-527.
- c-ecai-88-528
- A. D'Angelo, C. Mirolo, and E. Pagello:
A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed Environment.
Pages 528-533.
- c-ecai-88-535
- O. Dressler:
Extending the Basic ATMS.
Pages 535-540.
- c-ecai-88-541
- E. Lafon and C. B. Schwind:
A Theorem Prover for Action Performance.
Pages 541-546.
- c-ecai-88-547
- G. M. Provan:
Solving Diagnostic Problems Using Extended Truth Maintenance Systems.
Pages 547-552.
- c-ecai-88-553
- Susanne Biundo:
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool.
Pages 553-558.
- c-ecai-88-559
- M. Franova:
An Implementation of Program Synthesis from Formal Specifications: PRECOMAS.
Pages 559-564.
- c-ecai-88-565
- A. Stevens:
A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas.
Pages 565-570.
- c-ecai-88-571
- E. P. K. Tsang:
Elements in Temporal Reasoning in Planning.
Pages 571-573.
- c-ecai-88-574
- Witold Lukaszewicz:
Chronological Minimization of Abnormality: Simple Theories of Action.
Pages 574-576.
- c-ecai-88-577
- Maurizio Lenzerini and Daniele Nardi:
Belief Revision as Meta-Reasoning.
Pages 577-579.
- c-ecai-88-580
- B. Liu:
A Reinforcement Approach to Schelduling.
Pages 580-585.
- c-ecai-88-586
- H. Tuominen:
Translations from Epistemic into Dynamic Logic.
Pages 586-588.
- c-ecai-88-589
- T. Hrycej:
Intelligent Backtracking with Structured Contexts.
Pages 589-594.
- c-ecai-88-595
- I. Niemelä:
Autoepistemic Predicate Logic.
Pages 595-600.
- c-ecai-88-601
- H. Freitag and M. Reinfrank:
A Non-Monotonic Deduction System Based on (A)TMS.
Pages 601-606.
- c-ecai-88-607
- F. Giunchiglia and E. Giunchiglia:
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.
Pages 607-609.
- c-ecai-88-610
- J. Paredis:
Qualified Logic as a Means of Integrating Conceptual Formalisms.
Pages 610-612.
- c-ecai-88-613
- K. Ammon:
Discovering a Proof for the Fixed Point Theorem: A Case Study.
Pages 613-618.
- c-ecai-88-619
- T. Treur:
Completeness and Definability in Diagnostic Expert Systems.
Pages 619-624.
- c-ecai-88-625
- G. Chaminade:
Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses.
Pages 625-630.
- c-ecai-88-632
- S. Bocionek:
Computer-Aided Configuration of Gantry-Robots.
Pages 632-637.
- c-ecai-88-638
- P. Levi:
TOPAS: A Task-Oriented Planner for Optimized Assembly-Sequences.
Pages 638-643.
- c-ecai-88-644
- G. Adorni, A. Camurri, A. Poggi, and R. Zaccaria:
Integrating Spatio-Temporal Knowledge: A Hybrid Approach.
Pages 644-649.
- c-ecai-88-651
- R. Mohr and G. Masini:
Good Old Discrete Relaxation.
Pages 651-656.
- c-ecai-88-657
- C. Sielaff:
Hierarchies over Relational Structures.
Pages 657-662.
- c-ecai-88-663
- K. Ammon and S. Stier:
Constructing Polygon Concepts from Line Drawings.
Pages 663-665.
- c-ecai-88-666
- G. Vivo, P. Cosoli, and R. Salonna:
An Environment for Expert Image Processing.
Pages 666-668.
- c-ecai-88-669
- A. Saroldi:
Successive Groupings: Adding Knowledge to Improve Segmentation.
Pages 669-671.
- c-ecai-88-672
- W. Menhardt:
Image Analysis Using Iconic Fuzzy Sets.
Pages 672-674.
- c-ecai-88-675
- V. Johnston, P. Lopez, and D. Partridge:
A Biologically Based Algorithm for Rapid Scene Analysis.
Pages 675-677.
- c-ecai-88-678
- E. Thirion and R. Mohr:
Matching 3-D Images without Backtracking through Feature Grouping.
Pages 678-682.
- c-ecai-88-683
- E. Grosso, G. Sandini, and C. Frigato:
Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo Images.
Pages 683-688.
- c-ecai-88-690
- G. DeJong:
Some Thoughts on the Present and Future of Explanation-Based Learning.
Pages 690-697.
- c-ecai-88-698
- C. J. Hogger:
Programming Environments.
Pages 698-706.
- c-ecai-88-707
- Erik Sandewall:
Future Developments in Artificial Intelligence: A Personal View.
Pages 707-715.
- c-ecai-88-717
- H. Coelho:
Interaction among Intelligent Agents.
Pages 717-718.
- c-ecai-88-719
- E. Werner:
Social Intentions.
Pages 719-723.
- c-ecai-88-725
- A. Clark:
Computation, Connectionism and Content.
Pages 725-727.
- c-ecai-88-732
- B. Dunin-Keplicz:
Partial Reconstruction of Coreferential Structure of Discourse.
Pages 732-737.
19-May-97 23:01