List of contents of
the Proceedings of the
11'th AAAI National Conference on Artificial Intelligence,
1993 (AAAI-93)
- c-aaai-93-2
- R. Ben-Eliyahu and Rina Dechter:
On Computing Minimal Models.
Pages 2-8.
- c-aaai-93-9
- A. Beringer and S. Hölldobler:
On the Adequateness of the Connection Method.
Pages 9-14.
- c-aaai-93-15
- H. Chu and D. A. Plaisted:
Rough Resolution: A Refinement of Resolution to Remove Large Literals.
Pages 15-20.
- c-aaai-93-21
- J. M. Crawford and L. D. Auton:
Experimental Reults on the Crossover Point in Satisfiability Problems.
Pages 21-27.
- c-aaai-93-28
- I. P. Gent and T. Walsh:
Towards an Understanding of Hill-Climbing Procedures for SAT.
Pages 28-33.
- c-aaai-93-34
- H. A. Kautz, M. J. Kearns, and B. Selman:
Reasoning with Characteristic Models.
Pages 34-39.
- c-aaai-93-40
- P. Morris:
The Breakout Method for Escaping from Local Minima.
Pages 40-45.
- c-aaai-93-46
- B. Selaman and H. A. Kautz:
An Empirical Study of Greedy Local Search for Satisfiability Testing.
Pages 46-51.
- c-aaai-93-54
- M. Goodman:
Projective Visualization: Acting from Experience.
Pages 54-60.
- c-aaai-93-60
- T. F. McDougal and K. J. Hammond:
Representing and Using Procedural Knowledge to Build Geometry Proofs.
Pages 60-65.
- c-aaai-93-66
- E. L. Rissland, J. J. Daniels, Z. R. Rubinstein, and D. B. Skalak:
Case-Based Diagnostic Analysis in a Blackboard Architecture.
Pages 66-72.
- c-aaai-93-73
- R. Zito-Wolf and R. Alterman:
A Framework and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge.
Pages 73-78.
- c-aaai-93-80
- W. W. Cohen:
Cryptographic Limitations on Leraning One-Clause Logic Programs.
Pages 80-85.
- c-aaai-93-86
- W. W. Cohen:
Pac-Learning a Restricted Class of Recursive Logic Programs.
Pages 86-92.
- c-aaai-93-93
- M. Frazier and C. D. Page:
Learnability in Inductive Logic Programming: Some Basic Results and Techniques.
Pages 93-98.
- c-aaai-93-99
- S. Koenig and R. G. Simmons:
Complexity Analysis of Real-Time Reinforcement Learning.
Pages 99-105.
- c-aaai-93-108
- C. Bessière and Marie-Odile Cordier:
Arc-Consistency and Arc-Consistency Again.
Pages 108-113.
- c-aaai-93-114
- P. Jégou:
On the Consistency of General Constraint-Satisfaction Problems.
Pages 114-119.
- c-aaai-93-120
- S. Minton:
Integrating Heuristics for Constraint Satisfaction Problems: A Case Study.
Pages 120-126.
- c-aaai-93-127
- Eddie Schwalb and Rina Dechter:
Coping with Disjunctions in Temporal Constraint Satisfaction Problems.
Pages 127-132.
- c-aaai-93-133
- J. M. Siskind and D. A. McAllester:
Nondeterministic Lisp as a Subtrate for Constraint Logic Programming.
Pages 133-138.
- c-aaai-93-139
- S. F. Smith and C.-C. Cheng:
Slack-Based Heuristics for Constraint Satisfaction Scheduling.
Pages 139-144.
- c-aaai-93-145
- T. Tanimoto:
A Constraint Decomposition Method for Spatio-Temporal Configuraion Problems.
Pages 145-151.
- c-aaai-93-152
- C. P. Williams and T. Hogg:
Extending Deep Structure.
Pages 152-157.
- c-aaai-93-160
- Ernest Davis and P. Resnick:
Multiple Dimensions of Generalization in Model-Based Troubleshooting.
Pages 160-167.
- c-aaai-93-168
- M. P. Féret and J. I. Glasgow:
Hybrid Case-Based Reasoning for the Diagnosis of Complex Decvices.
Pages 168-175.
- c-aaai-93-176
- I. J. Haimowitz and I. S. Kohane:
An Epistemology for Clinically Significant Trends.
Pages 176-181.
- c-aaai-93-182
- Y. Sun and D. S. Weld:
A Framework for Model-Based Repair.
Pages 182-187.
- c-aaai-93-190
- A. Jönsson:
A Method for Development of Dialogue Managers for Natural Language Interfaces.
Pages 190-195.
- c-aaai-93-196
- D. G. Novick and K. Ward:
Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control.
Pages 196-201.
- c-aaai-93-202
- I. Zukerman and R. McConachy:
An Optimizing Method for Structuring Inferentially Linked Discourse.
Pages 202-207.
- c-aaai-93-210
- K. Decker and V. Lesser:
A One-Shot Dynaimc Coordination Algorithm for Distributed Sensor Networks.
Pages 210-216.
- c-aaai-93-217
- K. Decker and V. Lesser:
Quantitative Modeling of Complex Computatinal Task Environments.
Pages 217-224.
- c-aaai-93-225
- E. H. Durfee, J. Lee, and P. J. Gmytrasiewicz:
Overeager Reciprocal Rationality and Mixed Strategy Equilibria.
Pages 225-230.
- c-aaai-93-231
- T. Hogg and C. P. Williams:
Solving the Really Hard Problems with Cooperative Search.
Pages 231-236.
- c-aaai-93-237
- A. P. Kosoresow:
A Fast First-Cut Protocol for Agent Coordination.
Pages 237-242.
- c-aaai-93-243
- S. Kraus:
Agents Contracting Tasks in Non-Collaborative Enviroments.
Pages 243-248.
- c-aaai-93-249
- V. Lesser, H. Nawab, I. Gallastegi, and F. Klassner:
IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments.
Pages 249-256.
- c-aaai-93-256
- T. Sandholm:
An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations.
Pages 256-262.
- c-aaai-93-264
- P. O. Gautier and T. R. Gruber:
Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering.
Pages 264-270.
- c-aaai-93-271
- V. O. Mittal and C. L. Paris:
Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts.
Pages 271-276.
- c-aaai-93-277
- R. B. Rao and S. C.-Y. Lu:
Building Models to Support Synthesis in Early Stage Product Design.
Pages 277-282.
- c-aaai-93-283
- Lynn Andrea Stein and U. Thiel:
A Conversational Model of Multimodal Interaction in Information Systems.
Pages 283-288.
- c-aaai-93-290
- R. R. Doorenbos:
Matching 100,000 Learned Rules.
Pages 290-296.
- c-aaai-93-297
- M. P. Evett, J. A. Hendler, and W. A. Andersen:
Massively Parallel Support for Computationally Effective Recognition Queries.
Pages 297-302.
- c-aaai-93-303
- H. Kitano, H. Shimazu, and A. Shibata:
Case-Method: A Methodology for Building Large-Scale Case-Based Systems.
Pages 303-308.
- c-aaai-93-309
- R. Osgood and R. Bareiss:
Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems.
Pages 309-314.
- c-aaai-93-316
- A. L. Delcher, S. Kasif, H. R. Goldberg, and W. H. Hsu:
Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract).
Pages 316-321.
- c-aaai-93-322
- S. Murthy, S. Kasif, S. Salzberg, and R. Beigel:
OC1: Randomized Induction of Oblique Decision Trees.
Pages 322-327.
- c-aaai-93-328
- M. Pazzani and C. Brunk:
Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning.
Pages 328-334.
- c-aaai-93-335
- M. Sahami:
Learning Non-Linearly Seperable Boolean Functions with Linear Treshold Unit Trees and Madaline-Style Networks.
Pages 335-341.
- c-aaai-93-344
- M. Elhadad:
Generating Argumentative Judgement Determiners.
Pages 344-349.
- c-aaai-93-350
- M. Haruno, Y. Den, Y. Matsumoto, and M. Nagao:
Bidirectional Chart Generation of Natural Language Texts.
Pages 350-356.
- c-aaai-93-357
- M. T. Maybury:
Communicative Acts for Generating Natural Language Arguments.
Pages 357-364.
- c-aaai-93-365
- J. Robin and K. McKeown:
Corpus Analysis for Revision-Based Generation of Complex Sentences.
Pages 365-372.
- c-aaai-93-374
- B. J. Dorr and C. R. Voss:
Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System.
Pages 374-379.
- c-aaai-93-381
- K. P. Eiselt, K. Mahesh, and J. K. Holbkook:
Having Your Cake and Eating It too: Autonomy and Interaction in a Model of Sentence Processing.
Pages 381-385.
- c-aaai-93-386
- C. R. Huyck and S. L. Lytinen:
Efficient Heuristic Natural Language Parsing.
Pages 386-391.
- c-aaai-93-392
- J. Mostow, A. G. Hautpmann, L. L. Chase, and S. Roth:
Towards a Reading Coach That Listens: Automated Detection of Oral Reading Errors.
Pages 392-397.
- c-aaai-93-400
- A. Beringer and T. Schaub:
Minimal Belief and Negation as Failure: A Feasible Approach.
Pages 400-405.
- c-aaai-93-406
- P. Besnard and T. Schaub:
A Context-Based Framework for Default Logics.
Pages 406-411.
- c-aaai-93-412
- Sasa Buvac and I. A. Mason:
Propositional Logic of Context.
Pages 412-419.
- c-aaai-93-421
- J. Cussens and A. Hunter:
Generating Explicit Ordering for Non-Monotonic Logics.
Pages 421-425.
- c-aaai-93-426
- N. Goyal and Yoav Shoham:
Reasoning Precisely with Vague Concepts.
Pages 426-431.
- c-aaai-93-432
- Vladimir Lifschitz:
Restricted Monotonicity.
Pages 432-437.
- c-aaai-93-438
- G. Schwarz and M. Truszcynski:
Subnormal Modal Logics for Knowledge Representation.
Pages 438-443.
- c-aaai-93-444
- Z. Stachniak:
Algebraic Semantics for Cumulative Inference Operations.
Pages 444-449.
- c-aaai-93-452
- C. Baudin, S. Kedar, J. G. Underwood, and V. Baya:
Question-Based Acquisition of Conceptual Indices for Multimedia Design Documentation.
Pages 452-458.
- c-aaai-93-459
- P. Maes and R. Kozierok:
Learning Interface Agents.
Pages 459-465.
- c-aaai-93-467
- S. Tangkitvanich and M. Shimura:
Learning from an Approximate Theory and Noisy Examples.
Pages 467-471.
- c-aaai-93-472
- R. E. Valdés-Pérez, J. M. Zytkow, and H. A. Simon:
Scientific Model-Building as Search in Matrix Spaces.
Pages 472-478.
- c-aaai-93-480
- T. Bylander:
An Average Case Analysis of Planning.
Pages 480-485.
- c-aaai-93-486
- S. Lee and P. S. Rosenbloom:
Granularity in Multi-Method Planning.
Pages 486-491.
- c-aaai-93-492
- M. A. Peot and D. E. Smith:
Threat-Removal Strategies for Partial-Order Planning.
Pages 492-499.
- c-aaai-93-501
- D. E. Smith and M. A. Peot:
Postponing Threats in Partial-Order Planning.
Pages 501-506.
- c-aaai-93-508
- G. DeJong and S. Bennett:
Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds.
Pages 508-513.
- c-aaai-93-514
- S. Kambhampati and J. Chen:
Relative Utility of EBG Based Plan Reuse in Partial Ordering vs. Total Ordering Planning.
Pages 514-519.
- c-aaai-93-520
- R. Oehlmann, D. Dleeman, and P. Edwards:
Learning Plan Trasnformation from Self-Questions: A Memory-Based Approach.
Pages 520-525.
- c-aaai-93-526
- M. Tamne and P. S. Rosenbloom:
On the Masking Effect.
Pages 526-533.
- c-aaai-93-536
- A. Abella and J. R. Kender:
Qualitatively Describing Objects Using Spatial Prepositions.
Pages 536-540.
- c-aaai-93-541
- P. Dague:
Numeric Reasoning with Relative Orders og Magnitude.
Pages 541-547.
- c-aaai-93-548
- M. J. Druzdzel and M. Henrion:
Efficient Reasoning in Aulitative Probabilistic Networks.
Pages 548-553.
- c-aaai-93-554
- T. Nishida:
Generating Quasi-Symbolic Representation of Three-Dimensional Flow.
Pages 554-559.
- c-aaai-93-562
- F. G. Amador, A. Finkelstein, and D. S. Weld:
Real-Time Self-Explanatory Simulation.
Pages 562-567.
- c-aaai-93-568
- D. Ash and B. Hayes-Roth:
A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance.
Pages 568-573.
- c-aaai-93-574
- Tom Dean, L. Pack Kaelbling, J. Kirman, and A. Nicholson:
Planning with Deadlines in Stochastic Domains.
Pages 574-579.
- c-aaai-93-580
- A. Garvey, M. Humphrey, and V. Lesser:
Task Interdependencies in Design-to-Time Real-Time Scheduling.
Pages 580-585.
- c-aaai-93-588
- M. Brand, L. Birnbaum, and P. Cooper:
Sensible Scenes: Visual Understanding of Complex Structures Through Causal Analysis.
Pages 588-593.
- c-aaai-93-594
- T. Ellman, J. Keane, and M. Schwabacher:
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design.
Pages 594-599.
- c-aaai-93-600
- B. Falkenhainer:
Ideal Physical Systems.
Pages 600-605.
- c-aaai-93-606
- H. Kay and B.J. Kuipers:
Numerical Behavior Envelopes for Qualitative Models.
Pages 606-613.
- c-aaai-93-614
- W. W. Lee and B. J. Kuipers:
A Qualitative Method to Construct Phase Portraits.
Pages 614-619.
- c-aaai-93-620
- H. E. Shrobe:
Understanding Linkages.
Pages 620-625.
- c-aaai-93-626
- M. Vescovi, Y. Iwasaki, R. Fikes, and B. Chandrasekaran:
CFRL: A Language for Specifying in the Causal Functionality of Engineered Devices.
Pages 626-633.
- c-aaai-93-634
- K. M. Yip:
Model Simplification by Asymptotic Order of Magnitude Reasoning.
Pages 634-640.
- c-aaai-93-642
- Craig Boutilier and V. Becher:
Abduction as Belief Revision: A Model of Preferred Explanations.
Pages 642-648.
- c-aaai-93-649
- Craig Boutilier and Moises Goldszmidt:
Revision by Conditional Beliefs.
Pages 649-654.
- c-aaai-93-655
- J. Y. Halpern:
Reasoning about only Knowing with many Agents.
Pages 655-661.
- c-aaai-93-662
- G. Lakemeyer:
All They Know About.
Pages 662-667.
- c-aaai-93-670
- R. I. Brafman, J.-C. Latombe, and Yoav Shoham:
Towards Knowledge-Level Analysis of Motion Planning.
Pages 670-675.
- c-aaai-93-676
- C. H. Hwang and L. K. Schubert:
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation.
Pages 676-682.
- c-aaai-93-683
- C. L. Ortiz:
The Semantics of Event Prevention.
Pages 683-688.
- c-aaai-93-689
- R. B. Scherl and H. J. Levesque:
The Frame Problem and Knowledge-Producing Actions.
Pages 689-695.
- c-aaai-93-698
- Charles Elkan:
The Paradoxical Success of Fuzzy Logic.
Pages 698-703.
- c-aaai-93-704
- C. Grossner, A. D. Preece, P. G. Chander, T. Radhakrishnan, and C. Y. Suen:
Exploring the Structure of Rule Based Systems.
Pages 704-709.
- c-aaai-93-710
- H. E. Shrobe:
Supporting and Optimizing Full Unification in a Forward Chaining Rule System.
Pages 710-715.
- c-aaai-93-716
- A. Sugiura, M. Riesenhuber, and Y. Koseki:
Comprehensibility Improvement of Tabular Knowledge Bases.
Pages 716-721.
- c-aaai-93-724
- M. R. Genesereth and I. R. Nourbakhsh:
Time-Saving Tips for Problem Solving with Incomplete Information.
Pages 724-730.
- c-aaai-93-731
- P. Jégou:
Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems.
Pages 731-736.
- c-aaai-93-737
- D. Neville and D. S. Weld:
Innovative Design as Systematic Search.
Pages 737-742.
- c-aaai-93-743
- A. Prieditis and B. Janakiraman:
Generating Effective Admissible Heuristics by Abstraction and Reconstitution.
Pages 743-748.
- c-aaai-93-749
- F. J. Provost:
Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias.
Pages 749-755.
- c-aaai-93-756
- L. A. Taylor and R. E. Korf:
Pruning Duplicate Nodes in Depth-First Search.
Pages 756-761.
- c-aaai-93-762
- R. J. Wallace and E. C. Freuder:
Conjunctive Width Heuristics for Maximal Constraint Satisfaction.
Pages 762-768.
- c-aaai-93-769
- Yan Zhang and R. E. Korf:
Depth-First versus Best-First Search: New Results.
Pages 769-775.
- c-aaai-93-778
- R. Bod:
Using an Annotated Language Corpus as a Virtual Stochastic Grammar.
Pages 778-783.
- c-aaai-93-784
- E. Charniak, C. Hendrickson, N. Jacobson, and M. Perkowitz:
Equations for Part-of-Speech Tagging.
Pages 784-789.
- c-aaai-93-790
- D. Wu:
Estimating Probability Distributions over Hypotheses with Variable Unification.
Pages 790-795.
- c-aaai-93-798
- C. Cardie:
A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis.
Pages 798-803.
- c-aaai-93-804
- V. E. Kelly and M. A. Jones:
KITSS: A Knowledge-Based Translation System for Test Scenarios.
Pages 804-810.
- c-aaai-93-811
- E. Riloff:
Automatically Constructing a Dictionary for Information Extraction Tasks.
Pages 811-816.
- c-aaai-93-817
- J. M. Zelle and R. J. Mooney:
Learning Semantic Grammars with Constructive Inductive Logic Programming.
Pages 817-822.
- c-aaai-93-824
- Ian Horswill:
Polly: A Vision-Based Artificial Agent.
Pages 824-829.
- c-aaai-93-830
- A. Krishnan and N. Ahuja:
Range Estimation from Focus Using a Non-Frontal Imaging Camera.
Pages 830-835.
- c-aaai-93-836
- H. Murase and S. K. Nayar:
Learning Object Models from Appearance.
Pages 836-843.
- c-aaai-93-844
- R. P. Wildes:
On the Qualitative Structure of Temporally Evolving Visual Motion Fields.
Pages 844-849.
11-Sep-97 17:44