LIDOS BibTeX Database File
ecai92.bib

@inproceedings{Bramanti-Gregor:92EC,
  AUTHOR = {A. Bramanti-Gregor and H. W. Davis and F. G. Ganschow},
  TITLE = {Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {6-10},
  KEYWORDS = {}}

@inproceedings{Ramaswamy:92EC,
  AUTHOR = {R. Ramaswamy and A. K. Sen},
  TITLE = {Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc Costs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {11-15},
  KEYWORDS = {}}

@inproceedings{Koell:92EC,
  AUTHOR = {A. L. K\"oll and H. Kaindl},
  TITLE = {A New Approach to Dynamic Weighting},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {16-17},
  KEYWORDS = {}}

@inproceedings{San92EC,
  AUTHOR = {A. San Miguel Aguirre},
  TITLE = {Symmetries and the Cardinality Operator},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {18-22},
  KEYWORDS = {}}

@inproceedings{Bessiere92EC,
  AUTHOR = {C. Bessiere},
  TITLE = {Arc-Consistency for Non-Binary Dynamic CSPs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {23-27},
  KEYWORDS = {}}

@inproceedings{Benson:92EC,
  AUTHOR = {B. W. Benson and E. C. Freuder},
  TITLE = {Interchangeability Preprocessing Can Improve Forward Checking Search},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {28-30},
  KEYWORDS = {}}

@inproceedings{Geelen92EC,
  AUTHOR = {P. A. Geelen},
  TITLE = {Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {31-35},
  KEYWORDS = {}}

@inproceedings{Smith92EC,
  AUTHOR = {B. M. Smith},
  TITLE = {How to Solve the Zebra Problem, or Path Consistency the Easy Way},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {36-37},
  KEYWORDS = {}}

@inproceedings{Dubois:92EC,
  AUTHOR = {D. Dubois and J. Lang and H. Prade},
  TITLE = {Dealing with Multi-Source Information in Possibilistic Logic},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {38-42},
  KEYWORDS = {}}

@inproceedings{Liau:92EC,
  AUTHOR = {C. J. Liau and B. I.-P. Lin},
  TITLE = {Quantitative Modal Logic and Possibilistic Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {43-47},
  KEYWORDS = {}}

@inproceedings{Parsons92EC,
  AUTHOR = {S. Parsons},
  TITLE = {Qualitative Belief Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {48-50},
  KEYWORDS = {}}

@inproceedings{Tzeng92EC,
  AUTHOR = {C.-H. Tzeng},
  TITLE = {A Plausible Reasoning in Bayesian Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {51-52},
  KEYWORDS = {}}

@inproceedings{Luo92EC,
  AUTHOR = {Z. Luo},
  TITLE = {Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks and Its Application},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {53-54},
  KEYWORDS = {}}

@inproceedings{Barker-Plummer:92EC,
  AUTHOR = {D. Barker-Plummer and S. C. Bailin},
  TITLE = {Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {55-59},
  KEYWORDS = {}}

@inproceedings{Wuertz92EC,
  AUTHOR = {J. W\"urtz},
  TITLE = {Unifying Cycles},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {60-64},
  KEYWORDS = {}}

@inproceedings{Hutter92EC,
  AUTHOR = {D. Hutter},
  TITLE = {Adapting a Resolution Calculus for Inductive Proofs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {65-69},
  KEYWORDS = {}}

@inproceedings{Egly92EC,
  AUTHOR = {U. Egly},
  TITLE = {A Simple Proof for the Pigeonhole Formulae},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {70-71},
  KEYWORDS = {}}

@inproceedings{Frank:92EC,
  AUTHOR = {I. Frank and D. Basin and A. Bundy},
  TITLE = {An Adaptation of Proof-Planning to Declarer Play in Bridge},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {72-76},
  KEYWORDS = {}}

@inproceedings{Giunchiglia:92EC,
  AUTHOR = {F. Giunchiglia and T. Walsh},
  TITLE = {Tree Subsumption: Reasoning with Outlines},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {77-81},
  KEYWORDS = {}}

@inproceedings{Kounalis92EC,
  AUTHOR = {E. Kounalis},
  TITLE = {A Simplification-Based Approach to Program Synthesis},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {82-86},
  KEYWORDS = {}}

@inproceedings{Franova:92EC,
  AUTHOR = {M. Franova and Y. Kodratoff},
  TITLE = {Predicate Synthesis from Formal Specifications},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {87-91},
  KEYWORDS = {}}

@inproceedings{Leone:92EC,
  AUTHOR = {N. Leone and P. Rullo},
  TITLE = {Stable Model Semantics and Its Computation for Ordered Logic Programs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {92-96},
  KEYWORDS = {}}

@inproceedings{Chen92EC,
  AUTHOR = {J. Chen},
  TITLE = {A Refined Semantics for Disjunctive Logic Programs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {97-101},
  KEYWORDS = {}}

@inproceedings{Pereira:92EC,
  AUTHOR = {L. M. Pereira and J. J. Alferes},
  TITLE = {Well Founded Semantics for Logic Programs with Explicit Negation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {102-106},
  KEYWORDS = {}}

@inproceedings{Kuznetsov92EC,
  AUTHOR = {V. Kuznetsov},
  TITLE = {Negation as Exception},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {107-108},
  KEYWORDS = {}}

@inproceedings{Hill92EC,
  AUTHOR = {P. M. Hill},
  TITLE = {Data Structures and Typed Logic Programs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {109-113},
  KEYWORDS = {}}

@inproceedings{Brogi:92EC,
  AUTHOR = {A. Brogi and E. Lamma and P. Mello},
  TITLE = {ATMS for Implementing Logic Programming},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {114-118},
  KEYWORDS = {}}

@inproceedings{Lamma:92EC,
  AUTHOR = {E. Lamma and P. Mello},
  TITLE = {An Assumption-Based Truth Maintenance System Dealing with Non-Ground Justifications},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {119-123},
  KEYWORDS = {}}

@inproceedings{Hara92EC,
  AUTHOR = {H. Hara},
  TITLE = {Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based Method},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {124-128},
  KEYWORDS = {}}

@inproceedings{Iwayama:92EC,
  AUTHOR = {N. Iwayama and K. Satoh and J. Arima},
  TITLE = {A Formalization of Generalization-Based Analogy in General Logic Programs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {129-133},
  KEYWORDS = {}}

@inproceedings{Demolombe92EC,
  AUTHOR = {R. Demolombe},
  TITLE = {A Strategy for the Computation of Conditional Answers},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {134-138},
  KEYWORDS = {}}

@inproceedings{Huang:92EC,
  AUTHOR = {Y. Huang and A. E. Adam},
  TITLE = {A Relevancy Knowledge Model of Analogical Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {139-143},
  KEYWORDS = {}}

@inproceedings{Puyol-Gruart:92EC,
  AUTHOR = {J. Puyol-Gruart and L. Godo and C. Sierra},
  TITLE = {A Specialisation Calculus to Improve Expert Systems Communication},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {144-148},
  KEYWORDS = {}}

@inproceedings{Maim92EC,
  AUTHOR = {E. Maim},
  TITLE = {Abduction and Constraint Logic Programming},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {149-153},
  KEYWORDS = {}}

@inproceedings{Hoppe92EC,
  AUTHOR = {T. Hoppe},
  TITLE = {On the Relationship Between Partial Deduction and Abductive Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {154-158},
  KEYWORDS = {}}

@inproceedings{Waern92EC,
  AUTHOR = {A. Waern},
  TITLE = {Reactive Abduction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {159-163},
  KEYWORDS = {}}

@inproceedings{Camurri:92ECa,
  AUTHOR = {A. Camurri and M. Frixione and C. Innocenti and R. Zaccaria},
  TITLE = {A Model of Representation and Communication of Music and Multimedia Knowledge},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {164-168},
  KEYWORDS = {}}

@inproceedings{Tanguiane92EC,
  AUTHOR = {A. Tanguiane},
  TITLE = {Artificial Perception and Music Recognition: A Heuristic Approach},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {169-173},
  KEYWORDS = {}}

@inproceedings{Veale:92ECa,
  AUTHOR = {T. Veale and M. T. Keane},
  TITLE = {Conceptual Scaffolding: Using Metaphors to Build Knowledge Structures},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {174-178},
  KEYWORDS = {}}

@inproceedings{Sitter:92EC,
  AUTHOR = {S. Sitter and E. Maier},
  TITLE = {Rhetorical Relations in a Model of Information-Seeking Dialogues},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {179-180},
  KEYWORDS = {}}

@inproceedings{Quilici92EC,
  AUTHOR = {A. Quilici},
  TITLE = {Recognizing and Revising Unconvincing Explanations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {181-182},
  KEYWORDS = {}}

@inproceedings{Jacquemin92EC,
  AUTHOR = {C. Jacquemin},
  TITLE = {Activation Diffusion: A Connectionist Network for Robust Parsing},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {183-187},
  KEYWORDS = {}}

@inproceedings{Wermter92EC,
  AUTHOR = {S. Wermter},
  TITLE = {A Hybrid and Connectionist Architecture for a SCANning Understanding},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {188-192},
  KEYWORDS = {}}

@inproceedings{Kurkova92EC,
  AUTHOR = {V. Kurkova},
  TITLE = {Universal Approximation Using Feedforward Neural Networks with Gaussian Bar Units},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {193-197},
  KEYWORDS = {}}

@inproceedings{Bulsari:92EC,
  AUTHOR = {A. B. Bulsari and H. Saxen},
  TITLE = {A Partially Recurrent Connectionist Model},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {198-202},
  KEYWORDS = {}}

@inproceedings{Dorffner:92EC,
  AUTHOR = {G. Dorffner and M. Rotter},
  TITLE = {On the Virtues of Functional Connectionist Compositionality},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {203-205},
  KEYWORDS = {}}

@inproceedings{Diederich:92EC,
  AUTHOR = {J. Diederich and A. Th\"ummel and E. Bartels},
  TITLE = {Recurrent and Feedforward Networks for Human-Computer Interaction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {206-207},
  KEYWORDS = {}}

@inproceedings{Ultsch92EC,
  AUTHOR = {A. Ultsch},
  TITLE = {Self-Organizing Neural Networks for Knowledge Akquisition},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {208-210},
  KEYWORDS = {}}

@inproceedings{Margarita92EC,
  AUTHOR = {S. Margarita},
  TITLE = {Genetic Neural Networks for Financial Markets: Some Results},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {211-213},
  KEYWORDS = {}}

@inproceedings{Pinz:92EC,
  AUTHOR = {A. Pinz and H. Bischof},
  TITLE = {Neural Network ``Surgery'': Transplantation of Hidden Units},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {214-215},
  KEYWORDS = {}}

@inproceedings{Ferrara:92EC,
  AUTHOR = {P. Ferrara and A. Ferscha and G. Haring},
  TITLE = {A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature Maps},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {216-218},
  KEYWORDS = {}}

@inproceedings{Tidhar:92EC,
  AUTHOR = {G. Tidhar and J. S. Rosenschein},
  TITLE = {A Contract Net with Consultants: An Alternative Architecture and Experimental Results},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {219-223},
  KEYWORDS = {}}

@inproceedings{Jennings92EC,
  AUTHOR = {N. R. Jennings},
  TITLE = {Towards a Cooperation Knowledge Level for Collaborative Problem Solving},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {224-228},
  KEYWORDS = {}}

@inproceedings{Ephrati:92EC,
  AUTHOR = {E. Ephrati and J. S. Rosenschein},
  TITLE = {Reaching Agreement Through Partial Revelation of Preferences},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {229-233},
  KEYWORDS = {}}

@inproceedings{Wooldridge:92EC,
  AUTHOR = {M. Wooldridge and M. Fisher},
  TITLE = {A First-Order Branching Time Logic of Multi-Agent Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {234-238},
  KEYWORDS = {}}

@inproceedings{Bouron:92EC,
  AUTHOR = {T. Bouron and A. Collinot},
  TITLE = {SAM: A Model to Design Computational Social Agents},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {239-243},
  KEYWORDS = {}}

@inproceedings{Lemaire92EC,
  AUTHOR = {B. Lemaire},
  TITLE = {Hypothetical Reasoning within the Blackboard Model for Constructing Explanations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {244-248},
  KEYWORDS = {}}

@inproceedings{Cawsey:92EC,
  AUTHOR = {A. Cawsey and J. R. Galliers and S. Reece and K. {Sparck Jones}},
  TITLE = {A Comparison of Architectures for Autonomous Multi-Agent Communication},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {249-251},
  KEYWORDS = {}}

@inproceedings{Ghedira:92EC,
  AUTHOR = {K. Ghedira and G. Verfaillie},
  TITLE = {A Multi-Agent Model for the Resource Allocation Problem: A Reactive Approach},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {252-254},
  KEYWORDS = {}}

@inproceedings{Le-Mentec:92EC,
  AUTHOR = {J.-C. {Le Mentec} and S. Brunessaux},
  TITLE = {Improving Reactivity in a Blackboard Architecture with Parallelism and Interruptions},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {255-256},
  KEYWORDS = {}}

@inproceedings{Wu:92EC,
  AUTHOR = {Z. Wu and T. Huang and J. Ying and Z. He},
  TITLE = {A Survey of Coupled Expert Systems Building Toolkit ZIPE},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {257-261},
  KEYWORDS = {}}

@inproceedings{Lalanda:92EC,
  AUTHOR = {P. Lalanda and F. Charpillet and J.-P. Haton},
  TITLE = {A Real-Time Blackboard-Based Architecture},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {262-266},
  KEYWORDS = {}}

@inproceedings{Bahr:92EC,
  AUTHOR = {E. Bahr and F. Barachini and H. Mistelberger},
  TITLE = {On Efficient Load Balancing for Parallel Execution of Production Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {267-271},
  KEYWORDS = {}}

@inproceedings{Langevelde:92EC,
  AUTHOR = {I. van Langevelde and A. Philipsen and J. Treur},
  TITLE = {Formal Specification of Compositional Architectures},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {272-276},
  KEYWORDS = {}}

@inproceedings{Kehrer:92EC,
  AUTHOR = {N. Kehrer and G. Neumann},
  TITLE = {Business Event Oriented Information Systems Based on Meta Programming},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {277-281},
  KEYWORDS = {}}

@inproceedings{Logan:92EC,
  AUTHOR = {B. Logan and D. Corne and T. Smithers},
  TITLE = {The Edinburgh Designer System: An Architecture for Solving Ill Structured Problems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {282-286},
  KEYWORDS = {}}

@inproceedings{Kasabov:92EC,
  AUTHOR = {N. K. Kasabov and S. H. Petkov},
  TITLE = {Neural Networks and Logic Programming: A Hybrid Model and Its Applicability to Building Expert Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {287-288},
  KEYWORDS = {}}

@inproceedings{Dix92EC,
  AUTHOR = {J. Dix},
  TITLE = {Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {289-293},
  KEYWORDS = {}}

@inproceedings{Doherty:92EC,
  AUTHOR = {P. Doherty and W. Lukaszewicz},
  TITLE = {FONML3: A First-Order Non-Monotonic Logic with Explicit Defaults},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {294-298},
  KEYWORDS = {}}

@inproceedings{Tan:92EC,
  AUTHOR = {Y. H. Tan and J. Treur},
  TITLE = {Constructive Default Logic and the Control of Defeasible Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {299-303},
  KEYWORDS = {}}

@inproceedings{Schaub92EC,
  AUTHOR = {T. Schaub},
  TITLE = {On Constrained Default Theories},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {304-308},
  KEYWORDS = {}}

@inproceedings{Pearce92EC,
  AUTHOR = {D. Pearce},
  TITLE = {Default Logic and Constructive Logic},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {309-313},
  KEYWORDS = {}}

@inproceedings{Farinas:92EC,
  AUTHOR = {L. {Farinas del Cerro} and A. Herzig and J. Lang},
  TITLE = {From Ordering-Based Nonmonotonic Reasoning to Conditional Logics},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {314-318},
  KEYWORDS = {}}

@inproceedings{Cadoli:92EC,
  AUTHOR = {M. Cadoli and M. Schaerf},
  TITLE = {Approximate Inference in Default Logic and Circumscription},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {319-323},
  KEYWORDS = {}}

@inproceedings{Wobcke92EC,
  AUTHOR = {W. Wobcke},
  TITLE = {On the Use of Epistemic Entrenchment in Nonmonotonic Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {324-328},
  KEYWORDS = {}}

@inproceedings{Moinard92EC,
  AUTHOR = {Y. Moinard},
  TITLE = {Circumscriptions as Preferential Entailment},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {329-333},
  KEYWORDS = {}}

@inproceedings{Niemelae92EC,
  AUTHOR = {I. N. F. Niemel\"a},
  TITLE = {A Unifying Framework for Nomonotonic Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {334-338},
  KEYWORDS = {}}

@inproceedings{Papini92EC,
  AUTHOR = {O. Papini},
  TITLE = {A Complete Revision Function in Propositional Calculus},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {339-343},
  KEYWORDS = {}}

@inproceedings{Zadrozny92EC,
  AUTHOR = {W. Zadrozny},
  TITLE = {Explanations at the Knowledge Level},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {344-348},
  KEYWORDS = {}}

@inproceedings{Baeckstroem:92EC,
  AUTHOR = {C. B\"ackstr\"om and B. Nebel},
  TITLE = {On the Computational Complexity of Planning and Story Understanding},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {349-353},
  KEYWORDS = {}}

@inproceedings{Dalal92EC,
  AUTHOR = {M. Dalal},
  TITLE = {Tractable Instances of Some Hard Deduction Problems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {354-358},
  KEYWORDS = {}}

@inproceedings{Kautz:92EC,
  AUTHOR = {H. Kautz and B. Selman},
  TITLE = {Planning as Satisfiability},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {359-363},
  KEYWORDS = {}}

@inproceedings{Singh92EC,
  AUTHOR = {M. P. Singh},
  TITLE = {A Critical Examination of the Cohen-Levesque Theory of Intentions},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {364-368},
  KEYWORDS = {}}

@inproceedings{Console:92EC,
  AUTHOR = {L. Console and L. Portinale and D. T. Dupre and P. Torasso},
  TITLE = {Diagnostic Reasoning Across Different Time Points},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {369-373},
  KEYWORDS = {}}

@inproceedings{Porto:92EC,
  AUTHOR = {A. Porto and C. Ribeiro},
  TITLE = {Temporal Inference with a Point-Based Interval Algebra},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {374-378},
  KEYWORDS = {}}

@inproceedings{Weigel:92EC,
  AUTHOR = {A. Weigel and R. Bleisinger},
  TITLE = {Support for Resolving Contradictions in Time Interval Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {379-383},
  KEYWORDS = {}}

@inproceedings{Denecker:92EC,
  AUTHOR = {M. Denecker and L. Missiaen and M. Bruynooghe},
  TITLE = {Temporal Reasoning with Abductive Event Calculus},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {384-388},
  KEYWORDS = {}}

@inproceedings{Latecki:92EC,
  AUTHOR = {L. Latecki and S. Pribbenow},
  TITLE = {On Hybrid Reasoning for Processing Spatial Expressions},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {389-393},
  KEYWORDS = {}}

@inproceedings{Randell:92EC,
  AUTHOR = {D. A. Randell and Z. Cui and A. G. Cohn},
  TITLE = {An Interval Logic for Space Based on ``Connection''},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {394-398},
  KEYWORDS = {}}

@inproceedings{Mohren:92EC,
  AUTHOR = {J.-P. Mohren and J. M\"uller},
  TITLE = {A Geometrical Approach to Depictional Representation of Spatial Relations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {399-402},
  KEYWORDS = {}}

@inproceedings{Peppas:92EC,
  AUTHOR = {P. Peppas and W. Wobcke},
  TITLE = {On the Use of Epistemic Entrenchment in Reasoning about Action},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {403-407},
  KEYWORDS = {}}

@inproceedings{Davies92EC,
  AUTHOR = {N. J. Davies},
  TITLE = {A First Order Theory of Knowledge, Belief and Action},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {408-412},
  KEYWORDS = {}}

@inproceedings{Froidevaux92EC,
  AUTHOR = {C. Froidevaux},
  TITLE = {Default Logic for Action Rule-Based Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {413-417},
  KEYWORDS = {}}

@inproceedings{Camurri:92ECb,
  AUTHOR = {A. Camurri and G. Vercelli and R. Zaccaria},
  TITLE = {Real Time Knowledge Representation and Reasoning about Real Tasks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {418-419},
  KEYWORDS = {}}

@inproceedings{Kindermann92EC,
  AUTHOR = {C. Kindermann},
  TITLE = {Retraction in Terminological Knowledge Bases},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {420-424},
  KEYWORDS = {}}

@inproceedings{Napoli92EC,
  AUTHOR = {A. Napoli},
  TITLE = {Subsumption and Classification-Based Reasoning in Object-Based Representations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {424-429},
  KEYWORDS = {}}

@inproceedings{Weiss92EC,
  AUTHOR = {G. Wei\ss{}},
  TITLE = {Learning the Goal Relevance of Actions in Classifier Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {430-434},
  KEYWORDS = {}}

@inproceedings{Gascuel:92EC,
  AUTHOR = {O. Gascuel and G. Caraux},
  TITLE = {Statistical Significance in Inductive Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {435-439},
  KEYWORDS = {}}

@inproceedings{Karalic92EC,
  AUTHOR = {A. Karalic},
  TITLE = {Employing Linear Regression in Regression Tree Leaves},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {440-441},
  KEYWORDS = {}}

@inproceedings{Kalkanis:92EC,
  AUTHOR = {G. Kalkanis and G. V. Conroy},
  TITLE = {Inductive Learning of Effective and Efficient Classification Rules},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {442-443},
  KEYWORDS = {}}

@inproceedings{Kovacic:92EC,
  AUTHOR = {M. Kovacic and N. Lavrac and M. Grobelnik and D. Zupanic and D. Mladenic},
  TITLE = {Stochastic Search in Inductive Logic Programming},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {444-445},
  KEYWORDS = {}}

@inproceedings{Marquis92EC,
  AUTHOR = {P. Marquis},
  TITLE = {Building Up Inductive Generalizations from Facts},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {446-450},
  KEYWORDS = {}}

@inproceedings{Botta:92EC,
  AUTHOR = {M. Botta and A. Giordana and L. Saitta},
  TITLE = {Comparison of Search Strategies in Learning Relations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {451-455},
  KEYWORDS = {}}

@inproceedings{Ade:92EC,
  AUTHOR = {H. Ade and L. {De Raedt} and M. Bruynooghe},
  TITLE = {Inverse Resolution in an Integrated Inductive-Deductive Learning System},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {456-457},
  KEYWORDS = {}}

@inproceedings{Bisson92EC,
  AUTHOR = {G. Bisson},
  TITLE = {Conceptual Clustering in a First Order Logic Representation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {458-462},
  KEYWORDS = {}}

@inproceedings{Widmer:92EC,
  AUTHOR = {G. Widmer and M. Kubat},
  TITLE = {Learning Flexible Concepts from Streams of Examples: FLORA2},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {463-467},
  KEYWORDS = {}}

@inproceedings{Saito:92EC,
  AUTHOR = {Y. Saito and S. Tojo and S. Komiya},
  TITLE = {Intuitive Classification Based on Affinity},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {468-470},
  KEYWORDS = {}}

@inproceedings{Carpineto92EC,
  AUTHOR = {C. Carpineto},
  TITLE = {Shift of Bias without Operators},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {471-473},
  KEYWORDS = {}}

@inproceedings{Nedellec92EC,
  AUTHOR = {C. Nedellec},
  TITLE = {How to Specialize by Theory Refinement},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {474-478},
  KEYWORDS = {}}

@inproceedings{Sebag:92EC,
  AUTHOR = {M. Sebag and M. Schoenauer},
  TITLE = {Learning to Control Inconsistent Knowledge},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {479-483},
  KEYWORDS = {}}

@inproceedings{Scott:92EC,
  AUTHOR = {P. D. Scott and K. H. Sage},
  TITLE = {Why Genera|ize? Hybrid Representations and Instance-Based Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {484-486},
  KEYWORDS = {}}

@inproceedings{Raynaut:92EC,
  AUTHOR = {F. Raynaut and A. Samuel},
  TITLE = {Oriented Shift of Representational Bias for Elementary Patterns},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {487-489},
  KEYWORDS = {}}

@inproceedings{Cerbah92EC,
  AUTHOR = {F. Cerbah},
  TITLE = {Generating Causal Explanations: From Qualitative Models to Natural Language Texts},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {490-494},
  KEYWORDS = {}}

@inproceedings{Wanner92EC,
  AUTHOR = {L. Wanner},
  TITLE = {Lexical Choice and the Organization of Lexical Resources in Text Generation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {495-499},
  KEYWORDS = {}}

@inproceedings{Horacek92EC,
  AUTHOR = {H. Horacek},
  TITLE = {Explanations for Constraint Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {500-504},
  KEYWORDS = {}}

@inproceedings{Finkler:92EC,
  AUTHOR = {W. Finkler and A. Schauder},
  TITLE = {Effects of Incremental Output on Incremental Natural Language Generation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {505-507},
  KEYWORDS = {}}

@inproceedings{Crocker:92EC,
  AUTHOR = {M. W. Crocker and I. Lewin},
  TITLE = {Parsing as Deduction: Rules versus Principles},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {508-512},
  KEYWORDS = {}}

@inproceedings{Haugeneder92EC,
  AUTHOR = {H. Haugeneder},
  TITLE = {A Computational Model for Processing Coordinate Structures: Parsing Coordination without Grammatical Specification},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {513-517},
  KEYWORDS = {}}

@inproceedings{Grandchamp:92EC,
  AUTHOR = {J.-M. Grandchamp and S. Letellier},
  TITLE = {Predictions in Deterministic Parsing: A Framework for Lexical Correction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {518-522},
  KEYWORDS = {}}

@inproceedings{Nagao92EC,
  AUTHOR = {K. Nagao},
  TITLE = {A Preferential Constraint Satisfaction Technique for Natural Language Analysis},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {523-527},
  KEYWORDS = {}}

@inproceedings{Singh:92EC,
  AUTHOR = {M. Singh and M. P. Singh},
  TITLE = {Computing the Temporal Structure of Events in Natural Language},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {528-532},
  KEYWORDS = {}}

@inproceedings{Lorenz92EC,
  AUTHOR = {S. Lorenz},
  TITLE = {Presupposition, Anaphora, and Reasoning about Change},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {533-537},
  KEYWORDS = {}}

@inproceedings{Keller92EC,
  AUTHOR = {B. Keller},
  TITLE = {A Logic for Representing Grammatical Knowledge},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {538-542},
  KEYWORDS = {}}

@inproceedings{Quantz92EC,
  AUTHOR = {J. J. Quantz},
  TITLE = {How to Fit Generalized Quantifiers into Terminological Logics},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {543-547},
  KEYWORDS = {}}

@inproceedings{Heinz:92EC,
  AUTHOR = {W. Heinz and J. Matiasek and H. Trost and E. Buchberger},
  TITLE = {Comparison in NLIs: Habitability and Database Reality},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {548-552},
  KEYWORDS = {}}

@inproceedings{Bonneau:92EC,
  AUTHOR = {A. Bonneau and F. Charpillet and S. Coste and J.-P. Haton and Y. Laprie and P. Marquis},
  TITLE = {A Model for Hypothetical Reasoning Applied to Speech Recognition},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {553-557},
  KEYWORDS = {}}

@inproceedings{Pyka92EC,
  AUTHOR = {C. Pyka},
  TITLE = {Management of Hypotheses in an Integrated Speech-Language Architecture},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {558-560},
  KEYWORDS = {}}

@inproceedings{Veale:92ECb,
  AUTHOR = {T. Veale and P. Cunningham},
  TITLE = {Competitive Hypothesis Resolution in TWIG: A B|ackboard-Driven Text Understanding System},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {561-563},
  KEYWORDS = {}}

@inproceedings{Gierl:92EC,
  AUTHOR = {C. Gierl and D. P. Frost},
  TITLE = {Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {564-566},
  KEYWORDS = {}}

@inproceedings{Voss:92EC,
  AUTHOR = {A. Vo\ss{} and W. Karbach and C.-H. Coulon and U. Drouven and B. Bartsch-Spoerl},
  TITLE = {Generic Specialists in Competent Behaviour},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {567-571},
  KEYWORDS = {}}

@inproceedings{Duursma92EC,
  AUTHOR = {C. Duursma},
  TITLE = {Interpretation Models and Problem Solving Methods},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {572-576},
  KEYWORDS = {}}

@inproceedings{Reinders:92EC,
  AUTHOR = {M. Reinders and B. Bredeweg},
  TITLE = {Reflective Strategic Control of Multiple Problem Solving Methods},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {577-581},
  KEYWORDS = {}}

@inproceedings{Harmelen:92EC,
  AUTHOR = {F. van Harmelen and J. Balder},
  TITLE = {(ML)2: A Formal Language for KADS Models (Short Version)},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {582-586},
  KEYWORDS = {}}

@inproceedings{Smyth:92EC,
  AUTHOR = {B. Smyth and P. Cunningham},
  TITLE = {Deja Vu: A Hierarchical Case-Based Reasoning System for Software Design},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {587-589},
  KEYWORDS = {}}

@inproceedings{Brown92EC,
  AUTHOR = {M. Brown},
  TITLE = {Incorporating Similarity Measures into Case Retrieval Using Analogue Marker Passing},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {590-592},
  KEYWORDS = {}}

@inproceedings{Borillo:92EC,
  AUTHOR = {M. Borillo and A. Borillo and N. Castell and D. Latour and Y. Toussaint and M. F. Verdejo},
  TITLE = {Applying Linguistic Engineering to Spatial Software Engineering: The Traceability Problem},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {593-595},
  KEYWORDS = {}}

@inproceedings{Alaman:92EC,
  AUTHOR = {Y. Alaman and I. Alarcon and E. de Pablo and J. L. Zaccagnini},
  TITLE = {The Maquette-Based Methodology Applied to Real-Time Knowledge-Based Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {596-600},
  KEYWORDS = {}}

@inproceedings{Rademakers:92EC,
  AUTHOR = {P. Rademakers and R. Pfeifer},
  TITLE = {The Role of Knowledge Level Models in Situated Adaptive Design},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {601-602},
  KEYWORDS = {}}

@inproceedings{Filipic92EC,
  AUTHOR = {B. Filipic},
  TITLE = {Enhancing Genetic Search to Schedule a Production Unit},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {603-607},
  KEYWORDS = {}}

@inproceedings{Dasgupta:92EC,
  AUTHOR = {D. Dasgupta and D. R. McGregor},
  TITLE = {Engineering Optimalizations Using the Structured Genetic Algorithm},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {608-609},
  KEYWORDS = {}}

@inproceedings{Hoffmann92EC,
  AUTHOR = {A. G. Hoffmann},
  TITLE = {Phenomenology, Representations and Complexity},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {610-614},
  KEYWORDS = {}}

@inproceedings{Zaverucha92EC,
  AUTHOR = {G. Zaverucha},
  TITLE = {Logical Foundations of a Modal Defeasible Relevant Logic of Belief},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {615-619},
  KEYWORDS = {}}

@inproceedings{Vinkhuyzen92EC,
  AUTHOR = {R. E. Vinkhuyzen},
  TITLE = {On the Non-Existence of Knowledge Level Models},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {620-622},
  KEYWORDS = {}}

@inproceedings{Fox:92EC,
  AUTHOR = {J. Fox and P. Krause and S. Ambler},
  TITLE = {Arguments, Contradictions and Practical Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {623-627},
  KEYWORDS = {}}

@inproceedings{Biundo:92EC,
  AUTHOR = {S. Biundo and D. Dengler and J. Koehler},
  TITLE = {Deductive Planning and Plan Reuse in a Command Language Environment},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {628-632},
  KEYWORDS = {}}

@inproceedings{Cranefield92EC,
  AUTHOR = {S. J. S. Cranefield},
  TITLE = {A Logical Framework for Practical Planning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {633-637},
  KEYWORDS = {}}

@inproceedings{Berry92EC,
  AUTHOR = {P. M. Berry},
  TITLE = {SCHEDULING: A Problem of Decision-Making Under Uncertainty},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {638-642},
  KEYWORDS = {}}

@inproceedings{Traverso:92EC,
  AUTHOR = {P. Traverso and A. Cimatti and L. Spalazzi},
  TITLE = {Beyond the Single Planning Paradigm: Introspective Planning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {643-647},
  KEYWORDS = {}}

@inproceedings{Tadepalli:92EC,
  AUTHOR = {K. Tadepalli and N. Parameswaran},
  TITLE = {Reason Maintenance Systems for Multiagent Planning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {648-652},
  KEYWORDS = {}}

@inproceedings{Kelleher:92EC,
  AUTHOR = {G. Kelleher and A. G. Cohn},
  TITLE = {Automatically Synthesising Domain Constraints from Operator Descriptions},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {653-655},
  KEYWORDS = {}}

@inproceedings{Pobil:92EC,
  AUTHOR = {A. P. del Pobil and M. A. Serna},
  TITLE = {Solving the Find-Path Problem in 3D by a Simple Object Model},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {656-660},
  KEYWORDS = {}}

@inproceedings{Millan92EC,
  AUTHOR = {J. del R. Millan},
  TITLE = {Building Reactive Path-Finders Through Reinforcement Connectionist Learning: Three Issues and an Architecture},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {661-665},
  KEYWORDS = {}}

@inproceedings{Kontoravdis:92EC,
  AUTHOR = {D. Kontoravdis and A. Likas and A. Stafylopatis},
  TITLE = {Collision-Free Movement of an Autonomous Vehicle Using Reinforcement Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {666-670},
  KEYWORDS = {}}

@inproceedings{Ahuactzin:92EC,
  AUTHOR = {J. M. Ahuactzin and E.-G. Talbi and P. Bessiere and E. Mazer},
  TITLE = {Using Genetic Algorithms for Robot Motion Planning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {671-675},
  KEYWORDS = {}}

@inproceedings{Ramos:92EC,
  AUTHOR = {C. Ramos and E. Oliveira},
  TITLE = {Planning, Execution and Sensor-Based Reaction for Assembly Robotic Tasks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {676-680},
  KEYWORDS = {}}

@inproceedings{Gambardella:92EC,
  AUTHOR = {L. M. Gambardella and M. Haex},
  TITLE = {Grasp Planning for Automatic Assembly Tasks Using Artificial Fields},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {681-682},
  KEYWORDS = {}}

@inproceedings{Neitzke92EC,
  AUTHOR = {M. Neitzke},
  TITLE = {Modeling Physical Systems with Relative Descriptions of Parameters},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {683-684},
  KEYWORDS = {}}

@inproceedings{Toal92EC,
  AUTHOR = {A. F. Toal},
  TITLE = {PQS: ``I Dont Know'' Is an Important Qualitative Statement},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {685-686},
  KEYWORDS = {}}

@inproceedings{Primus:92EC,
  AUTHOR = {J. Primus and B. Faltings},
  TITLE = {Domain Modeling for Monitoring Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {687-688},
  KEYWORDS = {}}

@inproceedings{Nicholson:92EC,
  AUTHOR = {A. E. Nicholson and J. M. Brady},
  TITLE = {The Data Association Problem When Monitoring Robot Vehicles Using Dynamic Belief Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {689-693},
  KEYWORDS = {}}

@inproceedings{Bousson:92EC,
  AUTHOR = {K. Bousson and L. Trave-Massuyes},
  TITLE = {Formalizing Expertise Qualitative Operators},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {694-698},
  KEYWORDS = {}}

@inproceedings{Self92EC,
  AUTHOR = {J. Self},
  TITLE = {Cognitive Diagnosis for Tutoring Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {699-703},
  KEYWORDS = {}}

@inproceedings{Pu:92EC,
  AUTHOR = {P. Pu and Y. Huang},
  TITLE = {Crossroad Diagnosis},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {704-708},
  KEYWORDS = {}}

@inproceedings{Friedrich:92EC,
  AUTHOR = {G. Friedrich and G. Gottlob and W. Nejdl},
  TITLE = {Formalizing the Repair Process},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {709-713},
  KEYWORDS = {}}

@inproceedings{Csaki92EC,
  AUTHOR = {Z. Csaki},
  TITLE = {Idenification as Learning in Reasoning about Incomplete Knowledge of Physical Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {714-718},
  KEYWORDS = {}}

@inproceedings{Dressler:92EC,
  AUTHOR = {O. Dressler and P. Struss},
  TITLE = {Back to Defaults: Characterizing and Computing Diagnoses as Coherent Assumptions Sets},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {719-723},
  KEYWORDS = {}}

@inproceedings{Besnard:92EC,
  AUTHOR = {P. Besnard and M.-O. Cordier},
  TITLE = {Explanatory Diagnoses and Their Computation by Circumscription},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {724-728},
  KEYWORDS = {}}

@inproceedings{Mozetic92EC,
  AUTHOR = {I. Mozetic},
  TITLE = {A Polynomial-Time Algorithm for Model-Based Diagnosis},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {729-733},
  KEYWORDS = {}}

@inproceedings{Bakker:92EC,
  AUTHOR = {R. R. Bakker and M. Bourseau},
  TITLE = {Pragmatic Reasoning in Model-Based Diagnosis},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {734-738},
  KEYWORDS = {}}

@inproceedings{Bradshaw:92EC,
  AUTHOR = {J. Bradshaw and R. M. Young},
  TITLE = {Evaluating the Behaviour of the BAe 146 Hydraulic System Using the Doris System},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {739-743},
  KEYWORDS = {}}

@inproceedings{Ishida92EC,
  AUTHOR = {Y. Ishida},
  TITLE = {A Graphical Approach to Qualitative Reasoning on Dynamic Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {744-748},
  KEYWORDS = {}}

@inproceedings{Vescovi:92EC,
  AUTHOR = {M. R. Vescovi and J.-P. Robles},
  TITLE = {Fuzzy Diagnosis of Continuous Processes},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {749-753},
  KEYWORDS = {}}

@inproceedings{Faltings:92EC,
  AUTHOR = {B. Faltings and D. Haroud and I. Smith},
  TITLE = {Dynamic Constraint Propagation with Continuous Variables},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {754-758},
  KEYWORDS = {}}

@inproceedings{Conati:92EC,
  AUTHOR = {C. Conati and J. Slack},
  TITLE = {Accessing Information Through Graphics},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {759-763},
  KEYWORDS = {}}

@inproceedings{Rist:92EC,
  AUTHOR = {T. Rist and E. Andre},
  TITLE = {From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics Design},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {764-768},
  KEYWORDS = {}}

@inproceedings{Chakravarthy:92EC,
  AUTHOR = {A. S. Chakravarthy and K. B. Haase and L. M. Weitzman},
  TITLE = {A Uniform Memory-Based Representation for Visual Languages},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {769-773},
  KEYWORDS = {}}

@inproceedings{Oei:92EC,
  AUTHOR = {S. Oei and R. Smit and J. Schreinemakers and L. Marinos and J. Sirks},
  TITLE = {The Presentation Manager: A Method for Task-Driven Concept Presentation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {774-775},
  KEYWORDS = {}}

@inproceedings{Ardizzone:92EC,
  AUTHOR = {E. Ardizzone and F. Callari and A. Chella and S. Gaglio},
  TITLE = {The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist Approach},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {776-780},
  KEYWORDS = {}}

@inproceedings{Gong:92EC,
  AUTHOR = {S. Gong and H. Buxton},
  TITLE = {On the Visual Expectations of Moving Objects},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {781-784},
  KEYWORDS = {}}

@inproceedings{Howarth:92EC,
  AUTHOR = {R. J. Howarth and H. Buxton},
  TITLE = {Analogical Representation of Spatial Events for Understanding Traffic Behaviour},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {785-789},
  KEYWORDS = {}}

@inproceedings{Navab:92EC,
  AUTHOR = {N. Navab and Z. Zhang},
  TITLE = {From Multiple Objects Motion Analysis to Behavior-Based Object Recognition},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {790-794},
  KEYWORDS = {}}

@inproceedings{Dekneuvel:92EC,
  AUTHOR = {E. Dekneuvel and M. Ghallab and J. P. Thibault},
  TITLE = {Hypotheses Management for Scene Interpretation in a Multisensory Perception Machine},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {795-799},
  KEYWORDS = {}}

@inproceedings{Luong:92EC,
  AUTHOR = {Q.-T. Luong and O. D. Faugeras},
  TITLE = {Active Head Movements Help Solve Stereo Correspondence},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {800-802},
  KEYWORDS = {}}

@inproceedings{Giefing:92EC,
  AUTHOR = {G.-J. Giefing and H. Jan\ss{}en and H. Mallot},
  TITLE = {Saccadic Object Recognition with an Active Vision System},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {803-805},
  KEYWORDS = {}}

@inproceedings{Remagnino:92EC,
  AUTHOR = {P. Remagnino and J. Kittler and G. Matas and J. Illingworth},
  TITLE = {On Computing the Next Look Camera Parameters in Active Vision},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {806-807},
  KEYWORDS = {}}

@inproceedings{Milanese:92EC,
  AUTHOR = {R. Milanese and J.-M. Bost and T. Pun},
  TITLE = {A Bottom-Up Attention System for Active Vision},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {808-810},
  KEYWORDS = {}}

@inproceedings{Bohrer:92EC,
  AUTHOR = {S. Bohrer and M. Brauckmann and W. von Seelen},
  TITLE = {Visual Obstacle Detection by a Geometrically Simplified Optical Flow Approach},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {811-815},
  KEYWORDS = {}}

@inproceedings{Seales:92EC,
  AUTHOR = {W. B. Seales and C. R. Dyer},
  TITLE = {An Occlusion-Based Representation of Shape for Viewpoint Recovery},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {816-820},
  KEYWORDS = {}}

@inproceedings{Robert:92EC,
  AUTHOR = {L. Robert and R. Deriche and O. D. Faugeras},
  TITLE = {Dense Depth Recovery from Stereo Images},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {821-823},
  KEYWORDS = {}}

@inproceedings{Milanova:92EC,
  AUTHOR = {M. G. Milanova and I. A. Aleksandrov and R. K. Kunchev},
  TITLE = {Recovering and CAD/CAM Processing of Complex Surfaces},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {824-825},
  KEYWORDS = {}}

@inproceedings{Sossa:92EC,
  AUTHOR = {H. Sossa and R. Horaud},
  TITLE = {Model Indexing Based on a Graph-Theoretic Approach},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {826-828},
  KEYWORDS = {}}

@inproceedings{Laurent92EC,
  AUTHOR = {J.-P. Laurent},
  TITLE = {Proposals for a Valid Terminology in KBS Validation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {829-834},
  KEYWORDS = {}}

@inproceedings{Preece:92EC,
  AUTHOR = {A. D. Preece and R. Shinghal},
  TITLE = {Verifying Knowledge Bases by Anomaly Detection: An Experience Report},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {835-839},
  KEYWORDS = {}}

@inproceedings{Mesguer92EC,
  AUTHOR = {P. Mesguer},
  TITLE = {Incremental Verification of Rule-Based Expert Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {840-844},
  KEYWORDS = {}}

@inproceedings{Loiseau92EC,
  AUTHOR = {S. Loiseau},
  TITLE = {Refinement of Knowledge Bases Based on Consistency},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {845-849},
  KEYWORDS = {}}

@inproceedings{Stock92EC,
  AUTHOR = {O. Stock},
  TITLE = {A Third Modality of Natural Language?},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {853-862},
  KEYWORDS = {}}

@inproceedings{Struss92EC,
  AUTHOR = {P. Struss},
  TITLE = {Knowledge-Based Diagnosis: An Important Challenge and Touchstone for AI},
  YEAR = 1992,
  BOOKTITLE = {Proc. of the 10th ECAI},
  ADDRESS = "Vienna, Austria",
  PAGES = {863-874},
  KEYWORDS = {}}