Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar14th AAAI / 9. IAAI 1997: Providence, Rhode Island
Benjamin Kuipers, Bonnie L. Webber:
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island, USA. AAAI Press / The MIT Press 1997, ISBN 0-262-51095-2
AAAI-97 Technical Papers
Agents
Agent Architecture
Kentaro Toyama, Gregory D. Hager:
If at First You Don't Succeed... 3-9Juan David Velásquez:
Modeling Emotions and Other Motivations in Synthetic Agents. 10-15
Agent Coordination
Mihai Barbuceanu:
Coordinating Agents by Role Based Social Constraints and Conversation Plans. 16-21Milind Tambe:
Agent Architectures for Flexible, Practical Teamwork. 22-28
Negotiation
Rina Azoulay-Schwartz, Sarit Kraus:
Negotiation on Data Allocation in Multi-Agent Environments. 29-35Dajun Zeng, Katia P. Sycara:
Benefits of Learning in Negotiation. 36-41
Automated Reasoning
Automated Reasoning/Diagnosis
Sheila A. McIlraith:
Representing Actions and State Constraints in Model-Based Diagnosis. 43-49P. Pandurang Nayak, Brian C. Williams:
Fast Context Switching in Real-Time Propositional Reasoning. 50-56
Automated Reasoning & the User Interface
Vibhu O. Mittal:
Visual Prompts and Graphical Design: A Framework for Exploring the Design Space of 2-D Charts and Graphs. 57-63Robert St. Amant:
Navigation and Planning in a Mixed-Initiative User Interface. 64-69
Belief and Decision
Salem Benferhat, Didier Dubois, Henri Prade:
Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge. 70-75Ronen I. Brafman, Moshe Tennenholtz:
On the Axiomatization of Qualitative Decision Criteria. 76-81
Classification
Piew Datta, Dennis F. Kibler:
Symbolic Nearest Mean Classifiers. 82-87Haim Schweitzer:
Classification and Reductio-ad-Absurdum Optimality Proofs. 88-93
Diagnosis
Adnan Darwiche, Gregory M. Provan:
The Effect of Observations on the Complexity of Model-Based Diagnosis. 94-99Pieter J. Mosterman, Gautam Biswas:
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. 100-105
Modeling for Decision Processes
Thomas L. Dean, Robert Givan:
Model Minimization in Markov Decision Processes. 106-111Fahiem Bacchus, Craig Boutilier, Adam J. Grove:
Structured Solution Methods for Non-Markovian Decision Processes. 112-117
Qualitative Reasoning
Daniel J. Clancy, Benjamin Kuipers:
Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm. 118-124Daniel J. Clancy, Benjamin Kuipers:
Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation. 125-131
Reasoning about Physical Systems
Matthew Brand:
The "Inverse Hollywood Problem": From Video to Scripts and Storyboards via Causal Analysis. 132-137Thomas F. Stahovich, Randall Davis, Howard E. Shrobe:
Qualitative Rigid Body Mechanics. 138-144
Spatial Uncertainty
Thomas R. Ioerger:
Integrating a Spatial Reasoner with a Resolution Theorem-Prover. 145-152Murray Shanahan:
Noise, Non-Determinism and Spatial Uncertainty. 153-158Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Gerhard Sagerer, Gert Rickheit:
Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation. 159-164
Techniques for Temporal Reasoning
Eddie Schwalb:
A New Unification Method for Temporal Reasoning with Constraints. 165-171Subash Shankar, James R. Slagle:
Connection Based Strategies for Deciding Propositional Temporal Logic. 172-177
Constraint Satisfaction and Search
Constraint Satisfaction Problems and Bayes Networks
Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky:
Bayes Networks for Estimating the Number of Solutions to a CSP. 179-184Kirill Shoikhet, Dan Geiger:
A Practical Algorithm for Finding Optimal Triangulations. 185-190
Constraint Satisfaction Problems: Symmetry
Eugene C. Freuder, Daniel Sabin:
Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction. 191-196David Joslin, Amitabha Roy:
Exploiting Symmetry in Lifted CSPs. 197-202
Constraint Satisfaction Techniques
Roberto J. Bayardo Jr., Robert Schrag:
Using CSP Look-Back Techniques to Solve Real-World SAT Instances. 203-208Stephen Beale:
Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems. 209-214Daya Ram Gaur, W. Ken Jackson, William S. Havens:
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. 215
Efficient Reasoning
Carla P. Gomes, Bart Selman:
Problem Structure in the Presence of Perturbations. 221-226Rahul Roy-Chowdhury, Mukesh Dalal:
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP. 227-232
Heuristics for Scheduling
J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox:
Beyond Contention: Extending Texture-Based Scheduling Heuristics. 233-240J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox:
Texture-Based Heuristics for Scheduling Revisited. 241-248
Information Retrieval
Oliver M. Duschka:
Query Optimization Using Local Completeness. 249-255Jane Yung-jen Hsu, Wen-tau Yih:
Template-Based Information Mining from HTML Documents. 256-262
Local Search: Beyond SAT
Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki:
Local Search Algorithms for Partial MAXSAT. 263-268Joachim P. Walser:
Solving Linear Pseudo-Boolean Constraint Problems with Local Search. 269-274
Local Search Techniques
Alex S. Fukunaga:
Variable-Selection Heuristics in Local Search for SAT. 275-280Bertrand Mazure, Lakhdar Sais, Éric Grégoire:
Tabu Search for SAT. 281-285
Problem Solving & Computational Resources
Eric Horvitz:
Models of Continual Computation. 286-293Thomas Wagner, Alan Garvey, Victor R. Lesser:
Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling. 294-301
Scheduling
Lise Getoor, Greger Ottosson, Markus P. J. Fromherz, Björn Carlson:
Effective Redundant Constraints for Online Scheduling. 302-307Angelo Oddi, Stephen F. Smith:
Stochastic Procedures for Generating Feasible Schedules. 308-314
Search (Cost)
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
The Scaling of Search Cost. 315-320David A. McAllester, Bart Selman, Henry A. Kautz:
Evidence for Invariants in Local Search. 321-326
Structure of Constraint Satisfaction Problems
Daniel Frost, Irina Rish, Lluís Vila:
Summarizing CSP Hardness with Continuous Probability Distributions. 327-333Tad Hogg:
Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers. 334-339Andrew J. Parkes:
Clustering at the Phase Transition. 340-345
Education and Evaluation
Computational Systems for Education
William H. Bares, James C. Lester:
Realtime Generation of Customized 3D Animated Explanations for Knowledge-Based Learning Environments. 347-354Jack Mostow, Gregory Aist:
The Sounds of Silence: Towards Automated Evaluation of Student Learning in a Reading Tutor that Listens. 355-361
Experimental Methodology
C. Lee Giles, Steve Lawrence:
Presenting and Analyzing the Results of AI Experiments: Data Averaging and Data Snooping. 362-367
Knowledge Representation
Building and Modifying Knowledge Bases
Peter Clark, Bruce W. Porter:
Building Concept Representations from Reusable Components. 369-376Yolanda Gil, Marcelo Tallis:
A Script-Based Approach to Modifying Knowledge Bases. 377-383
Description Logics
Haym Hirsh, Daniel Kudenko:
Representing Sequences in Description Logics. 384-389Daphne Koller, Alon Y. Levy, Avi Pfeffer:
P-CLASSIC: A Tractable Probablistic Description Logic. 390-397
Knowledge Representation for Automated Reasoning
Pierre E. Bonzon:
A Reflective Proof System for Reasoning in Contexts. 398-403Robert Givan:
Obvious Properties of Computer Programs. 404-410
Knowledge Representation: Expert Systems
Valerie Barr:
Applications of Rule-Base Coverage Measures to Expert System Evaluation. 411-416James G. Schmolze, Wayne Snyder:
Detecting Redundant Production Rules. 417-423
Knowledge Representation: Nonmonotonic Logic
Grigoris Antoniou:
A Comparison of Two Approaches to Splitting Default Theories. 424-429Riccardo Rosati:
Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. 430-435
Knowledge Representation: Ontologies
Richard Fikes, Adam Farquhar, James Rice:
Tools for Assembling Modular Ontologies in Ontolingua. 436-441Kilian Stoffel, Merwyn G. Taylor, James A. Hendler:
Efficient Management of Very Large Ontologies. 442-447
Knowledge Representation: Reasoning about Action
Tom Costello:
Beyond Minimizing Change. 448-453Jorge Lobo, Gisela Mendez, Stuart R. Taylor:
Adding Knowledge to the Action Description Language A. 454-459Norman McCain, Hudson Turner:
Causal Theories of Action and Change. 460-465Michael Thielscher:
Qualified Ramifications. 466-471
Knowledge Representation: Theorem Proving
David A. Plaisted, Yunshan Zhu:
Ordered Semantic Hyper Linking. 472-477Bruce Spencer, Joseph Douglas Horton:
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions. 478-483
Learning
Formal Analyses of Learning
Tom Bylander:
Worst-Case Absolute Loss Bounds for Linear Learning Algorithms. 485-490Haym Hirsh, Nina Mishra, Leonard Pitt:
Version Spaces without Boundary Sets. 491-496L. Darrell Whitley, Soraya B. Rana:
Representation, Search and Genetic Algorithms. 497-502
Knowledge Discovery in Databases
Raj Bhatnagar, Sriram Srinivasan:
Pattern Discovery in Distributed Databases. 503-508Johannes Fürnkranz:
More Efficient Windowing. 509-514
Learning In Linguistic Domains
Raúl E. Valdés-Pérez, Vladimir Pericliev:
Maximally Parsimonious Discrimination: A Generic Task from Linguistic Discovery. 515-520Kenneth Yip, Gerald J. Sussman:
Sparse Representations for Fast, One-Shot Learning. 521-527
Machine Learning (Probabilistic)
Leo Kuvayev, C. Lee Giles, James Philbin, Henry Cejtin:
Intelligent Methods for File System Optimization. 528-533Moninder Singh:
Learning Bayesian Networks from Incomplete Data. 534-539
Model Selection and Overfitting
Steve Lawrence, C. Lee Giles, Ah Chung Tsoi:
Lessons in Neural Network Training: Overfitting May be Harder than Expected. 540-545Richard Maclin, David W. Opitz:
An Empirical Evaluation of Bagging and Boosting. 546-551Dale Schuurmans:
A New Metric-Based Approach to Model Selection. 552-558
Parallelism in Learning
Diane J. Cook, R. Craig Varnell:
Maximizing the Benefits of Parallel Search Using Machine Learning. 559-564Richard Kufrin:
Generating C4.5 Production Rules in Parallel. 565-570
Reactive Behavior
Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Detecting and Reacting to Unplanned-for World States. 571-576Daishi Harada:
Reinforcement Learning with Time. 577-582
Text Retrieval and Learning
William W. Cohen, Daniel Kudenko:
Transferring and Retraining Learned Information Filters. 583-590Ray Liere, Prasad Tadepalli:
Active Learning with Committees for Text Categorization. 591-596
Natural Language
Language and Learning
Eugene Charniak:
Statistical Parsing with a Context-Free Grammar and Word Statistics. 598-603Ted Pedersen, Rebecca F. Bruce:
A New Supervised Learning Algorithm for Word Sense Disambiguation. 604-609
Natural Language
Walid S. Saba, Jean-Pierre Corriveau:
A Pragmatic Treatment of Quantification in Natural Language. 610-615Steffen Staab, Udo Hahn:
Comparatives in Context. 616-621
Natural Language Generation
Inderjeet Mani, Eric Bloedorn:
Multi-Document Summarization by Graph Search and Matching. 622-628Daniel Marcu:
From Local to Global Coherence: A Bottom-Up Approach to Text Planning. 629-635
Perception and Behavior
Multi-Agent Systems
Dani Goldberg, Maja J. Mataric:
Interference as a Tool for Designing and Evaluating Multi-Robot Controllers. 637-642Maja J. Mataric:
Using Communication to Reduce Locality in Multi-Robot Learning. 643-648
Navigation & Perception
Michel de Rougemont, Christoph Schlieder:
Spatial Navigation with Uncertain Deviations. 649-654Zachary Dodds, Gregory D. Hager:
A Color Interest Operator for Landmark-Based Navigation. 655-660Frank Klassner, Victor R. Lesser, Hamid Nawab:
Combining Approximate Front End Signal Processing with Selective Reprocessing in Auditory Perception. 661-666
Planning
Case-Based Reasoning and Planning
Jim Blythe, Manuela M. Veloso:
Analogical Replay for Efficient Conditional Planning. 668-673David B. Leake, Andrew Kinley, David C. Wilson:
Case-Based Similarity Assessment: Estimating Adaptability from Experience. 674-679
Flexible Hierarchical Planning
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy:
Dynamic Abstraction Planning. 680-686Karen L. Myers:
Abductive Completion of Plan Sketches. 687-693
Optimal Planning
Tom Bylander:
A Linear Programming Heuristic for Optimal Planning. 694-699Richard E. Korf:
Finding Optimal Solutions to Rubik's Cube Using Pattern Databases. 700-705
Plan Generation
José Luis Ambite, Craig A. Knoblock:
Planning by Rewriting: Efficiently Generating High-Quality Plans. 706-713Blai Bonet, Gábor Loerincs, Hector Geffner:
A Robust and Fast Action Selection Mechanism for Planning. 714-719Craig Boutilier, Ronen I. Brafman:
Planning with Concurrent Interacting Actions. 720-726
Planning Under Uncertainty
Ronen I. Brafman:
A Heuristic Variable Grid Solution Method for POMDPs. 727-733Milos Hauskrecht:
Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes. 734-739
Probability and Planning
Daphne Koller, David A. McAllester, Avi Pfeffer:
Effective Bayesian Inference for Stochastic Programs. 740-747Michael L. Littman:
Probabilistic Propositional Planning: Representations and Complexity. 748-754
Invited Talks
Ronald C. Arkin, R. James Firby:
The AAAI-97 Mobile Robot Competion: Martians, Remotes, Hors d'oeuvres and Cleaning up the Mess Afterwards (Abstract). 755Richard J. Doyle:
The Emergence of Spacecraft Autonomy. 756-761David W. Etherington:
What Does Knowledge Representation Have to Say to Artificial Intelligence? 762Pat Langley:
Machine Learning for Intelligent Systems. 763-769Katia P. Sycara:
James Bond and Michael Ovitz: The Secret Life of Agents. 770-773Michael P. Wellman:
Market-Oriented Programming (Abstract). 774
Mobile Robot Competition Abstracts
Pete Beim, Ian Horswill, Ivan Yen:
Hack and Kluge. 776-777Douglas S. Blank, J. Oliver Ross:
Learning in a Fuzzy Logic Robot Controller. 778Marc Bolduc, Eric Bourque, Gregory Dudek, Nicholas Roy, Robert Sim:
Autonomous Exploration: An Integrated Systems Approach. 779-780R. Peter Bonasso:
ServerDroid: A MultiMedia Service Robot. 781-782David J. Bruemmer, Ross Michael Dickson, Jeremy Dilatush, David Allan Lewis, Heather Mateyak, Mike Mirarchi, Mike Morton, Jim Tracy, A. Vorobiev, Lisa Meeden:
A Situated Vacuuming Robot. 783-784Thomas R. Collins, Tucker R. Balch:
Teaming Up: Georgia Tech's Multi-Robot Competition Teams. 785-786William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell:
The Dartmouth Mobile Robot: SK. 787-788Ales V. Hvezda, John J. Garcia, Paul R. Klarer, Raymond H. Byrne, Gregory L. Heileman, Chaouki T. Abdallah:
LOBOtomous: An Autonomous Platform for Indoor Environments. 789-790Jason A. Janét, Bruce R. Linnell, Sean M. Scoggins:
Finding Life on Mars, and Other Tasks for NCSU's Mobile Robots. 791-792David P. Miller, Cathryne Stein, Anne Wright, Randy Sargent:
Are You Being Served? 793-794Robin R. Murphy:
Intelligent Sensor Fusion for the 1997 AAAI Mobile Robot Competition. 795-796Todd Prater, Michael J. Novak, Brian Rectanus, Steven Gustafson, David A. Gustafson:
Kansas State Robotics. 797Paul E. Rybski, Sascha Stoeter, Chris Wyman, Maria L. Gini:
A Cooperative Multi-Robot Approach to the Mapping and Exploration of Mars. 798-799Daniel P. Stormont, Jane Canulette, Timothy Eyring, Jose Juste, Salamon Quintana, Chaouki T. Abdallah, Raymond H. Byrne, Gregory L. Heileman:
Lobokhod: The University of New Mexico's Robotic Mars Rover. 800-801Barry Brian Werger, Miguel Schneider-Fontán, Dani Goldberg, Gregory Hornby, Maja J. Mataric, Sen Song:
Multiple Agents from the Bottom Up: The Interaction Lab's Robot Competition Effort. 802-803Brian Yamauchi, Alan C. Schultz, William Adams, Kevin Graves, John J. Grefenstette, Dennis Perzanowski:
ARIEL: Autonomous Robot for Integrated Exploration and Localization. 804-805
Doctorial Consortium Abstracts
Debra T. Burhans:
Pragmatic Question Answering: Generic versus Specific Responses. 807Juan M. Corchado:
Adaptive Hybrid System Architecture for Forecasting. 808Stephen F. Correl:
Iterative Refinement of Knowledge Bases with Consistency Guarantees. 809