LIDOS BibTeX Database File
ijcai93.bib

@inproceedings{Brewka:93IJ,
  AUTHOR = {G. Brewka and K. Konolige},
  TITLE = {An Abductive Framework for General Logic Programs and Other Nonmonotonic Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {9-15},
  KEYWORDS = {}}

@inproceedings{Raiman:93IJ,
  AUTHOR = {O. Raiman and J. de Kleer and V. Saraswat},
  TITLE = {Critical Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {18-23},
  KEYWORDS = {}}

@inproceedings{Leake93IJ,
  AUTHOR = {D. B. Leake},
  TITLE = {Focusing Construction and Selection of Abductive Hypotheses},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {24-29},
  KEYWORDS = {}}

@inproceedings{Stephan:93IJ,
  AUTHOR = {W. Stephan and S. Biundo},
  TITLE = {A New Logical Framework for Deductive Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {32-38},
  KEYWORDS = {}}

@inproceedings{Cadoli93IJ,
  AUTHOR = {M. Cadoli},
  TITLE = {Semantical and Computational Aspects of Horn Approximations},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {39-44},
  KEYWORDS = {}}

@inproceedings{Ngair93IJ,
  AUTHOR = {T.-H. Ngair},
  TITLE = {A New Algorithm for Incremental Prime Implicate Generation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {46-51},
  KEYWORDS = {}}

@inproceedings{Fujita:93IJ,
  AUTHOR = {M. Fujita and J. Slaney and F. Bennett},
  TITLE = {Automatic Generation of Some Results in Finite Algebra},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {52-57},
  KEYWORDS = {}}

@inproceedings{Weidenbach93IJ,
  AUTHOR = {C. Weidenbach},
  TITLE = {Extending the Resolution Method with Sorts},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {60-65},
  KEYWORDS = {}}

@inproceedings{Cholvy93IJ,
  AUTHOR = {L. Cholvy},
  TITLE = {Proving Theorems in a Multi-Source Environment},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {66-71},
  KEYWORDS = {}}

@inproceedings{Caferra:93IJ,
  AUTHOR = {R. Caferra and S. Demri},
  TITLE = {Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {74-79},
  KEYWORDS = {}}

@inproceedings{Nonnengart93IJ,
  AUTHOR = {A. Nonnengart},
  TITLE = {First-Order Modal Logic Theorem Proving and Functional Simulation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {80-85},
  KEYWORDS = {}}

@inproceedings{Bouhoula:93IJ,
  AUTHOR = {A. Bouhoula and M. Rusinowitch},
  TITLE = {Automatic Case Analysis in Proof by Induction},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {88-94},
  KEYWORDS = {}}

@inproceedings{Walther93IJ,
  AUTHOR = {C. Walther},
  TITLE = {Combining Induction Axioms by Machine},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {95-100},
  KEYWORDS = {}}

@inproceedings{Inoue:93IJ,
  AUTHOR = {K. Inoue and Y. Ohta and R. Hasegawa and M. Nakashima},
  TITLE = {Bottom-Up Abduction by Model Generation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {102-108},
  KEYWORDS = {}}

@inproceedings{Slaney93IJ,
  AUTHOR = {J. Slaney},
  TITLE = {SCOTT: A Model-Guided Theorem Prover},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {109-114},
  KEYWORDS = {}}

@inproceedings{Basin:93IJ,
  AUTHOR = {D. A. Basin and T. Walsh},
  TITLE = {Difference Unification},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {116-122},
  KEYWORDS = {}}

@inproceedings{Letz93IJ,
  AUTHOR = {R. Letz},
  TITLE = {On the Polynomial Transparency of Resolution},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {123-129},
  KEYWORDS = {}}

@inproceedings{Ligeza93IJ,
  AUTHOR = {A. Ligeza},
  TITLE = {A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {132-137},
  KEYWORDS = {}}

@inproceedings{Levy:93IJ,
  AUTHOR = {A. Y. Levy and Y. Sagiv},
  TITLE = {Exploiting Irrelevance Reasoning to Guide Problem Solving},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {138-144},
  KEYWORDS = {}}

@inproceedings{Haimowitz:93IJ,
  AUTHOR = {I. J. Haimowitz and I. S. Kohane},
  TITLE = {Automated Trend Detection with Alternate Temporal Hypotheses},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {146-151},
  KEYWORDS = {}}

@inproceedings{Williamson:93IJ,
  AUTHOR = {M. Williamson and S. Hanks},
  TITLE = {Exploiting Domain Structure to Achieve Efficient Temporal Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {152-157},
  KEYWORDS = {}}

@inproceedings{Shanahan93IJ,
  AUTHOR = {M. Shanahan},
  TITLE = {Explanation in the Situation Calculus},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {160-165},
  KEYWORDS = {}}

@inproceedings{Dousson:93IJ,
  AUTHOR = {C. Dousson and P. Gaborit and M. Ghallab},
  TITLE = {Situation Recognition: Representation and Algorithms},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {166-172},
  KEYWORDS = {}}

@inproceedings{Schirra:93IJ,
  AUTHOR = {J. R. J. Schirra and E. Stopp},
  TITLE = {ANTLIMA: A Listener Model with Mental Images},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {175-180},
  KEYWORDS = {}}

@inproceedings{Furse:93IJ,
  AUTHOR = {E. Furse and R. Nicolson},
  TITLE = {Perception and Experience in Problem Solving},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {181-186},
  KEYWORDS = {}}

@inproceedings{O-Hara:93IJ,
  AUTHOR = {K. O'Hara and N. Shadbolt},
  TITLE = {AI Models as a Variety of Psychological Explanation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {188-193},
  KEYWORDS = {}}

@inproceedings{Elliott93IJ,
  AUTHOR = {C. Elliott},
  TITLE = {Using the Affective Reasoner to Support Social Simulations},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {194-200},
  KEYWORDS = {}}

@inproceedings{Shastri93IJ,
  AUTHOR = {L. Shastri},
  TITLE = {A Computational Model of Tractable Reasoning: Taking Inspiration from Cognition},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {202-207},
  KEYWORDS = {}}

@inproceedings{Lange:93IJ,
  AUTHOR = {T. E. Lange and C. M. Wharton},
  TITLE = {Dynamic Memories: Analysis of an Integrated Conprehension and Episodic Memory Retrieval Model},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {208-213},
  KEYWORDS = {}}

@inproceedings{Koell:93IJ,
  AUTHOR = {A. L. K\"oll and H. Kaindl},
  TITLE = {Bidirectional Best-First Search with Bounded Error: Summary of Results},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {217-223},
  KEYWORDS = {}}

@inproceedings{David93IJ,
  AUTHOR = {P. David},
  TITLE = {When Functional and Bijective Constraints Make a CSP Polynomial},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {224-229},
  KEYWORDS = {}}

@inproceedings{Lhomme93IJ,
  AUTHOR = {O. Lhomme},
  TITLE = {Consistency Techniques for Numeric CSPs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {232-238},
  KEYWORDS = {}}

@inproceedings{Wallace93IJ,
  AUTHOR = {R. J. Wallace},
  TITLE = {Why AC-3 Is Almost Always Better than AC-4 for Establishing Arc Consistency in CSPs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {239-245},
  KEYWORDS = {}}

@inproceedings{Reinefeld93IJ,
  AUTHOR = {A. Reinefeld},
  TITLE = {Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDa},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {248-253},
  KEYWORDS = {}}

@inproceedings{Freuder:93IJ,
  AUTHOR = {E. C. Freuder and P. D. Hubbe},
  TITLE = {Using Inferred Disjunctive Constraints to Decompose Constraint Satisfaction Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {254-260},
  KEYWORDS = {}}

@inproceedings{Prosser93IJ,
  AUTHOR = {P. Prosser},
  TITLE = {Domain Filtering Can Degrade Intelligent Backtracking Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {262-267},
  KEYWORDS = {}}

@inproceedings{Ho:93IJ,
  AUTHOR = {K. Ho and P. N. Hilfinger and H. W. Guesgen},
  TITLE = {Optimistic Parallel Discrete Relaxation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {268-273},
  KEYWORDS = {}}

@inproceedings{Bakker:93IJ,
  AUTHOR = {R. R. Bakker and F. Dikker and F. Tempelman and P. M. Wognum},
  TITLE = {Diagnosing and Solving Over-Determined Constraint Satisfaction Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {276-281},
  KEYWORDS = {}}

@inproceedings{Haselboeck93IJ,
  AUTHOR = {A. Haselb\"ock},
  TITLE = {Exploiting Interchangeabilities in Constraint Satisfaction Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {282-287},
  KEYWORDS = {}}

@inproceedings{Selman:93IJ,
  AUTHOR = {B. Selman and H. Kautz},
  TITLE = {Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {290-295},
  KEYWORDS = {}}

@inproceedings{Beringer:93IJb,
  AUTHOR = {H. Beringer and B. de Backer},
  TITLE = {Satisfiability of Boolean Formulas over Linear Constraints},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {296-301},
  KEYWORDS = {}}

@inproceedings{Alterman:93IJ,
  AUTHOR = {R. Alterman and R. Zito-Wolf},
  TITLE = {Agents, Habitats, and Routine Behavior},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {305-310},
  KEYWORDS = {}}

@inproceedings{Weiss93IJ,
  AUTHOR = {G. Wei\ss{}},
  TITLE = {Learning to Coordinate Actions in Multi-Agents Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {311-316},
  KEYWORDS = {}}

@inproceedings{Rao:93IJ,
  AUTHOR = {A. S. Rao and M. P. Georgeff},
  TITLE = {A Model-Theoretic Approach to the Verification of Situated Reasoning Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {318-324},
  KEYWORDS = {}}

@inproceedings{Burkhard93IJ,
  AUTHOR = {H.-D. Burkhard},
  TITLE = {Liveness and Fairness Properties in Multi-Agent Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {325-330},
  KEYWORDS = {}}

@inproceedings{Schwuttke:93IJ,
  AUTHOR = {U. M. Schwuttke and A. G. Quan},
  TITLE = {Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {332-337},
  KEYWORDS = {}}

@inproceedings{Russell:93IJ,
  AUTHOR = {S. J. Russell and D. Subramanian and R. Parr},
  TITLE = {Provably Bounded Optimal Agents},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {338-344},
  KEYWORDS = {}}

@inproceedings{Matsubayashi:93IJ,
  AUTHOR = {K. Matsubayashi and M. Tokoro},
  TITLE = {A Collaboration Mechanism on Positive Interactions in Multi-Agent Environments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {346-351},
  KEYWORDS = {}}

@inproceedings{Osawa93IJ,
  AUTHOR = {E.-I. Osawa},
  TITLE = {A Scheme for Agent Collaboration in Open Multiagent Environments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {352-358},
  KEYWORDS = {}}

@inproceedings{Decker:93IJ,
  AUTHOR = {K. Decker and V. Lesser},
  TITLE = {An Approach to Analyzing the Need for Meta-Level Communication},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {360-366},
  KEYWORDS = {}}

@inproceedings{Grosz:93IJb,
  AUTHOR = {B. Grosz and S. Kraus},
  TITLE = {Collaborative Plans for Group Activities},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {367-373},
  KEYWORDS = {}}

@inproceedings{Lakemeyer93IJ,
  AUTHOR = {G. Lakemeyer},
  TITLE = {All They Know: A Study in Multi-Agent Autoepistemic Reasoning (Preliminary Report)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {376-381},
  KEYWORDS = {}}

@inproceedings{Wainer93IJ,
  AUTHOR = {J. Wainer},
  TITLE = {Epistemic Extension of Propositional Preference Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {382-387},
  KEYWORDS = {}}

@inproceedings{Konolige:93IJ,
  AUTHOR = {K. Konolige and M. E. Pollack},
  TITLE = {A Representationalist Theory of Intention},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {390-395},
  KEYWORDS = {}}

@inproceedings{Gmytrasiewicz:93IJ,
  AUTHOR = {P. J. Gmytrasiewicz and E. H. Durfee},
  TITLE = {Elements of a Utilitarian Theory of Knowledge and Action},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {396-402},
  KEYWORDS = {}}

@inproceedings{Henz:93IJ,
  AUTHOR = {M. Henz and G. Smolka and J. W\"urtz},
  TITLE = {Oz: A Programming Language for Multi-Agent Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {404-409},
  KEYWORDS = {}}

@inproceedings{Xianchang:93IJ,
  AUTHOR = {W. Xianchang and C. Huowang and Z. Qingping and L. Wei},
  TITLE = {A. A Logic System Based on Shared Common Knowledge Views},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {410-414},
  KEYWORDS = {}}

@inproceedings{Zlotkin:93IJ,
  AUTHOR = {G. Zlotkin and J. S. Rosenschein},
  TITLE = {A Domain Theory for Task Oriented Negotiation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {416-422},
  KEYWORDS = {}}

@inproceedings{Ephrati:93IJ,
  AUTHOR = {E. Ephrati and J. S. Rosenschein},
  TITLE = {Multi-Agent Planning as a Dynamic Search for Social Consensus},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {423-429},
  KEYWORDS = {}}

@inproceedings{Knight93IJ,
  AUTHOR = {K. Knight},
  TITLE = {Are Many Reactive Agents Better Than a Few Deliberative Ones?},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {432-437},
  KEYWORDS = {}}

@inproceedings{Lander:93IJ,
  AUTHOR = {S. E. Lander and V. R. Lesser},
  TITLE = {Understanding the Role of Negotiation in Distributed Search Among Heterogeneous Agents},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {438-444},
  KEYWORDS = {}}

@inproceedings{Yum:93IJ,
  AUTHOR = {K.-K. Yum and T. R. Richards},
  TITLE = {Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {447-452},
  KEYWORDS = {}}

@inproceedings{Allen:93IJ,
  AUTHOR = {R. Allen and J. Idt and L. Trilling},
  TITLE = {Constraint Based Automatic Construction and Manipulation of Geometric Figures},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {453-458},
  KEYWORDS = {}}

@inproceedings{Bauer:93IJ,
  AUTHOR = {M. Bauer and S. Biundo and D. Dengler and J. Koehler and G. Paul},
  TITLE = {PHI: A Logic-Based Tool for Intelligent Help Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {460-466},
  KEYWORDS = {}}

@inproceedings{Ikeda:93IJ,
  AUTHOR = {M. Ikeda and Y. Kono and R. Mizoguchi},
  TITLE = {Nonmonotonic Model Inference: A Formalization of Student Modeling},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {467-473},
  KEYWORDS = {}}

@inproceedings{Meseguer93IJ,
  AUTHOR = {P. Meseguer},
  TITLE = {Expert System Validation through Knowledge Base Refinement},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {477-482},
  KEYWORDS = {}}

@inproceedings{Vignollet:93IJ,
  AUTHOR = {L Vignollet and R. Lelouche},
  TITLE = {Test Case Generation Using KBS Strategy},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {483-488},
  KEYWORDS = {}}

@inproceedings{Moses:93IJ,
  AUTHOR = {Y. Moses and M. Tennenholtz},
  TITLE = {Off-Line Reasoning for On-Line Efficiency},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {490-495},
  KEYWORDS = {}}

@inproceedings{Bouaud93IJ,
  AUTHOR = {J. Bouaud},
  TITLE = {TREE: The Heuristic Driven Join Strategy of a RETE-Like Matcher},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {496-502},
  KEYWORDS = {}}

@inproceedings{Gaines93IJ,
  AUTHOR = {B. R. Gaines},
  TITLE = {A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-In Data Types},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {504-509},
  KEYWORDS = {}}

@inproceedings{Eriksson93IJ,
  AUTHOR = {H. Eriksson},
  TITLE = {Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {510-515},
  KEYWORDS = {}}

@inproceedings{Boutilier93IJ,
  AUTHOR = {C. Boutilier},
  TITLE = {Revision Sequences and Nested Conditionals},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {519-525},
  KEYWORDS = {}}

@inproceedings{Eiter:93IJa,
  AUTHOR = {T. Eiter and G. Gottlob},
  TITLE = {The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {526-531},
  KEYWORDS = {}}

@inproceedings{Dixon:93IJ,
  AUTHOR = {S. Dixon and N. Foo},
  TITLE = {Connections Between the ATMS and AGM Belief Revision},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {534-539},
  KEYWORDS = {}}

@inproceedings{Val93IJ,
  AUTHOR = {A. del Val},
  TITLE = {Syntactic Characterizations of Belief Change Operators},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {540-545},
  KEYWORDS = {}}

@inproceedings{Giunchiglia:93IJ,
  AUTHOR = {F. Giunchiglia and L. Serafini and E. Giunchiglia and M. Frixione},
  TITLE = {Non-Omniscient Belief as Context-Based Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {548-554},
  KEYWORDS = {}}

@inproceedings{McCarthy93IJ,
  AUTHOR = {J. McCarthy},
  TITLE = {Notes on Formalizing Context},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {555-560},
  KEYWORDS = {}}

@inproceedings{Bacchus:93IJ,
  AUTHOR = {F. Bacchus and A. J. Grove and J. Y. Halpern and D. Koller},
  TITLE = {Statistical Foundations for Default Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {563-569},
  KEYWORDS = {}}

@inproceedings{Gottlob93IJ,
  AUTHOR = {G. Gottlob},
  TITLE = {The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {570-575},
  KEYWORDS = {}}

@inproceedings{Brass93IJ,
  AUTHOR = {S. Brass},
  TITLE = {On the Semantics of Supernormal Defaults},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {578-583},
  KEYWORDS = {}}

@inproceedings{Voorbraak93IJ,
  AUTHOR = {F. Voorbraak},
  TITLE = {Preference-Based Semantics for Nonmonotonic Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {584-589},
  KEYWORDS = {}}

@inproceedings{Guan:93IJ,
  AUTHOR = {J. W. Guan and D. A. Bell},
  TITLE = {A Generalization of the Dempster-Shafer Theory},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {592-597},
  KEYWORDS = {}}

@inproceedings{Smets93IJ,
  AUTHOR = {P. Smets},
  TITLE = {Quantifying Beliefs by Belief Functions: An Axiomatic Justification},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {598-603},
  KEYWORDS = {}}

@inproceedings{Poole93IJ,
  AUTHOR = {D. Poole},
  TITLE = {Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {606-612},
  KEYWORDS = {}}

@inproceedings{Roth93IJ,
  AUTHOR = {D. Roth},
  TITLE = {On the Hardness of Approximate Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {613-618},
  KEYWORDS = {}}

@inproceedings{Dubois:93IJ,
  AUTHOR = {D. Dubois and H. Prade},
  TITLE = {Belief Revision and Updates in Numerical Formalisms: An Overview, with New Results for the Possibilistic Framework},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {620-625},
  KEYWORDS = {}}

@inproceedings{Zdrahal93IJ,
  AUTHOR = {Z. Zdrahal},
  TITLE = {Second Order Measures for Uncertainty Processing},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {626-631},
  KEYWORDS = {}}

@inproceedings{Eiter:93IJb,
  AUTHOR = {T. Eiter and G. Gottlob and Y. Gurevich},
  TITLE = {Curb Your Theory! A Circumscriptive Approach for Inclusive Interpretation of Disjunctive Information},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {634-639},
  KEYWORDS = {}}

@inproceedings{Benferhat:93IJ,
  AUTHOR = {S. Benferhat and C. Cayrol and D. Dubois and J. Lang and H. Prade},
  TITLE = {Inconsistency Management and Prioritized Syntax-Based Entailment},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {640-645},
  KEYWORDS = {}}

@inproceedings{Gerevini:93IJ,
  AUTHOR = {A. Gerevini and L. Schubert},
  TITLE = {Efficient Temporal Reasoning through Timegraphs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {648-654},
  KEYWORDS = {}}

@inproceedings{Morris:93IJ,
  AUTHOR = {R. A. Morris and W. D. Shoaff and L. Khatib},
  TITLE = {Path Consistency in a Network of Non-Convex Intervals},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {655-660},
  KEYWORDS = {}}

@inproceedings{Padgham:93IJ,
  AUTHOR = {L. Padgham and T. Zhang},
  TITLE = {A Terminological Logic with Defaults: A Definition and an Application},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {662-668},
  KEYWORDS = {}}

@inproceedings{Baader:93IJ,
  AUTHOR = {F. Baader and B. Hollunder},
  TITLE = {How to Prefer More Specific Defaults in Terminological Default Logic},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {669-674},
  KEYWORDS = {}}

@inproceedings{Straccia93IJ,
  AUTHOR = {U. Straccia},
  TITLE = {Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {676-681},
  KEYWORDS = {}}

@inproceedings{Al-Asady:93IJ,
  AUTHOR = {R. Al-Asady and A. Narayanan},
  TITLE = {More Notes on ``A Clash of Intuitions''},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {682-687},
  KEYWORDS = {}}

@inproceedings{Ohlbach:93IJ,
  AUTHOR = {H.-J. Ohlbach and F. Baader},
  TITLE = {A Multi-Dimensional Terminological Knowledge Representation Language},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {690-695},
  KEYWORDS = {}}

@inproceedings{Mellish:93IJ,
  AUTHOR = {C. Mellish and E. Reiter},
  TITLE = {Using Classification as a Programming Language},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {696-701},
  KEYWORDS = {}}

@inproceedings{Bucheit:93IJ,
  AUTHOR = {M. Bucheit and F. M. Donini and A. Schaerf},
  TITLE = {Decidable Reasoning in Terminological Knowledge Representation Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {704-709},
  KEYWORDS = {}}

@inproceedings{Dionne:93IJ,
  AUTHOR = {R. Dionne and E. Mays and F. J. Oles},
  TITLE = {The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {710-716},
  KEYWORDS = {}}

@inproceedings{Zhang:93IJ,
  AUTHOR = {Y. Zhang and N. Y. Foo},
  TITLE = {Reasoning about Persistence: A Theory of Actions},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {718-723},
  KEYWORDS = {}}

@inproceedings{Kartha93IJ,
  AUTHOR = {G. N. Kartha},
  TITLE = {Soundness and Completeness Theorems for Three Formalizations of Action},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {724-729},
  KEYWORDS = {}}

@inproceedings{Val:93IJ,
  AUTHOR = {A. del Val and Y. Shoham},
  TITLE = {Deriving Properties of Belief Update from Theories of Action (II)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {732-737},
  KEYWORDS = {}}

@inproceedings{Sandewall93IJ,
  AUTHOR = {E. Sandewall},
  TITLE = {The Range of Applicability of Nonmonotonic Logics for the Inertia Problem},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {738-743},
  KEYWORDS = {}}

@inproceedings{Benda93IJ,
  AUTHOR = {M. Benda},
  TITLE = {AI Adventures Worth Writing Home About},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {747-750},
  KEYWORDS = {}}

@inproceedings{Gasser93IJ,
  AUTHOR = {L. Gasser},
  TITLE = {Social Knowledge and Social Action: Heterogeneity in Practice},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {751-757},
  KEYWORDS = {}}

@inproceedings{Havel93IJ,
  AUTHOR = {I. M. Havel},
  TITLE = {Artificial Thought and Emergent Mind},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {758-766},
  KEYWORDS = {}}

@inproceedings{Inoue93IJ,
  AUTHOR = {H. Inoue},
  TITLE = {Vision Based Robot Behavior: Tools and Testbeds for Real World AI Research},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {767-773},
  KEYWORDS = {}}

@inproceedings{Lederman93IJ,
  AUTHOR = {S. J. Lederman},
  TITLE = {The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {774-785},
  KEYWORDS = {}}

@inproceedings{Otsu93IJ,
  AUTHOR = {N. Otsu},
  TITLE = {Toward Flexible Intelligence: MITI's New Program of Real World Computing},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {786-791},
  KEYWORDS = {}}

@inproceedings{Rosenschein93IJ,
  AUTHOR = {J. S. Rosenschein},
  TITLE = {Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {792-799},
  KEYWORDS = {}}

@inproceedings{Subramanian93IJ,
  AUTHOR = {D. Subramanian},
  TITLE = {Conceptual Design and Artificial Intelligence},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {800-809},
  KEYWORDS = {}}

@inproceedings{Benthem93IJ,
  AUTHOR = {J. van Benthem},
  TITLE = {The Logic of Cognitive Action},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {810},
  KEYWORDS = {}}

@inproceedings{Kitano93IJb,
  AUTHOR = {H. Kitano},
  TITLE = {Challenges of Massive Parallelism},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {813-834},
  KEYWORDS = {}}

@inproceedings{Tarver93IJ,
  AUTHOR = {M. Tarver},
  TITLE = {A Language for Implementing Arbitrary Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {839-844},
  KEYWORDS = {}}

@inproceedings{Basso93IJ,
  AUTHOR = {P. Basso},
  TITLE = {Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {845-850},
  KEYWORDS = {}}

@inproceedings{Dung93IJ,
  AUTHOR = {P. M. Dung},
  TITLE = {On the Acceptability of Arguments ans Its Fundamental Role in Nonmonotonic Reasoning and Logic Programming},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {852-857},
  KEYWORDS = {}}

@inproceedings{Sripada93IJ,
  AUTHOR = {S. M. Sripada},
  TITLE = {A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {860-865},
  KEYWORDS = {}}

@inproceedings{Baral:93IJ,
  AUTHOR = {C. Baral and M. Gelfond},
  TITLE = {Representing Concurrent Actions in Extended Logic Programming},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {866-871},
  KEYWORDS = {}}

@inproceedings{Hill93IJ,
  AUTHOR = {P. M. Hill},
  TITLE = {A Parameterised Module System for Constructing Typed Logic Programs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {874-880},
  KEYWORDS = {}}

@inproceedings{Ciapessoni:93IJ,
  AUTHOR = {E. Ciapessoni and E. Corsetti and M. Migliorati and E. Ratto},
  TITLE = {Logical Specification of Real-Time Granular Systems in an Object Oriented Language},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {881-886},
  KEYWORDS = {}}

@inproceedings{Langley:93IJ,
  AUTHOR = {P. Langley and W. Iba},
  TITLE = {Average-Case Analysis of a Nearest Neighbor Algorithm},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {889-894},
  KEYWORDS = {}}

@inproceedings{Bailey:93IJ,
  AUTHOR = {T. L. Bailey and C. Elkan},
  TITLE = {Estimating the Accuracy of Learned Concepts},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {895-900},
  KEYWORDS = {}}

@inproceedings{Rissland:93IJ,
  AUTHOR = {E. L. Rissland and D. B. Skalak and M. T. Friedman},
  TITLE = {Case Retrieval through Multiple Indexing and Heuristic Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {902-908},
  KEYWORDS = {}}

@inproceedings{Shimazu:93IJ,
  AUTHOR = {H. Shimazu and H. Kitano and A. Shibata},
  TITLE = {Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {909-914},
  KEYWORDS = {}}

@inproceedings{Ellman93IJ,
  AUTHOR = {T. Ellman},
  TITLE = {Abstraction via Approximate Symmetry},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {916-921},
  KEYWORDS = {}}

@inproceedings{Minton93IJ,
  AUTHOR = {S. Minton},
  TITLE = {An Analytic Learning System for Specializing Heuristics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {922-926},
  KEYWORDS = {}}

@inproceedings{Thrun:93IJ,
  AUTHOR = {S. B. Thrun and T. M. Mitchell},
  TITLE = {Integrating Inductive Neural Network Learning and Explanation-Based Learning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {930-936},
  KEYWORDS = {}}

@inproceedings{Botta:93IJ,
  AUTHOR = {M. Botta and A. Giordana},
  TITLE = {SMART+: A Multi-Strategy Learning Tool},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {937-943},
  KEYWORDS = {}}

@inproceedings{Ragavan:93IJ,
  AUTHOR = {H. Ragavan and L. Rendell and M. Shaw and A. Tessmer},
  TITLE = {Complex Concept Acquisition through Directed Search and Feature Caching},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {946-951},
  KEYWORDS = {}}

@inproceedings{Rendell:93IJ,
  AUTHOR = {L. Rendell and H. Ragavan},
  TITLE = {Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {952-958},
  KEYWORDS = {}}

@inproceedings{Iba:93IJ,
  AUTHOR = {H. Iba and T. Higuchi and H. deGaris and T. Sato},
  TITLE = {Evolutionary Learning Strategy Using Bug-Based Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {960-966},
  KEYWORDS = {}}

@inproceedings{Paredis93IJ,
  AUTHOR = {J. Paredis},
  TITLE = {Genetic State-Space Search for Constrained Optimization Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {967-972},
  KEYWORDS = {}}

@inproceedings{Markovitch:93IJ,
  AUTHOR = {S. Markovitch and Y. Sella},
  TITLE = {Learning of Resource Allocation Strategies for Game Playing},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {974-979},
  KEYWORDS = {}}

@inproceedings{Bredeweg:93IJ,
  AUTHOR = {B. Bredeweg and C. Schut},
  TITLE = {Reducing Ambiguity by Learning Assembly Specific Behaviour},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {980-985},
  KEYWORDS = {}}

@inproceedings{Cohen93IJ,
  AUTHOR = {W. W. Cohen},
  TITLE = {Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {988-994},
  KEYWORDS = {}}

@inproceedings{Kobayashi:93IJ,
  AUTHOR = {S. Kobayashi and K. Hori and S. Ohsuga},
  TITLE = {Learning Decision Lists over Tree Patterns and Its Application},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {995-1000},
  KEYWORDS = {}}

@inproceedings{Heath:93IJ,
  AUTHOR = {D. Heath and S. Kasif and S. Salzberg},
  TITLE = {Induction of Oblique Decision Trees},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1002-1007},
  KEYWORDS = {}}

@inproceedings{Ganascia93IJ,
  AUTHOR = {J.-G. Ganascia},
  TITLE = {TDIS: An Algebraic Formalization},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1008-1013},
  KEYWORDS = {}}

@inproceedings{Van93IJ,
  AUTHOR = {T. {Van de Merckt}},
  TITLE = {Decision Trees in Numerical Attribute Spaces},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1016-1021},
  KEYWORDS = {}}

@inproceedings{Fayyad:93IJ,
  AUTHOR = {U. M. Fayyad and K. B. Irani},
  TITLE = {Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1022-1027},
  KEYWORDS = {}}

@inproceedings{Lapointe:93IJ,
  AUTHOR = {S. Lapointe and C. Ling and S. Matwin},
  TITLE = {Constructive Inductive Logic Programming},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1030-1036},
  KEYWORDS = {}}

@inproceedings{De-Raedt:93IJa,
  AUTHOR = {L. {De Raedt} and N. Lavrac and S. Dzeroski},
  TITLE = {Multiple Predicate Learning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1037-1042},
  KEYWORDS = {}}

@inproceedings{Bergadano:93IJ,
  AUTHOR = {F. Bergadano and D. Gunetti},
  TITLE = {An Interactive System to Learn Functional Logic Programs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1044-1049},
  KEYWORDS = {}}

@inproceedings{Cameron-Jones:93IJ,
  AUTHOR = {R. M. Cameron-Jones and J. R. Quinlan},
  TITLE = {Avoiding Pitfalls When Learning Recursive Theories},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1050-1055},
  KEYWORDS = {}}

@inproceedings{De-Raedt:93IJb,
  AUTHOR = {L. {De Raedt} and M. Bruynooghe},
  TITLE = {A Theory of Clausal Discovery},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1058-1063},
  KEYWORDS = {}}

@inproceedings{Ali:93IJ,
  AUTHOR = {K. M. Ali and M. J. Pazzani},
  TITLE = {HYDRA: A Noise-Tolerant Relational Concept Learning Algorithm},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1964-1070},
  KEYWORDS = {}}

@inproceedings{Weiss:93IJ,
  AUTHOR = {S. M. Weiss and N. Indurkhya},
  TITLE = {Rule-Based Regression},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1072-1078},
  KEYWORDS = {}}

@inproceedings{Bramanti-Gregor:93IJ,
  AUTHOR = {A. Bramanti-Gregor and H. W. Davis},
  TITLE = {The Statistical Learning of Accurate Heuristics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1079-1085},
  KEYWORDS = {}}

@inproceedings{Shen93IJ,
  AUTHOR = {W.-M. Shen},
  TITLE = {Learning Finite Automata Using Local Distinguishing Experiments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1088-1093},
  KEYWORDS = {}}

@inproceedings{Kaelbling93IJ,
  AUTHOR = {L. P. Kaelbling},
  TITLE = {Learning to Achieve Goals},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1094-1098},
  KEYWORDS = {}}

@inproceedings{Leckie:93IJ,
  AUTHOR = {C. Leckie and I. Zukerman},
  TITLE = {An Inductive Approach to Learning Search Control Rules for Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1100-1105},
  KEYWORDS = {}}

@inproceedings{Zelle:93IJ,
  AUTHOR = {J. M. Zelle and R. J. Mooney},
  TITLE = {Combining FOIL and EBG to Speed-Up Logic Programs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1106-1111},
  KEYWORDS = {}}

@inproceedings{Diederich:93IJ,
  AUTHOR = {J. Diederich and M. Wasserschaff},
  TITLE = {Recurrent Neural Networks for Sequence Production},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1114-1119},
  KEYWORDS = {}}

@inproceedings{Laird:93IJ,
  AUTHOR = {P. Laird and R. Saul},
  TITLE = {Sequence Extrapolation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1120-1125},
  KEYWORDS = {}}

@inproceedings{Wogulis:93IJ,
  AUTHOR = {J. Wogulis and M. J. Pazzani},
  TITLE = {A Methodology for Evaluating Theory Revision Systems: Results with Audrey II},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1128-1134},
  KEYWORDS = {}}

@inproceedings{Baffes:93IJ,
  AUTHOR = {P. T. Baffes and R. J. Mooney},
  TITLE = {Symbolic Revision of Theories with M-of-N Rules},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1135-1140},
  KEYWORDS = {}}

@inproceedings{Ling:93IJ,
  AUTHOR = {C. X. F. Ling and M. Marinov and S. Cherwenka},
  TITLE = {A Symbolic Model for Learning the Past-Tenses of English Verbs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1143-1149},
  KEYWORDS = {}}

@inproceedings{Utsuro:93IJ,
  AUTHOR = {T. Utsuro and Y. Matsumoto and M. Nagao},
  TITLE = {Verbal Case Frame Acquisition from Bilingual Corpora},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1150-1156},
  KEYWORDS = {}}

@inproceedings{Mittal:93IJ,
  AUTHOR = {V. O. Mittal and C. L. Paris},
  TITLE = {Automatic Documentation Generation: The Interaction of Text and Examples},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1158-1163},
  KEYWORDS = {}}

@inproceedings{Reiter:93IJ,
  AUTHOR = {E. Reiter and C. Mellish},
  TITLE = {Optzimizing the Costs and Benefits of Natural Language Generation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1164-1169},
  KEYWORDS = {}}

@inproceedings{Appelt:93IJ,
  AUTHOR = {D. E. Appelt and J. R. Hobbs and J. Bear and D. Israel and M. Tyson},
  TITLE = {FASTUS: A Finite-State Processor for Information Extraction from Real-World Text},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1172-1178},
  KEYWORDS = {}}

@inproceedings{Csinger:93IJ,
  AUTHOR = {A. Csinger and D. Poole},
  TITLE = {Hypothetically Speaking: Default Reasoning and Discourse-Structure},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1179-1184},
  KEYWORDS = {}}

@inproceedings{Nagao93IJ,
  AUTHOR = {K. Nagao},
  TITLE = {Abduction and Dynamic Preference in Plan-Based Dialogue Understanding},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1186-1192},
  KEYWORDS = {}}

@inproceedings{Hasida:93IJ,
  AUTHOR = {K. Hasida and K. Nagao and T. Miyata},
  TITLE = {Joint Utterance: Intrasequential Speaker/Hearer Switch as an Emergent Phenomenon},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1193-1199},
  KEYWORDS = {}}

@inproceedings{Zukerman:93IJ,
  AUTHOR = {I. Zukerman and R. McConachy},
  TITLE = {Generating Concise Discourse That Addresses a User's Inferences},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1202-1207},
  KEYWORDS = {}}

@inproceedings{Suthers93IJ,
  AUTHOR = {D. Suthers},
  TITLE = {Preferences for Model Selection in Explanation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1208-1213},
  KEYWORDS = {}}

@inproceedings{Merlo93IJ,
  AUTHOR = {P. Merlo},
  TITLE = {For an Incremental Computation of Intrasentential Coreference},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1216-1221},
  KEYWORDS = {}}

@inproceedings{Franconi:93IJ,
  AUTHOR = {E. Franconi and A. Giorgi and F. Pianesi},
  TITLE = {Tense and Aspect: A Mereological Approach},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1222-1228},
  KEYWORDS = {}}

@inproceedings{Zancanaro:93IJ,
  AUTHOR = {M. Zancanaro and O. Stock and C. Strapparava},
  TITLE = {Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1230-1236},
  KEYWORDS = {}}

@inproceedings{Baudin:93IJ,
  AUTHOR = {C. Baudin and J. G. Underwood and V. Baya},
  TITLE = {Using Device Models to Facilitate the Retrieval of Multimedia Design Information},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1237-1243},
  KEYWORDS = {}}

@inproceedings{Pattabhiraman:93IJ,
  AUTHOR = {T. Pattabhiraman and N. Cercone},
  TITLE = {Decision-Theoretic Salience Interactions in Language Generation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1246-1252},
  KEYWORDS = {}}

@inproceedings{Arens:93IJ,
  AUTHOR = {Y. Arens and E. Hovy and S. van Mulken},
  TITLE = {Structure and Rules in Automated Multimedia Presentation Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1253-1259},
  KEYWORDS = {}}

@inproceedings{Srihari:93IJ,
  AUTHOR = {R. K. Srihari and C. M. Baltus},
  TITLE = {Incorporating Syntactic Constraints in Recognizing Handwritten Sentences},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1262-1268},
  KEYWORDS = {}}

@inproceedings{Nagao:93IJ,
  AUTHOR = {K. Nagao and K. Hasida and T. Miyata},
  TITLE = {Understanding Spoken Natural Language with Omni-Directional Information Flow},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1268-1274},
  KEYWORDS = {}}

@inproceedings{Kitano93IJa,
  AUTHOR = {H. Kitano},
  TITLE = {A Comprehensive and Practical Model of Memory-Based Machine Translation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1276-1282},
  KEYWORDS = {}}

@inproceedings{Sumita:93IJ,
  AUTHOR = {E. Sumita and K. Oi and O. Furuse and H. Iida and T. Higuchi and N. Takahashi and H. Kitano},
  TITLE = {Example-Based Machine Translation on Massively Parallel Processors},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1283-1288},
  KEYWORDS = {}}

@inproceedings{Wu93IJ,
  AUTHOR = {D. Wu},
  TITLE = {Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1290-1296},
  KEYWORDS = {}}

@inproceedings{Hwang:93IJ,
  AUTHOR = {C. H. Hwang and L. K. Schubert},
  TITLE = {Meeting the Interlocking Needs of LF-Computation, Deindexing, and Inference: An Organic Approach to General NLU},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1297-1302},
  KEYWORDS = {}}

@inproceedings{Terenziani93IJ,
  AUTHOR = {P. Terenziani},
  TITLE = {Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: The Case of ``When Sentences''},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1304-1309},
  KEYWORDS = {}}

@inproceedings{Quantz93IJ,
  AUTHOR = {J. J. Quantz},
  TITLE = {Interpretation as Exception Minimization},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1310-1315},
  KEYWORDS = {}}

@inproceedings{Craven:93IJ,
  AUTHOR = {M. W. Craven and J. W. Shavlik},
  TITLE = {Learning to Represent Codons: A Challenge Problem for Constructive Induction},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1319-1324},
  KEYWORDS = {}}

@inproceedings{Evett:93IJ,
  AUTHOR = {M. P. Evett and W. A. Andersen and J. A. Hendler},
  TITLE = {Massively Parallel Support for Efficient Knowledge Representation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1325-1330},
  KEYWORDS = {}}

@inproceedings{El-Ayeb:93IJ,
  AUTHOR = {B. {El Ayeb} and S. Wang},
  TITLE = {Computing Effect-to-Cause/Cause-to-Effect Diagnoses within NdL},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1332-1338},
  KEYWORDS = {}}

@inproceedings{Merlo:93IJ,
  AUTHOR = {E. Merlo and I. McAdam and R. {De Mori}},
  TITLE = {Source Code Informal Information Analysis Using Connectionist Models},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1339-1344},
  KEYWORDS = {}}

@inproceedings{Jacquemin93IJ,
  AUTHOR = {C. Jacquemin},
  TITLE = {A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1346-1351},
  KEYWORDS = {}}

@inproceedings{Beringer:93IJa,
  AUTHOR = {A. Beringer and S. H\"olldobler and F. Furfe\ss{}},
  TITLE = {Spatial Reasoning and Connectionist Inference},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1352-1357},
  KEYWORDS = {}}

@inproceedings{Opitz:93IJ,
  AUTHOR = {D. W. Opitz and J. W. Shavlik},
  TITLE = {Heuristically Expanding Knowledge-Based Neural Networks},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1360-1365},
  KEYWORDS = {}}

@inproceedings{McMillan:93IJ,
  AUTHOR = {C. McMillan and M. C. Mozer and P. Smolensky},
  TITLE = {Dynamic Conflict Resolution in a Connectionist Rule-Based System},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1366-1371},
  KEYWORDS = {}}

@inproceedings{Fink:93IJ,
  AUTHOR = {E. Fink and Q. Yang},
  TITLE = {Characterizing and Automatically Finding Primary Effects in Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1374-1379},
  KEYWORDS = {}}

@inproceedings{Kambhampati93IJ,
  AUTHOR = {S. Kambhampati},
  TITLE = {On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-Order Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1380-1385},
  KEYWORDS = {}}

@inproceedings{Barrett:93IJ,
  AUTHOR = {A. Barrett and D. S. Weld},
  TITLE = {Characterizing Subgoal Interactions for Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1388-1393},
  KEYWORDS = {}}

@inproceedings{Ogasawara:93IJ,
  AUTHOR = {G. H. Ogasawara and S. J. Russell},
  TITLE = {Planning Using Multiple Execution Architectures},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1394-1399},
  KEYWORDS = {}}

@inproceedings{Zilberstein:93IJ,
  AUTHOR = {S. Zilberstein and S. J. Russell},
  TITLE = {Anytime Sensing, Planning and Action: A Practical Model for Robot Control},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1402-1407},
  KEYWORDS = {}}

@inproceedings{Drummond:93IJ,
  AUTHOR = {M. Drummond and K. Swanson and J. Bresina and R. Levinson},
  TITLE = {Reaction-First Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1408-1414},
  KEYWORDS = {}}

@inproceedings{Zweben:93IJ,
  AUTHOR = {M. Zweben and E. Davis and B. Daun and M. Deale},
  TITLE = {Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1416-1422},
  KEYWORDS = {}}

@inproceedings{Sen:93IJ,
  AUTHOR = {A. K. Sen and A. Bagchi},
  TITLE = {Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1423-1428},
  KEYWORDS = {}}

@inproceedings{Baeckstroem:93IJ,
  AUTHOR = {C. B\"ackstr\"om and B. Nebel},
  TITLE = {Complexity Results for SAS+ Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1430-1435},
  KEYWORDS = {}}

@inproceedings{Nebel:93IJ,
  AUTHOR = {B. Nebel and J. Koehler},
  TITLE = {Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1436-1441},
  KEYWORDS = {}}

@inproceedings{Bose:93IJ,
  AUTHOR = {P. Bose and S. A. Rajamoney},
  TITLE = {Compositional Model-Based Design},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1445-1450},
  KEYWORDS = {}}

@inproceedings{Faltings:93IJ,
  AUTHOR = {B. Faltings and K. Sun},
  TITLE = {Computer-Aided Creative Mechanism Design},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1451-1457},
  KEYWORDS = {}}

@inproceedings{Boettcher:93IJ,
  AUTHOR = {C. B\"ottcher and O. Dressler},
  TITLE = {Diagnosis Process Dynamics: Ho|ding the Diagnostic Trackhound in Leash},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1460-1465},
  KEYWORDS = {}}

@inproceedings{Friedrich93IJ,
  AUTHOR = {G. Friedrich},
  TITLE = {Theory Diagnoses: A Concise Characterization of Faulty Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1466-1471},
  KEYWORDS = {}}

@inproceedings{Biswas:93IJ,
  AUTHOR = {G. Biswas and X. Yu},
  TITLE = {A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1474-1479},
  KEYWORDS = {}}

@inproceedings{Riese93IJ,
  AUTHOR = {M. Riese},
  TITLE = {Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1480-1485},
  KEYWORDS = {}}

@inproceedings{Rymon93IJ,
  AUTHOR = {R. Rymon},
  TITLE = {Goal-Directed Diagnosis: Diagnostic Reasoning in Exploratory-Corrective Domains},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1488-1493},
  KEYWORDS = {}}

@inproceedings{Console:93IJ,
  AUTHOR = {L. Console and G. Friedrich and D. T. Dupre},
  TITLE = {Model-Based Diagnosis Meets Error Diagnosis in Logic Programs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1494-1499},
  KEYWORDS = {}}

@inproceedings{Gruber:93IJ,
  AUTHOR = {T. R. Gruber and P. O. Gautier},
  TITLE = {Machine-Generated Explanations of Engineering Models: A Compositional Modeling Approach},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1502-1508},
  KEYWORDS = {}}

@inproceedings{Dague93IJ,
  AUTHOR = {P. Dague},
  TITLE = {Symbolic Reasoning with Relative Orders of Magnitude},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1509-15114},
  KEYWORDS = {}}

@inproceedings{Iwasaki:93IJ,
  AUTHOR = {Y. Iwasaki and R. Fikes and M. Vescovi and B. Chandrasekaran},
  TITLE = {How Things Are Intended to Work: Capturing Functional Knowledge in Device Design},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1516-1522},
  KEYWORDS = {}}

@inproceedings{Leitch:93IJ,
  AUTHOR = {R. Leitch and Q. Shen},
  TITLE = {Prioritising Behaviours in Qualitative Simulation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1523-1528},
  KEYWORDS = {}}

@inproceedings{Grossmann:93IJ,
  AUTHOR = {W. Grossmann and H. Werthner},
  TITLE = {A Stochastic Approach to Qualitative Simulation Using Markov Processes},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1530-1535},
  KEYWORDS = {}}

@inproceedings{Bousson:93IJ,
  AUTHOR = {K. Bousson and L. Trave-Massuyes},
  TITLE = {Fuzzy Causal Simulation in Process Engineering},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1536-1541},
  KEYWORDS = {}}

@inproceedings{Latecki:93IJ,
  AUTHOR = {L. Latecki and R. R\"ohrig},
  TITLE = {Orientation and Qualitative Angle for Spatial Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1544-.1549},
  KEYWORDS = {}}

@inproceedings{Galton93IJ,
  AUTHOR = {A. Galton},
  TITLE = {Towards an Integrated Logic of Space, Time, and Motion},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1550-1555},
  KEYWORDS = {}}

@inproceedings{Han:93IJ,
  AUTHOR = {K. Han and A. Gelsey},
  TITLE = {Qualitative Modeling of RNA Structure},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1558-1562},
  KEYWORDS = {}}

@inproceedings{Verdier93IJ,
  AUTHOR = {F. du Verdier},
  TITLE = {Solving Geometric Constraint Satisfaction Problems for Spatial Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1564-1569},
  KEYWORDS = {}}

@inproceedings{Funka-Lea:93IJ,
  AUTHOR = {G. Funka-Lea and R. Bajcsy},
  TITLE = {Active Color Image Analysis for Recognizing Shadows},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1573-1578},
  KEYWORDS = {}}

@inproceedings{Howarth:93IJ,
  AUTHOR = {R. Howarth and H. Buxton},
  TITLE = {Selective Attention in Dynamic Vision},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1579-1584},
  KEYWORDS = {}}

@inproceedings{Basri:93IJ,
  AUTHOR = {R. Basri and E. Rivlin},
  TITLE = {Homing Using Combinations of Model Views},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1586-1591},
  KEYWORDS = {}}

@inproceedings{Fraichard:93IJ,
  AUTHOR = {T. Fraichard and C. Laugier},
  TITLE = {Dynamic Trajectory Planning, Path-Velocity Decomposition and Adjacent Paths},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1592-1597},
  KEYWORDS = {}}

@inproceedings{Kuniyoshi:93IJ,
  AUTHOR = {Y. Kuniyoshi and H. Inoue},
  TITLE = {Qualitative Recognition of Ongoing Human Action Sequences},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1600-1609},
  KEYWORDS = {}}

@inproceedings{Pelachaud:93IJ,
  AUTHOR = {C. Pelachaud and M.-L. Viaud and H. Yahia},
  TITLE = {Rule-Structured Facial Animation System},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1610-1615},
  KEYWORDS = {}}

@inproceedings{Miura:93IJ,
  AUTHOR = {J. Miura and Y. Shirai},
  TITLE = {An Uncertainty Model of Stereo Vision and Its Application to Vision-Motion Planning of Robot},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1618-1623},
  KEYWORDS = {}}

@inproceedings{Fermueller:93IJ,
  AUTHOR = {C. Ferm\"uller and Y. Aloimonos},
  TITLE = {Recognizing 3-D Motion},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1624-1630},
  KEYWORDS = {}}

@inproceedings{Tsuji:93IJ,
  AUTHOR = {S. Tsuji and S. Li},
  TITLE = {Making Cognitive Map of Outdoor Environment},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1632-1638},
  KEYWORDS = {}}

@inproceedings{Dudek:93IJa,
  AUTHOR = {G. Dudek and P. Freedman and S. Hadjres},
  TITLE = {Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1639-1645},
  KEYWORDS = {}}

@inproceedings{Dudek:93IJb,
  AUTHOR = {G. Dudek and M. Jenkin and E. Milios and D. Wilkes},
  TITLE = {Map Validation and Self-Location in a Graph-Like World},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1648-1653},
  KEYWORDS = {}}

@inproceedings{Crespi:93IJ,
  AUTHOR = {B. Crespi and C. Furlanello and L. Stringa},
  TITLE = {Memory-Based Navigation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1654-1658},
  KEYWORDS = {}}

@inproceedings{Black:93IJ,
  AUTHOR = {M. J. Black and Y. Aloimonos and C. M. Brown and I. Horswill and J. Malik and G. Sandini and M. J. Tarr},
  TITLE = {Action, Representation, and Purpose: Re-Evaluating the Foundations of Computational Vision (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1661-1666},
  KEYWORDS = {}}

@inproceedings{Schank93IJ,
  AUTHOR = {R. C. Schank},
  TITLE = {AI, Multimedia, and Education (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1667-1672},
  KEYWORDS = {}}

@inproceedings{Yen:93IJ,
  AUTHOR = {J. Yen and P. Bonissone and D. Dubois and H. Prade and C. Freksa and E. H. Ruspini and R. {Lopez de Mantaras} and L. A. Zadeh},
  TITLE = {Fuzzy Logic and AI (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1673-1676},
  KEYWORDS = {}}

@inproceedings{Kitano:93IJ,
  AUTHOR = {H. Kitano and W. von Hahn and L. Hunter and R. Oka and B. Wah and T. Yokoi},
  TITLE = {Grand Challenge AI Applications (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1677-1683},
  KEYWORDS = {}}

@inproceedings{Grosz:93IJa,
  AUTHOR = {B. Grosz and S. Hirai and T. Rist and D. Scott and B. Webber},
  TITLE = {Instructions: Language and Behaviour (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1684-1689},
  KEYWORDS = {}}

@inproceedings{Barachini:93IJ,
  AUTHOR = {F. Barachini and W. Remmele and F. Hattori and G. Vessonder and G. Pauthner},
  TITLE = {Telecom \& AI: The Emperor's New Clothes? (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1690-1692},
  KEYWORDS = {}}

@inproceedings{Dickinson:93IJ,
  AUTHOR = {S. J. Dickinson and R. Bergevin and I. Biederman and J.-O. Eklundh and R. Munck-Fairwood and A. Pentland},
  TITLE = {The Use of Geons for Generic 3-D Object Recognition (Panel)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1693-1699},
  KEYWORDS = {}}

@inproceedings{Suzuki:93IJ,
  AUTHOR = {T. Suzuki and R. Kudo and K. Ikami and J. Iida and T. Terano},
  TITLE = {QUALTES: A Domain Specific Tool for Electric Power Stations (Video)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1703},
  KEYWORDS = {}}

@inproceedings{Hartmann93IJ,
  AUTHOR = {F. Hartmann},
  TITLE = {Process Control by an Expert System at the Grandpuits Refinery (Video)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1704},
  KEYWORDS = {}}

@inproceedings{Kikui:93IJ,
  AUTHOR = {G. Kikui and M. Seligman and T. Takezawa and T. Morimoto and M. suzuki and K. Kita and M. Nagata and T. Tashiro and H. Tropf and S. Sagayama and J. Takami and K. Ohkura and A. Kurematsu},
  TITLE = {A Spoken Language Translation System: ASURA (Video)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of the 13th IJCAI},
  ADDRESS = "Chambery, France",
  PAGES = {1705},
  KEYWORDS = {}}