AAAI 1993

135 papers

A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge Roland Zito-Wolf, Richard Alterman

PDF

A Framework for Model-Based Repair Ying Sun, Daniel S. Weld

PDF

A Fuzzy Controller for Flakey, the Robot Alessandro Saffiotti, Nicolas Helft, Kurt Konolige, John D. Lowrance, Karen L. Myers, Daniela Musto, Enrique H. Ruspini, Leonard P. Wesley

PDF

A Method for Development of Dialogue Managers for Natural Language Interfaces Arne Jönsson

PDF

A One-Shot Dynamic Coordination Algorithm for Distributed Sensor Networks Keith Decker, Victor R. Lesser

PDF

A Qualitative Method to Construct Phase Portraits Wood W. Lee, Benjamin Kuipers

PDF

Abduction as Belief Revision: A Model of Preferred Explanations Craig Boutilier, Verónica Becher

PDF

Agents Contracting Tasks in Non-Collaborative Environments Sarit Kraus

PDF

AIR-SOAR: Intelligent Multi-Level Control Douglas J. Pearson, Randolph M. Jones, John E. Laird

PDF

Algebraic Sematics for Cumulative Inference Operations Zbigniew Stachniak

PDF

All They Know About Gerhard Lakemeyer

PDF

An Average Case Analysis of Planning Tom Bylander

PDF

An Empirical Study of Greedy Local Search for Satisfiability Testing Bart Selman, Henry A. Kautz

PDF

An Epistemology for Clinically Significant Trends Ira J. Haimowitz, Isaac S. Kohane

PDF

An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations Tuomas Sandholm

PDF

An Optimizing Method for Structuring Inferentially Linked Discourse Ingrid Zukerman, Richard McConachy

PDF

Arc-Consistency and Arc-Consistency Again Christian Bessière, Marie-Odile Cordier

PDF

Artificial Intelligence as an Experimental Science (Abstract) Herbert A. Simon

PDF

Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems Richard Osgood, Ray Bareiss

PDF

Automatically Constructing a Dictionary for Information Extraction Tasks Ellen Riloff

PDF

Bidirectional Chart Generation of Natural Language Texts Masahiko Haruno, Yasuharu Den, Yuji Matsumoto, Makoto Nagao

PDF

Building Models to Support Synthesis in Early Stage Product Design R. Bharat Rao, Stephen C. Y. Lu

PDF

Case-Based Diagnostic Analysis in a Blackboard Architecture Edwina L. Rissland, Jody J. Daniels, Zachary B. Rubinstein, David B. Skalak

PDF

Case-Method: A Methodology for Building Large-Scale Case-Based Systems Hiroaki Kitano, Hideo Shimazu, Akihiro Shibata

PDF

CFRL: A Language for Specifying the Causal Functionality of Engineered Devices Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran

PDF

Communicative Acts for Generating Natural Language Arguments Mark T. Maybury

PDF

Complexity Analysis of Real-Time Reinforcement Learning Sven Koenig, Reid G. Simmons

PDF

Comprehensibility Improvement of Tabular Knowledge Bases Atsushi Sugiura, Maximilian Riesenhuber, Yoshiyuki Koseki

PDF

Computer Vision Research at the University of Massachusetts Edward M. Riseman, Allen R. Hanson, J. Inigo Thomas

PDF

Conjunctive Width Heuristics for Maximal Constraint Satisfaction Richard J. Wallace, Eugene C. Freuder

PDF

Coping with Disjunctions in Temporal Constraint Satisfaction Problems Eddie Schwalb, Rina Dechter

PDF

Corpus Analysis for Revision-Based Generation of Complex Sentences Jacques Robin, Kathleen R. McKeown

PDF

Cryptographic Limitations on Learning One-Clause Logic Programs William W. Cohen

PDF

Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems Philippe Jégou

PDF

Depth-First vs. Best-First Search: New Results Weixiong Zhang, Richard E. Korf

PDF

Efficient Heuristic Natural Language Parsing Christian R. Huyck, Steven L. Lytinen

PDF

Efficient Reasoning in Qualitative Probabilistic Networks Marek J. Druzdzel, Max Henrion

PDF

EL: A Formal, yet Natural, Comprehensive Knowledge Representation Chung Hee Hwang, Lenhart K. Schubert

PDF

Equations for Part-of-Speech Tagging Eugene Charniak, Curtis Hendrickson, Neil Jacobson, Mike Perkowitz

PDF

Estimating Probability Distributions over Hypotheses with Variable Unification Dekai Wu

PDF

Experimental Results on the Crossover Point in Satisfiability Problems James M. Crawford, Larry D. Auton

PDF

Exploring the Structure of Rule Based Systems Clifford Grossner, Alun D. Preece, P. Gokul Chander, Thiruvengadam Radhakrishnan, Ching Y. Suen

PDF

Extending Deep Structure Colin P. Williams, Tad Hogg

PDF

Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning Michael J. Pazzani, Clifford Brunk

PDF

Generating Argumentative Judgment Determiners Michael Elhadad

PDF

Generating Effective Admissible Heuristics by Abstraction and Reconstitution Armand Prieditis, Bhaskar Janakiraman

PDF

Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering Patrice O. Gautier, Thomas R. Gruber

PDF

Generating Explicit Orderings for Non-Monotonic Logics James Cussens, Anthony Hunter, Ashwin Srinivasan

PDF

Generating Natural Language Descriptions with Examples: Differences Between Introductory and Advanced Texts Vibhu O. Mittal, Cécile Paris

PDF

Generating Quasi-Symbolic Representation of Three-Dimensional Flow Toyoaki Nishida

PDF

Granularity in Multi-Method Planning Soowon Lee, Paul S. Rosenbloom

PDF

Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing Kurt P. Eiselt, Kavi Mahesh, Jennifer K. Holbrook

PDF

Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices Michel P. Féret, Janice I. Glasgow

PDF

Ideal Physical Systems Brian Falkenhainer

PDF

Innovative Design as Systematic Search Dorothy Neville, Daniel S. Weld

PDF

Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract) Scott B. Huffman, John E. Laird

PDF

Integrating Heuristics for Constraint Satisfaction Problems: A Case Study Steven Minton

PDF

Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design Thomas Ellman, John Eric Keane, Mark Schwabacher

PDF

IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments Victor R. Lesser, Izaskun Gallastegi, Hamid Nawab, Frank Klassner

PDF

Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias Foster J. Provost

PDF

KITSS: A Knowledge-Based Translation System for Test Scenarios Van E. Kelly, Mark A. Jones

PDF

Learnability in Inductive Logic Programrning: Some Basic Results and Techniques Michael Frazier, C. David Page Jr.

PDF

Learning from an Approximate Theory and Noisy Examples Somkiat Tangkitvanich, Masamichi Shimura

PDF

Learning Interface Agents Pattie Maes, Robyn Kozierok

PDF

Learning Non-Linearly Separable Boolean Functions with Linear Threshold Unit Trees and Madaline-Style Networks Mehran Sahami

PDF

Learning Object Models from Appearance Hiroshi Murase, Shree K. Nayar

PDF

Learning Plan Transformations from Self-Questions: A Memory-Based Approach Rüdiger Oehlmann, Derek H. Sleeman, Peter Edwards

PDF

Learning Semantic Grammars with Constructive Inductive Logic Programming John M. Zelle, Raymond J. Mooney

PDF

Machine Translation of Spatial Expressions: Defining the Relation Between an Interlingua and a Knowledge Representation System Bonnie J. Dorr, Clare R. Voss

PDF

Massively Parallel Support for Computationally Effective Recognition Queries Matthew P. Evett, James A. Hendler, William A. Andersen

PDF

Matching 100, 000 Learned Rules Robert B. Doorenbos

PDF

Minimal Belief and Negation as Failure: A Feasible Approach Antje Beringer, Torsten Schaub

PDF

Model Simplification by Asymptotic Order of Magnitude Reasoning Kenneth Man-kam Yip

PDF

Multiple Dimensions of Generalization in Model-Based Troubleshooting Randall Davis, Paul Resnick

PDF

Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control David G. Novick, Karen Ward

PDF

Nondeterministic Lisp as a Substrate for Constraint Logic Programming Jeffrey Mark Siskind, David A. McAllester

PDF

Numeric Reasoning with Relative Orders of Magnitude Philippe Dague

PDF

Numerical Behavior Envelopes for Qualitative Models Herbert Kay, Benjamin Kuipers

PDF

OC1: A Randomized Induction of Oblique Decision Trees Sreerama K. Murthy, Simon Kasif, Steven Salzberg, Richard Beigel

PDF

On Computing Minimal Models Rachel Ben-Eliyahu, Rina Dechter

PDF

On the Adequateness of the Connection Method Antje Beringer, Steffen Hölldobler

PDF

On the Consistency of General Constraint-Satisfaction Problems Philippe Jégou

PDF

On the Masking Effect Milind Tambe, Paul S. Rosenbloom

PDF

On the Qualitative Structure of Temporally Evolving Visual Motion Fields Richard P. Wildes

PDF

Overeager Reciprocal Rationality and Mixed Strategy Equilibria Edmund H. Durfee, Jaeho Lee, Piotr J. Gmytrasiewicz

PDF

Pac-Learning a Restricted Class of Recursive Logic Programs William W. Cohen

PDF

Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds Gerald DeJong, Scott W. Bennett

PDF

Planning with Deadlines in Stochastic Domains Thomas L. Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson

PDF

Polly: A Vision-Based Artificial Agent Ian Horswill

PDF

Postponing Threats in Partial-Order Planning David E. Smith, Mark A. Peot

PDF

Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract) Arthur L. Delcher, Simon Kasif, Harry R. Goldberg, William H. Hsu

PDF

Projective Visualization: Acting from Experience Marc Goodman

PDF

Propositional Logic of Context Sasa Buvac, Ian A. Mason

PDF

Pruning Duplicate Nodes in Depth-First Search Larry A. Taylor, Richard E. Korf

PDF

Qualitatively Describing Objects Using Spatial Prepositions Alicia Abella, John R. Kender

PDF

Quantitative Modeling of Complex Computational Task Environments Keith Decker, Victor R. Lesser

PDF

Question-Based Acquisition of Conceptual Indices for Multimedia Design Documentation Catherine Baudin, Smadar Kedar, Jody Gevins Underwood, Vinod Baya

PDF

Range Estimation from Focus Using a Non-Frontal Imaging Camera Arun Krishnan, Narendra Ahuja

PDF

Real-Time Self-Explanatory Simulation Franz G. Amador, Adam Finkelstein, Daniel S. Weld

PDF

Reasoning About Only Knowing with Many Agents Joseph Y. Halpern

PDF

Reasoning Precisely with Vague Concepts Nita Goyal, Yoav Shoham

PDF

Reasoning with Characteristic Models Henry A. Kautz, Michael J. Kearns, Bart Selman

PDF

Relative Utility of EBG Based Plan Reuse in Partial Ordering vs. Total Ordering Planning Subbarao Kambhampati, Jengchin Chen

PDF

Representing and Using Procedural Knowledge to Build Geometry Proofs Thomas F. McDougal, Kristian J. Hammond

PDF

Restricted Monotonicity Vladimir Lifschitz

PDF

Revision by Conditional Beliefs Craig Boutilier, Moisés Goldszmidt

PDF

Rough Resolution: A Refinement of Resolution to Remove Large Literals Heng Chu, David A. Plaisted

PDF

Scientific Model-Building as Search in Matrix Spaces Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon

PDF

Selective Perception for Robot Driving Douglas A. Reece, Steven A. Shafer

PDF

Sensible Scenes: Visual Understanding of Complex Structures Through Causal Analysis Matthew Brand, Lawrence Birnbaum, Paul R. Cooper

PDF

Slack-Based Heuristics for Constraint Satisfaction Scheduling Stephen F. Smith, Cheng-Chung Cheng

PDF

Solving the Really Hard Problems with Cooperative Search Tad Hogg, Colin P. Williams

PDF

Subnormal Modal Logics for Knowledge Representation Grigori Schwarz, Miroslaw Truszczynski

PDF

Supporting and Optimizing Full Unification in a Forward Chaining Rule System Howard E. Shrobe

PDF

Task Interdependencies in Design-to-Time Real-Time Scheduling Alan Garvey, Marty Humphrey, Victor R. Lesser

PDF

The Breakout Method for Escaping from Local Minima Paul Morris

PDF

The Frame Problem and Knowledge-Producing Actions Richard B. Scherl, Hector J. Levesque

PDF

The Paradoxical Success of Fuzzy Logic Charles Elkan

PDF

The Semantics of Event Prevention Charles L. Ortiz Jr.

PDF

Threat-Removal Strategies for Partial-Order Planning Mark A. Peot, David E. Smith

PDF

Tiger in a Cage: The Applications of Knowledge-Based Systems (1993) - Abstract Edward A. Feigenbaum

PDF

Time-Saving Tips for Problem Solving with Incomplete Information Michael R. Genesereth, Illah R. Nourbakhsh

PDF

Towards a Reading Coach That Listens: Automated Detection of Oral Reading Errors Jack Mostow, Alexander G. Hauptmann, Lin Lawrence Chase, Steven F. Roth

PDF

Towards an Understanding of Hill-Climbing Procedures for SAT Ian P. Gent, Toby Walsh

PDF

Towards Knowledge-Level Analysis of Motion Planning Ronen I. Brafman, Jean-Claude Latombe, Yoav Shoham

PDF

Understanding Linkages Howard E. Shrobe

PDF

Using an Annotated Language Corpus as a Virtual Stochastic Grammar Rens Bod

PDF

Winning the AAAI Robot Competition David Kortenkamp, Marcus J. Huber, Charles J. Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth

PDF