List of contents of the Proceedings of the

11'th European Conference on Artificial Intelligence, 1994 (ECAI-94)

Edited by Anthony G. Cohn

Published by John Wiley & Sons

c-ecai-94-3
R. J. Aarts and S. F. Smith:
A High Performance Scheduler for an Automated Chemistry Workstation.
Pages 3-7.

c-ecai-94-8
C. Le Pape, J.-F. Puget, C. Moreau, and P. Darneau:
PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management.
Pages 8-12.

c-ecai-94-13
M. Adinolfi and A. Cesta:
Scheduling Heuristics for the DRS-Sched System.
Pages 13-17.

c-ecai-94-18
G. Spanoudakis and P. Constantopoulos:
Similarity for Analogical Software Reuse: A Computational Model.
Pages 18-22.

c-ecai-94-23
H. Kirschfink and H. Rehborn:
Classification of Traffic Situations by Using Neural Networks.
Pages 23-27.

c-ecai-94-28
B. Raskutti and I. Zukerman:
Acquisition of Information to Determine a User's Plan.
Pages 28-32.

c-ecai-94-33
D. Delahaye, J.-M. Alliot, M. Schoenauer, and J.-L. Farges:
Genetic Algorithms for Air Traffic Assignment.
Pages 33-37.

c-ecai-94-38
I. Bichindaritz:
A Case-Based Reasoning System Using a Control Case-Base..
Pages 38-42.

c-ecai-94-43
M. Porcheron, B. Ricard, J.-L. Busquet, and P. Parent:
DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex System.
Pages 43-47.

c-ecai-94-48
S. Miksch, W. Horn, C. Popow, and F. Paky:
Context-Sensitive Data Valdation and Data Abstraction for Knowledge-Based Monitoring.
Pages 48-52.

c-ecai-94-53
I. S. Y. Koh and M. S. H. Heng:
A Knowledge-Based Decision Support System for Selection Psychologists.
Pages 53-57.

c-ecai-94-58
K. Finke, M. Jarke, P. Szczurko, and R. Soltysiak:
FAITH in Process Control Expert Systems.
Pages 58-62.

c-ecai-94-65
K. Satoh:
A Top Down Proof Procedure for Default Logic by Using Abduction.
Pages 65-69.

c-ecai-94-70
B. Goedhart:
Abduction and Uncertainty in Compositional Reasoning .
Pages 70-74.

c-ecai-94-75
C. Codognet and P. Codognet:
Abduction and Concurrent Logic Languages.
Pages 75-79.

c-ecai-94-80
T. Kolbe and C. Walther:
Reusing Proofs.
Pages 80-84.

c-ecai-94-85
T. Yoshida, A. Bundy, I. Green, T. Walsh, and D. Basin:
Coloured Rippling: An Extension of a Theorem Proving Heuristic.
Pages 85-89.

c-ecai-94-90
P. Baumgartner:
Refinements of Theory Model Elimination and a Variant without Contrapositives.
Pages 90-94.

c-ecai-94-95
P. Prosser:
Binary Constraint Satisfaction Problems: Some are Harder than Others.
Pages 95-99.

c-ecai-94-100
B. M. Smith:
Phase Transition and the Mushy Region in Constraint Satisfaction Problems.
Pages 100-104.

c-ecai-94-105
I. P. Gent and T. Walsh:
The SAT Phase Transition.
Pages 105-109.

c-ecai-94-110
D. Lesaint:
Maximal Sets of Solutions for Constraint Satisfaction Problems.
Pages 110-114.

c-ecai-94-115
D. Haroud and B. Faltings:
Global Consistency for Continuous Constraints.
Pages 115-119.

c-ecai-94-120
H. Bennaceur:
Partial Consistency for Constraint-Satisfaction Problems.
Pages 120-124.

c-ecai-94-125
D. Sabin and E. C. Freuder:
Contradicting Conventional Wisdom in Constraint Satisfaction.
Pages 125-129.

c-ecai-94-130
A. Beringer, G. Aschemann, H. H. Hoos, M. Metzger, and A. Weiß:
GSAT Versus Simulated Annealing.
Pages 130-134.

c-ecai-94-135
J.-K. Hao and R. Dorne:
A New Population-Based Method for Satisfiability Problems.
Pages 135-139.

c-ecai-94-140
J. J. Alferes, C. V. Damasio, and L. M. Pereira:
Top-Down Query Evaluation for Well-Founded Semantics with explicit Negation.
Pages 140-144.

c-ecai-94-145
M. Kerber:
On the Translation of Higher-Order Problems into First-Order Logic.
Pages 145-149.

c-ecai-94-150
S. Benferhat, D. Dubois, and H. Prade:
Expressing Independence in a Possibilistic Framawork and its Application to Default Reasoning.
Pages 150-154.

c-ecai-94-155
H. Kaindl, A. Leeb, and H. Smetana:
Improvements on Linear-Space Search Algorithms.
Pages 155-159.

c-ecai-94-160
M. M. Tatar:
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS.
Pages 160-164.

c-ecai-94-165
T. Schiex and G. Verfaillie:
Stubbornness: a Possible Enhancement for Backjumping and Nogood Recording.
Pages 165-169.

c-ecai-94-173
E. O. Postma, H. J. van den Herik, and P. T. W. Hudson:
Attentional Scanning.
Pages 173-177.

c-ecai-94-178
A. Paiva, J. Self, and R. Hartley:
On the Dynamics of Learner Models.
Pages 178-182.

c-ecai-94-183
A. F. Dragoni and P. Puliti:
Mental States Recognition from Speech Acts Through Abduction.
Pages 183-187.

c-ecai-94-188
J. S. Sichman, Y. Demazeau, R. Conte, and C. Castelfranchi:
A Social Reasoning Mechanism Based on Dependence Networks.
Pages 188-192.

c-ecai-94-193
A. Paiva and J. Self:
A Learner Model Reason Maintenance System.
Pages 193-196.

c-ecai-94-197
K. de Koning and B. Bredeweg:
A Framework for Teaching Qualitative Models.
Pages 197-202.

c-ecai-94-203
B. N. Kokinov:
The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach.
Pages 203-207.

c-ecai-94-211
P. Koikkalainen:
Progress with the Tree-Structured Self-Organizing Map.
Pages 211-215.

c-ecai-94-216
K. Khan:
Advabtages of Using Prototypes ina Multi-Layer Perceptro and Comparison to Other Neural Networks.
Pages 216-220.

c-ecai-94-221
C. Hopkins, T. Routen, and T. Watson:
Problems with Using Genetic Algorithms for Neural Network Feature Selection.
Pages 221-225.

c-ecai-94-226
S. G. Romaniouk:
Applying Co-Evolution to the Construction of Neural Networks.
Pages 226-230.

c-ecai-94-231
S. Ishihara, K. Ishihara, Y. Matsubara, and M. Nagamachi:
Self-Organizing Neural Networks in Kansei Engineering Expert System.
Pages 231-235.

c-ecai-94-236
P. N. Suganthan, E. K. Teoh, and D. P. Mital:
On Attributed Relational Graph Matching Using Hopfield Network.
Pages 236-240.

c-ecai-94-241
A. N. Skurikhin and A. J. Surkan:
Alopex Network Algorithm Applied to Predict Gas Usage.
Pages 241-245.

c-ecai-94-249
T. Khedro and M. R. Genesereth:
Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving.
Pages 249-253.

c-ecai-94-254
H.-D. Burkhard:
On Fair Controls in Multi-Agent Systems.
Pages 254-258.

c-ecai-94-259
J. Lenting and P. Braspenning:
An All-Pay Auction Approach to Reallocation.
Pages 259-263.

c-ecai-94-264
M. Gaspari and E. Motta:
Symbol-Level Requirements for Agent-Level Programming.
Pages 264-268.

c-ecai-94-269
J. Wainer:
Yet Another Semantics of Goals and Goal Priorities.
Pages 269-273.

c-ecai-94-274
A. Brainov:
Deviatio-Proof Plans in Open Multiagent Environments.
Pages 274-278.

c-ecai-94-279
Michael Wooldridge:
Coherent Social Action.
Pages 279-283.

c-ecai-94-284
P. Kearney, A. Sehmi, and R. Smith:
Emergent Behaviour in a Multi-Agent Economic Situation.
Pages 284-288.

c-ecai-94-289
G. Staniford:
Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic.
Pages 289-293.

c-ecai-94-294
B. Malheiro, N. R. Jennings, and E. Oliveira:
Belief Revision in Multi-Agent Systems.
Pages 294-298.

c-ecai-94-299
A. Laux:
Beliefs in Multi-agent Worlds: A Terminological Logics Approach.
Pages 299-303.

c-ecai-94-307
I. Gavrila and J. Treur:
A Formal Model for the Dynamics of Compositional Reasoning Systems.
Pages 307-311.

c-ecai-94-312
V. J. Botti, A. Crespo, F. Barber, and I. Ripoll:
Multiple Access and Coherence Management in a Real-Time Temporal Blackboard.
Pages 312-316.

c-ecai-94-319
G. van Heijst, W. Post, and A. T. Schreiber:
Knowledge Based Integration of Representation Formalisms.
Pages 319-323.

c-ecai-94-324
F. P. Coyle and M. M. Tanik:
Rule Compilation and Optimization for Embedded Systems with Periodic Sensor Data.
Pages 324-328.

c-ecai-94-331
B. van Linder, W. van der Hoek, and J. J. C. Meyer:
Tests as Epistemic Updates.
Pages 331-335.

c-ecai-94-336
P. Marquis:
Possible Models Approach via Independency.
Pages 336-340.

c-ecai-94-341
Bernhard Nebel:
Base Revision Operations and Schemes: Semantics, Representation, and Complexity.
Pages 341-345.

c-ecai-94-346
M. A. Williams:
Explanation and Theory Base Transmutations.
Pages 346-350.

c-ecai-94-351
M. H. Greboval and G. Kassel:
The Production of Explanations, Seen as a Design Task: A Case Study.
Pages 351-355.

c-ecai-94-356
H. van den Berg:
Modal Logics for Conceptual Graphs III.
Pages 356-360.

c-ecai-94-361
Luca Chittaro, A. Montanari, and A. Provetti:
Skeptical and Credulous Event Calculi for Supporting Modal Queries.
Pages 361-365.

c-ecai-94-366
Gerd Brewka:
A Reconstruction of Rescher's Theory of Formal Disputation Based on Default Logic.
Pages 366-370.

c-ecai-94-371
L. W. N. van der Torre:
Violated Obligationsin a Defeasible Deontic Logic.
Pages 371-375.

c-ecai-94-376
J. Mengin:
Prioritized Conflict Resolution for Default Reasoning.
Pages 376-380.

c-ecai-94-381
Y. Moinard:
Reasoning by Cases Without Contraposition in Default Logic.
Pages 381-385.

c-ecai-94-386
N. Wilson and S. Moral:
A Logical View of Probability.
Pages 386-390.

c-ecai-94-391
P. J. Fabiani:
A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems.
Pages 391-395.

c-ecai-94-396
F. Pianesi and A. C. Varzi:
Mereotopological Construction of Time from Events.
Pages 396-400.

c-ecai-94-401
Patrick Doherty:
Reasoning about Action and Change using Occlusion.
Pages 401-405.

c-ecai-94-406
H. J. Bürckert, B. Hollunder, and A. Laux:
Concept Logics with Function Symbols.
Pages 406-410.

c-ecai-94-411
Giuseppe De Giacomo and M. Lenzerini:
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-Calculus.
Pages 411-415.

c-ecai-94-416
B. Selman:
Domain-Specific Complexity Tradeoffs.
Pages 416-420.

c-ecai-94-423
B. J. Ross:
The Inductive Inference of Cyclic Synchronized Interleaving.
Pages 423-427.

c-ecai-94-428
C. Lee and D.-G. Shin:
A Context-Sensitive Discretization of Numeric Attributes for Classification Learning.
Pages 428-432.

c-ecai-94-433
A. G. Hoffmann:
Exploiting Causal Domain Knowledge for Learning to control Dynamic Systems.
Pages 433-437.

c-ecai-94-438
U. Hartmann:
Learning in Classifier is Hard.
Pages 438-442.

c-ecai-94-443
P. Brazdil and A. Jorge:
Learning by Refining Algorithm Sketches.
Pages 443-447.

c-ecai-94-448
M. Moulet:
Iterative Model Construction with Regression.
Pages 448-452.

c-ecai-94-453
J. Fürnkranz:
Top-Down Pruning in Relational Learning.
Pages 453-457.

c-ecai-94-458
P. Brezellec and H. Soldano:
Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results.
Pages 458-462.

c-ecai-94-463
A. Voss:
The Need for Knowledge Acquisition in Case-Based Reasoning: Some Experiences from an Architectural Domain.
Pages 463-467.

c-ecai-94-468
G. Widmer:
Combining Robustness and Flexibility in Learning Drifting Concepts.
Pages 468-472.

c-ecai-94-473
M. Klenner and U. Hahn:
Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems.
Pages 473-477.

c-ecai-94-478
H. Elsimary, S. Mashali, A. Darwish, and S. Shaheen:
Performance Evaluation of a Novel Fault Tolerance Training Algorithm.
Pages 478-482.

c-ecai-94-483
A. Giordana, L. Saitta, and F. Zini:
Learning Disjunctive Concept Definitions Using a Genetic Algorithm.
Pages 483-486.

c-ecai-94-487
P. Collard and J. P. Aurand:
DGA: An Efficient Genetic Algorithm.
Pages 487-491.

c-ecai-94-493
A. Le Grand and J. Sallantin:
A Framework to Improve Knowledge Acquisition Based on Machine Learning.
Pages 493-497.

c-ecai-94-498
T. Urbancic and I. Bratko:
Reconstructing Human Skill with Machine Learning.
Pages 498-502.

c-ecai-94-503
H. J. H. van Dompseler and M. W. van Someren:
Using Models of Problem Solving as Bias in Automated Knowledge Acquisition.
Pages 503-507.

c-ecai-94-508
F. Maurer and J. Paulokat:
Operationalizing Conceptual Models Based on a Model of Dependencies.
Pages 508-512.

c-ecai-94-515
I. Zukerman and R. McConachy:
Being Concise Versus Being Shallow: Two Competing Discourse Planning Paradigms.
Pages 515-519.

c-ecai-94-520
H. Horacek:
How to Avoid Explaining Obvious Things (Without Omitting Central Information).
Pages 520-524.

c-ecai-94-525
S. Mehl:
Forward Inferences in Text Generation.
Pages 525-529.

c-ecai-94-530
V. O. Mittal and C. L. Paris:
Generating Examples for Use in Tutorial Explanations: Using a Subsumption Based Classifier.
Pages 530-534.

c-ecai-94-535
J. Hughes and E. Atwell:
The Automated Evaluation of Inferred Word Classifications.
Pages 535-539.

c-ecai-94-540
G. Allport:
Automatically Extracting Semantic Relationships from the COBUILD Dictionary Files.
Pages 540-544.

c-ecai-94-545
V. Prince:
Interpreting Common Words in Context: A Symbolic Approach.
Pages 545-549.

c-ecai-94-550
U. Jost and E. Atwell:
Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models.
Pages 550-554.

c-ecai-94-555
V. Cadoret:
Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory.
Pages 555-559.

c-ecai-94-560
W. Menzel:
Parsing of Spoken Language Under Time Constraints.
Pages 560-564.

c-ecai-94-565
S. Coste-Marquis:
Hypothetical Reasoning for Automatic Recognition of Continuous Speech.
Pages 565-569.

c-ecai-94-573
D. Mack:
A New Formal Model of Belief.
Pages 573-577.

c-ecai-94-578
A. Sloman:
Explorations in Design Space.
Pages 578-582.

c-ecai-94-585
B. Y. Choueiry and B. Faltings:
A Decomposition Heuristic for Resource Allocation.
Pages 585-589.

c-ecai-94-590
H. L. Fang, P. Ross, and D. Corne:
A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems.
Pages 590-594.

c-ecai-94-595
A. Markus and J. Vancza:
Inference and Optimization Methods for Manufactoring Process Planning.
Pages 595-599.

c-ecai-94-600
J. Eckerle and T. Ottmann:
An Efficient Data Structure for Bidirectional Heuristic Search.
Pages 600-604.

c-ecai-94-605
J. Koehler:
Correct Modification of Complex Plans.
Pages 605-609.

c-ecai-94-610
Dietmar Dengler:
An Adaptive Deductive Planning System.
Pages 610-614.

c-ecai-94-615
C. Bäckström:
Executing Parallel Plans Faster by Adding Actions.
Pages 615-619.

c-ecai-94-620
M. Bauer:
Integrating Probabilistic Reasoning into Plan Recognition.
Pages 620-624.

c-ecai-94-625
J. Dorn:
Hybrid Temporal Reasoning.
Pages 625-629.

c-ecai-94-630
R. Rodosek:
Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective.
Pages 630-634.

c-ecai-94-635
W. P. M. Nuijten and E. H. L. Aarts:
Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling.
Pages 635-639.

c-ecai-94-640
P. Ye, D. Glass, M. McTear, and J. G. Hughes:
Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm.
Pages 640-644.

c-ecai-94-647
R. R. Bakker, S. J. M. van Eldonk, P. M. Wognum, and N. J. I. Mars:
The Use of Model-Based Diagnosis in Redesign.
Pages 647-651.

c-ecai-94-652
F. van Harmelen and A. ten Teije:
Using Domain Knowledge to Select Solutions in Abductive Diagnosis.
Pages 652-656.

c-ecai-94-657
I. Mozetic:
Computing Minimal Diagnoses with Critical Set Algorithms.
Pages 657-661.

c-ecai-94-662
E. Sauthier and B. Faltings:
Model-Based Control.
Pages 662-666.

c-ecai-94-667
W. Nejdl and J. Gamper:
Harnessing the Power of Temporal Abstractions in Modelbased Diagnosis of Dynamic Systems.
Pages 667-671.

c-ecai-94-672
M. Neitzke and B. Neumann:
Simulating Physical Systems with Relative Descriptions of Parameters.
Pages 672-676.

c-ecai-94-677
O. Dressler and P. Struss:
Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice.
Pages 677-681.

c-ecai-94-682
Y. Gao and H. F. Durrant-Whyte:
Integrating Qualitative Reasoning for Numerical Data Fusion Tasks.
Pages 682-686.

c-ecai-94-689
J.-D. Dessimoz and G. Mele:
Performance Assessment of Cognitive Systems: Case of Elementary Mobile Robots.
Pages 689-693.

c-ecai-94-694
J. Penders, L. Alboul, and P. Braspenning:
The Interaction of Congenial Autonomous Robots .
Pages 694-698.

c-ecai-94-699
D. Keymeulen and J. Decuyper:
The Stream Field Method Applied to Mobile Robot Navigation: A Topological Perspective.
Pages 699-703.

c-ecai-94-704
S. Förster:
Neural Fuzzy Controller In Behaviour-Oriented Architectures.
Pages 704-708.

c-ecai-94-709
J. P. Müller and M. Pischel:
Modeling Interactive Agents in Dynamic Environments.
Pages 709-713.

c-ecai-94-714
L. Steels:
`Equilibrium Analysis of Behaviour Systems'.
Pages 714-718.

c-ecai-94-719
E. Dekneuvel, M. Ghallab, and H. Phillippe:
Distributed Inference on Compiled Knowledge for Real Time Distributed Systems.
Pages 719-723.

c-ecai-94-727
W. Van de Velde:
A Constructivist View on Knowledge Engineering.
Pages 727-731.

c-ecai-94-732
K. B. Haase:
FRAMER: A Persistent Portable Representation Library.
Pages 732-736.

c-ecai-94-739
M.-C. Rousset:
Knowledge Formal Specifications for Formal Verification: A Proposal Based on the Integration of Different Logical Formalisms.
Pages 739-743.

c-ecai-94-745
J. Treur and M. Willems:
A Logical Foundation for Verification.
Pages 745-749.

c-ecai-94-750
A. Missier, S. Xanthakis, and L. Trave-Massuyes:
Qualitative Algorithmics Using Order of Growth Reasoning.
Pages 750-754.

c-ecai-94-757
Z. Arzi-Gonczarowski and D. Lehmann:
Categorical Tools for Artificial Perception.
Pages 757-761.

c-ecai-94-762
F. Callari and P. Storniolo:
A New Approach to Shading Flow Analysis and Surface Recovery from Images.
Pages 762-766.

c-ecai-94-767
F. Sandakly and G. Giraudon:
Multispecilist System for 3D Scene Analysis.
Pages 767-771.

c-ecai-94-772
A. Tangian:
Towards an Axiomatic Theory of Artificial Perception.
Pages 772-776.

c-ecai-94-779
E. Edmonds:
Computers and Creative Thought.
Pages 779-784.

c-ecai-94-785
J. Schreinemakers, J.-P. Barthes, D. Bree, R. van der Spek, and K. Wiig:
Knowledge Management.
Pages 785-788.

c-ecai-94-789
R. Milne, J.-P. Barthes, and P. Corsi:
The Future of AI Funding.
Pages 789-790.

c-ecai-94-793
H. I. Christensen and E. Granum:
Active Vision: A Survey.
Pages 793-798.

c-ecai-94-799
D. Cliff:
AI and A-Life: Never Mind The Blocksworld.
Pages 799-804.

c-ecai-94-805
P. Corsi:
Current and Future Trends for Community R&D in Artificial Intelligence.
Pages 805-810.

c-ecai-94-811
Joachim Hertzberg:
Theoretical Planning and its Contributions to Practical and Applied Planning (Extended Abstract).
Pages 811-812.

c-ecai-94-813
L. P. Kaelbling:
Learning and Intelligent Agents (Abstract).
Pages 813.

c-ecai-94-814
C. Torras:
Neural Learning for Robot Control.
Pages 814-819.

c-ecai-94-823
S. Kraus:
Interaction and Collaboration in Multi-Agent Systems: Extended Abstract.
Pages 823-825.

c-ecai-94-826
Judea Pearl:
Causation, Actions, and Counterfactuals: Extended Abstract.
Pages 826-828.

c-ecai-94-829
W. Wahlster:
Computational Models of Multimodal Communication.
Pages 829-830.

8-Nov-97 23:56