LIDOS BibTeX Database File
aaai93.bib

@inproceedings{Beringer:93AAb,
  AUTHOR = {A. Beringer and S. H\"olldobler},
  TITLE = {On the Adequateness of the Connection Method},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {9-14},
  KEYWORDS = {}}

@inproceedings{Chu:93AA,
  AUTHOR = {H. Chu and D. A. Plaisted},
  TITLE = {Rough Resolution: A Refinement of Resolution to Remove Large Literals},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {15-20},
  KEYWORDS = {}}

@inproceedings{Crawford:93AA,
  AUTHOR = {J. M. Crawford and L. D. Auton},
  TITLE = {Experimental Reults on the Crossover Point in Satisfiability Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {21-27},
  KEYWORDS = {}}

@inproceedings{Gent:93AA,
  AUTHOR = {I. P. Gent and T. Walsh},
  TITLE = {Towards an Understanding of Hill-Climbing Procedures for SAT},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {28-33},
  KEYWORDS = {}}

@inproceedings{Kautz:93AA,
  AUTHOR = {H. A. Kautz and M. J. Kearns and B. Selman},
  TITLE = {Reasoning with Characteristic Models},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {34-39},
  KEYWORDS = {}}

@inproceedings{Morris93AA,
  AUTHOR = {P. Morris},
  TITLE = {The Breakout Method for Escaping from Local Minima},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {40-45},
  KEYWORDS = {}}

@inproceedings{Selaman:93AA,
  AUTHOR = {B. Selaman and H. A. Kautz},
  TITLE = {An Empirical Study of Greedy Local Search for Satisfiability Testing},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {46-51},
  KEYWORDS = {}}

@inproceedings{Goodman93AA,
  AUTHOR = {M. Goodman},
  TITLE = {Projective Visualization: Acting from Experience},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {54-60},
  KEYWORDS = {}}

@inproceedings{McDougal:93AA,
  AUTHOR = {T. F. McDougal and K. J. Hammond},
  TITLE = {Representing and Using Procedural Knowledge to Build Geometry Proofs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {60-65},
  KEYWORDS = {}}

@inproceedings{Rissland:93AA,
  AUTHOR = {E. L. Rissland and J. J. Daniels and Z. R. Rubinstein and D. B. Skalak},
  TITLE = {Case-Based Diagnostic Analysis in a Blackboard Architecture},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {66-72},
  KEYWORDS = {}}

@inproceedings{Zito-Wolf:93AA,
  AUTHOR = {R. Zito-Wolf and R. Alterman},
  TITLE = {A Framework and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {73-78},
  KEYWORDS = {}}

@inproceedings{Cohen93AAa,
  AUTHOR = {W. W. Cohen},
  TITLE = {Cryptographic Limitations on Leraning One-Clause Logic Programs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {80-85},
  KEYWORDS = {}}

@inproceedings{Cohen93AAb,
  AUTHOR = {W. W. Cohen},
  TITLE = {Pac-Learning a Restricted Class of Recursive Logic Programs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {86-92},
  KEYWORDS = {}}

@inproceedings{Frazier:93AA,
  AUTHOR = {M. Frazier and C. D. Page},
  TITLE = {Learnability in Inductive Logic Programming: Some Basic Results and Techniques},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {93-98},
  KEYWORDS = {}}

@inproceedings{Koenig:93AA,
  AUTHOR = {S. Koenig and R. G. Simmons},
  TITLE = {Complexity Analysis of Real-Time Reinforcement Learning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {99-105},
  KEYWORDS = {}}

@inproceedings{Bessiere:93AA,
  AUTHOR = {C. Bessiere and M.-O. Cordier},
  TITLE = {Arc-Consistency and Arc-Consistency Again},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {108-113},
  KEYWORDS = {}}

@inproceedings{Jegou93AAb,
  AUTHOR = {P. Jegou},
  TITLE = {On the Consistency of General Constraint-Satisfaction Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {114-119},
  KEYWORDS = {}}

@inproceedings{Minton93AA,
  AUTHOR = {S. Minton},
  TITLE = {Integrating Heuristics for Constraint Satisfaction Problems: A Case Study},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {120-126},
  KEYWORDS = {}}

@inproceedings{Schwalb:93AA,
  AUTHOR = {E. Schwalb and R. Dechter},
  TITLE = {Coping with Disjunctions in Temporal Constraint Satisfaction Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {127-132},
  KEYWORDS = {}}

@inproceedings{Siskind:93AA,
  AUTHOR = {J. M. Siskind and D. A. McAllester},
  TITLE = {Nondeterministic Lisp as a Subtrate for Constraint Logic Programming},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {133-138},
  KEYWORDS = {}}

@inproceedings{Smith:93AAb,
  AUTHOR = {S. F. Smith and C.-C. Cheng},
  TITLE = {Slack-Based Heuristics for Constraint Satisfaction Scheduling},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {139-144},
  KEYWORDS = {}}

@inproceedings{Tanimoto93AA,
  AUTHOR = {T. Tanimoto},
  TITLE = {A Constraint Decomposition Method for Spatio-Temporal Configuraion Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {145-151},
  KEYWORDS = {}}

@inproceedings{Williams:93AA,
  AUTHOR = {C. P. Williams and T. Hogg},
  TITLE = {Extending Deep Structure},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {152-157},
  KEYWORDS = {}}

@inproceedings{Davis:93AA,
  AUTHOR = {R. Davis and P. Resnick},
  TITLE = {Multiple Dimensions of Generalization in Model-Based Troubleshooting},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {160-167},
  KEYWORDS = {}}

@inproceedings{Feret:93AA,
  AUTHOR = {M. P. Feret and J. I. GLasgow},
  TITLE = {Hybrid Case-Based Reasoning for the Diagnosis of Complex Decvices},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {168-175},
  KEYWORDS = {}}

@inproceedings{Haimowitz:93AA,
  AUTHOR = {I. J. Haimowitz and I. S. Kohane},
  TITLE = {An Epistemology for Clinically Significant Trends},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {176-181},
  KEYWORDS = {}}

@inproceedings{Sun:93AA,
  AUTHOR = {Y. Sun and D. S. Weld},
  TITLE = {A Framework for Model-Based Repair},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {182-187},
  KEYWORDS = {}}

@inproceedings{Joensson93AA,
  AUTHOR = {A. J\"onsson},
  TITLE = {A Method for Development of Dialogue Managers for Natural Language Interfaces},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {190-195},
  KEYWORDS = {}}

@inproceedings{Novick:93AA,
  AUTHOR = {D. G. Novick and K. Ward},
  TITLE = {Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {196-201},
  KEYWORDS = {}}

@inproceedings{Zukerman93AA,
  AUTHOR = {I. Zukerman. R. McConachy},
  TITLE = {An Optimizing Method for Structuring Inferentially Linked Discourse},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {202-207},
  KEYWORDS = {}}

@inproceedings{Decker:93AAa,
  AUTHOR = {K. Decker and V. Lesser},
  TITLE = {A One-Shot Dynaimc Coordination Algorithm for Distributed Sensor Networks},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {210-216},
  KEYWORDS = {}}

@inproceedings{Decker:93AAb,
  AUTHOR = {K. Decker and V. Lesser},
  TITLE = {Quantitative Modeling of Complex Computatinal Task Environments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {217-224},
  KEYWORDS = {}}

@inproceedings{Durfee:93AA,
  AUTHOR = {E. H. Durfee and J. Lee and P. J. Gmytrasiewicz},
  TITLE = {Overeager Reciprocal Rationality and Mixed Strategy Equilibria},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {225-230},
  KEYWORDS = {}}

@inproceedings{Hogg:93AA,
  AUTHOR = {T. Hogg and C. P. Williams},
  TITLE = {Solving the Really Hard Problems with Cooperative Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {231-236},
  KEYWORDS = {}}

@inproceedings{Kosoresow93AA,
  AUTHOR = {A. P. Kosoresow},
  TITLE = {A Fast First-Cut Protocol for Agent Coordination},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {237-242},
  KEYWORDS = {}}

@inproceedings{Kraus93AA,
  AUTHOR = {S. Kraus},
  TITLE = {Agents Contracting Tasks in Non-Collaborative Enviroments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {243-248},
  KEYWORDS = {}}

@inproceedings{Lesser:93AA,
  AUTHOR = {V. Lesser and H. Nawab and I. Gallastegi and F. Klassner},
  TITLE = {IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {249-256},
  KEYWORDS = {}}

@inproceedings{Sandholm93AA,
  AUTHOR = {T. Sandholm},
  TITLE = {An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {256-262},
  KEYWORDS = {}}

@inproceedings{Gautier:93AA,
  AUTHOR = {P. O. Gautier and T. R. Gruber},
  TITLE = {Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {264-270},
  KEYWORDS = {}}

@inproceedings{Mittal:93AA,
  AUTHOR = {V. O. Mittal and C. L. Paris},
  TITLE = {Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {271-276},
  KEYWORDS = {}}

@inproceedings{Rao:93AA,
  AUTHOR = {R. B. Rao and S. C.-Y. Lu},
  TITLE = {Building Models to Support Synthesis in Early Stage Product Design},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {277-282},
  KEYWORDS = {}}

@inproceedings{Stein:93AA,
  AUTHOR = {A. Stein and U. Thiel},
  TITLE = {A Conversational Model of Multimodal Interaction in Information Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {283-288},
  KEYWORDS = {}}

@inproceedings{Doorenbos93AA,
  AUTHOR = {R. R. Doorenbos},
  TITLE = {Matching 100,000 Learned Rules},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {290-296},
  KEYWORDS = {}}

@inproceedings{Evett:93AA,
  AUTHOR = {M. P. Evett and J. A. Hendler and W. A. Andersen},
  TITLE = {Massively Parallel Support for Computationally Effective Recognition Queries},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {297-302},
  KEYWORDS = {}}

@inproceedings{Kitano:93AA,
  AUTHOR = {H. Kitano and H. Shimazu and A. Shibata},
  TITLE = {Case-Method: A Methodology for Building Large-Scale Case-Based Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {303-308},
  KEYWORDS = {}}

@inproceedings{Osgood:93AA,
  AUTHOR = {R. Osgood and R. Bareiss},
  TITLE = {Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {309-314},
  KEYWORDS = {}}

@inproceedings{Delcher:93AA,
  AUTHOR = {A. L. Delcher and S. Kasif and H. R. Goldberg and W. H. Hsu},
  TITLE = {Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract)},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {316-321},
  KEYWORDS = {}}

@inproceedings{Murthy:93AA,
  AUTHOR = {S. Murthy and S. KaSif and S. Salzberg and R. Beigel},
  TITLE = {OC1: Randomized Induction of Oblique Decision Trees},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {322-327},
  KEYWORDS = {}}

@inproceedings{Pazzani:93AA,
  AUTHOR = {M. Pazzani and C. Brunk},
  TITLE = {Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {328-334},
  KEYWORDS = {}}

@inproceedings{Sahami93AA,
  AUTHOR = {M. Sahami},
  TITLE = {Learning Non-Linearly Seperable Boolean Functions with Linear Treshold Unit Trees and Madaline-Style Networks},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {335-341},
  KEYWORDS = {}}

@inproceedings{Elhadad93AA,
  AUTHOR = {M. Elhadad},
  TITLE = {Generating Argumentative Judgement Determiners},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {344-349},
  KEYWORDS = {}}

@inproceedings{Haruno:93AA,
  AUTHOR = {M. Haruno and Y. Den and Y. Matsumoto and M. Nagao},
  TITLE = {Bidirectional Chart Generation of Natural Language Texts},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {350-356},
  KEYWORDS = {}}

@inproceedings{Maybury93AA,
  AUTHOR = {M. T. Maybury},
  TITLE = {Communicative Acts for Generating Natural Language Arguments},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {357-364},
  KEYWORDS = {}}

@inproceedings{Robin:93AA,
  AUTHOR = {J. Robin and K. McKeown},
  TITLE = {Corpus Analysis for Revision-Based Generation of Complex Sentences},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {365-372},
  KEYWORDS = {}}

@inproceedings{Dorr:93AA,
  AUTHOR = {B. J. Dorr and C. R. Voss},
  TITLE = {Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {374-379},
  KEYWORDS = {}}

@inproceedings{Eiselt:93AA,
  AUTHOR = {K. P. Eiselt and K. Mahesh and J. K. Holbkook},
  TITLE = {Having Your Cake and Eating It too: Autonomy and Interaction in a Model of Sentence Processing},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {381-385},
  KEYWORDS = {}}

@inproceedings{Huyck:93AA,
  AUTHOR = {C. R. Huyck and S. L. Lytinen},
  TITLE = {Efficient Heuristic Natural Language Parsing},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {386-391},
  KEYWORDS = {}}

@inproceedings{Mostow:93AA,
  AUTHOR = {J. Mostow and A. G. Hautpmann and L. L. Chase and S. Roth},
  TITLE = {Towards a Reading Coach That Listens: Automated Detection of Oral Reading Errors},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {392-397},
  KEYWORDS = {}}

@inproceedings{Beringer:93AAa,
  AUTHOR = {A. Beringer and T. Schaub},
  TITLE = {Minimal Belief and Negation as Failure: A Feasible Approach},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {400-405},
  KEYWORDS = {}}

@inproceedings{Besnard:93AA,
  AUTHOR = {P. Besnard and T. Schaub},
  TITLE = {A Context-Based Framework for Default Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {406-411},
  KEYWORDS = {}}

@inproceedings{Buvac:93AA,
  AUTHOR = {S. Buvac and I. A. Mason},
  TITLE = {Propositional Logic of Context},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {412-419},
  KEYWORDS = {}}

@inproceedings{Cussens:93AA,
  AUTHOR = {J. Cussens and A. Hunter},
  TITLE = {Generating Explicit Ordering for Non-Monotonic Logics},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {421-425},
  KEYWORDS = {}}

@inproceedings{Goyal:93AA,
  AUTHOR = {N. Goyal and Y. Shoham},
  TITLE = {Reasoning Precisely with Vague Concepts},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {426-431},
  KEYWORDS = {}}

@inproceedings{Lifschitz93AA,
  AUTHOR = {V. Lifschitz},
  TITLE = {Restricted Monotonicity},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {432-437},
  KEYWORDS = {}}

@inproceedings{Schwarz:93AA,
  AUTHOR = {G. Schwarz and M. Truszcynski},
  TITLE = {Subnormal Modal Logics for Knowledge Representation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {438-443},
  KEYWORDS = {}}

@inproceedings{Stachniak93AA,
  AUTHOR = {Z. Stachniak},
  TITLE = {Algebraic Semantics for Cumulative Inference Operations},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {444-449},
  KEYWORDS = {}}

@inproceedings{Baudin:93AA,
  AUTHOR = {C. Baudin and S. Kedar and J. G. Underwood and V. Baya},
  TITLE = {Question-Based Acquisition of Conceptual Indices for Multimedia Design Documentation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {452-458},
  KEYWORDS = {}}

@inproceedings{Maes:93AA,
  AUTHOR = {P. Maes and R. Kozierok},
  TITLE = {Learning Interface Agents},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {459-465},
  KEYWORDS = {}}

@inproceedings{Tangkitvanich:93AA,
  AUTHOR = {S. Tangkitvanich and M. Shimura},
  TITLE = {Learning from an Approximate Theory and Noisy Examples},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {467-471},
  KEYWORDS = {}}

@inproceedings{Valdes-Perez:93AA,
  AUTHOR = {R. E. Valdes-Perez and J. M. Zytkow and H. A. Simon},
  TITLE = {Scientific Model-Building as Search in Matrix Spaces},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {472-478},
  KEYWORDS = {}}

@inproceedings{Bylander93AA,
  AUTHOR = {T. Bylander},
  TITLE = {An Average Case Analysis of Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {480-485},
  KEYWORDS = {}}

@inproceedings{Lee:93AAb,
  AUTHOR = {S. Lee and P. S. Rosenbloom},
  TITLE = {Granularity in Multi-Method Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {486-491},
  KEYWORDS = {}}

@inproceedings{Peot:93AA,
  AUTHOR = {M. A. Peot and D. E. Smith},
  TITLE = {Threat-Removal Strategies for Partial-Order Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {492-499},
  KEYWORDS = {}}

@inproceedings{Smith:93AAa,
  AUTHOR = {D. E. Smith and M. A. Peot},
  TITLE = {Postponing Threats in Partial-Order Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {501-506},
  KEYWORDS = {}}

@inproceedings{DeJong:93AA,
  AUTHOR = {G. DeJong and S. Bennett},
  TITLE = {Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {508-513},
  KEYWORDS = {}}

@inproceedings{Kambhampati:93AA,
  AUTHOR = {S. Kambhampati and J. Chen},
  TITLE = {Relative Utility of EBG Based Plan Reuse in Partial Ordering vs. Total Ordering Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {514-519},
  KEYWORDS = {}}

@inproceedings{Oehlmann:93AA,
  AUTHOR = {R. Oehlmann and D. Dleeman and P. Edwards},
  TITLE = {Learning Plan Trasnformation from Self-Questions: A Memory-Based Approach},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {520-525},
  KEYWORDS = {}}

@inproceedings{Tamne:93AA,
  AUTHOR = {M. Tamne and P. S. Rosenbloom},
  TITLE = {On the Masking Effect},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {526-533},
  KEYWORDS = {}}

@inproceedings{Abella:93AA,
  AUTHOR = {A. Abella and J. R. Kender},
  TITLE = {Qualitatively Describing Objects Using Spatial Prepositions},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {536-540},
  KEYWORDS = {}}

@inproceedings{Dague93AA,
  AUTHOR = {P. Dague},
  TITLE = {Numeric Reasoning with Relative Orders og Magnitude},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {541-547},
  KEYWORDS = {}}

@inproceedings{Druzdzel:93AA,
  AUTHOR = {M. J. Druzdzel and M. Henrion},
  TITLE = {Efficient Reasoning in Aulitative Probabilistic Networks},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {548-553},
  KEYWORDS = {}}

@inproceedings{Nishida93AA,
  AUTHOR = {T. Nishida},
  TITLE = {Generating Quasi-Symbolic Representation of Three-Dimensional Flow},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {554-559},
  KEYWORDS = {}}

@inproceedings{Amador:93AA,
  AUTHOR = {F. G. Amador and A. Finkelstein and D. S. Weld},
  TITLE = {Real-Time Self-Explanatory Simulation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {562-567},
  KEYWORDS = {}}

@inproceedings{Ash:93AA,
  AUTHOR = {D. Ash and B. Hayes-Roth},
  TITLE = {A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {568-573},
  KEYWORDS = {}}

@inproceedings{Dean:93AA,
  AUTHOR = {T. Dean and L. {Pack Kaelbling} and J. Kirman and A. Nicholson},
  TITLE = {Planning with Deadlines in Stochastic Domains},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {574-579},
  KEYWORDS = {}}

@inproceedings{Garvey:93AA,
  AUTHOR = {A. Garvey and M. Humphrey and V. Lesser},
  TITLE = {Task Interdependencies in Design-to-Time Real-Time Scheduling},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {580-585},
  KEYWORDS = {}}

@inproceedings{Brand:93AA,
  AUTHOR = {M. Brand and L. Birnbaum and P. Cooper},
  TITLE = {Sensible Scenes: Visual Understanding of Complex Structures Through Causal Analysis},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {588-593},
  KEYWORDS = {}}

@inproceedings{Ellman:93AA,
  AUTHOR = {T. Ellman and J. Keane and M. Schwabacher},
  TITLE = {Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {594-599},
  KEYWORDS = {}}

@inproceedings{Falkenhainer93AA,
  AUTHOR = {B. Falkenhainer},
  TITLE = {Ideal Physical Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {600-605},
  KEYWORDS = {}}

@inproceedings{Kay:93AA,
  AUTHOR = {H. Kay and B. Kuipers},
  TITLE = {Numerical Behavior Envelopes for Qualitative Models},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {606-613},
  KEYWORDS = {}}

@inproceedings{Lee:93AAa,
  AUTHOR = {W. W. Lee and B. J. Kuipers},
  TITLE = {A Qualitative Method to Construct Phase Portraits},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {614-619},
  KEYWORDS = {}}

@inproceedings{Shrobe93AAb,
  AUTHOR = {H. E. Shrobe},
  TITLE = {Understanding Linkages},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {620-625},
  KEYWORDS = {}}

@inproceedings{Vescovi:93AA,
  AUTHOR = {M. Vescovi and Y. Iwasaki and R. Fikes and B. Chandrasekaran},
  TITLE = {CFRL: A Language for Specifying in the Causal Functionality of Engineered Devices},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {626-633},
  KEYWORDS = {}}

@inproceedings{Yip93AA,
  AUTHOR = {K. M. Yip},
  TITLE = {Model Simplification by Asymptotic Order of Magnitude Reasoning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {634-640},
  KEYWORDS = {}}

@inproceedings{Boutilier:93AAa,
  AUTHOR = {C. Boutilier and V. Becher},
  TITLE = {Abduction as Belief Revision: A Model of Preferred Explanations},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {642-648},
  KEYWORDS = {}}

@inproceedings{Boutilier:93AAb,
  AUTHOR = {C. Boutilier and M. Goldszmidt},
  TITLE = {Revision by Conditional Beliefs},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {649-654},
  KEYWORDS = {}}

@inproceedings{Halpern93AA,
  AUTHOR = {J. Y. Halpern},
  TITLE = {Reasoning about only Knowing with many Agents},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {655-661},
  KEYWORDS = {}}

@inproceedings{Lakemeyer93AA,
  AUTHOR = {G. Lakemeyer},
  TITLE = {All They Know About},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {662-667},
  KEYWORDS = {}}

@inproceedings{Brafman:93AA,
  AUTHOR = {R. I. Brafman and J.-C. Latombe and Y. Shoham},
  TITLE = {Towards Knowledge-Level Analysis of Motion Planning},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {670-675},
  KEYWORDS = {}}

@inproceedings{Hwang:93AA,
  AUTHOR = {C. H. Hwang and L. K. Schubert},
  TITLE = {EL: A Formal, Yet Natural, Comprehensive Knowledge Representation},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {676-682},
  KEYWORDS = {}}

@inproceedings{Ortiz93AA,
  AUTHOR = {C. L. Ortiz},
  TITLE = {The Semantics of Event Prevention},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {683-688},
  KEYWORDS = {}}

@inproceedings{Scherl:93AA,
  AUTHOR = {R. B. Scherl and H. J. Levesque},
  TITLE = {The Frame Problem and Knowledge-Producing Actions},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {689-695},
  KEYWORDS = {}}

@inproceedings{Elkan93AA,
  AUTHOR = {C. Elkan},
  TITLE = {The Paradoxical Success of Fuzzy Logic},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {698-703},
  KEYWORDS = {}}

@inproceedings{Grossner:93AA,
  AUTHOR = {C. Grossner and A. D. Preece and P. G. Chander and T. Radhakrishnan and C. Y. Suen},
  TITLE = {Exploring the Structure of Rule Based Systems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {704-709},
  KEYWORDS = {}}

@inproceedings{Shrobe93AAa,
  AUTHOR = {H. E. Shrobe},
  TITLE = {Supporting and Optimizing Full Unification in a Forward Chaining Rule System},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {710-715},
  KEYWORDS = {}}

@inproceedings{Sugiura:93AA,
  AUTHOR = {A. Sugiura and M. Riesenhuber and Y. Koseki},
  TITLE = {Comprehensibility Improvement of Tabular Knowledge Bases},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {716-721},
  KEYWORDS = {}}

@inproceedings{Genesereth:93AA,
  AUTHOR = {M. R. Genesereth and I. R. Nourbakhsh},
  TITLE = {Time-Saving Tips for Problem Solving with Incomplete Information},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {724-730},
  KEYWORDS = {}}

@inproceedings{Jegou93AAa,
  AUTHOR = {P. Jegou},
  TITLE = {Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {731-736},
  KEYWORDS = {}}

@inproceedings{Neville:93AA,
  AUTHOR = {D. Neville and D. S. Weld},
  TITLE = {Innovative Design as Systematic Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {737-742},
  KEYWORDS = {}}

@inproceedings{Prieditis:93AA,
  AUTHOR = {A. Prieditis and B. Janakiraman},
  TITLE = {Generating Effective Admissible Heuristics by Abstraction and Reconstitution},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {743-748},
  KEYWORDS = {}}

@inproceedings{Provost93AA,
  AUTHOR = {F. J. Provost},
  TITLE = {Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {749-755},
  KEYWORDS = {}}

@inproceedings{Taylor:93AA,
  AUTHOR = {L. A. Taylor and R. E. Korf},
  TITLE = {Pruning Duplicate Nodes in Depth-First Search},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {756-761},
  KEYWORDS = {}}

@inproceedings{Wallace:93AA,
  AUTHOR = {R. J. Wallace and E. C. Freuder},
  TITLE = {Conjunctive Width Heuristics for Maximal Constraint Satisfaction},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {762-768},
  KEYWORDS = {}}

@inproceedings{Zhang:93AA,
  AUTHOR = {W. Zhang and R. E. Korf},
  TITLE = {Depth-First versus Best-First Search: New Results},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {769-775},
  KEYWORDS = {}}

@inproceedings{Bod93AA,
  AUTHOR = {R. Bod},
  TITLE = {Using an Annotated Language Corpus as a Virtual Stochastic Grammar},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {778-783},
  KEYWORDS = {}}

@inproceedings{Charniak:93AA,
  AUTHOR = {E. Charniak and C. Hendrickson and N. Jacobson and M. Perkowitz},
  TITLE = {Equations for Part-of-Speech Tagging},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {784-789},
  KEYWORDS = {}}

@inproceedings{Wu93AA,
  AUTHOR = {D. Wu},
  TITLE = {Estimating Probability Distributions over Hypotheses with Variable Unification},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {790-795},
  KEYWORDS = {}}

@inproceedings{Cardie93AA,
  AUTHOR = {C. Cardie},
  TITLE = {A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {798-803},
  KEYWORDS = {}}

@inproceedings{Kelly:93AA,
  AUTHOR = {V. E. Kelly and M. A. Jones},
  TITLE = {KITSS: A Knowledge-Based Translation System for Test Scenarios},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {804-810},
  KEYWORDS = {}}

@inproceedings{Riloff93AA,
  AUTHOR = {E. Riloff},
  TITLE = {Automatically Constructing a Dictionary for Information Extraction Tasks},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {811-816},
  KEYWORDS = {}}

@inproceedings{Zelle:93AA,
  AUTHOR = {J. M. Zelle and R. J. Mooney},
  TITLE = {Learning Semantic Grammars with Constructive Inductive Logic Programming},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {817-822},
  KEYWORDS = {}}

@inproceedings{Horswill93AA,
  AUTHOR = {I. Horswill},
  TITLE = {Polly: A Vision-Based Artificial Agent},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {824-829},
  KEYWORDS = {}}

@inproceedings{Krishnan:93AA,
  AUTHOR = {A. Krishnan and N. Ahuja},
  TITLE = {Range Estimation from Focus Using a Non-Frontal Imaging Camera},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {830-835},
  KEYWORDS = {}}

@inproceedings{Murase:93AA,
  AUTHOR = {H. Murase and S. K. Nayar},
  TITLE = {Learning Object Models from Appearance},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {836-843},
  KEYWORDS = {}}

@inproceedings{Wildes93AA,
  AUTHOR = {R. P. Wildes},
  TITLE = {On the Qualitative Structure of Temporally Evolving Visual Motion Fields},
  YEAR = 1993,
  BOOKTITLE = {Proc. of AAAI-93},
  ADDRESS = "Washington, DC",
  PAGES = {844-849},
  KEYWORDS = {}}