List of contents of the Proceedings of the

10'th European Conference on Artificial Intelligence, 1992 (ECAI-92)

Edited by Bernd Neumann

Published by

c-ecai-92-1
S. Russell:
Efficient Memory-Bounded Search Methods.
Pages 1-5.

c-ecai-92-6
A. Bramanti-Gregor, H. W. Davis, and F. G. Ganschow:
Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search.
Pages 6-10.

c-ecai-92-11
R. Ramaswamy and A. K. Sen:
Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc Costs.
Pages 11-15.

c-ecai-92-16
A. L. Köll and H. Kaindl:
A New Approach to Dynamic Weighting.
Pages 16-17.

c-ecai-92-18
A. San Miguel Aguirre:
Symmetries and the Cardinality Operator.
Pages 18-22.

c-ecai-92-23
C. Bessière:
Arc-Consistency for Non-Binary Dynamic CSPs.
Pages 23-27.

c-ecai-92-28
B. W. Benson and E. C. Freuder:
Interchangeability Preprocessing Can Improve Forward Checking Search.
Pages 28-30.

c-ecai-92-31
P. A. Geelen:
Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems.
Pages 31-35.

c-ecai-92-36
B. M. Smith:
How to Solve the Zebra Problem, or Path Consistency the Easy Way.
Pages 36-37.

c-ecai-92-38
Didier Dubois, J. Lang, and H. Prade:
Dealing with Multi-Source Information in Possibilistic Logic.
Pages 38-42.

c-ecai-92-43
C. J. Liau and B. I.-P. Lin:
Quantitative Modal Logic and Possibilistic Reasoning.
Pages 43-47.

c-ecai-92-48
S. Parsons:
Qualitative Belief Networks.
Pages 48-50.

c-ecai-92-51
C.-H. Tzeng:
A Plausible Reasoning in Bayesian Networks.
Pages 51-52.

c-ecai-92-53
Z. Luo:
Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks and Its Application.
Pages 53-54.

c-ecai-92-55
D. Barker-Plummer and S. C. Bailin:
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.
Pages 55-59.

c-ecai-92-60
J. Würtz:
Unifying Cycles.
Pages 60-64.

c-ecai-92-65
D. Hutter:
Adapting a Resolution Calculus for Inductive Proofs.
Pages 65-69.

c-ecai-92-70
U. Egly:
A Simple Proof for the Pigeonhole Formulae.
Pages 70-71.

c-ecai-92-72
I. Frank, D. Basin, and A. Bundy:
An Adaptation of Proof-Planning to Declarer Play in Bridge.
Pages 72-76.

c-ecai-92-77
F. Giunchiglia and T. Walsh:
Tree Subsumption: Reasoning with Outlines.
Pages 77-81.

c-ecai-92-82
E. Kounalis:
A Simplification-Based Approach to Program Synthesis.
Pages 82-86.

c-ecai-92-87
M. Franova and Y. Kodratoff:
Predicate Synthesis from Formal Specifications.
Pages 87-91.

c-ecai-92-92
N. Leone and P. Rullo:
Stable Model Semantics and Its Computation for Ordered Logic Programs.
Pages 92-96.

c-ecai-92-97
J. Chen:
A Refined Semantics for Disjunctive Logic Programs.
Pages 97-101.

c-ecai-92-102
L. M. Pereira and J. J. Alferes:
Well Founded Semantics for Logic Programs with Explicit Negation.
Pages 102-106.

c-ecai-92-107
V. Kuznetsov:
Negation as Exception.
Pages 107-108.

c-ecai-92-109
P. M. Hill:
Data Structures and Typed Logic Programs.
Pages 109-113.

c-ecai-92-114
A. Brogi, E. Lamma, and P. Mello:
ATMS for Implementing Logic Programming.
Pages 114-118.

c-ecai-92-119
E. Lamma and P. Mello:
An Assumption-Based Truth Maintenance System Dealing with Non-Ground Justifications.
Pages 119-123.

c-ecai-92-124
H. Hara:
Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based Method.
Pages 124-128.

c-ecai-92-129
N. Iwayama, K. Satoh, and J. Arima:
A Formalization of Generalization-Based Analogy in General Logic Programs.
Pages 129-133.

c-ecai-92-134
R. Demolombe:
A Strategy for the Computation of Conditional Answers.
Pages 134-138.

c-ecai-92-139
Zhisheng Huang and A. E. Adam:
A Relevancy Knowledge Model of Analogical Reasoning.
Pages 139-143.

c-ecai-92-144
J. Puyol-Gruart, L. Godo, and C. Sierra:
A Specialisation Calculus to Improve Expert Systems Communication.
Pages 144-148.

c-ecai-92-149
E. Maim:
Abduction and Constraint Logic Programming.
Pages 149-153.

c-ecai-92-154
T. Hoppe:
On the Relationship Between Partial Deduction and Abductive Reasoning.
Pages 154-158.

c-ecai-92-159
A. Waern:
Reactive Abduction.
Pages 159-163.

c-ecai-92-164
A. Camurri, M. Frixione, C. Innocenti, and R. Zaccaria:
A Model of Representation and Communication of Music and Multimedia Knowledge.
Pages 164-168.

c-ecai-92-169
A. Tanguiane:
Artificial Perception and Music Recognition: A Heuristic Approach.
Pages 169-173.

c-ecai-92-174
T. Veale and M. T. Keane:
Conceptual Scaffolding: Using Metaphors to Build Knowledge Structures.
Pages 174-178.

c-ecai-92-179
S. Sitter and E. Maier:
Rhetorical Relations in a Model of Information-Seeking Dialogues.
Pages 179-180.

c-ecai-92-181
A. Quilici:
Recognizing and Revising Unconvincing Explanations.
Pages 181-182.

c-ecai-92-183
C. Jacquemin:
Activation Diffusion: A Connectionist Network for Robust Parsing.
Pages 183-187.

c-ecai-92-188
S. Wermter:
A Hybrid and Connectionist Architecture for a SCANning Understanding.
Pages 188-192.

c-ecai-92-193
V. Kurkova:
Universal Approximation Using Feedforward Neural Networks with Gaussian Bar Units.
Pages 193-197.

c-ecai-92-198
A. B. Bulsari and H. Saxén:
A Partially Recurrent Connectionist Model.
Pages 198-202.

c-ecai-92-203
G. Dorffner and M. Rotter:
On the Virtues of Functional Connectionist Compositionality.
Pages 203-205.

c-ecai-92-206
J. Diederich, A. Thümmel, and E. Bartels:
Recurrent and Feedforward Networks for Human-Computer Interaction.
Pages 206-207.

c-ecai-92-208
A. Ultsch:
Self-Organizing Neural Networks for Knowledge Akquisition.
Pages 208-210.

c-ecai-92-211
S. Margarita:
Genetic Neural Networks for Financial Markets: Some Results.
Pages 211-213.

c-ecai-92-214
A. Pinz and H. Bischof:
Neural Network ``Surgery'': Transplantation of Hidden Units.
Pages 214-215.

c-ecai-92-216
P. Ferrara, A. Ferscha, and G. Haring:
A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature Maps.
Pages 216-218.

c-ecai-92-219
G. Tidhar and J. S. Rosenschein:
A Contract Net with Consultants: An Alternative Architecture and Experimental Results.
Pages 219-223.

c-ecai-92-224
N. R. Jennings:
Towards a Cooperation Knowledge Level for Collaborative Problem Solving.
Pages 224-228.

c-ecai-92-229
E. Ephrati and J. S. Rosenschein:
Reaching Agreement Through Partial Revelation of Preferences.
Pages 229-233.

c-ecai-92-234
Michael Wooldridge and Michael Fisher:
A First-Order Branching Time Logic of Multi-Agent Systems.
Pages 234-238.

c-ecai-92-239
T. Bouron and A. Collinot:
SAM: A Model to Design Computational Social Agents.
Pages 239-243.

c-ecai-92-244
B. Lemaire:
Hypothetical Reasoning within the Blackboard Model for Constructing Explanations.
Pages 244-248.

c-ecai-92-249
A. Cawsey, J. R. Galliers, Steven Reece, and K. Sparck Jones:
A Comparison of Architectures for Autonomous Multi-Agent Communication.
Pages 249-251.

c-ecai-92-252
K. Ghedira and G. Verfaillie:
A Multi-Agent Model for the Resource Allocation Problem: A Reactive Approach.
Pages 252-254.

c-ecai-92-255
J.-C. Le Mentec and S. Brunessaux:
Improving Reactivity in a Blackboard Architecture with Parallelism and Interruptions.
Pages 255-256.

c-ecai-92-257
Z. Wu, Zhisheng Huang, J. Ying, and Z. He:
A Survey of Coupled Expert Systems Building Toolkit ZIPE.
Pages 257-261.

c-ecai-92-262
P. Lalanda, F. Charpillet, and J.-P. Haton:
A Real-Time Blackboard-Based Architecture.
Pages 262-266.

c-ecai-92-267
E. Bahr, F. Barachini, and H. Mistelberger:
On Efficient Load Balancing for Parallel Execution of Production Systems.
Pages 267-271.

c-ecai-92-272
I. van Langevelde, A. Philipsen, and J. Treur:
Formal Specification of Compositional Architectures.
Pages 272-276.

c-ecai-92-277
N. Kehrer and G. Neumann:
Business Event Oriented Information Systems Based on Meta Programming.
Pages 277-281.

c-ecai-92-282
B. Logan, D. Corne, and T. Smithers:
The Edinburgh Designer System: An Architecture for Solving Ill Structured Problems.
Pages 282-286.

c-ecai-92-287
N. K. Kasabov and S. H. Petkov:
Neural Networks and Logic Programming: A Hybrid Model and Its Applicability to Building Expert Systems.
Pages 287-288.

c-ecai-92-289
J. Dix:
Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic.
Pages 289-293.

c-ecai-92-294
Patrick Doherty and Witold Lukaszewicz:
FONML3: A First-Order Non-Monotonic Logic with Explicit Defaults.
Pages 294-298.

c-ecai-92-299
Y. H. Tan and J. Treur:
Constructive Default Logic and the Control of Defeasible Reasoning.
Pages 299-303.

c-ecai-92-304
T. Schaub:
On Constrained Default Theories.
Pages 304-308.

c-ecai-92-309
D. Pearce:
Default Logic and Constructive Logic.
Pages 309-313.

c-ecai-92-314
L. Fariñas del Cerro, Andreas Herzig, and J. Lang:
From Ordering-Based Nonmonotonic Reasoning to Conditional Logics.
Pages 314-318.

c-ecai-92-319
M. Cadoli and Marco Schaerf:
Approximate Inference in Default Logic and Circumscription.
Pages 319-323.

c-ecai-92-324
W. Wobcke:
On the Use of Epistemic Entrenchment in Nonmonotonic Reasoning.
Pages 324-328.

c-ecai-92-329
Y. Moinard:
Circumscriptions as Preferential Entailment.
Pages 329-333.

c-ecai-92-334
I. N. F. Niemelä:
A Unifying Framework for Nomonotonic Reasoning.
Pages 334-338.

c-ecai-92-339
O. Papini:
A Complete Revision Function in Propositional Calculus.
Pages 339-343.

c-ecai-92-344
W. Zadrozny:
Explanations at the Knowledge Level.
Pages 344-348.

c-ecai-92-349
C. Bäckström and Bernhard Nebel:
On the Computational Complexity of Planning and Story Understanding.
Pages 349-353.

c-ecai-92-354
M. Dalal:
Tractable Instances of Some Hard Deduction Problems.
Pages 354-358.

c-ecai-92-359
H. Kautz and B. Selman:
Planning as Satisfiability.
Pages 359-363.

c-ecai-92-364
M. P. Singh:
A Critical Examination of the Cohen-Levesque Theory of Intentions.
Pages 364-368.

c-ecai-92-369
L. Console, L. Portinale, D. T. Dupre, and P. Torasso:
Diagnostic Reasoning Across Different Time Points.
Pages 369-373.

c-ecai-92-374
António Porto and C. Ribeiro:
Temporal Inference with a Point-Based Interval Algebra.
Pages 374-378.

c-ecai-92-379
A. Weigel and R. Bleisinger:
Support for Resolving Contradictions in Time Interval Networks.
Pages 379-383.

c-ecai-92-384
M. Denecker, L. Missiaen, and M. Bruynooghe:
Temporal Reasoning with Abductive Event Calculus.
Pages 384-388.

c-ecai-92-389
L. Latecki and S. Pribbenow:
On Hybrid Reasoning for Processing Spatial Expressions.
Pages 389-393.

c-ecai-92-394
D. A. Randell, Z. Cui, and A. G. Cohn:
An Interval Logic for Space Based on ``Connection''.
Pages 394-398.

c-ecai-92-399
J.-P. Mohren and J. Müller:
A Geometrical Approach to Depictional Representation of Spatial Relations.
Pages 399-402.

c-ecai-92-403
Pavlos Peppas and W. Wobcke:
On the Use of Epistemic Entrenchment in Reasoning about Action.
Pages 403-407.

c-ecai-92-408
N. J. Davies:
A First Order Theory of Knowledge, Belief and Action.
Pages 408-412.

c-ecai-92-413
C. Froidevaux:
Default Logic for Action Rule-Based Systems.
Pages 413-417.

c-ecai-92-418
A. Camurri, G. Vercelli, and R. Zaccaria:
Real Time Knowledge Representation and Reasoning about Real Tasks.
Pages 418-419.

c-ecai-92-420
C. Kindermann:
Retraction in Terminological Knowledge Bases.
Pages 420-424.

c-ecai-92-424
A. Napoli:
Subsumption and Classification-Based Reasoning in Object-Based Representations.
Pages 424-429.

c-ecai-92-430
G. Weiß:
Learning the Goal Relevance of Actions in Classifier Systems.
Pages 430-434.

c-ecai-92-435
O. Gascuel and G. Caraux:
Statistical Significance in Inductive Learning.
Pages 435-439.

c-ecai-92-440
A. Karalic:
Employing Linear Regression in Regression Tree Leaves.
Pages 440-441.

c-ecai-92-442
G. Kalkanis and G. V. Conroy:
Inductive Learning of Effective and Efficient Classification Rules.
Pages 442-443.

c-ecai-92-444
M. Kovacic, N. Lavrac, M. Grobelnik, D. Zupanic, and D. Mladenic:
Stochastic Search in Inductive Logic Programming.
Pages 444-445.

c-ecai-92-446
P. Marquis:
Building Up Inductive Generalizations from Facts.
Pages 446-450.

c-ecai-92-451
M. Botta, A. Giordana, and L. Saitta:
Comparison of Search Strategies in Learning Relations.
Pages 451-455.

c-ecai-92-456
H. Ade, L. De Raedt, and M. Bruynooghe:
Inverse Resolution in an Integrated Inductive-Deductive Learning System.
Pages 456-457.

c-ecai-92-458
G. Bisson:
Conceptual Clustering in a First Order Logic Representation.
Pages 458-462.

c-ecai-92-463
G. Widmer and M. Kubat:
Learning Flexible Concepts from Streams of Examples: FLORA2.
Pages 463-467.

c-ecai-92-468
Y. Saito, S. Tojo, and S. Komiya:
Intuitive Classification Based on Affinity.
Pages 468-470.

c-ecai-92-471
C. Carpineto:
Shift of Bias without Operators.
Pages 471-473.

c-ecai-92-474
C. Nedellec:
How to Specialize by Theory Refinement.
Pages 474-478.

c-ecai-92-479
M. Sebag and M. Schoenauer:
Learning to Control Inconsistent Knowledge.
Pages 479-483.

c-ecai-92-484
P. D. Scott and K. H. Sage:
Why Genera|ize? Hybrid Representations and Instance-Based Learning.
Pages 484-486.

c-ecai-92-487
F. Raynaut and A. Samuel:
Oriented Shift of Representational Bias for Elementary Patterns.
Pages 487-489.

c-ecai-92-490
F. Cerbah:
Generating Causal Explanations: From Qualitative Models to Natural Language Texts.
Pages 490-494.

c-ecai-92-495
L. Wanner:
Lexical Choice and the Organization of Lexical Resources in Text Generation.
Pages 495-499.

c-ecai-92-500
H. Horacek:
Explanations for Constraint Systems.
Pages 500-504.

c-ecai-92-505
W. Finkler and A. Schauder:
Effects of Incremental Output on Incremental Natural Language Generation.
Pages 505-507.

c-ecai-92-508
M. W. Crocker and I. Lewin:
Parsing as Deduction: Rules versus Principles.
Pages 508-512.

c-ecai-92-513
H. Haugeneder:
A Computational Model for Processing Coordinate Structures: Parsing Coordination without Grammatical Specification.
Pages 513-517.

c-ecai-92-518
J.-M. Grandchamp and S. Letellier:
Predictions in Deterministic Parsing: A Framework for Lexical Correction.
Pages 518-522.

c-ecai-92-523
K. Nagao:
A Preferential Constraint Satisfaction Technique for Natural Language Analysis.
Pages 523-527.

c-ecai-92-528
M. Singh and M. P. Singh:
Computing the Temporal Structure of Events in Natural Language.
Pages 528-532.

c-ecai-92-533
S. Lorenz:
Presupposition, Anaphora, and Reasoning about Change.
Pages 533-537.

c-ecai-92-538
B. Keller:
A Logic for Representing Grammatical Knowledge.
Pages 538-542.

c-ecai-92-543
J. J. Quantz:
How to Fit Generalized Quantifiers into Terminological Logics.
Pages 543-547.

c-ecai-92-548
W. Heinz, J. Matiasek, H. Trost, and E. Buchberger:
Comparison in NLIs: Habitability and Database Reality.
Pages 548-552.

c-ecai-92-553
A. Bonneau, F. Charpillet, S. Coste, J.-P. Haton, Y. Laprie, and P. Marquis:
A Model for Hypothetical Reasoning Applied to Speech Recognition.
Pages 553-557.

c-ecai-92-558
C. Pyka:
Management of Hypotheses in an Integrated Speech-Language Architecture.
Pages 558-560.

c-ecai-92-561
T. Veale and Jim Cunningham:
Competitive Hypothesis Resolution in TWIG: A B|ackboard-Driven Text Understanding System.
Pages 561-563.

c-ecai-92-564
C. Gierl and D. P. Frost:
Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction.
Pages 564-566.

c-ecai-92-567
A. Voß, W. Karbach, C.-H. Coulon, U. Drouven, and B. Bartsch-Spoerl:
Generic Specialists in Competent Behaviour.
Pages 567-571.

c-ecai-92-572
C. Duursma:
Interpretation Models and Problem Solving Methods.
Pages 572-576.

c-ecai-92-577
M. Reinders and B. Bredeweg:
Reflective Strategic Control of Multiple Problem Solving Methods.
Pages 577-581.

c-ecai-92-582
F. van Harmelen and J. Balder:
(ML)2: A Formal Language for KADS Models (Short Version).
Pages 582-586.

c-ecai-92-587
B. Smyth and Jim Cunningham:
Deja Vu: A Hierarchical Case-Based Reasoning System for Software Design.
Pages 587-589.

c-ecai-92-590
Mark A. Brown:
Incorporating Similarity Measures into Case Retrieval Using Analogue Marker Passing.
Pages 590-592.

c-ecai-92-593
M. Borillo, A. Borillo, N. Castell, D. Latour, Y. Toussaint, and M. F. Verdejo:
Applying Linguistic Engineering to Spatial Software Engineering: The Traceability Problem.
Pages 593-595.

c-ecai-92-596
Y. Alaman, I. Alarcon, E. de Pablo, and J. L. Zaccagnini:
The Maquette-Based Methodology Applied to Real-Time Knowledge-Based Systems.
Pages 596-600.

c-ecai-92-601
P. Rademakers and R. Pfeifer:
The Role of Knowledge Level Models in Situated Adaptive Design.
Pages 601-602.

c-ecai-92-603
B. Filipic:
Enhancing Genetic Search to Schedule a Production Unit.
Pages 603-607.

c-ecai-92-608
D. Dasgupta and D. R. McGregor:
Engineering Optimalizations Using the Structured Genetic Algorithm.
Pages 608-609.

c-ecai-92-610
A. G. Hoffmann:
Phenomenology, Representations and Complexity.
Pages 610-614.

c-ecai-92-615
G. Zaverucha:
Logical Foundations of a Modal Defeasible Relevant Logic of Belief.
Pages 615-619.

c-ecai-92-620
R. E. Vinkhuyzen:
On the Non-Existence of Knowledge Level Models.
Pages 620-622.

c-ecai-92-623
J. Fox, P. Krause, and S. Ambler:
Arguments, Contradictions and Practical Reasoning.
Pages 623-627.

c-ecai-92-628
Susanne Biundo, Dietmar Dengler, and J. Koehler:
Deductive Planning and Plan Reuse in a Command Language Environment.
Pages 628-632.

c-ecai-92-633
S. J. S. Cranefield:
A Logical Framework for Practical Planning.
Pages 633-637.

c-ecai-92-638
P. M. Berry:
SCHEDULING: A Problem of Decision-Making Under Uncertainty.
Pages 638-642.

c-ecai-92-643
P. Traverso, A. Cimatti, and L. Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning.
Pages 643-647.

c-ecai-92-648
K. Tadepalli and N. Parameswaran:
Reason Maintenance Systems for Multiagent Planning.
Pages 648-652.

c-ecai-92-653
G. Kelleher and A. G. Cohn:
Automatically Synthesising Domain Constraints from Operator Descriptions.
Pages 653-655.

c-ecai-92-656
A. P. del Pobil and M. A. Serna:
Solving the Find-Path Problem in 3D by a Simple Object Model.
Pages 656-660.

c-ecai-92-661
J. del R. Millan:
Building Reactive Path-Finders Through Reinforcement Connectionist Learning: Three Issues and an Architecture.
Pages 661-665.

c-ecai-92-666
D. Kontoravdis, A. Likas, and A. Stafylopatis:
Collision-Free Movement of an Autonomous Vehicle Using Reinforcement Learning.
Pages 666-670.

c-ecai-92-671
J. M. Ahuactzin, E.-G. Talbi, P. Bessiere, and E. Mazer:
Using Genetic Algorithms for Robot Motion Planning.
Pages 671-675.

c-ecai-92-676
C. Ramos and E. Oliveira:
Planning, Execution and Sensor-Based Reaction for Assembly Robotic Tasks.
Pages 676-680.

c-ecai-92-681
L. M. Gambardella and M. Haex:
Grasp Planning for Automatic Assembly Tasks Using Artificial Fields.
Pages 681-682.

c-ecai-92-683
M. Neitzke:
Modeling Physical Systems with Relative Descriptions of Parameters.
Pages 683-684.

c-ecai-92-685
A. F. Toal:
PQS: ``I Dont Know'' Is an Important Qualitative Statement.
Pages 685-686.

c-ecai-92-687
J. Primus and B. Faltings:
Domain Modeling for Monitoring Systems.
Pages 687-688.

c-ecai-92-689
A. E. Nicholson and J. M. Brady:
The Data Association Problem When Monitoring Robot Vehicles Using Dynamic Belief Networks.
Pages 689-693.

c-ecai-92-694
K. Bousson and L. Travé-Massuyès:
Formalizing Expertise Qualitative Operators.
Pages 694-698.

c-ecai-92-699
J. Self:
Cognitive Diagnosis for Tutoring Systems.
Pages 699-703.

c-ecai-92-704
P. Pu and Zhisheng Huang:
Crossroad Diagnosis.
Pages 704-708.

c-ecai-92-709
G. Friedrich, G. Gottlob, and W. Nejdl:
Formalizing the Repair Process.
Pages 709-713.

c-ecai-92-714
Z. Csaki:
Idenification as Learning in Reasoning about Incomplete Knowledge of Physical Systems.
Pages 714-718.

c-ecai-92-719
O. Dressler and P. Struss:
Back to Defaults: Characterizing and Computing Diagnoses as Coherent Assumptions Sets.
Pages 719-723.

c-ecai-92-724
P. Besnard and Marie-Odile Cordier:
Explanatory Diagnoses and Their Computation by Circumscription.
Pages 724-728.

c-ecai-92-729
I. Mozetic:
A Polynomial-Time Algorithm for Model-Based Diagnosis.
Pages 729-733.

c-ecai-92-734
R. R. Bakker and M. Bourseau:
Pragmatic Reasoning in Model-Based Diagnosis.
Pages 734-738.

c-ecai-92-739
J. Bradshaw and R. M. Young:
Evaluating the Behaviour of the BAe 146 Hydraulic System Using the Doris System.
Pages 739-743.

c-ecai-92-744
Y. Ishida:
A Graphical Approach to Qualitative Reasoning on Dynamic Systems.
Pages 744-748.

c-ecai-92-749
M. R. Vescovi and J.-P. Robles:
Fuzzy Diagnosis of Continuous Processes.
Pages 749-753.

c-ecai-92-754
B. Faltings, D. Haroud, and David E. Smith:
Dynamic Constraint Propagation with Continuous Variables.
Pages 754-758.

c-ecai-92-759
C. Conati and J. Slack:
Accessing Information Through Graphics.
Pages 759-763.

c-ecai-92-764
T. Rist and E. André:
From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics Design.
Pages 764-768.

c-ecai-92-769
A. S. Chakravarthy, K. B. Haase, and L. M. Weitzman:
A Uniform Memory-Based Representation for Visual Languages.
Pages 769-773.

c-ecai-92-774
S. Oei, R. Smit, J. Schreinemakers, L. Marinos, and J. Sirks:
The Presentation Manager: A Method for Task-Driven Concept Presentation.
Pages 774-775.

c-ecai-92-776
E. Ardizzone, F. Callari, A. Chella, and S. Gaglio:
The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist Approach.
Pages 776-780.

c-ecai-92-781
S. Gong and H. Buxton:
On the Visual Expectations of Moving Objects.
Pages 781-784.

c-ecai-92-785
R. J. Howarth and H. Buxton:
Analogical Representation of Spatial Events for Understanding Traffic Behaviour.
Pages 785-789.

c-ecai-92-790
N. Navab and Yan Zhang:
From Multiple Objects Motion Analysis to Behavior-Based Object Recognition.
Pages 790-794.

c-ecai-92-795
E. Dekneuvel, Malik Ghallab, and J. P. Thibault:
Hypotheses Management for Scene Interpretation in a Multisensory Perception Machine.
Pages 795-799.

c-ecai-92-800
Q.-T. Luong and O. D. Faugeras:
Active Head Movements Help Solve Stereo Correspondence.
Pages 800-802.

c-ecai-92-803
G.-J. Giefing, H. Janßen, and H. Mallot:
Saccadic Object Recognition with an Active Vision System.
Pages 803-805.

c-ecai-92-806
P. Remagnino, J. Kittler, G. Matas, and J. Illingworth:
On Computing the Next Look Camera Parameters in Active Vision.
Pages 806-807.

c-ecai-92-808
R. Milanese, J.-M. Bost, and T. Pun:
A Bottom-Up Attention System for Active Vision.
Pages 808-810.

c-ecai-92-811
S. Bohrer, M. Brauckmann, and W. von Seelen:
Visual Obstacle Detection by a Geometrically Simplified Optical Flow Approach.
Pages 811-815.

c-ecai-92-816
W. B. Seales and C. R. Dyer:
An Occlusion-Based Representation of Shape for Viewpoint Recovery.
Pages 816-820.

c-ecai-92-821
L. Robert, R. Deriche, and O. D. Faugeras:
Dense Depth Recovery from Stereo Images.
Pages 821-823.

c-ecai-92-824
M. G. Milanova, I. A. Aleksandrov, and R. K. Kunchev:
Recovering and CAD/CAM Processing of Complex Surfaces.
Pages 824-825.

c-ecai-92-826
H. Sossa and R. Horaud:
Model Indexing Based on a Graph-Theoretic Approach.
Pages 826-828.

c-ecai-92-829
J.-P. Laurent:
Proposals for a Valid Terminology in KBS Validation.
Pages 829-834.

c-ecai-92-835
A. D. Preece and R. Shinghal:
Verifying Knowledge Bases by Anomaly Detection: An Experience Report.
Pages 835-839.

c-ecai-92-840
P. Mesguer:
Incremental Verification of Rule-Based Expert Systems.
Pages 840-844.

c-ecai-92-845
S. Loiseau:
Refinement of Knowledge Bases Based on Consistency.
Pages 845-849.

c-ecai-92-853
O. Stock:
A Third Modality of Natural Language?.
Pages 853-862.

c-ecai-92-863
P. Struss:
Knowledge-Based Diagnosis: An Important Challenge and Touchstone for AI.
Pages 863-874.

30-Jul-97 12:09