11. AAAI 1993: Washington, DC

Richard Fikes, Wendy G. Lehnert (Eds.): Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. AAAI Press / The MIT Press 1993, ISBN 0-262-51071-5

Automated Reasoning

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

Case-Based Reasoning

Marc Goodman: Projective Visualization: Acting from Experience. 54-59
Thomas F. McDougal, Kristian J. Hammond: Representing and Using Procedural Knowledge to Build Geometry Proofs. 60-65
Edwina L. Rissland, Jody J. Daniels, Zachary B. Rubinstein, David B. Skalak: Case-Based Diagnostic Analysis in a Blackboard Architecture. 66-72
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

Complexity in Machine Learning

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

Diagnostic Reasoning

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

Discourse Analysis

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

Distributed Problem Solving

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

Intelligent User Interfaces

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

Large Scale Knowledge Bases

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

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
Sreerama K. Murthy, Simon Kasif, Steven Salzberg, Richard Beigel: OC1: A Randomized Induction of Oblique Decision Trees. 322-327
Michael J. Pazzani, Clifford Brunk: Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning. 328-334
Mehran Sahami: Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks. 335-341

Natural Language Generation

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

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
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
Christian R. Huyck, Steven L. Lytinen: Efficient Heuristic Natural Language Parsing. 386-391
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

Nonmonotonic Logic

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

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
Pattie Maes, Robyn Kozierok: Learning Interface Agents. 459-465
Somkiat Tangkitvanich, Masamichi Shimura: Learning from an Approximate Theory and Noisy Examples. 466-471
Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon: Scientific Model-Building as Search in Matrix Spaces. 472-478

Plan Generation

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

Plan Learning

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

Qualitative Reasoning

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

Real-Time Planning and Simulation

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

Reasoning about Physical Systems

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

Representation and Reasoning

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

Representation for Actions and Motion

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

Rule-Based Reasoning

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

Search

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

Statistically-Based Natural Language Processing

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

Trainable Natural Language Systems

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

Vision Processing

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

Invited Talks

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

Video Abstracts

D. Richard Hipp, Ronnie W. Smith: A Demonstration of the "Circuit Fix-it Shoppe". 856
Scott B. Huffman, John E. Laird: Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract). 857
David Kortenkamp, Marcus J. Huber, Charles J. Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth: Winning the AAAI Robot Competition. 858-859
Douglas J. Pearson, Randolph M. Jones, John E. Laird: AIR-SOAR: Intelligent Multi-Level Control. 860-861
Douglas A. Reece, Steven A. Shafer: Selective Perception for Robot Driving. 862
Edward M. Riseman, Allen R. Hanson, J. Inigo Thomas: Computer Vision Research at the University of Massachusetts. 863
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

Last update Mon May 20 04:54:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page