LIDOS BibTeX Database File
ijcai95.bib

@inproceedings{Rao:95IJ,
  AUTHOR = {R. P. N. Rao and D. H. Ballard},
  TITLE = {Natural Basis Functions and Topographic Memory for Face Recognition},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {10-17},
  KEYWORDS = {}}

@inproceedings{Fermueller:95IJ,
  AUTHOR = {C. Ferm\"uller and Y. Aloimonos},
  TITLE = {Representations for Active Vision},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {20-26},
  KEYWORDS = {}}

@inproceedings{Uhlin:95IJ,
  AUTHOR = {T. Uhlin and J.-O. Eklundh},
  TITLE = {Animate Vision in a Rich Environment},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {27-33},
  KEYWORDS = {}}

@inproceedings{Reece:95IJ,
  AUTHOR = {S. Reece and H. Durrant-Whyte},
  TITLE = {A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {36-41},
  KEYWORDS = {}}

@inproceedings{Zhao:95IJ,
  AUTHOR = {Q. Zhao and T. Nishida},
  TITLE = {Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {42-47},
  KEYWORDS = {}}

@inproceedings{Chopra:95IJ,
  AUTHOR = {R. Chopra and R. K. Srihari},
  TITLE = {Control Structures for Incorporating Picture-Specific Context in Image Interpretation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {50-55},
  KEYWORDS = {}}

@inproceedings{Horswill95IJ,
  AUTHOR = {I. Horswill},
  TITLE = {Visual Routines and Visual Search: A Real-Time Implementation and Automata-Theoretic Analysis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {56-62},
  KEYWORDS = {}}

@inproceedings{Wisniewski:95IJ,
  AUTHOR = {R. W. Wisniewski and C. M. Brown},
  TITLE = {Adaptable Planner Primitives for Real-World Robotic Applications},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {64-71},
  KEYWORDS = {}}

@inproceedings{Firby:95IJ,
  AUTHOR = {R. J. Firby and R. E. Kahn and P. N. Prokopowicz and M. J. Swain},
  TITLE = {An Architecture for Vision and Action},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {72-79},
  KEYWORDS = {}}

@inproceedings{Hasegawa:95IJ,
  AUTHOR = {O. Hasegawa and K. Itou and T. Kurita and S. Hayamizu and K. Tanaka and K. Yamamoto and N. Otsu},
  TITLE = {Active Agent Oriented Multimodal Interface System},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {82-87},
  KEYWORDS = {}}

@inproceedings{Krotkov95IJ,
  AUTHOR = {E. Krotkov},
  TITLE = {Robotic Perception of Material},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {88-94},
  KEYWORDS = {}}

@inproceedings{Brafman:95IJc,
  AUTHOR = {R. I. Brafman and Y. Shoham},
  TITLE = {Knowledge Considerations in Robotics and Distribution of Robotic Tasks},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {96-102},
  KEYWORDS = {}}

@inproceedings{Tambe:95IJ,
  AUTHOR = {M. Tambe and P. S. Rosenbloom},
  TITLE = {RESC: An Approach for Real-Time, Dynamic Agent Tracking},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {103-110},
  KEYWORDS = {}}

@inproceedings{Tani95IJ,
  AUTHOR = {J. Tani},
  TITLE = {Self-Organization of Symbolic Processes Through Interaction with the Physical World},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {112-118},
  KEYWORDS = {}}

@inproceedings{Liu95IJb,
  AUTHOR = {B. Liu},
  TITLE = {Using Knowledge to Isolate Search in Route Finding},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {119-124},
  KEYWORDS = {}}

@inproceedings{Nakamura:95IJ,
  AUTHOR = {T. Nakamura and M. Asada},
  TITLE = {Motion Sketch: Acquisition of Visual Motion Guided Behaviors},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {126-132},
  KEYWORDS = {}}

@inproceedings{Baluja:95IJ,
  AUTHOR = {S. Baluja and D. A. Pomerleau},
  TITLE = {Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {133-139},
  KEYWORDS = {}}

@inproceedings{Manikonda:95IJ,
  AUTHOR = {V. Manikonda and J. Hendler and P. S. Krishnaprasad},
  TITLE = {Formalizing Behavior-Based Planning for Nonholonomic Robots},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {142-149},
  KEYWORDS = {}}

@inproceedings{Poole95IJ,
  AUTHOR = {D. Poole},
  TITLE = {Logic Programming for Robot Control},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {150-157},
  KEYWORDS = {}}

@inproceedings{Kashino:95IJ,
  AUTHOR = {K. Kashino and K. Nakadai and T. Kinoshita and H. Tanaka},
  TITLE = {Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {158-164},
  KEYWORDS = {}}

@inproceedings{Nakatani:95IJ,
  AUTHOR = {T. Nakatani and H. G. Okuno and T. Kawabata},
  TITLE = {Residue-Driven Architecture for Computational Auditory Scene Analysis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {165-172},
  KEYWORDS = {}}

@inproceedings{Bundy:95IJ,
  AUTHOR = {A. Bundy and V. Lombart},
  TITLE = {Relational Rippling: A General Approach},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {175-181},
  KEYWORDS = {}}

@inproceedings{Melis95IJ,
  AUTHOR = {E. Melis},
  TITLE = {A Model of Analogy-Driven Proof-Plan Construction},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {182-188},
  KEYWORDS = {}}

@inproceedings{Kolbe:95IJ,
  AUTHOR = {T. Kolbe and C. Walther},
  TITLE = {Second-Order Matching Modulo Evaluation - A Technique for Reusing Proofs},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {190-195},
  KEYWORDS = {}}

@inproceedings{Nayak:95IJ,
  AUTHOR = {P. P. Nayak and A. Y. Levy},
  TITLE = {A Semantic Theory of Abstractions},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {196-202},
  KEYWORDS = {}}

@inproceedings{Inoue:95IJ,
  AUTHOR = {K. Inoue and C. Sakama},
  TITLE = {Abductive Framework for Nonmonotonic Theory Change},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {204-210},
  KEYWORDS = {}}

@inproceedings{Darwiche95IJ,
  AUTHOR = {A. Darwiche},
  TITLE = {Model-Based Diagnosis Using Causal Networks},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {211-217},
  KEYWORDS = {}}

@inproceedings{Hamidzadeh:95IJ,
  AUTHOR = {B. Hamidzadeh and S. Shekhar},
  TITLE = {Deadline Compliance, Predictability, and On-Line Optimization in Real-Time Problem Solving},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {220-226},
  KEYWORDS = {}}

@inproceedings{Pemberton95IJ,
  AUTHOR = {J. C. Pemberton},
  TITLE = {k-Best: A New Method for Real-Time Decision Making},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {227-233},
  KEYWORDS = {}}

@inproceedings{Kaindl:95IJ,
  AUTHOR = {H. Kaindl and G. Kainz and A. Leeb and H. Smetana},
  TITLE = {How to Use Limited Memory in Heuristic Search},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {236-242},
  KEYWORDS = {}}

@inproceedings{Bhattacharya95IJ,
  AUTHOR = {S. Bhattacharya},
  TITLE = {Experimenting with Revisits in Game Tree Search},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {243-249},
  KEYWORDS = {}}

@inproceedings{Chen95IJ,
  AUTHOR = {P. C. Chen},
  TITLE = {On Bootstrapping Local Search with Trail-Markers},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {252-258},
  KEYWORDS = {}}

@inproceedings{Sasaki:95IJ,
  AUTHOR = {T. Sasaki and F. Chimura and M. Tokoro},
  TITLE = {The Trailblazer Search with a Hierarchical Abstract Map},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {259-264},
  KEYWORDS = {}}

@inproceedings{Korf95IJ,
  AUTHOR = {R. E. Korf},
  TITLE = {From Approximate to Optimal Solutions: A Case Study of Number Partitioning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {266-272},
  KEYWORDS = {}}

@inproceedings{Plaat:95IJ,
  AUTHOR = {A. Plaat and J. Schaeffer and W. Pijls and A. de Bruin},
  TITLE = {Best-First Fixed-Depth Game-Tree Search in Practice},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {273-279},
  KEYWORDS = {}}

@inproceedings{Yugami95IJ,
  AUTHOR = {N. Yugami},
  TITLE = {Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {282-288},
  KEYWORDS = {}}

@inproceedings{Boy:95IJ,
  AUTHOR = {T. {Boy de la Tour} and S. Demri},
  TITLE = {On the Complexity of Extending Ground Resolution with Symmetry Rules},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {289-295},
  KEYWORDS = {}}

@inproceedings{Zhang:95IJb,
  AUTHOR = {J. Zhang and H. Zhang},
  TITLE = {SEM: A System for Enumerating Models},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {298-303},
  KEYWORDS = {}}

@inproceedings{Cha:95IJ,
  AUTHOR = {B. Cha and K. Iwama},
  TITLE = {Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {304-310},
  KEYWORDS = {}}

@inproceedings{Niemelae95IJ,
  AUTHOR = {I. Niemel\"a},
  TITLE = {Towards Efficient Default Reasoning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {312-318},
  KEYWORDS = {}}

@inproceedings{Khardon:95IJ,
  AUTHOR = {R. Khardon and D. Roth},
  TITLE = {Default-Reasoning with Models},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {319-325},
  KEYWORDS = {}}

@inproceedings{Caferra:95IJ,
  AUTHOR = {R. Caferra and N. Peltier},
  TITLE = {Extending Semantic Resolution Via Automated Model Building: Applications},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {328-334},
  KEYWORDS = {}}

@inproceedings{Baumgartner:95IJ,
  AUTHOR = {P. Baumgartner and U. Furbach and F. Stolzenburg},
  TITLE = {Model Elimination, Logic Programming and Computing Answers},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {335-340},
  KEYWORDS = {}}

@inproceedings{Degtyarev:95IJ,
  AUTHOR = {A. Degtyarev and A. Voronkov},
  TITLE = {Equality Elimination for the Inverse Method and Extension Procedures},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {342-347},
  KEYWORDS = {}}

@inproceedings{Bachmair:95IJ,
  AUTHOR = {L. Bachmair and T. Chen and I. V. Ramakrishnan and S. Anantharaman and J. Chabin},
  TITLE = {Experiments with Associative-Commutative Discrimination Nets},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {348-354},
  KEYWORDS = {}}

@inproceedings{Marchiori95IJ,
  AUTHOR = {E. Marchiori},
  TITLE = {A Methodology for Proving Termination of General Logic Programs},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {356-361},
  KEYWORDS = {}}

@inproceedings{Verma95IJ,
  AUTHOR = {R. M. Verma},
  TITLE = {Unique Normal Forms and Confluence of Rewrite Systems: Persistence},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {362-368},
  KEYWORDS = {}}

@inproceedings{Miyashita:95IJ,
  AUTHOR = {K. Miyashita and K. Sycara},
  TITLE = {Improving System Performance in Case-Based Iterative Optimization Through Knowledge Filtering},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {371-376},
  KEYWORDS = {}}

@inproceedings{Smyth:95IJ,
  AUTHOR = {B. Smyth and M. T. Keane},
  TITLE = {Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {377-382},
  KEYWORDS = {}}

@inproceedings{Branting:95IJ,
  AUTHOR = {L. K. Branting and D. W. Aha},
  TITLE = {Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {384-390},
  KEYWORDS = {}}

@inproceedings{Fox:95IJ,
  AUTHOR = {S. Fox and D. B. Leake},
  TITLE = {Using Introspective Reasoning to Refine Indexing},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {391-397},
  KEYWORDS = {}}

@inproceedings{Rissland:95IJ,
  AUTHOR = {E. L. Rissland and J. J. Daniels},
  TITLE = {Using CBR to Drive IR},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {400-407},
  KEYWORDS = {}}

@inproceedings{Sanders95IJ,
  AUTHOR = {K. E. Sanders},
  TITLE = {Within the Letter of the Law: Open-Textured Planning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {408-414},
  KEYWORDS = {}}

@inproceedings{Blocher:95IJ,
  AUTHOR = {A. Blocher and J. R. J. Schirra},
  TITLE = {Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {417-423},
  KEYWORDS = {}}

@inproceedings{Sun95IJ,
  AUTHOR = {R. Sun},
  TITLE = {A Microfeature Based Approach Towards Metaphor Interpretation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {424-429},
  KEYWORDS = {}}

@inproceedings{Sablon:95IJ,
  AUTHOR = {G. Sablon and L. {De Raedt}},
  TITLE = {Forgetting and Compacting Data in Concept Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {432-438},
  KEYWORDS = {}}

@inproceedings{Krulwich:95IJ,
  AUTHOR = {B. Krulwich and L. Birnbaum and G. Collins},
  TITLE = {Determining What to Learn Through Component-Task Modeling},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {439-445},
  KEYWORDS = {}}

@inproceedings{Resnik95IJ,
  AUTHOR = {P. Resnik},
  TITLE = {Using Information Content to Evaluate Semantic Similarity in a Taxonomy},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {448-453},
  KEYWORDS = {}}

@inproceedings{Epstein95IJ,
  AUTHOR = {S. L. Epstein},
  TITLE = {On Heuristic Reasoning, Reactivity, and Search},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {454-461},
  KEYWORDS = {}}

@inproceedings{Fu:95IJ,
  AUTHOR = {D. D. Fu and K. J. Hammond and M. J. Swain},
  TITLE = {Action and Perception in Man-Made Environments},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {464-469},
  KEYWORDS = {}}

@inproceedings{Turk:95IJ,
  AUTHOR = {A. Turk and G. G\"orz},
  TITLE = {Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {473-479},
  KEYWORDS = {}}

@inproceedings{Setiono:95IJ,
  AUTHOR = {R. Setiono and H. Liu},
  TITLE = {Understanding Neural Networks Via Rule Extraction},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {480-485},
  KEYWORDS = {}}

@inproceedings{Ma:95IJ,
  AUTHOR = {Z. Ma and R. F. Harrison and R. L. Kennedy},
  TITLE = {GR2 - A Hybrid Knowledge-Based System Using General Rules},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {488-493},
  KEYWORDS = {}}

@inproceedings{Herrmann95IJ,
  AUTHOR = {C. S. Herrmann},
  TITLE = {A Hybrid Fuzzy-Neural Expert System for Diagnosis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {494-500},
  KEYWORDS = {}}

@inproceedings{Kozato95IJ,
  AUTHOR = {F. Kozato},
  TITLE = {A Hybrid Rule-Based System - How Variables Are Involved in Connectionist Rule-Based Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {502-508},
  KEYWORDS = {}}

@inproceedings{Sperduti:95IJ,
  AUTHOR = {A. Sperduti and A. Starita and C. Goller},
  TITLE = {Learning Distributed Representations for the Classification of Terms},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {509-515},
  KEYWORDS = {}}

@inproceedings{Japkowicz:95IJ,
  AUTHOR = {N. Japkowicz and C. Myers and M. Gluck},
  TITLE = {A Novelty Detection Approach to Classification},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {518-523},
  KEYWORDS = {}}

@inproceedings{Maclin:95IJ,
  AUTHOR = {R. Maclin and J. W. Shavlik},
  TITLE = {Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {524-530},
  KEYWORDS = {}}

@inproceedings{Kitano95IJ,
  AUTHOR = {H. Kitano},
  TITLE = {A Model for Hormonal Modulation of Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {532-538},
  KEYWORDS = {}}

@inproceedings{Kondrak:95IJ,
  AUTHOR = {G. Kondrak and P. van Beek},
  TITLE = {A Theoretical Evaluation of Selected Backtracking Algorithms},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {541-547},
  KEYWORDS = {}}

@inproceedings{Freuder:95IJa,
  AUTHOR = {E. C. Freuder and P. D. Hubbe},
  TITLE = {Extracting Constraint Satisfaction Subproblems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {548-555},
  KEYWORDS = {}}

@inproceedings{Bayardo:95IJ,
  AUTHOR = {R. J. Bayardo and D. P. Miranker},
  TITLE = {On the Space-Time Trade-Off in Solving Constraint Satisfaction Problems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {558-562},
  KEYWORDS = {}}

@inproceedings{Freuder:95IJb,
  AUTHOR = {E. C. Freuder and R. J. Wallace},
  TITLE = {Generalizing Inconsistency Learning for Constraint Satisfaction},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {563-569},
  KEYWORDS = {}}

@inproceedings{Frost:95IJ,
  AUTHOR = {D. Frost and R. Dechter},
  TITLE = {Look-Ahead Value Ordering for Constraint Satisfaction Problems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {572-578},
  KEYWORDS = {}}

@inproceedings{Meseguer:95IJ,
  AUTHOR = {P. Meseguer and J. Larrosa},
  TITLE = {Constraint Satisfaction as Global Optimization},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {579-584},
  KEYWORDS = {}}

@inproceedings{Liu95IJa,
  AUTHOR = {B. Liu},
  TITLE = {Increasing Functional Constraints Need to Be Checked Only Once},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {586-591},
  KEYWORDS = {}}

@inproceedings{Bessiere:95IJ,
  AUTHOR = {C. Bessiere and E. C. Freuder and J.-C. Regin},
  TITLE = {Using Inference to Reduce Arc Consistency Computation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {592-598},
  KEYWORDS = {}}

@inproceedings{Baptiste:95IJ,
  AUTHOR = {P. Baptiste and C. {Le Pape}},
  TITLE = {A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {600-606},
  KEYWORDS = {}}

@inproceedings{Harvey:95IJ,
  AUTHOR = {W. D. Harvey and M. L. Ginsberg},
  TITLE = {Limited Discrepancy Search},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {607-613},
  KEYWORDS = {}}

@inproceedings{Kask:95IJ,
  AUTHOR = {K. Kask and R. Dechter},
  TITLE = {GSAT and Local Consistency},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {616-622},
  KEYWORDS = {}}

@inproceedings{Bistarelli:95IJ,
  AUTHOR = {S. Bistarelli and U. Montanari and F. Rossi},
  TITLE = {Constraint Solving Over Semirings},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {624-630},
  KEYWORDS = {}}

@inproceedings{Schiex:95IJ,
  AUTHOR = {T. Schiex and H. Fargier and G. Verfaillie},
  TITLE = {Valued Constraint Satisfaction Problems: Hard and Easy Problems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {631-637},
  KEYWORDS = {}}

@inproceedings{Jampel:95IJ,
  AUTHOR = {M. Jampel and S. Hunt},
  TITLE = {Composition in Hierarchical CLP},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {640-645},
  KEYWORDS = {}}

@inproceedings{Smith:95IJ,
  AUTHOR = {B. M. Smith and S. A. Grant},
  TITLE = {Sparse Constraint Graphs and Exceptionally Hard Problems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {646-651},
  KEYWORDS = {}}

@inproceedings{Shehory:95IJ,
  AUTHOR = {O. Shehory and S. Kraus},
  TITLE = {Task Allocation Via Coalition Formation Among Autonomous Agents},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {655-661},
  KEYWORDS = {}}

@inproceedings{Sandholm:95IJa,
  AUTHOR = {T. W. Sandholm and V. R. Lesser},
  TITLE = {Coalition Formation Among Bounded Rational Agents},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {662-669},
  KEYWORDS = {}}

@inproceedings{Kuokka:95IJ,
  AUTHOR = {D. Kuokka and L. Harada},
  TITLE = {Matchmaking for Information Agents},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {672-678},
  KEYWORDS = {}}

@inproceedings{Briggs:95IJ,
  AUTHOR = {W. Briggs and D. Cook},
  TITLE = {Flexible Social Laws},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {688-693},
  KEYWORDS = {}}

@inproceedings{Sandholm:95IJb,
  AUTHOR = {T. W. Sandholm and V. R. Lesser},
  TITLE = {Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {694-701},
  KEYWORDS = {}}

@inproceedings{Georgeff:95IJ,
  AUTHOR = {M. P. Georgeff and A. S. Rao},
  TITLE = {The Semantics of Intention Maintenance for Rational Agents},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {704-710},
  KEYWORDS = {}}

@inproceedings{Hogg95IJ,
  AUTHOR = {T. Hogg},
  TITLE = {Social Dilemmas in Computational Ecosystems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {711-716},
  KEYWORDS = {}}

@inproceedings{Bala:95IJ,
  AUTHOR = {J. Bala and J. Huang and H. Vafaie and K. DeJong and H. Wechsler},
  TITLE = {Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {719-724},
  KEYWORDS = {}}

@inproceedings{Sen:95IJ,
  AUTHOR = {S. Sen and L. Knight},
  TITLE = {A Genetic Prototype Learner},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {725-731},
  KEYWORDS = {}}

@inproceedings{Koza95IJ,
  AUTHOR = {J. R. Koza},
  TITLE = {Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {734-740},
  KEYWORDS = {}}

@inproceedings{Andre95IJ,
  AUTHOR = {D. Andre},
  TITLE = {The Automatic Programming of Agents That Learn Mental Models and Create Simple Plans of Action},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {741-747},
  KEYWORDS = {}}

@inproceedings{Karp:95IJa,
  AUTHOR = {P. D. Karp and S. M. Paley},
  TITLE = {Knowledge Representation in the Large},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {751-758},
  KEYWORDS = {}}

@inproceedings{Chaudhri:95IJ,
  AUTHOR = {V. K. Chaudhri and J. Mylopoulos},
  TITLE = {Efficient Algorithms and Performance Results for Multi-User Knowledge Bases},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {759-766},
  KEYWORDS = {}}

@inproceedings{Karp:95IJb,
  AUTHOR = {P. D. Karp and K. L. Myers and T. Gruber},
  TITLE = {The Generic Frame Protocol},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {768-774},
  KEYWORDS = {}}

@inproceedings{Mouaddib:95IJ,
  AUTHOR = {A. Mouaddib and S. Zilberstein},
  TITLE = {Knowledge-Based Anytime Computation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {775-781},
  KEYWORDS = {}}

@inproceedings{Gamper:95IJ,
  AUTHOR = {J. Gamper and W. Nejdl},
  TITLE = {Proposing Measurements in Dynamic Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {784-790},
  KEYWORDS = {}}

@inproceedings{Barbeau:95IJ,
  AUTHOR = {M. Barbeau and F. Kabanza and R. St-Denis},
  TITLE = {Synthesizing Plant Controllers Using Real-Time Goals},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {791-798},
  KEYWORDS = {}}

@inproceedings{De-Giacomo:95IJ,
  AUTHOR = {G. {De Giacomo} and M. Lenzerini},
  TITLE = {What's in an Aggregate: Foundations for Description Logics with Tuples and Sets},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {801-807},
  KEYWORDS = {}}

@inproceedings{Baader:95IJ,
  AUTHOR = {F. Baader and A. Laux},
  TITLE = {Terminological Logics with Modal Operators},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {808-814},
  KEYWORDS = {}}

@inproceedings{Mc-Guinness:95IJ,
  AUTHOR = {D. L. {Mc Guinness} and A. T. Borgida},
  TITLE = {Explaining Subsumption in Description Logics},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {816-821},
  KEYWORDS = {}}

@inproceedings{Williams:95IJ,
  AUTHOR = {M.-A. Williams and M. Pagnucco and B. Sims and N. Foo},
  TITLE = {Determining Explanations Using Transmutations},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {822-827},
  KEYWORDS = {}}

@inproceedings{Val95IJ,
  AUTHOR = {A. del Val},
  TITLE = {An Analysis of Approximate Knowledge Compilation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {830-836},
  KEYWORDS = {}}

@inproceedings{Marquis95IJ,
  AUTHOR = {P. Marquis},
  TITLE = {Knowledge Compilation Using Theory Prime Implicates},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {837-843},
  KEYWORDS = {}}

@inproceedings{Asher:95IJ,
  AUTHOR = {N. Asher and L. Vieu},
  TITLE = {Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {846-852},
  KEYWORDS = {}}

@inproceedings{Lakemeyer95IJ,
  AUTHOR = {G. Lakemeyer},
  TITLE = {A Logical Account of Relevance},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {853-859},
  KEYWORDS = {}}

@inproceedings{Gogic:95IJ,
  AUTHOR = {G. Gogic and C. Papadimitriou and B. Selman and H. Kautz},
  TITLE = {The Comparative Linguistics of Knowledge Representation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {862-869},
  KEYWORDS = {}}

@inproceedings{Eiter:95IJ,
  AUTHOR = {T. Eiter and G. Gottlob and N. Leone},
  TITLE = {Semantics and Complexity of Abduction from Default Theories},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {870-876},
  KEYWORDS = {}}

@inproceedings{McCartney:95IJ,
  AUTHOR = {R. McCartney and M. Anderson},
  TITLE = {Inter-Diagrammatic Reasoning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {878-884},
  KEYWORDS = {}}

@inproceedings{Tessler:95IJ,
  AUTHOR = {S. Tessler and Y. Iwasaki and K. Law},
  TITLE = {Qualitative Structural Analysis Using Diagrammatic Reasoning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {885-891},
  KEYWORDS = {}}

@inproceedings{Euzenat95IJ,
  AUTHOR = {J. Euzenat},
  TITLE = {An Algebraic Approach to Granularity in Qualitative Time and Space Representation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {894-900},
  KEYWORDS = {}}

@inproceedings{Grigni:95IJ,
  AUTHOR = {M. Grigni and D. Papadias and C. Papadimitriou},
  TITLE = {Topological Inference},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {901-906},
  KEYWORDS = {}}

@inproceedings{Straach:95IJ,
  AUTHOR = {J. Straach and H. Schweitzer},
  TITLE = {Utilizing Moment Invariants and Gr\"obner Bases to Reason About Shapes},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {908-914},
  KEYWORDS = {}}

@inproceedings{Mukerjee:95IJ,
  AUTHOR = {A. Mukerjee and M. Agarwal and P. Bhatia},
  TITLE = {A Qualitative Discretization for Two-Body Contacts},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {915-921},
  KEYWORDS = {}}

@inproceedings{Lieberman95IJ,
  AUTHOR = {H. Lieberman},
  TITLE = {Letizia: An Agent That Assists Web Browsing},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {924-929},
  KEYWORDS = {}}

@inproceedings{Perkowitz:95IJ,
  AUTHOR = {M. Perkowitz and O. Etzioni},
  TITLE = {Category Translation: Learning to Understand Information on the Internet},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {930-936},
  KEYWORDS = {}}

@inproceedings{Simon95IJ,
  AUTHOR = {H. A. Simon},
  TITLE = {Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {939-948},
  KEYWORDS = {}}

@inproceedings{Russell95IJ,
  AUTHOR = {S. Russell},
  TITLE = {Rationality and Intelligence},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {950957},
  KEYWORDS = {}}

@inproceedings{Maresky:95IJ,
  AUTHOR = {J. Maresky and Y. Davidor and D. Gitler and G. Aharoni and A. Barak},
  TITLE = {Profiling Communication in Distributed Genetic Algorithms},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {961-966},
  KEYWORDS = {}}

@inproceedings{Hayes-Roth95IJ,
  AUTHOR = {B. Hayes-Roth},
  TITLE = {Agents on Stage: Advancing the State of the Art of AI},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {967-971},
  KEYWORDS = {}}

@inproceedings{Hayes:95IJ,
  AUTHOR = {P. Hayes and K. Ford},
  TITLE = {Turing Test Considered Harmful},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {972-977},
  KEYWORDS = {}}

@inproceedings{Kay95IJ,
  AUTHOR = {J. Kay},
  TITLE = {Vive la Difference! Individualised Interaction with Users},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {978-984},
  KEYWORDS = {}}

@inproceedings{Kephart:95IJ,
  AUTHOR = {J. O. Kephart and G. B. Sorkin and W. C. Arnold and D. M. Chess and G. J. Tesauro and S. R. White},
  TITLE = {Biologically Inspired Defenses Against Computer Viruses},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {985-996},
  KEYWORDS = {}}

@inproceedings{Muggleton95IJ,
  AUTHOR = {S. Muggleton},
  TITLE = {Inductive Logic Programming: Inverse Resolution and Beyond},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {997},
  KEYWORDS = {}}

@inproceedings{Selman95IJ,
  AUTHOR = {B. Selman},
  TITLE = {Stochastic Search and Phase Transitions: AI Meets Physics},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {998-1002},
  KEYWORDS = {}}

@inproceedings{Terzopoulos95IJ,
  AUTHOR = {D. Terzopoulos},
  TITLE = {Modeling Living Systems for Computer Vision},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1003-1013},
  KEYWORDS = {}}

@inproceedings{Quinlan:95IJ,
  AUTHOR = {J. R. Quinlan and R. M. Cameron-Jones},
  TITLE = {Oversearching and Layered Search in Empirical Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1019-1024},
  KEYWORDS = {}}

@inproceedings{Murthy:95IJ,
  AUTHOR = {S. Murthy and S. Salzberg},
  TITLE = {Lookahead and Pathology in Decision Tree Induction},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1025-1031},
  KEYWORDS = {}}

@inproceedings{Kononenko95IJ,
  AUTHOR = {I. Kononenko},
  TITLE = {On Biases in Estimating Multi-Valued Attributes},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1034-1040},
  KEYWORDS = {}}

@inproceedings{Ortega:95IJ,
  AUTHOR = {J. Ortega and D. Fisher},
  TITLE = {Flexibly Exploiting Prior Knowledge in Empirical Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1041-1047},
  KEYWORDS = {}}

@inproceedings{McCarthy:95IJ,
  AUTHOR = {J. F. McCarthy and W. G. Lehnert},
  TITLE = {Using Decision Trees for Coreference Resolution},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1050-1055},
  KEYWORDS = {}}

@inproceedings{Holder95IJ,
  AUTHOR = {L. B. Holder},
  TITLE = {Intermediate Decision Trees},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1056-1062},
  KEYWORDS = {}}

@inproceedings{Zheng95IJ,
  AUTHOR = {Z. Zheng},
  TITLE = {Constructing Nominal X-of-N Attributes},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1064-1070},
  KEYWORDS = {}}

@inproceedings{Simmons:95IJ,
  AUTHOR = {R. Simmons and S. Koenig},
  TITLE = {Probabilistic Robot Navigation in Partially Observable Environments},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1080-1087},
  KEYWORDS = {}}

@inproceedings{Parr:95IJ,
  AUTHOR = {R. Parr and S. Russell},
  TITLE = {Approximating Optimal Policies for Partially Observable Stochastic Domains},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1088-1094},
  KEYWORDS = {}}

@inproceedings{Boutilier:95IJa,
  AUTHOR = {C. Boutilier and M. L. Puterman},
  TITLE = {Process-Oriented Planning and Average-Reward Optimality},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1096-1103},
  KEYWORDS = {}}

@inproceedings{Boutilier:95IJb,
  AUTHOR = {C. Boutilier and R. Dearden and M. Goldszmidt},
  TITLE = {Exploiting Structure in Policy Construction},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1104-1111},
  KEYWORDS = {}}

@inproceedings{Zhang:95IJa,
  AUTHOR = {W. Zhang and T. G. Dietterich},
  TITLE = {A Reinforcement Learning Approach to Job-Shop Scheduling},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1114-1120},
  KEYWORDS = {}}

@inproceedings{Dean:95IJ,
  AUTHOR = {T. Dean and S.-H. Lin},
  TITLE = {Decomposition Texchniques for Planning in Stochastic Domains},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1121-1127},
  KEYWORDS = {}}

@inproceedings{Kang:95IJ,
  AUTHOR = {H.-J. Kang and J.-H. Kim},
  TITLE = {Dependency Relationship Based Decision Combination in Multiple Classifier Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1130-1136},
  KEYWORDS = {}}

@inproceedings{Kohavi95IJ,
  AUTHOR = {R. Kohavi},
  TITLE = {A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1137-1143},
  KEYWORDS = {}}

@inproceedings{Russell:95IJ,
  AUTHOR = {S. Russell and J. Binder and D. Koller and K. Kanazawa},
  TITLE = {Local Learning in Probabilistic Networks with Hidden Variables},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1146-1152},
  KEYWORDS = {}}

@inproceedings{DeJong:95IJ,
  AUTHOR = {G. DeJong and S. Bennett},
  TITLE = {Extending Classical Planning to Real-World Execution with Machine Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1153-1159},
  KEYWORDS = {}}

@inproceedings{Greiner95IJ,
  AUTHOR = {R. Greiner},
  TITLE = {The Complexity of Theory Revision},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1162-1168},
  KEYWORDS = {}}

@inproceedings{Schuurmans:95IJ,
  AUTHOR = {D. Schuurmans and R. Greiner},
  TITLE = {Practical PAC Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1169-1175},
  KEYWORDS = {}}

@inproceedings{Roth95IJ,
  AUTHOR = {D. Roth},
  TITLE = {Learning to Reason: The Non-Monotonic Case},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1178-1184},
  KEYWORDS = {}}

@inproceedings{Koller:95IJ,
  AUTHOR = {D. Koller and A. Pfeffer},
  TITLE = {Generating and Solving Imperfect Information Games},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1185-1192},
  KEYWORDS = {}}

@inproceedings{Bostroem95IJ,
  AUTHOR = {H. Bostr\"om},
  TITLE = {Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1194-1200},
  KEYWORDS = {}}

@inproceedings{Ade:95IJ,
  AUTHOR = {H. Ade and M. Denecker},
  TITLE = {AILP: Abductive Inductive Logic Programming},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1201-1207},
  KEYWORDS = {}}

@inproceedings{Frisch:95IJ,
  AUTHOR = {A. M. Frisch and C. D. Page},
  TITLE = {Building Theories into Instantiation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1210-1216},
  KEYWORDS = {}}

@inproceedings{Thrun:95IJ,
  AUTHOR = {S. Thrun and T. M. Mitchell},
  TITLE = {Learning One More Thing},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1217-1223},
  KEYWORDS = {}}

@inproceedings{Domingos95IJ,
  AUTHOR = {P. Domingos},
  TITLE = {Rule Induction and Instance-Based Learning: A Unified Approach},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1226-1232},
  KEYWORDS = {}}

@inproceedings{Deng:95IJ,
  AUTHOR = {K. Deng and A. W. Moore},
  TITLE = {Multiresolution Instance-Based Learning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1233-1239},
  KEYWORDS = {}}

@inproceedings{Chu-Carroll:95IJ,
  AUTHOR = {J. Chu-Carroll and S. Carberry},
  TITLE = {Generating Information-Sharing Subdialogues in Expert-User Consultation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1243-1250},
  KEYWORDS = {}}

@inproceedings{Zukerman:95IJ,
  AUTHOR = {I. Zukerman and R. McConachy},
  TITLE = {Generating Discourse Across Several User Models: Maximizing Belief While Avoiding Boredom and Overload},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1251-1257},
  KEYWORDS = {}}

@inproceedings{Lochbaum95IJ,
  AUTHOR = {K. E. Lochbaum},
  TITLE = {The Use of Knowledge Preconditions in Language Processing},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1260-1266},
  KEYWORDS = {}}

@inproceedings{Passonneau95IJ,
  AUTHOR = {R. J. Passonneau},
  TITLE = {Integrating Gricean and Attentional Constraints},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1267-1273},
  KEYWORDS = {}}

@inproceedings{Mittal:95IJ,
  AUTHOR = {V. O. Mittal and S. Roth and J. D. Moore and J. Mattis and G. Carenini},
  TITLE = {Generating Explanatory Captions for Information Graphics},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1276-1283},
  KEYWORDS = {}}

@inproceedings{Nagao:95IJ,
  AUTHOR = {K. Nagao and J. Rekimoto},
  TITLE = {Ubiquitous Talker: Spoken Language Interaction with Real World Objects},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1284-1290},
  KEYWORDS = {}}

@inproceedings{Steedman95IJ,
  AUTHOR = {M. Steedman},
  TITLE = {Dynamic Semantics for Tense and Aspect},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1292-1298},
  KEYWORDS = {}}

@inproceedings{Dorr:95IJ,
  AUTHOR = {B. J. Dorr and T. Gaasterland},
  TITLE = {Selecting Tense, Aspect, and Connecting Words In Language Generation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1299-1305},
  KEYWORDS = {}}

@inproceedings{Takenobu:95IJ,
  AUTHOR = {T. Takenobu and I. Makoto and T. Hozumi},
  TITLE = {Automatic Thesaurus Construction Based on Grammatical Relations},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1308-1313},
  KEYWORDS = {}}

@inproceedings{Soderland:95IJ,
  AUTHOR = {S. Soderland and D. Fisher and J. Aseltine and W. Lehnert},
  TITLE = {CRYSTAL: Inducing a Conceptual Dictionary},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1314-1319},
  KEYWORDS = {}}

@inproceedings{Iwayama:95IJ,
  AUTHOR = {M. Iwayama and T. Tokunaga},
  TITLE = {Hierarchical Bayesian Clustering for Automatic Text Classification},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1322-1327},
  KEYWORDS = {}}

@inproceedings{Song:95IJ,
  AUTHOR = {F. Song and R. Cohen},
  TITLE = {Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1338-1345},
  KEYWORDS = {}}

@inproceedings{Vilain95IJ,
  AUTHOR = {M. Vilain},
  TITLE = {Semantic Inference in Natural Language: Validating a Tractable Approach},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1346-1351},
  KEYWORDS = {}}

@inproceedings{Azzam95IJ,
  AUTHOR = {S. Azzam},
  TITLE = {Anaphors, PPs and Disambiguation Process for Conceptual Analysis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1354-1359},
  KEYWORDS = {}}

@inproceedings{Nasukawa:95IJ,
  AUTHOR = {T. Nasukawa and N. Uramoto},
  TITLE = {Discourse as a Knowledge Resource for Sentence Disambiguation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1360-1365},
  KEYWORDS = {}}

@inproceedings{Li:95IJ,
  AUTHOR = {X. Li and S. Szpakowicz and S. Matwin},
  TITLE = {A WordNet-Based Algorithm for Word Sense Disambiguation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1368-1374},
  KEYWORDS = {}}

@inproceedings{Haase95IJ,
  AUTHOR = {K. B. Haase},
  TITLE = {Analogy in the Large},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1375-1380},
  KEYWORDS = {}}

@inproceedings{Hatzivassiloglou:95IJ,
  AUTHOR = {V. Hatzivassiloglou and K. Knight},
  TITLE = {Unification-Based Glossing},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1382-1389},
  KEYWORDS = {}}

@inproceedings{Knight:95IJ,
  AUTHOR = {K. Knight and I. Chander and M. Haines and V. Hatzivassiloglou and E. Hovy and M. Iida and S. K. Luk and R. Whitney and K. Yamada},
  TITLE = {Filling Knowledge Gaps in a Broad-Coverage Machine Translation System},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1390-1396},
  KEYWORDS = {}}

@inproceedings{Paris:95IJ,
  AUTHOR = {C. Paris and K. Vander Linden and M. Fisher and A. Hartley and L. Pemberton and R. Power and D. Scott},
  TITLE = {A Support Tool for Writing Multilingual Instructions},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1398-1404},
  KEYWORDS = {}}

@inproceedings{Joensson95IJ,
  AUTHOR = {A. J\"onsson},
  TITLE = {Dialogue Actions for Natural Language Interfaces},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1405-1411},
  KEYWORDS = {}}

@inproceedings{Samuelsson95IJ,
  AUTHOR = {C. Samuelsson},
  TITLE = {An Efficient Algorithm for Surface Generation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1414-1419},
  KEYWORDS = {}}

@inproceedings{Lin95IJb,
  AUTHOR = {D. Lin},
  TITLE = {A Dependency-Based Method for Evaluating Broad-Coverage Parsers},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1420-1425},
  KEYWORDS = {}}

@inproceedings{Krieger:95IJ,
  AUTHOR = {H.-U. Krieger and U. Sch\"afer},
  TITLE = {Efficient Parameterizable Type Expansion for Typed Feature Formalisms},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1428-1434},
  KEYWORDS = {}}

@inproceedings{Imaichi:95IJ,
  AUTHOR = {O. Imaichi and Y. Matsumoto},
  TITLE = {Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1435-1440},
  KEYWORDS = {}}

@inproceedings{Cayrol95IJ,
  AUTHOR = {C. Cayrol},
  TITLE = {On the Relation Between Argumentation and Non-Monotonic Coherence-Based Entailment},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1443-1448},
  KEYWORDS = {}}

@inproceedings{Benferhat:95IJ,
  AUTHOR = {S. Benferhat and D. Dubois and H. Prade},
  TITLE = {How to Infer From Inconsistent Beliefs Without Revising?},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1449-1455},
  KEYWORDS = {}}

@inproceedings{Brafman:95IJa,
  AUTHOR = {R. I. Brafman and N. Friedman},
  TITLE = {On Decision-Theoretic Foundations for Defaults},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1458-1465},
  KEYWORDS = {}}

@inproceedings{Morreau95IJ,
  AUTHOR = {M. Morreau},
  TITLE = {Allowed Arguments},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1466-1472},
  KEYWORDS = {}}

@inproceedings{Rintanen95IJ,
  AUTHOR = {J. Rintanen},
  TITLE = {On Specificity in Default Logic},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1474-1479},
  KEYWORDS = {}}

@inproceedings{Tan:95IJ,
  AUTHOR = {S.-W. Tan and J. Pearl},
  TITLE = {Specificity and Inheritance in Default Reasoning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1480-1486},
  KEYWORDS = {}}

@inproceedings{Delgrande95IJ,
  AUTHOR = {J. P. Delgrande},
  TITLE = {Syntactic Conditional Closures for Defeasible Reasoning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1488-1494},
  KEYWORDS = {}}

@inproceedings{Geffner:95IJ,
  AUTHOR = {H. Geffner and J. Llopis and G. Mendez},
  TITLE = {Sound and Efficient Non-Monotonic Inference},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1495-1500},
  KEYWORDS = {}}

@inproceedings{Doherty:95IJ,
  AUTHOR = {P. Doherty and W. Lukaszewicz and A. Szalas},
  TITLE = {Computing Circumscription Revisited: Preliminary Report},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1502-1508},
  KEYWORDS = {}}

@inproceedings{Mikitiuk:95IJ,
  AUTHOR = {A. Mikitiuk and M. Truszczynski},
  TITLE = {Constrained and Rational Default Logics},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1509-1515},
  KEYWORDS = {}}

@inproceedings{Bochman95IJ,
  AUTHOR = {A. Bochman},
  TITLE = {On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1518-1524},
  KEYWORDS = {}}

@inproceedings{Torre:95IJ,
  AUTHOR = {L. W. N. van der Torre and Y.-H. Tan},
  TITLE = {Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1525-1532},
  KEYWORDS = {}}

@inproceedings{Lehmann95IJ,
  AUTHOR = {D. Lehmann},
  TITLE = {Belief Revision, Revised},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1534-1540},
  KEYWORDS = {}}

@inproceedings{Williams95IJ,
  AUTHOR = {M.-A. Williams},
  TITLE = {Iterated Theory Base Change: A Computational Model},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1541-1547},
  KEYWORDS = {}}

@inproceedings{Boutilier95IJ,
  AUTHOR = {C. Boutilier},
  TITLE = {Generalized Update: Belief Change in Dynamic Settings},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1550-1556},
  KEYWORDS = {}}

@inproceedings{Liberatore:95IJ,
  AUTHOR = {P. Liberatore and M. Schaerf},
  TITLE = {Relating Belief Revision and Circumscription},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1557-1563},
  KEYWORDS = {}}

@inproceedings{Collins:95IJ,
  AUTHOR = {G. Collins and L. Pryor},
  TITLE = {Planning Under Uncertainty: Some Key Issues},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1567-1573},
  KEYWORDS = {}}

@inproceedings{Zilberstsein95IJ,
  AUTHOR = {S. Zilberstsein},
  TITLE = {Optimizing Decision Quality with Contract Algorithms},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1576-1582},
  KEYWORDS = {}}

@inproceedings{Bresina:95IJ,
  AUTHOR = {J. Bresina and M. Drummond and K. Swanson},
  TITLE = {Expected Solution Quality},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1583-1590},
  KEYWORDS = {}}

@inproceedings{Erol:95IJ,
  AUTHOR = {K. Erol and J. Hendler and D. S. Nau and R. Tsuneto},
  TITLE = {A Critical Look at Critics in HTN Planning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1592-1598},
  KEYWORDS = {}}

@inproceedings{Baeckstroem:95IJ,
  AUTHOR = {C. B\"ackstr\"om and P. Jonsson},
  TITLE = {Planning with Abstraction Hierarchies Can Be Exponentially Less Efficient},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1599-1604},
  KEYWORDS = {}}

@inproceedings{Fink:95IJ,
  AUTHOR = {E. Fink and Q. Yang},
  TITLE = {Planning with Primary Effects: Experiments and Analysis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1606-1611},
  KEYWORDS = {}}

@inproceedings{Lansky:95IJ,
  AUTHOR = {A. L. Lansky and L. C. Getoor},
  TITLE = {Scope and Abstraction: Two Criteria for Localized Planning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1612-1618},
  KEYWORDS = {}}

@inproceedings{Srinivasan:95IJ,
  AUTHOR = {R. Srinivasan and A. E. Howe},
  TITLE = {Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1620-1626},
  KEYWORDS = {}}

@inproceedings{Kambhampati95IJ,
  AUTHOR = {S. Kambhampati},
  TITLE = {Admissible Pruning Strategies Based on Plan Minimality for Plan-Space Planning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1627-1633},
  KEYWORDS = {}}

@inproceedings{Blum:95IJ,
  AUTHOR = {A. L. Blum and M. L. Furst},
  TITLE = {Fast Planning Through Planning Graph Analysis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1636-1642},
  KEYWORDS = {}}

@inproceedings{Laborie:95IJ,
  AUTHOR = {P. Laborie and M. Ghallab},
  TITLE = {Planning with Sharable Resource Constraints},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1643-1649},
  KEYWORDS = {}}

@inproceedings{Stentz95IJ,
  AUTHOR = {A. Stentz},
  TITLE = {The Focussed D* Algorithm for Real-Time Replanning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1652-1659},
  KEYWORDS = {}}

@inproceedings{Koenig:95IJ,
  AUTHOR = {S. Koenig and R. G. Simmons},
  TITLE = {Real-Time Search in Non-Deterministic Domains},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1660-1667},
  KEYWORDS = {}}

@inproceedings{Nau:95IJ,
  AUTHOR = {D. S. Nau and S. K. Gupta and W. C. Regli},
  TITLE = {AI Planning Versus Manufacturing-Operation Planning: A Case Study},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1670-1676},
  KEYWORDS = {}}

@inproceedings{Britanik:95IJ,
  AUTHOR = {J. Britanik and M. Marefat},
  TITLE = {Hierarchical Plan Merging with Application to Process Planning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1677-1683},
  KEYWORDS = {}}

@inproceedings{Knoblock95IJ,
  AUTHOR = {C. A. Knoblock},
  TITLE = {Planning, Executing, Sensing, and Replanning for Information Gathering},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1686-1693},
  KEYWORDS = {}}

@inproceedings{Choueiry:95IJ,
  AUTHOR = {B. Y. Choueiry and B. Faltings and R. Weigel},
  TITLE = {Abstraction by Interchangeability in Resource Allocation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1694-1701},
  KEYWORDS = {}}

@inproceedings{Lesh:95IJ,
  AUTHOR = {N. Lesh and O. Etzioni},
  TITLE = {A Sound and Fast Goal Recognizer},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1704-1710},
  KEYWORDS = {}}

@inproceedings{Hayashi95IJ,
  AUTHOR = {Y. Hayashi},
  TITLE = {Recovering Problem-Solving Activities from Query Messages},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1711-1717},
  KEYWORDS = {}}

@inproceedings{Neidl:95IJ,
  AUTHOR = {W. Neidl and P. Fr\"ohlich and M. Schroeder},
  TITLE = {A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1721-1727},
  KEYWORDS = {}}

@inproceedings{Boettcher95IJ,
  AUTHOR = {C. B\"ottcher},
  TITLE = {No Faults in Structure? - How to Diagnose Hidden Interactions},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1728-1734},
  KEYWORDS = {}}

@inproceedings{Kleer:95IJ,
  AUTHOR = {J. de Kleer and O. Raiman},
  TITLE = {Trading Off the Costs of Inference Vs. Probing in Diagnosis},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1736-1741},
  KEYWORDS = {}}

@inproceedings{El-Fattah:95IJ,
  AUTHOR = {Y. {El Fattah} and R. Dechter},
  TITLE = {Diagnosing Tree-Decomposable Circuits},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1742-1748},
  KEYWORDS = {}}

@inproceedings{Kurumatani95IJ,
  AUTHOR = {K. Kurumatani},
  TITLE = {Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1750-1756},
  KEYWORDS = {}}

@inproceedings{Richards:95IJ,
  AUTHOR = {B. Richards and B. Faltings and P. Duxbury-Smith},
  TITLE = {Case-Based Modeling with Qualitative Indices},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1757-1763},
  KEYWORDS = {}}

@inproceedings{Ling95IJ,
  AUTHOR = {S. R. Ling},
  TITLE = {Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1766-1772},
  KEYWORDS = {}}

@inproceedings{Iwasaki:95IJ,
  AUTHOR = {Y. Iwasaki and A. Farquhar and V. Saraswat and D. Bobrow and V. Gupta},
  TITLE = {Modeling Time in Hybrid Systems: How Fast Is `` Instantaneous ''?},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1773-1780},
  KEYWORDS = {}}

@inproceedings{Yip95IJ,
  AUTHOR = {K. Yip},
  TITLE = {Reasoning About Fluid Motion I: Finding Structures},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1782-1788},
  KEYWORDS = {}}

@inproceedings{Junker:95IJ,
  AUTHOR = {U. Junker and B. Braunschweig},
  TITLE = {History-Based Interpretation of Finite Element Simulations of Seismic Wave Fields},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1789-1795},
  KEYWORDS = {}}

@inproceedings{Forbus:95IJ,
  AUTHOR = {K. D. Forbus and B. Falkenhainer},
  TITLE = {Scaling up Self-Explanatory Simulators: Polynomial-Time Compilation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1798-1805},
  KEYWORDS = {}}

@inproceedings{Vescovi:95IJ,
  AUTHOR = {M. Vescovi and A. Farquhar and Y. Iwasaki},
  TITLE = {Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1806-1812},
  KEYWORDS = {}}

@inproceedings{Crawford:95IJ,
  AUTHOR = {J. M. Crawford and D. L. Dvorak and D. J. Litman and A. K. Mishra and P. F. Patel-Schneider},
  TITLE = {Device Representation and Reasoning with Affective Relations},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1814-1820},
  KEYWORDS = {}}

@inproceedings{Doyle95IJ,
  AUTHOR = {R. J. Doyle},
  TITLE = {Determining the Loci of Anomalies Using Minimal Causal Models},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1821-1827},
  KEYWORDS = {}}

@inproceedings{Sasajima:95IJ,
  AUTHOR = {M. Sasajima and Y. Kitamura and M. Ikeda and R. Mizoguchi},
  TITLE = {FBRL: A Function and Behavior Representation Language},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1830-1836},
  KEYWORDS = {}}

@inproceedings{Everett95IJ,
  AUTHOR = {J. O. Everett},
  TITLE = {A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1837-1843},
  KEYWORDS = {}}

@inproceedings{Jaeger95IJ,
  AUTHOR = {M. Jaeger},
  TITLE = {Minimum Cross-Entropy Reasoning: A Statistical Justification},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1847-1852},
  KEYWORDS = {}}

@inproceedings{Halpern:95IJ,
  AUTHOR = {J. Y. Halpern and D. Koller},
  TITLE = {Representation Dependence in Probabilistic Inference},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1853-1860},
  KEYWORDS = {}}

@inproceedings{Hansen:95IJ,
  AUTHOR = {P. Hansen and B. Jaumard and G.-B. D. Nguetse and M. P. de Aragao},
  TITLE = {Models and Algorithms for Probabilistic and Bayesian Logic},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1862-1868},
  KEYWORDS = {}}

@inproceedings{Ramoni95IJ,
  AUTHOR = {M. Ramoni},
  TITLE = {Ignorant Influence Diagrams},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1869-1875},
  KEYWORDS = {}}

@inproceedings{Forbes:95IJ,
  AUTHOR = {J. Forbes and T. Huang and K. Kanazawa and S. Russell},
  TITLE = {The BATmobile: Towards a Bayesian Automated Taxi},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1878-1885},
  KEYWORDS = {}}

@inproceedings{Jameson:95IJ,
  AUTHOR = {A. Jameson and R. Sch\"afer and J. Simons and T. Weis},
  TITLE = {Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1886-1893},
  KEYWORDS = {}}

@inproceedings{Smets95IJ,
  AUTHOR = {P. Smets},
  TITLE = {The Canonical Decomposition of a Weighted Belief},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1896-1901},
  KEYWORDS = {}}

@inproceedings{Yager95IJ,
  AUTHOR = {R. R. Yager},
  TITLE = {On the Representation of Nonmonotonic Relations in the Theory of Evidence},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1902-1907},
  KEYWORDS = {}}

@inproceedings{Xiaochun:95IJ,
  AUTHOR = {C. Xiaochun and J. Yunfei and L. Xuhua},
  TITLE = {The Rationality and Decidability of Fuzzy Implications},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1910-1915},
  KEYWORDS = {}}

@inproceedings{Godo:95IJ,
  AUTHOR = {L. Godo and L. Vila},
  TITLE = {Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1916-1922},
  KEYWORDS = {}}

@inproceedings{Dubois:95IJ,
  AUTHOR = {D. Dubois and H. Prade},
  TITLE = {Possibility Theory as a Basis for Qualitative Decision Theory},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1924-1930},
  KEYWORDS = {}}

@inproceedings{Bacchus:95IJ,
  AUTHOR = {F. Bacchus and J. Y. Halpern and H. J. Levesque},
  TITLE = {Reasoning About Noisy Sensors in the Situation Calculus},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1933-1940},
  KEYWORDS = {}}

@inproceedings{Traverso:95IJ,
  AUTHOR = {P. Traverso and L. Spalazzi},
  TITLE = {A Logic for Acting, Sensing and Planning},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1941-1947},
  KEYWORDS = {}}

@inproceedings{Lukaszewicz:95IJ,
  AUTHOR = {W. Lukaszewicz and E. Madalinska-Bugaj},
  TITLE = {Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1950-1955},
  KEYWORDS = {}}

@inproceedings{Thielscher95IJb,
  AUTHOR = {M. Thielscher},
  TITLE = {The Logic of Dynamic Systems},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1956-1962},
  KEYWORDS = {}}

@inproceedings{Giunchiglia:95IJ,
  AUTHOR = {E. Giunchiglia and V. Lifschitz},
  TITLE = {Dependent Fluents},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1964-1969},
  KEYWORDS = {}}

@inproceedings{Kartha:95IJ,
  AUTHOR = {G. N. Kartha and V. Lifschitz},
  TITLE = {A Simple Formalization of Actions Using Circumscription},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1970-1975},
  KEYWORDS = {}}

@inproceedings{McCain:95IJ,
  AUTHOR = {N. McCain and H. Turner},
  TITLE = {A Causal Theory of Ramifications and Qualifications},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1978-1984},
  KEYWORDS = {}}

@inproceedings{Lin95IJa,
  AUTHOR = {F. Lin},
  TITLE = {Embracing Causality in Specifying the Indirect Effects of Actions},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1985-1991},
  KEYWORDS = {}}

@inproceedings{Thielscher95IJa,
  AUTHOR = {M. Thielscher},
  TITLE = {Computing Ramifications by Postprocessing},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {1994-2000},
  KEYWORDS = {}}

@inproceedings{Lin:95IJ,
  AUTHOR = {F. Lin and R. Reiter},
  TITLE = {How to Progress a Database II: The STRIPS Connection},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2001-2007},
  KEYWORDS = {}}

@inproceedings{Brafman:95IJb,
  AUTHOR = {R. I. Brafman and M. Tennenholtz},
  TITLE = {Towards Action Prediction Using a Mental-Level Model},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2010-2016},
  KEYWORDS = {}}

@inproceedings{Baral95IJ,
  AUTHOR = {C. Baral},
  TITLE = {Reasoning About Actions: Non-Deterministic Effects, Constraints, and Qualification},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2017-2023},
  KEYWORDS = {}}

@inproceedings{Freuder:95IJc,
  AUTHOR = {E. C. Freuder and R. Dechter and M. L. Ginsberg and B. Selman and E. Tsang},
  TITLE = {Systematic Versus Stochastic Constraint Satisfaction},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2027-2032},
  KEYWORDS = {}}

@inproceedings{Hendler:95IJ,
  AUTHOR = {J. Hendler and J. Carbonell and D. Lenat and R. Mizoguchi and P. Rosenbloom},
  TITLE = {VERY Large Knowledge Bases - Architecture vs Engineering},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2033-2036},
  KEYWORDS = {}}

@inproceedings{Sloman95IJ,
  AUTHOR = {A. Sloman},
  TITLE = {A Philosophical Encounter},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2037-2040},
  KEYWORDS = {}}

@inproceedings{McCarthy95IJ,
  AUTHOR = {J. McCarthy},
  TITLE = {What Has AI in Common with Philosophy?},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2041-2042},
  KEYWORDS = {}}

@inproceedings{McGuinness:95IJ,
  AUTHOR = {D. L. McGuinness and L. A. Resnick and C. Isbell},
  TITLE = {Description Logic in Practice: A CLASSIC Application},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2045-2046},
  KEYWORDS = {}}

@inproceedings{Hearst:95IJ,
  AUTHOR = {M. A. Hearst and J. O. Pederson},
  TITLE = {Revealing Collection Structure Through Information Access Interfaces},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2047-2048},
  KEYWORDS = {}}

@inproceedings{Han:95IJ,
  AUTHOR = {J. Han and Y. Fu and S. Tang},
  TITLE = {Advances of the DBLearn System for Knowledge Discovery in Large Databases},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2049-2050},
  KEYWORDS = {}}

@inproceedings{Prokopowicz:95IJ,
  AUTHOR = {P. N. Prokopowicz and P. R. Cooper},
  TITLE = {IRV: Learning to Integrate Visual Information Across Camera Movements},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2051-2052},
  KEYWORDS = {}}

@inproceedings{Andre:95IJ,
  AUTHOR = {E. Andre and W. Finkler and W. Graf and K. Harbusch and J. Heinsohn and A. Kilger and B. Nebel and H.-J. Profitlich and T. Rist and W. Wahlster and A. Butz and A. Jameson},
  TITLE = {WIP: From Multimedia to Intellimedia},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2053-2054},
  KEYWORDS = {}}

@inproceedings{Faltings:95IJ,
  AUTHOR = {B. Faltings and K. Sun},
  TITLE = {Computer-Aided Creative Mechanism Design},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2055-2056},
  KEYWORDS = {}}

@inproceedings{Furse95IJ,
  AUTHOR = {E. Furse},
  TITLE = {Learning University Mathematics},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2057-2058},
  KEYWORDS = {}}

@inproceedings{Ferguson:95IJ,
  AUTHOR = {I. A. Ferguson and J. D. Davlouros},
  TITLE = {PeopleFinder: A Multimodal Multimedia Communications Tool for Interconnecting Office Staff},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2059-2060},
  KEYWORDS = {}}

@inproceedings{Cao:95IJ,
  AUTHOR = {Y. Cao and B. Jung and I. Wachsmuth},
  TITLE = {Situated Verbal Interaction in Virtual Design and Assembly},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2061-2062},
  KEYWORDS = {}}

@inproceedings{Katkere:95IJ,
  AUTHOR = {A. Katkere and D. Kuramura and S. Moezzi and P. Kelly and D. Swanberg and K. Wakimoto and E. Hunter and L.-C. Tai and S. Chatterjee and R. Jain},
  TITLE = {Multiple Perspective Interactive Video},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2063-2064},
  KEYWORDS = {}}

@inproceedings{Bennett:95IJ,
  AUTHOR = {S. Bennett and G. Dejong},
  TITLE = {GRASPER: A Permissive Planning Robot},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2065-2066},
  KEYWORDS = {}}

@inproceedings{Fayyad95IJ,
  AUTHOR = {U. M. Fayyad},
  TITLE = {SKICAT: Sky Image Cataloging and Analysis Tool},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2067-2068},
  KEYWORDS = {}}

@inproceedings{Maples:95IJ,
  AUTHOR = {C. Maples and C. Peterson},
  TITLE = {MUSE(Multidimensional, User-Oriented Synthetic Environment), A New Approach to the Human-Computer Interface Using Precognitive Models of Perception},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2069-2070},
  KEYWORDS = {}}

@inproceedings{Hammond:95IJ,
  AUTHOR = {K. J. Hammond and R. Burke and S. L. Lytinen},
  TITLE = {A Case-Based Approach to Knowledge Navigation},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2071-2072},
  KEYWORDS = {}}

@inproceedings{Maes:95IJ,
  AUTHOR = {P. Maes and B. Blumberg and T. Darrell and A. Pentland and A. Wexelblat},
  TITLE = {Modeling Interactive Agents in ALIVE},
  YEAR = 1995,
  BOOKTITLE = {Proc. of the 14th IJCAI},
  ADDRESS = "Montreal, Canada",
  PAGES = {2073-2074},
  KEYWORDS = {}}