LIDOS BibTeX Database File
ecai94.bib

@inproceedings{LePape:94EC,
  AUTHOR = {C. Le Pape and J.-F. Puget and C. Moreau and P. Darneau},
  TITLE = {PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {8-12},
  KEYWORDS = {}}

@inproceedings{Adinolfi:94EC,
  AUTHOR = {M. Adinolfi and A. Cesta},
  TITLE = {Scheduling Heuristics for the DRS-Sched System},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {13-17},
  KEYWORDS = {}}

@inproceedings{Spanoudakis:94EC,
  AUTHOR = {G. Spanoudakis and P. Constantopoulos},
  TITLE = {Similarity for Analogical Software Reuse: A Computational Model},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {18-22},
  KEYWORDS = {}}

@inproceedings{Kirschfink:94EC,
  AUTHOR = {H. Kirschfink and H. Rehborn},
  TITLE = {Classification of Traffic Situations by Using Neural Networks},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {23-27},
  KEYWORDS = {}}

@inproceedings{Raskutti:94EC,
  AUTHOR = {B. Raskutti and I. Zukerman},
  TITLE = {Acquisition of Information to Determine a User's Plan},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {28-32},
  KEYWORDS = {}}

@inproceedings{Delahaye:94EC,
  AUTHOR = {D. Delahaye and J.-M. Alliot and M. Schoenauer and J.-L. Farges},
  TITLE = {Genetic Algorithms for Air Traffic Assignment},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {33-37},
  KEYWORDS = {}}

@inproceedings{Bichindaritz94EC,
  AUTHOR = {I. Bichindaritz},
  TITLE = {A Case-Based Reasoning System Using a Control Case-Base.},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {38-42},
  KEYWORDS = {}}

@inproceedings{Porcheron:94EC,
  AUTHOR = {M. Porcheron and B. Ricard and J.-L. Busquet and P. Parent},
  TITLE = {DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex System},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {43-47},
  KEYWORDS = {}}

@inproceedings{Miksch:94EC,
  AUTHOR = {S. Miksch and W. Horn and C. Popow and F. Paky},
  TITLE = {Context-Sensitive Data Valdation and Data Abstraction for Knowledge-Based Monitoring},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {48-52},
  KEYWORDS = {}}

@inproceedings{Koh:94EC,
  AUTHOR = {I. S. Y. Koh and M. S. H. Heng},
  TITLE = {A Knowledge-Based Decision Support System for Selection Psychologists},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {53-57},
  KEYWORDS = {}}

@inproceedings{Finke:94EC,
  AUTHOR = {K. Finke and M. Jarke and P. Szczurko and R. Soltysiak},
  TITLE = {FAITH in Process Control Expert Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {58-62},
  KEYWORDS = {}}

@inproceedings{Satoh94EC,
  AUTHOR = {K. Satoh},
  TITLE = {A Top Down Proof Procedure for Default Logic by Using Abduction},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {65-69},
  KEYWORDS = {}}

@inproceedings{Goedhart94EC,
  AUTHOR = {B. Goedhart},
  TITLE = {Abduction and Uncertainty in Compositional Reasoning },
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {70-74},
  KEYWORDS = {}}

@inproceedings{Codognet:94EC,
  AUTHOR = {C. Codognet and P. Codognet},
  TITLE = {Abduction and Concurrent Logic Languages},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {75-79},
  KEYWORDS = {}}

@inproceedings{Kolbe:94EC,
  AUTHOR = {T. Kolbe and C. Walther},
  TITLE = {Reusing Proofs},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {80-84},
  KEYWORDS = {}}

@inproceedings{Yoshida:94EC,
  AUTHOR = {T. Yoshida and A. Bundy and I. Green and T. Walsh and D. Basin},
  TITLE = {Coloured Rippling: An Extension of a Theorem Proving Heuristic},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {85-89},
  KEYWORDS = {}}

@inproceedings{Baumgartner94EC,
  AUTHOR = {P. Baumgartner},
  TITLE = {Refinements of Theory Model Elimination and a Variant without Contrapositives},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {90-94},
  KEYWORDS = {}}

@inproceedings{Prosser94EC,
  AUTHOR = {P. Prosser	},
  TITLE = {Binary Constraint Satisfaction Problems: Some are Harder than Others},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {95-99},
  KEYWORDS = {}}

@inproceedings{Smith94EC,
  AUTHOR = {B. M. Smith},
  TITLE = {Phase Transition and the Mushy Region in Constraint Satisfaction Problems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {100-104},
  KEYWORDS = {}}

@inproceedings{Gent:94EC,
  AUTHOR = {I. P. Gent and T. Walsh},
  TITLE = {The SAT Phase Transition},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {105-109},
  KEYWORDS = {}}

@inproceedings{Lesaint94EC,
  AUTHOR = {D. Lesaint},
  TITLE = {Maximal Sets of Solutions for Constraint Satisfaction Problems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {110-114},
  KEYWORDS = {}}

@inproceedings{Haroud:94EC,
  AUTHOR = {D. Haroud and B. Faltings},
  TITLE = {Global Consistency for Continuous Constraints},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {115-119},
  KEYWORDS = {}}

@inproceedings{Bennaceur94EC,
  AUTHOR = {H. Bennaceur},
  TITLE = {Partial Consistency for Constraint-Satisfaction Problems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {120-124},
  KEYWORDS = {}}

@inproceedings{Sabin:94EC,
  AUTHOR = {D. Sabin and E. C. Freuder},
  TITLE = {Contradicting Conventional Wisdom in Constraint Satisfaction},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {125-129},
  KEYWORDS = {}}

@inproceedings{Versus:94EC,
  AUTHOR = {GSAT Versus Simulated Annealing. Beringer and G. Aschemann and H. H. Hoos and M. Metzger and A. Wei\ss{}},
  TITLE = {GSAT Versus Simulated Annealing},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {130-134},
  KEYWORDS = {}}

@inproceedings{Hao:94EC,
  AUTHOR = {J.-K. Hao and R. Dorne},
  TITLE = {A New Population-Based Method for Satisfiability Problems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {135-139},
  KEYWORDS = {}}

@inproceedings{Alferes:94EC,
  AUTHOR = {J. J. Alferes and C. V. Damasio and L. M. Pereira},
  TITLE = {Top-Down Query Evaluation for Well-Founded Semantics with explicit Negation},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {140-144},
  KEYWORDS = {}}

@inproceedings{Kerber94EC,
  AUTHOR = {M. Kerber},
  TITLE = {On the Translation of Higher-Order Problems into First-Order Logic},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {145-149},
  KEYWORDS = {}}

@inproceedings{Benferhat:94EC,
  AUTHOR = {S. Benferhat and D. Dubois and H. Prade},
  TITLE = {Expressing Independence in a Possibilistic Framawork and its Application to Default Reasoning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {150-154},
  KEYWORDS = {}}

@inproceedings{Kaindl:94EC,
  AUTHOR = {H. Kaindl and A. Leeb and H. Smetana},
  TITLE = {Improvements on Linear-Space Search Algorithms},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {155-159},
  KEYWORDS = {}}

@inproceedings{Tatar94EC,
  AUTHOR = {M. M. Tatar},
  TITLE = {Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {160-164},
  KEYWORDS = {}}

@inproceedings{Schiex:94EC,
  AUTHOR = {T. Schiex and G. Verfaillie},
  TITLE = {Stubbornness: a Possible Enhancement for Backjumping and Nogood Recording},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {165-169},
  KEYWORDS = {}}

@inproceedings{Postma:94EC,
  AUTHOR = {E. O. Postma and H. J. van den Herik and P. T. W. Hudson},
  TITLE = {Attentional Scanning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {173-177},
  KEYWORDS = {}}

@inproceedings{Paiva:94ECa,
  AUTHOR = {A. Paiva and J. Self and R. Hartley},
  TITLE = {On the Dynamics of Learner Models},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {178-182},
  KEYWORDS = {}}

@inproceedings{Dragoni:94EC,
  AUTHOR = {A. F. Dragoni and P. Puliti},
  TITLE = {Mental States Recognition from Speech Acts Through Abduction},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {183-187},
  KEYWORDS = {}}

@inproceedings{Sichman:94EC,
  AUTHOR = {J. S. Sichman and Y. Demazeau and R. Conte and C. Castelfranchi},
  TITLE = {A Social Reasoning Mechanism Based on Dependence Networks},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {188-192},
  KEYWORDS = {}}

@inproceedings{Paiva:94ECb,
  AUTHOR = {A. Paiva and J. Self},
  TITLE = {A Learner Model Reason Maintenance System},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {193-196},
  KEYWORDS = {}}

@inproceedings{Koning:94EC,
  AUTHOR = {K. de Koning and B. Bredeweg},
  TITLE = {A Framework for Teaching Qualitative Models},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {197-202},
  KEYWORDS = {}}

@inproceedings{Kokinov94EC,
  AUTHOR = {B. N. Kokinov: },
  TITLE = {The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {203-207},
  KEYWORDS = {}}

@inproceedings{Koikkalainen94EC,
  AUTHOR = {P. Koikkalainen},
  TITLE = {Progress with the Tree-Structured Self-Organizing Map},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {211-215},
  KEYWORDS = {}}

@inproceedings{Khan94EC,
  AUTHOR = {K. Khan},
  TITLE = {Advabtages of Using Prototypes ina Multi-Layer Perceptro and Comparison to Other Neural Networks},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {216-220},
  KEYWORDS = {}}

@inproceedings{Hopkins:94EC,
  AUTHOR = {C. Hopkins and T. Routen and T. Watson},
  TITLE = {Problems with Using Genetic Algorithms for Neural Network Feature Selection},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {221-225},
  KEYWORDS = {}}

@inproceedings{Romaniouk94EC,
  AUTHOR = {S. G. Romaniouk},
  TITLE = {Applying Co-Evolution to the Construction of Neural Networks},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {226-230},
  KEYWORDS = {}}

@inproceedings{Ishihara:94EC,
  AUTHOR = {S. Ishihara and K. Ishihara and Y. Matsubara and M. Nagamachi},
  TITLE = {Self-Organizing Neural Networks in Kansei Engineering Expert System},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {231-235},
  KEYWORDS = {}}

@inproceedings{Suganthan:94EC,
  AUTHOR = {P. N. Suganthan and E. K. Teoh and D. P. Mital},
  TITLE = {On Attributed Relational Graph Matching Using Hopfield Network},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {236-240},
  KEYWORDS = {}}

@inproceedings{Skurikhin:94EC,
  AUTHOR = {A. N. Skurikhin and A. J. Surkan},
  TITLE = {Alopex Network Algorithm Applied to Predict Gas Usage},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {241-245},
  KEYWORDS = {}}

@inproceedings{Khedro:94EC,
  AUTHOR = {T. Khedro and M. R. Genesereth},
  TITLE = {Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {249-253},
  KEYWORDS = {}}

@inproceedings{Burkhard94EC,
  AUTHOR = {H.-D. Burkhard},
  TITLE = {On Fair Controls in Multi-Agent Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {254-258},
  KEYWORDS = {}}

@inproceedings{Lenting:94EC,
  AUTHOR = {J. Lenting and P. Braspenning},
  TITLE = {An All-Pay Auction Approach to Reallocation},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {259-263},
  KEYWORDS = {}}

@inproceedings{Gaspari:94EC,
  AUTHOR = {M. Gaspari and E. Motta},
  TITLE = {Symbol-Level Requirements for Agent-Level Programming},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {264-268},
  KEYWORDS = {}}

@inproceedings{Wainer94EC,
  AUTHOR = {J. Wainer},
  TITLE = {Yet Another Semantics of Goals and Goal Priorities},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {269-273},
  KEYWORDS = {}}

@inproceedings{Brainov94EC,
  AUTHOR = {A. Brainov},
  TITLE = {Deviatio-Proof Plans in Open Multiagent Environments},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {274-278},
  KEYWORDS = {}}

@inproceedings{Wooldridge94EC,
  AUTHOR = {M. Wooldridge},
  TITLE = {Coherent Social Action},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {279-283},
  KEYWORDS = {}}

@inproceedings{Kearney:94EC,
  AUTHOR = {P. Kearney and A. Sehmi and R. Smith},
  TITLE = {Emergent Behaviour in a Multi-Agent Economic Situation},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {284-288},
  KEYWORDS = {}}

@inproceedings{Staniford94EC,
  AUTHOR = {G. Staniford},
  TITLE = {Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {289-293},
  KEYWORDS = {}}

@inproceedings{Malheiro:94EC,
  AUTHOR = {B. Malheiro and N. R. Jennings and E. Oliveira},
  TITLE = {Belief Revision in Multi-Agent Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {294-298},
  KEYWORDS = {}}

@inproceedings{Laux94EC,
  AUTHOR = {A. Laux},
  TITLE = {Beliefs in Multi-agent Worlds: A Terminological Logics Approach},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {299-303},
  KEYWORDS = {}}

@inproceedings{Gavrila:94EC,
  AUTHOR = {I. Gavrila and J. Treur},
  TITLE = {A Formal Model for the Dynamics of Compositional Reasoning Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {307-311},
  KEYWORDS = {}}

@inproceedings{Botti:94EC,
  AUTHOR = {V. J. Botti and A. Crespo and F. Barber and I. Ripoll},
  TITLE = {Multiple Access and Coherence Management in a Real-Time Temporal Blackboard},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {312-316},
  KEYWORDS = {}}

@inproceedings{Hejist:94EC,
  AUTHOR = {G. van Hejist and W. Post and A. T. Schreiber},
  TITLE = {Knowledge Based Integration of Representation Formalisms},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {319-323},
  KEYWORDS = {}}

@inproceedings{Coyle:94EC,
  AUTHOR = {F. P. Coyle and M. M. Tanik},
  TITLE = {Rule Compilation and Optimization for Embedded Systems with Periodic Sensor Data},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {324-328},
  KEYWORDS = {}}

@inproceedings{Van:94EC,
  AUTHOR = {B. Van Linder and W. van der Hoek and J. J. C. Meyer},
  TITLE = {Tests as Epistemic Updates},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {331-335},
  KEYWORDS = {}}

@inproceedings{Marquis94EC,
  AUTHOR = {P. Marquis},
  TITLE = {Possible Models Approach via Independency},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {336-340},
  KEYWORDS = {}}

@inproceedings{Nebel94EC,
  AUTHOR = {B. Nebel},
  TITLE = {Base Revision Operations and Schemes: Semantics, Representation, and Complexity},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {341-345},
  KEYWORDS = {}}

@inproceedings{Williams94EC,
  AUTHOR = {M. A. Williams},
  TITLE = {Explanation and Theory Base Transmutations},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {346-350},
  KEYWORDS = {}}

@inproceedings{Greboval:94EC,
  AUTHOR = {M. H. Greboval and G. Kassel},
  TITLE = {The Production of Explanations, Seen as a Design Task: A Case Study},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {351-355},
  KEYWORDS = {}}

@inproceedings{Berg94EC,
  AUTHOR = {H. van den Berg},
  TITLE = {Modal Logics for Conceptual Graphs III},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {356-360},
  KEYWORDS = {}}

@inproceedings{Chittaro:94EC,
  AUTHOR = {L. Chittaro and A. Montanari and A. Provetti},
  TITLE = {Skeptical and Credulous Event Calculi for Supporting Modal Queries},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {361-365},
  KEYWORDS = {}}

@inproceedings{Brewka94EC,
  AUTHOR = {G. Brewka},
  TITLE = {A Reconstruction of Rescher's Theory of Formal Disputation Based on Default Logic},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {366-370},
  KEYWORDS = {}}

@inproceedings{Torre94EC,
  AUTHOR = {L. W. N. van der Torre},
  TITLE = {Violated Obligationsin a Defeasible Deontic Logic},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {371-375},
  KEYWORDS = {}}

@inproceedings{Mengin,
  AUTHOR = {J. Mengin},
  TITLE = {Prioritized Conflict Resolution for Default Reasoning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {376-380},
  KEYWORDS = {}}

@inproceedings{Moinard94EC,
  AUTHOR = {Y. Moinard},
  TITLE = {Reasoning by Cases Without Contraposition in Default Logic},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {381-385},
  KEYWORDS = {}}

@inproceedings{Wilson:94EC,
  AUTHOR = {N. Wilson and S. Moral},
  TITLE = {A Logical View of Probability},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {386-390},
  KEYWORDS = {}}

@inproceedings{Fabiani94EC,
  AUTHOR = {P. J. Fabiani},
  TITLE = {A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {391-395},
  KEYWORDS = {}}

@inproceedings{Pianesi:94EC,
  AUTHOR = {F. Pianesi and A. C. Varzi},
  TITLE = {Mereotopological Construction of Time from Events},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {396-400},
  KEYWORDS = {}}

@inproceedings{Doherty94EC,
  AUTHOR = {P. Doherty},
  TITLE = {Reasoning about Action and Change using Occlusion},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {401-405},
  KEYWORDS = {}}

@inproceedings{Buerckert:94EC,
  AUTHOR = {H. J. B\"urckert and B. Hollunder and A. Laux},
  TITLE = {Concept Logics with Function Symbols},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {406-410},
  KEYWORDS = {}}

@inproceedings{De:94EC,
  AUTHOR = {G. De Giacomo and M. Lenzerini},
  TITLE = {Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-Calculus},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {411-415},
  KEYWORDS = {}}

@inproceedings{Selman94EC,
  AUTHOR = {B. Selman},
  TITLE = {Domain-Specific Complexity Tradeoffs},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {416-420},
  KEYWORDS = {}}

@inproceedings{Ross94EC,
  AUTHOR = {B. J. Ross},
  TITLE = {The Inductive Inference of Cyclic Synchronized Interleaving},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {423-427},
  KEYWORDS = {}}

@inproceedings{Lee:94EC,
  AUTHOR = {C. Lee and D.-G. Shin},
  TITLE = {A Context-Sensitive Discretization of Numeric Attributes for Classification Learning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {428-432},
  KEYWORDS = {}}

@inproceedings{Hoffmann94EC,
  AUTHOR = {A. G. Hoffmann},
  TITLE = {Exploiting Causal Domain Knowledge for Learning to control Dynamic Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {433-437},
  KEYWORDS = {}}

@inproceedings{Hartmann94EC,
  AUTHOR = {U. Hartmann},
  TITLE = {Learning in Classifier is Hard},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {438-442},
  KEYWORDS = {}}

@inproceedings{Brazdil:94EC,
  AUTHOR = {P. Brazdil and A. Jorge},
  TITLE = {Learning by Refining Algorithm Sketches},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {443-447},
  KEYWORDS = {}}

@inproceedings{Moulet94EC,
  AUTHOR = {M. Moulet},
  TITLE = {Iterative Model Construction with Regression},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {448-452},
  KEYWORDS = {}}

@inproceedings{Fuernkranz94EC,
  AUTHOR = {J. F\"urnkranz},
  TITLE = {Top-Down Pruning in Relational Learning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {453-457},
  KEYWORDS = {}}

@inproceedings{Brezellec:94EC,
  AUTHOR = {P. Brezellec and H. Soldano},
  TITLE = {Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {458-462},
  KEYWORDS = {}}

@inproceedings{Voss94EC,
  AUTHOR = {A. Voss},
  TITLE = {The Need for Knowledge Acquisition in Case-Based Reasoning: Some Experiences from an Architectural Domain},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {463-467},
  KEYWORDS = {}}

@inproceedings{Widmer94EC,
  AUTHOR = {G. Widmer},
  TITLE = {Combining Robustness and Flexibility in Learning Drifting Concepts},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {468-472},
  KEYWORDS = {}}

@inproceedings{Klenner:94EC,
  AUTHOR = {M. Klenner and U. Hahn},
  TITLE = {Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {473-477},
  KEYWORDS = {}}

@inproceedings{Elsimary:94EC,
  AUTHOR = {H. Elsimary and S. Mashali and A. darwish and S. Shaheen},
  TITLE = {Performance Evaluation of a Novel Fault Tolerance Training Algorithm},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {478-482},
  KEYWORDS = {}}

@inproceedings{Giordana:94EC,
  AUTHOR = {A. Giordana and L. Saitta and F. Zini},
  TITLE = {Learning Disjunctive Concept Definitions Using a Genetic Algorithm},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {483-486},
  KEYWORDS = {}}

@inproceedings{Collard:94EC,
  AUTHOR = {P. Collard and J. P. Aurand},
  TITLE = {DGA: An Efficient Genetic Algorithm},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {487-491},
  KEYWORDS = {}}

@inproceedings{Le-Grand:94EC,
  AUTHOR = {A. {Le Grand} and J. Sallantin},
  TITLE = {A Framework to Improve Knowledge Acquisition Based on Machine Learning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {493-497},
  KEYWORDS = {}}

@inproceedings{Urbancic:94EC,
  AUTHOR = {T. Urbancic and I. Bratko},
  TITLE = {Reconstructing Human Skill with Machine Learning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {498-502},
  KEYWORDS = {}}

@inproceedings{Dompseler:94EC,
  AUTHOR = {H. J. H. van Dompseler and M. W. van Someren},
  TITLE = {Using Models of Problem Solving as Bias in Automated Knowledge Acquisition},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {503-507},
  KEYWORDS = {}}

@inproceedings{Maurer:94EC,
  AUTHOR = {F. Maurer and J. Paulokat},
  TITLE = {Operationalizing Conceptual Models Based on a Model of Dependencies},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {508-512},
  KEYWORDS = {}}

@inproceedings{Zukerman:94EC,
  AUTHOR = {I. Zukerman and R. McConachy},
  TITLE = {Being Concise Versus Being Shallow: Two Competing Discourse Planning Paradigms},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {515-519},
  KEYWORDS = {}}

@inproceedings{Horacek94EC,
  AUTHOR = {H. Horacek},
  TITLE = {How to Avoid Explaining Obvious Things (Without Omitting Central Information)},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {520-524},
  KEYWORDS = {}}

@inproceedings{Mehl94EC,
  AUTHOR = {S. Mehl},
  TITLE = {Forward Inferences in Text Generation},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {525-529},
  KEYWORDS = {}}

@inproceedings{Mittal:94EC,
  AUTHOR = {V. O. Mittal and C. L. Paris},
  TITLE = {Generating Examples for Use in Tutorial Explanations: Using a Subsumption Based Classifier},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {530-534},
  KEYWORDS = {}}

@inproceedings{Hughes:94EC,
  AUTHOR = {J. Hughes and E. Atwell},
  TITLE = {The Automated Evaluation of Inferred Word Classifications},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {535-539},
  KEYWORDS = {}}

@inproceedings{Allport94EC,
  AUTHOR = {G. Allport},
  TITLE = {Automatically Extracting Semantic Relationships from the COBUILD Dictionary Files},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {540-544},
  KEYWORDS = {}}

@inproceedings{Prince94EC,
  AUTHOR = {V. Prince},
  TITLE = {Interpreting Common Words in Context: A Symbolic Approach},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {545-549},
  KEYWORDS = {}}

@inproceedings{Jost:94EC,
  AUTHOR = {U. Jost and E. Atwell},
  TITLE = {Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {550-554},
  KEYWORDS = {}}

@inproceedings{Cadoret94EC,
  AUTHOR = {V. Cadoret},
  TITLE = {Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {555-559},
  KEYWORDS = {}}

@inproceedings{Menzel94EC,
  AUTHOR = {W. Menzel},
  TITLE = {Parsing of Spoken Language Under Time Constraints},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {560-564},
  KEYWORDS = {}}

@inproceedings{Coste-Marquis94EC,
  AUTHOR = {S. Coste-Marquis},
  TITLE = {Hypothetical Reasoning for Automatic Recognition of Continuous Speech},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {565-569},
  KEYWORDS = {}}

@inproceedings{Mack94EC,
  AUTHOR = {D. Mack},
  TITLE = {A New Formal Model of Belief},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {573-577},
  KEYWORDS = {}}

@inproceedings{Sloman94EC,
  AUTHOR = {A. Sloman},
  TITLE = {Explorations in Design Space},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {578-582},
  KEYWORDS = {}}

@inproceedings{Choueiry:94EC,
  AUTHOR = {B. Y. Choueiry and B. Faltings},
  TITLE = {A Decomposition Heuristic for Resource Allocation},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {585-589},
  KEYWORDS = {}}

@inproceedings{Fang:94EC,
  AUTHOR = {H. L. Fang and P. Ross and D. Corne},
  TITLE = {A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {590-594},
  KEYWORDS = {}}

@inproceedings{Markus:94EC,
  AUTHOR = {A. Markus and J. Vancza},
  TITLE = {Inference and Optimization Methods for Manufactoring Process Planning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {595-599},
  KEYWORDS = {}}

@inproceedings{Eckerle:94EC,
  AUTHOR = {J. Eckerle and T. Ottmann},
  TITLE = {An Efficient Data Structure for Bidirectional Heuristic Search},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {600-604},
  KEYWORDS = {}}

@inproceedings{Koehler94EC,
  AUTHOR = {J. Koehler},
  TITLE = {Correct Modification of Complex Plans},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {605-609},
  KEYWORDS = {}}

@inproceedings{Dengler94EC,
  AUTHOR = {D. Dengler},
  TITLE = {An Adaptive Deductive Planning System},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {610-614},
  KEYWORDS = {}}

@inproceedings{Baeckstroem94EC,
  AUTHOR = {C. B\"ackstr\"om},
  TITLE = {Executing Parallel Plans Faster by Adding Actions},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {615-619},
  KEYWORDS = {}}

@inproceedings{Bauer94EC,
  AUTHOR = {M. Bauer},
  TITLE = {Integrating Probabilistic Reasoning into Plan Recognition},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {620-624},
  KEYWORDS = {}}

@inproceedings{Dorn94EC,
  AUTHOR = {J. Dorn},
  TITLE = {Hybrid Temporal Reasoning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {625-629},
  KEYWORDS = {}}

@inproceedings{Rodosek94EC,
  AUTHOR = {R. Rodosek},
  TITLE = {Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {630-634},
  KEYWORDS = {}}

@inproceedings{Nuijten:94EC,
  AUTHOR = {W. P. M. Nuijten and E. H. L. Aarts},
  TITLE = {Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {635-639},
  KEYWORDS = {}}

@inproceedings{Ye:94EC,
  AUTHOR = {P. Ye and D. Glass and M. McTear and J. G. Hughes},
  TITLE = {Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {640-644},
  KEYWORDS = {}}

@inproceedings{Bakker:94EC,
  AUTHOR = {R. R. Bakker and S. J. M. van Eldonk and P. M. Wognum and N. J. I. Mars},
  TITLE = {The Use of Model-Based Diagnosis in Redesign},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {647-651},
  KEYWORDS = {}}

@inproceedings{Harmelen:94EC,
  AUTHOR = {F. van Harmelen and A. ten Teije},
  TITLE = {Using Domain Knowledge to Select Solutions in Abductive Diagnosis},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {652-656},
  KEYWORDS = {}}

@inproceedings{Mozetic94EC,
  AUTHOR = {I. Mozetic},
  TITLE = {Computing Minimal Diagnoses with Critical Set Algorithms},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {657-661},
  KEYWORDS = {}}

@inproceedings{Sauthier:94EC,
  AUTHOR = {E. Sauthier and B. Faltings},
  TITLE = {Model-Based Control},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {662-666},
  KEYWORDS = {}}

@inproceedings{Nejdl:94EC,
  AUTHOR = {W. Nejdl and J. Gamper},
  TITLE = {Harnessing the Power of Temporal Abstractions in Modelbased Diagnosis of Dynamic Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {667-671},
  KEYWORDS = {}}

@inproceedings{Neitzke:94EC,
  AUTHOR = {M. Neitzke and B. Neumann},
  TITLE = {Simulating Physical Systems with Relative Descriptions of Parameters},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {672-676},
  KEYWORDS = {}}

@inproceedings{Dressler:94EC,
  AUTHOR = {O. Dressler and P. Struss},
  TITLE = {Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {677-681},
  KEYWORDS = {}}

@inproceedings{Gao:94EC,
  AUTHOR = {Y. Gao and H. F. Durrant-Whyte},
  TITLE = {Integrating Qualitative Reasoning for Numerical Data Fusion Tasks},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {682-686},
  KEYWORDS = {}}

@inproceedings{Dessimoz:94EC,
  AUTHOR = {J.-D. Dessimoz and G. Mele},
  TITLE = {Performance Assessment of Cognitive Systems: Case of Elementary Mobile Robots},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {689-693},
  KEYWORDS = {}}

@inproceedings{Penders:94EC,
  AUTHOR = {J. Penders and L. Alboul and P. Braspenning},
  TITLE = {The Interaction of Congenial Autonomous Robots },
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {694-698},
  KEYWORDS = {}}

@inproceedings{Keymeulen:94EC,
  AUTHOR = {D. Keymeulen and J. Decuyper},
  TITLE = {The Stream Field Method Applied to Mobile Robot Navigation: A Topological Perspective},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {699-703},
  KEYWORDS = {}}

@inproceedings{Foerster94EC,
  AUTHOR = {S. F\"orster},
  TITLE = {Neural Fuzzy Controller In Behaviour-Oriented Architectures},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {704-708},
  KEYWORDS = {}}

@inproceedings{Mueller:94EC,
  AUTHOR = {J. P. M\"uller and M. Pischel},
  TITLE = {Modeling Interactive Agents in Dynamic Environments},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {709-713},
  KEYWORDS = {}}

@inproceedings{Steels94EC,
  AUTHOR = {L. Steels},
  TITLE = {`Equilibrium Analysis of Behaviour Systems'},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {714-718},
  KEYWORDS = {}}

@inproceedings{Dekneuvel:94EC,
  AUTHOR = {E. Dekneuvel and M. Ghallab and H. Phillippe},
  TITLE = {Distributed Inference on Compiled Knowledge for Real Time Distributed Systems},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {719-723},
  KEYWORDS = {}}

@inproceedings{Van94EC,
  AUTHOR = {W. {Van de Velde}},
  TITLE = {A Constructivist View on Knowledge Engineering},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {727-731},
  KEYWORDS = {}}

@inproceedings{Haase94EC,
  AUTHOR = {K. B. Haase},
  TITLE = {FRAMER: A Persistent Portable Representation Library},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {732-736},
  KEYWORDS = {}}

@inproceedings{Rousset94EC,
  AUTHOR = {M.-C. Rousset},
  TITLE = {Knowledge Formal Specifications for Formal Verification: A Proposal Based on the Integration of Different Logical Formalisms},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {739-743},
  KEYWORDS = {}}

@inproceedings{Treur:94EC,
  AUTHOR = {J. Treur and M. Willems},
  TITLE = {A Logical Foundation for Verification},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {745-749},
  KEYWORDS = {}}

@inproceedings{Missier:94EC,
  AUTHOR = {A. Missier and S. Xanthakis and L. Trave-Massuyes},
  TITLE = {Qualitative Algorithmics Using Order of Growth Reasoning},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {750-754},
  KEYWORDS = {}}

@inproceedings{Arzi-Gonczarowski:94EC,
  AUTHOR = {Z. Arzi-Gonczarowski and D. Lehmann},
  TITLE = {Categorical Tools for Artificial Perception},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {757-761},
  KEYWORDS = {}}

@inproceedings{Callari:94EC,
  AUTHOR = {F. Callari and P. Storniolo},
  TITLE = {A New Approach to Shading Flow Analysis and Surface Recovery from Images},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {762-766},
  KEYWORDS = {}}

@inproceedings{Sandakly:94EC,
  AUTHOR = {F. Sandakly and G. Giraudon},
  TITLE = {Multispecilist System for 3D Scene Analysis},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {767-771},
  KEYWORDS = {}}

@inproceedings{Tangian94EC,
  AUTHOR = {A. Tangian},
  TITLE = {Towards an Axiomatic Theory of Artificial Perception},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {772-776},
  KEYWORDS = {}}

@inproceedings{Edmonds94EC,
  AUTHOR = {E. Edmonds and others},
  TITLE = {Computers and Creative Thought},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {779-784},
  KEYWORDS = {}}

@inproceedings{Schreinemakers:94EC,
  AUTHOR = {J. Schreinemakers and J.-P. Barthes and D. Bree and R. van der Spek and K. Wiig},
  TITLE = {Knowledge Management},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {785-788},
  KEYWORDS = {}}

@inproceedings{Milne:94EC,
  AUTHOR = {R. Milne and J.-P. Barthes and P. Corsi},
  TITLE = {The Future of AI Funding},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {789-790},
  KEYWORDS = {}}

@inproceedings{Christensen:94EC,
  AUTHOR = {H. I. Christensen and E. Granum},
  TITLE = {Active Vision: A Survey},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {793-798},
  KEYWORDS = {}}

@inproceedings{Cliff94EC,
  AUTHOR = {D. Cliff},
  TITLE = {AI and A-Life: Never Mind The Blocksworld},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {799-804},
  KEYWORDS = {}}

@inproceedings{Corsi94EC,
  AUTHOR = {P. Corsi},
  TITLE = {Current and Future Trends for Community R\&D in Artificial Intelligence},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {805-810},
  KEYWORDS = {}}

@inproceedings{Hertzberg94EC,
  AUTHOR = {J. Hertzberg},
  TITLE = {Theoretical Planning and its Contributions to Practical and Applied Planning (Extended Abstract)},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {811-812},
  KEYWORDS = {}}

@inproceedings{Kaelbling94EC,
  AUTHOR = {L. P. Kaelbling},
  TITLE = {Learning and Intelligent Agents (Abstract)},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {813},
  KEYWORDS = {}}

@inproceedings{Torras94EC,
  AUTHOR = {C. Torras},
  TITLE = {Neural Learning for Robot Control},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {814-819},
  KEYWORDS = {}}

@inproceedings{Kraus94EC,
  AUTHOR = {S. Kraus},
  TITLE = {Interaction and Collaboration in Multi-Agent Systems: Extended Abstract},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {823-825},
  KEYWORDS = {}}

@inproceedings{Pearl94EC,
  AUTHOR = {J. Pearl},
  TITLE = {Causation, Actions, and Counterfactuals: Extended Abstract},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {826-828},
  KEYWORDS = {}}

@inproceedings{Wahlster94EC,
  AUTHOR = {W. Wahlster},
  TITLE = {Computational Models of Multimodal Communication},
  YEAR = 1994,
  BOOKTITLE = {Proc. of the 11th ECAI},
  ADDRESS = "Amsterdam, The Netherlands",
  PAGES = {829-830},
  KEYWORDS = {}}