11. AAAI 1993: Washington, DC

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. The AAAI Press/The MIT Press, 1993, ISBN 0-262-51071-5

Automated Reasoning

Rachel Ben-Eliyahu, Rina Dechter: On Computing Minimal Models. 2-8 BibTeX
Antje Beringer, Steffen Hölldobler: On the Adequateness of the Connection Method. 9-14 BibTeX
Heng Chu, David A. Plaisted: Rough Resolution: A Refinement of Resolution to Remove Large Literals. 15-20 BibTeX
James M. Crawford, Larry D. Auton: Experimental Results on the Crossover Point in Satisfiability Problems. 21-27 BibTeX
Ian P. Gent, Toby Walsh: Towards an Understanding of Hill-Climbing Procedures for SAT. 28-33 BibTeX
Henry A. Kautz, Michael J. Kearns, Bart Selman: Reasoning With Characteristic Models. 34-39 BibTeX
Paul Morris: The Breakout Method for Escaping from Local Minima. 40-45 BibTeX
Bart Selman, Henry A. Kautz: An Empirical Study of Greedy Local Search for Satisfiability Testing. 46-51 BibTeX

Case-Based Reasoning

Marc Goodman: Projective Visualization: Acting from Experience. 54-59 BibTeX
Thomas F. McDougal, Kristian J. Hammond: Representing and Using Procedural Knowledge to Build Geometry Proofs. 60-65 BibTeX
Edwina L. Rissland, Jody J. Daniels, Zachary B. Rubinstein, David B. Skalak: Case-Based Diagnostic Analysis in a Blackboard Architecture. 66-72 BibTeX
Roland Zito-Wolf, Richard Alterman: A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge. 73-78 BibTeX

Complexity in Machine Learning

William W. Cohen: Cryptographic Limitations on Learning One-Clause Logic Programs. 80-85 BibTeX
William W. Cohen: Pac-Learning a Restricted Class of Recursive Logic Programs. 86-92 BibTeX
Michael Frazier, C. David Page Jr.: Learnability in Inductive Logic Programrning: Some Basic Results and Techniques. 93-98 BibTeX
Sven Koenig, Reid G. Simmons: Complexity Analysis of Real-Time Reinforcement Learning. 99-107 BibTeX
Christian Bessière, Marie-Odile Cordier: Arc-Consistency and Arc-Consistency Again. 108-113 BibTeX
Philippe Jégou: On the Consistency of General Constraint-Satisfaction Problems. 114-119 BibTeX
Steven Minton: Integrating Heuristics for Constraint Satisfaction Problems: A Case Study. 120-126 BibTeX
Eddie Schwalb, Rina Dechter: Coping With Disjunctions in Temporal Constraint Satisfaction Problems. 127-132 BibTeX
Jeffrey Mark Siskind, David A. McAllester: Nondeterministic Lisp as a Substrate for Constraint Logic Programming. 133-138 BibTeX
Stephen F. Smith, Cheng-Chung Cheng: Slack-Based Heuristics for Constraint Satisfaction Scheduling. 139-144 BibTeX
Toshikazu Tanimoto: A Constraint Decomposition Method for Spatio-Temporal Configuration Problems. 145-151 BibTeX
Colin P. Williams, Tad Hogg: Extending Deep Structure. 152-157 BibTeX

Diagnostic Reasoning

Randall Davis, Paul Resnick: Multiple Dimensions of Generalization In Model-Based Troubleshooting. 160-167 BibTeX
Michel P. Féret, Janice I. Glasgow: Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices. 168-175 BibTeX
Ira J. Haimowitz, Isaac S. Kohane: An Epistemology for Clinically Significant Trends. 176-181 BibTeX
Ying Sun, Daniel S. Weld: A Framework for Model-Based Repair. 182-187 BibTeX

Discourse Analysis

Arne Jönsson: A Method for Development of Dialogue Managers for Natural Language Interfaces. 190-195 BibTeX
David G. Novick, Karen Ward: Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control. 196-201 BibTeX
Ingrid Zukerman, Richard McConachy: An Optimizing Method for Structuring Inferentially Linked Discourse. 202-207 BibTeX

Distributed Problem Solving

Keith Decker, Victor R. Lesser: A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks. 210-216 BibTeX
Keith Decker, Victor R. Lesser: Quantitative Modeling of Complex Computational Task Environments. 217-224 BibTeX
Edmund H. Durfee, Jaeho Lee, Piotr J. Gmytrasiewicz: Overeager Reciprocal Rationality and Mixed Strategy Equilibria. 225-230 BibTeX
Tad Hogg, Colin P. Williams: Solving the Really Hard Problems with Cooperative Search. 231-236 BibTeX
Andrew P. Kosoresow: A Fast First-Cut Protocol for Agent Coordination. 237-242 BibTeX
Sarit Kraus: Agents Contracting Tasks in Non-Collaborative Environments. 243-248 BibTeX
Victor R. Lesser, Izaskun Gallastegi, Hamid Nawab, Frank Klassner: IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments. 249-255 BibTeX
Tuomas Sandholm: An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations. 256-262 BibTeX

Intelligent User Interfaces

Patrice O. Gautier, Thomas R. Gruber: Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering. 264-270 BibTeX
Vibhu O. Mittal, Cécile Paris: Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts. 271-276 BibTeX
R. Bharat Rao, Stephen C. Y. Lu: Building Models to Support Synthesis in Early Stage Product Design. 277-282 BibTeX
Adelheit Stein, Ulrich Thiel: A Conversational Model of Multimodal Interaction in Information Systems. 283-288 BibTeX

Large Scale Knowledge Bases

Robert B. Doorenbos: Matching 100, 000 Learned Rules. 290-296 BibTeX
Matthew P. Evett, James A. Hendler, William A. Andersen: Massively Parallel Support for Computationally Effective Recognition Queries. 297-302 BibTeX
Hiroaki Kitano, Hideo Shimazu, Akihiro Shibata: Case-Method: A Methodology for Building Large-Scale Case-Based Systems. 303-308 BibTeX
Richard Osgood, Ray Bareiss: Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems. 309-314 BibTeX

Machine Learning

Arthur L. Delcher, Simon Kasif, Harry R. Goldberg, William H. Hsu: Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract). 316-321 BibTeX
Sreerama K. Murthy, Simon Kasif, Steven Salzberg, Richard Beigel: OC1: A Randomized Induction of Oblique Decision Trees. 322-327 BibTeX
Michael J. Pazzani, Clifford Brunk: Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning. 328-334 BibTeX
Mehran Sahami: Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks. 335-341 BibTeX

Natural Language Generation

Michael Elhadad: Generating Argumentative Judgment Determiners. 344-349 BibTeX
Masahiko Haruno, Yasuharu Den, Yuji Matsumoto, Makoto Nagao: Bidirectional Chart Generation of Natural Language Texts. 350-356 BibTeX
Mark T. Maybury: Communicative Acts for Generating Natural Language Arguments. 357-364 BibTeX
Jacques Robin, Kathleen McKeown: Corpus Analysis for Revision-Based Generation of Complex Sentences. 365-372 BibTeX

Natural Language Analysis

Bonnie J. Dorr, Clare R. Voss: Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System. 374-379 BibTeX
Kurt P. Eiselt, Kavi Mahesh, Jennifer K. Holbrook: Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing. 380-385 BibTeX
Christian R. Huyck, Steven L. Lytinen: Efficient Heuristic Natural Language Parsing. 386-391 BibTeX
Jack Mostow, Alexander G. Hauptmann, Lin Lawrence Chase, Steven F. Roth: Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors. 392-397 BibTeX

Nonmonotonic Logic

Antje Beringer, Torsten Schaub: Minimal Belief and Negation as Failure: A Feasible Approach. 400-405 BibTeX
Philippe Besnard, Torsten Schaub: A Context-Based Framework for Default Logics. 406-411 BibTeX
Sasa Buvac, Ian A. Mason: Propositional Logic of Context. 412-419 BibTeX
James Cussens, Anthony Hunter, Ashwin Srinivasan: Generating Explicit Orderings for Non-monotonic Logics. 420-425 BibTeX
Nita Goyal, Yoav Shoham: Reasoning Precisely with Vague Concepts. 426-431 BibTeX
Vladimir Lifschitz: Restricted Monotonicity. 432-437 BibTeX
Grigori Schwarz, Miroslaw Truszczynski: Subnormal Modal Logics for Knowledge Representation. 438-443 BibTeX
Zbigniew Stachniak: Algebraic Sematics for Cumulative Inference Operations. 444-449 BibTeX

Novel Methods in Knowledge Acquisition

Catherine Baudin, Smadar Kedar, Jody Gevins Underwood, Vinod Baya: Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation. 452-458 BibTeX
Pattie Maes, Robyn Kozierok: Learning Interface Agents. 459-465 BibTeX
Somkiat Tangkitvanich, Masamichi Shimura: Learning from an Approximate Theory and Noisy Examples. 466-471 BibTeX
Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon: Scientific Model-Building as Search in Matrix Spaces. 472-478 BibTeX

Plan Generation

Tom Bylander: An Average Case Analysis of Planning. 480-485 BibTeX
Soowon Lee, Paul S. Rosenbloom: Granularity in Multi-Method Planning. 486-491 BibTeX
Mark A. Peot, David E. Smith: Threat-Removal Strategies for Partial-Order Planning. 492-499 BibTeX
David E. Smith, Mark A. Peot: Postponing Threats in Partial-Order Planning. 500-506 BibTeX

Plan Learning

Gerald DeJong, Scott Bennett: Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds. 508-513 BibTeX
Subbarao Kambhampati, Jengchin Chen: Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning. 514-519 BibTeX
Rüdiger Oehlmann, Derek H. Sleeman, Peter Edwards: Learning Plan Transformations from Self-Questions: A Memory-Based Approach. 520-525 BibTeX
Milind Tambe, Paul S. Rosenbloom: On the Masking Effect. 526-533 BibTeX

Qualitative Reasoning

Alicia Abella, John R. Kender: Qualitatively Describing Objects Using Spatial Prepositions. 536-540 BibTeX
Philippe Dague: Numeric Reasoning with Relative Orders of Magnitude. 541-547 BibTeX
Marek J. Druzdzel, Max Henrion: Efficient Reasoning in Qualitative Probabilistic Networks. 548-553 BibTeX
Toyoaki Nishida: Generating Quasi-symbolic Representation of Three-Dimensional Flow. 554-559 BibTeX

Real-Time Planning and Simulation

Franz G. Amador, Adam Finkelstein, Daniel S. Weld: Real-Time Self-Explanatory Simulation. 562-567 BibTeX
David Ash, Barbara Hayes-Roth: A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance. 568-573 BibTeX
Thomas Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson: Planning With Deadlines in Stochastic Domains. 574-579 BibTeX
Alan Garvey, Marty Humphrey, Victor R. Lesser: Task Interdependencies in Design-to-time Real-time Scheduling. 580-585 BibTeX

Reasoning about Physical Systems

Matthew Brand, Lawrence Birnbaum, Paul R. Cooper: Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis. 588-593 BibTeX
Thomas Ellman, John Keane, Mark Schwabacher: Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. 594-599 BibTeX
Brian Falkenhainer: Ideal Physical Systems. 600-605 BibTeX
Herbert Kay, Benjamin Kuipers: Numerical Behavior Envelopes for Qualitative Models. 606-613 BibTeX
Wood W. Lee, Benjamin Kuipers: A Qualitative Method to Construct Phase Portraits. 614-619 BibTeX
Howard E. Shrobe: Understanding Linkages. 620-625 BibTeX
Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran: CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. 626-633 BibTeX
Kenneth Man-kam Yip: Model Simplification by Asymptotic Order of Magnitude Reasoning. 634-640 BibTeX

Representation and Reasoning

Craig Boutilier, Verónica Becher: Abduction As Belief Revision: A Model of Preferred Explanations. 642-648 BibTeX
Craig Boutilier, Moisés Goldszmidt: Revision by Conditional Beliefs. 649-654 BibTeX
Joseph Y. Halpern: Reasoning about only Knowing with Many Agents. 655-661 BibTeX
Gerhard Lakemeyer: All They Know About. 662-667 BibTeX

Representation for Actions and Motion

Ronen I. Brafman, Jean-Claude Latombe, Yoav Shoham: Towards Knowledge-Level Analysis of Motion Planning. 670-675 BibTeX
Chung Hee Hwang, Lenhart K. Schubert: EL: A Formal, Yet Natural, Comprehensive Knowledge Representation. 676-682 BibTeX
Charles L. Ortiz Jr.: The Semantics of Event Prevention. 683-688 BibTeX
Richard B. Scherl, Hector J. Levesque: The Frame Problem and Knowledge-Producing Actions. 689-695 BibTeX

Rule-Based Reasoning

Charles Elkan: The Paradoxical Success of Fuzzy Logic. 698-703 BibTeX
Clifford Grossner, Alun D. Preece, P. Gokul Chander, Thiruvengadam Radhakrishnan, Ching Y. Suen: Exploring the Structure of Rule Based Systems. 704-709 BibTeX
Howard E. Shrobe: Supporting and Optimizing Full Unification in a Forward Chaining Rule System. 710-715 BibTeX
Atsushi Sugiura, Maximilian Riesenhuber, Yoshiyuki Koseki: Comprehensibility Improvement of Tabular Knowledge Bases. 716-721 BibTeX

Search

Michael R. Genesereth, Illah R. Nourbakhsh: Time-Saving Tips for Problem Solving with Incomplete Information. 724-730 BibTeX
Philippe Jégou: Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. 731-736 BibTeX
Dorothy Neville, Daniel S. Weld: Innovative Design as Systematic Search. 737-742 BibTeX
Armand Prieditis, Bhaskar Janakiraman: Generating Effective Admissible Heuristics by Abstraction and Reconstitution. 743-748 BibTeX
Foster J. Provost: Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias. 749-755 BibTeX
Larry A. Taylor, Richard E. Korf: Pruning Duplicate Nodes in Depth-First Search. 756-761 BibTeX
Richard J. Wallace, Eugene C. Freuder: Conjunctive Width Heuristics for Maximal Constraint Satisfaction. 762-768 BibTeX
Weixiong Zhang, Richard E. Korf: Depth-First vs. Best-First Search: New Results. 769-775 BibTeX

Statistically-Based Natural Language Processing

Rens Bod: Using an Annotated Language Corpus as a Virtual Stochastic Grammar. 778-783 BibTeX
Eugene Charniak, Curtis Hendrickson, Neil Jacobson, Mike Perkowitz: Equations for Part-of-Speech Tagging. 784-789 BibTeX
Dekai Wu: Estimating Probability Distributions over Hypotheses with Variable Unification. 790-795 BibTeX

Trainable Natural Language Systems

Claire Cardie: A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis. 798-803 BibTeX
Van E. Kelly, Mark A. Jones: KITSS: A Knowledge-Based Translation System for Test Scenarios. 804-810 BibTeX
Ellen Riloff: Automatically Constructing a Dictionary for Information Extraction Tasks. 811-816 BibTeX
John M. Zelle, Raymond J. Mooney: Learning Semantic Grammars with Constructive Inductive Logic Programming. 817-822 BibTeX

Vision Processing

Ian Horswill: Polly: A Vision-Based Artificial Agent. 824-829 BibTeX
Arun Krishnan, Narendra Ahuja: Range Estimation From Focus Using a Non-frontal Imaging Camera. 830-835 BibTeX
Hiroshi Murase, Shree K. Nayar: Learning Object Models from Appearance. 836-843 BibTeX
Richard P. Wildes: On the Qualitative Structure of Temporally Evolving Visual Motion Fields. 844-849 BibTeX

Invited Talks

Edward A. Feigenbaum: Tiger in a Cage: The Applications of Knowledge-based Systems (1993) - Abstract. 852 BibTeX
Herbert A. Simon: Artificial Intelligence as an Experimental Science (Abstract). 853 BibTeX

Video Abstracts

D. Richard Hipp, Ronnie W. Smith: A Demonstration of the "Circuit Fix-it Shoppe". 856 BibTeX
Scott B. Huffman, John E. Laird: Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract). 857 BibTeX
David Kortenkamp, Marcus Huber, Charles Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth: Winning the AAAI Robot Competition. 858-859 BibTeX
Douglas J. Pearson, Randolph M. Jones, John E. Laird: AIR-SOAR: Intelligent Multi-Level Control. 860-861 BibTeX
Douglas A. Reece, Steven A. Shafer: Selective Perception for Robot Driving. 862 BibTeX
Edward M. Riseman, Allen R. Hanson, J. Inigo Thomas: Computer Vision Research at the University of Massachusetts. 863 BibTeX
Alessandro Saffiotti, Nicolas Helft, Kurt Konolige, John D. Lowrance, Karen L. Myers, Daniela Musto, Enrique H. Ruspini, Leonard P. Wesley: A Fuzzy Controller for Flakey, the Robot. 864 BibTeX