List of contents of the Proceedings of the
14'th AAAI National Conference on Artificial Intelligence,
1997 (AAAI-97)
- c-aaai-97-Allen
- James F. Allen:
AI Growing Up: The Changes and Opportunities.
- c-aaai-97-Amant
- Robert St. Amant:
A Mixed Initiative Planner for User Interface Management.
- c-aaai-97-Ambite
- Jose Luis Ambite and Craig A. Knoblock:
Planning by Rewriting: Efficiently Generating High-Quality Plans.
- c-aaai-97-Antoniou
- Grigoris Antoniou:
A Comparison of Two Approaches to Splitting Default Theories.
- c-aaai-97-Arkin
- Ronald C. Arkin and R. James Firby:
The AAAI-97 Mobile Robot Competition: Martians, Remotes, Hors d'ouevres, and Cleaning up the Mess Afterwards.
- c-aaai-97-Atkins
- Ella M. Atkins, Edmund H. Durfee, and Kang G. Shin:
Detecting and Reacting to Unplanned-for World States.
- c-aaai-97-Bacchus
- Fahiem Bacchus, Craig Boutilier, and Adam Grove:
Structured Solution Methods for Non-Markovian Decision Processes.
- c-aaai-97-Bagga
- Amit Bagga, Joyce Yue Chai, and Alan W. Biermann:
The Role of WordNet in the Creation of a Trainable Message.
- c-aaai-97-Barbuceanu
- Mihai Barbuceanu:
Coordinating Agents by Role Based Social Constraints and Conversation Plans.
- c-aaai-97-Bares
- William H. Bares and James C. Lester:
Realtime Generation of Customized 3D Animated Explanations for Knowledge-Based Learning Environments.
- c-aaai-97-Barr
- Valerie B. Barr:
Applications of Rule-Base Coverage Measures to Expert System Evaluation.
- c-aaai-97-Bayardo
- Roberto J. Bayardo and Robert Schrag:
Using CSP Look-Back Techniques to Solve Real-World SAT Instances.
- c-aaai-97-Beale
- Stephen Beale:
Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems.
- c-aaai-97-Beck-1
- Christopher J. Beck, Andrew J. Davenport, Edward M. Sitarski, and Mark S. Fox:
Texture-Based Heuristics for Scheduling Revisited.
- c-aaai-97-Beck-2
- Christopher J. Beck, Andrew J. Davenport, Edward M. Sitarski, and Mark S. Fox:
Beyond Contention: Extending Texture-Based Scheduling Heuristics.
- c-aaai-97-Bekey
- George Bekey:
Embodied Intelligent Agents: Issues and Trends in Robotics.
- c-aaai-97-Benferhat
- Salem Benferhat, Didier Dubois, and Henri Prade:
Possibilistic and Standard Probabilistic Semantics Of Conditional Knowledge.
- c-aaai-97-Bhatnagar
- Raj Bhatnagar and Sriram Srinivasan:
Pattern Discovery in Distributed Databases.
- c-aaai-97-Blythe
- Jim S. Blythe and Manuela M. Veloso:
Analogical Replay for Efficient Conditional Planning.
- c-aaai-97-Bonasso
- R. Peter Bonasso, David Kortenkamp, and Troy Whitney:
Using a Robot Control Architecture to Automate Space Shuttle Operations.
- c-aaai-97-Bonet
- Blai Bonet, Gabor Loerincs, and Hector Geffner:
A Robust and Fast Action Selection Mechanisn for Planning.
- c-aaai-97-Bonzon
- Pierre E. Bonzon:
A Reflective Proof System For Reasoning In Contexts.
- c-aaai-97-Brafman-1
- Ronen I. Brafman:
A Heuristic Variable Grid Solution Method for POMDPs.
- c-aaai-97-Brafman-2
- Ronen I. Brafman and Moshe Tennenholtz:
On the Axiomatization of Qualitative Decision Criteria.
- c-aaai-97-Brand
- Matthew E. Brand:
The "Inverse Hollywood Problem:" From video to scripts and storyboards via causal analysis.
- c-aaai-97-Butz
- Andreas Butz:
Anymation with CATHI.
- c-aaai-97-Bylander-1
- Tom Bylander:
Worst-Case Absolute Loss Bounds for Linear Learning Algorithms.
- c-aaai-97-Bylander-2
- Tom Bylander:
A Linear Programming Heuristic for Optimal Planning.
- c-aaai-97-Cha
- Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, and Shuichi Miyazaki:
Local Search Algorithms for Partial MAXSAT.
- c-aaai-97-Charniak
- Eugene Charniak:
Statistical Parsing with a Context-free Grammar and Word Statistics.
- c-aaai-97-Chien
- S. Chien, A. Govindjee, T. Estlin, X. Wang, and Randall W. Hill Jr.:
Automated Generation of Tracking Plans for a Network of Communications Antennas.
- c-aaai-97-Clancy-1
- Daniel J. Clancy and Benjamin Kuipers:
Model Decomposition and Simulation: A Component Based Qualitative Simulation Agorithm.
- c-aaai-97-Clancy-2
- Daniel J. Clancy and Benjamin Kuipers:
Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation.
- c-aaai-97-Clark
- Peter Clark and Bruce Porter:
Building Concept Representations from Reusable Components.
- c-aaai-97-Coen
- Michael H. Coen:
Building Brains for Rooms: Designing Distributed Software Agents.
- c-aaai-97-Cohen-1
- William W. Cohen and Daniel Kudenko:
Transferring and Retraining Learned Information Filters.
- c-aaai-97-Cohen-2
- Philip R. Cohen, Michael Johnston, David McGee, Jay Pittman, David E. Smith, Liang Chen, and Josh Clow:
Mulitmodal Interaction for Distributed Interactive Simulation.
- c-aaai-97-Cook
- Diane J. Cook and R. C. Varnell:
Maximizing the Benefits of Parallel Search Using Machine Learning.
- c-aaai-97-Costello
- Tom Costello:
Beyond Minimizing Change.
- c-aaai-97-Darwiche
- Adnan Y. Darwiche and Gregory M. Provan:
The Effect Of Observations On The Complexity Of Model-Based Diagnosis.
- c-aaai-97-Datta
- Piew Datta and Dennis Kibler:
Symbolic Nearest Mean Classifiers.
- c-aaai-97-Dev
- Narendra Dev and Bart Anderson:
PIMTOOL, An Expert System to Troubleshoot Computer Hardware Failures.
- c-aaai-97-Dodds
- Zachary Dodds and Gregory D. Hager:
A Color Interest Operator for Landmark-based Navigation.
- c-aaai-97-Doyle
- Richard J. Doyle:
The Emergence of Spacecraft Autonomy.
- c-aaai-97-Duschka
- Oliver M. Duschka:
Query Optimization Using Local Completeness.
- c-aaai-97-Etherington
- David Etherington:
What Does KR Have to Say to AI?.
- c-aaai-97-Farquhar
- Adam Farquhar, Richard Fikes, and James Rice:
Tools For Assembling Modular Ontologies In Ontolingua.
- c-aaai-97-Freuder
- Eugene C. Freuder and Daniel Sabin:
Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction.
- c-aaai-97-Frost
- Daniel Frost, Irina Rish, and Lluís Vila:
Summarizing CSP Hardness With Continuous Probability Distributions.
- c-aaai-97-Fuernkranz
- Johannes Fuernkranz:
More Efficient Windowing.
- c-aaai-97-Fukunaga
- Alex S. Fukunaga:
Variable-Selection Heuristics in Local Search for Satisfiability Testing.
- c-aaai-97-Garcia
- Ana Christina Bicharra Garcia, Joper Cezar de Andrade, Rogerio Ferreira, and Ricardo de Moura:
ADDVAC: Applying Active Design Documents for the Capture, Retrieval and Use of Rationale During Offshore Platform VAC Design.
- c-aaai-97-Gaur
- Daya Ram Gaur, W. Ken Jackson, and William S. Havens:
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure.
- c-aaai-97-Getoor
- Lise Getoor, Greger Ottosson, Markus Fromherz, and Bjorn Carlson:
Effective Redundant Constraints for Online Scheduling.
- c-aaai-97-Gil
- Yolanda Gil and Marcelo Tallis:
A Script-Based Approach to Modifying Knowledge Bases.
- c-aaai-97-Givan
- Robert L. Givan:
Obvious Properties of Computer Programs.
- c-aaai-97-Glasgow
- Barry Glasgow, Alan Mandell, Dan Binney, Lila Ghemri, and Michael Fisher:
MITA: An Information Extraction Approach to Analysis of Free-form Text in Life Insurance Applications.
- c-aaai-97-Goldberg
- Dani Goldberg and Maja J. Mataric:
Interference as a Tool for Designing and Evaluating Multi-Robot Controllers.
- c-aaai-97-Goldman
- Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, and Mark S. Boddy:
Dynamic Abstraction Planning.
- c-aaai-97-Gomes
- Carla P. Gomes and Bart Selman:
Solution Space of Structured Problems in the Presence of Perturbations.
- c-aaai-97-Harada
- Daishi Harada:
Reinforcement Learning with Time.
- c-aaai-97-Hauskrecht
- Milos Hauskrecht:
Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes.
- c-aaai-97-Hildum
- David W. Hildum, Norman M. Sadeh, Thomas J. Laliberty, John McA'Nulty, Stephen F. Smith, and Dag Kjenstad:
A Blackboard-Based Architecture for Supporting Mixed-Initiative Management of Integrated Problem-Solving Tasks.
- c-aaai-97-Hill
- Randall W. Hill Jr., Johnny Chen, Jonathan Gratch, Paul Rosenbloom, and Milind Tambe:
Intelligent Agents for the Synthetic Battlefield: A Company of Rotary Wing Aircraft.
- c-aaai-97-Hirsh-1
- Haym Hirsh and Daniel Kudenko:
Representing Sequences in Description Logics.
- c-aaai-97-Hirsh-2
- Haym Hirsh, Nina Mishra, and Leonard Pitt:
Version Spaces Without Boundary Sets.
- c-aaai-97-Hogg
- Tad Hogg:
Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers.
- c-aaai-97-Holowczak
- Richard D. Holowczak and Nabil R. Adam:
Information Extraction based Multiple-Category Document Classification for the Global Legal Information Network.
- c-aaai-97-Horvitz-1
- Eric Horvitz:
Models of Continual Computation.
- c-aaai-97-Horvitz-2
- Eric Horvitz:
Advances in Uncertain Reasoning.
- c-aaai-97-Hsu
- Jane Y. Hsu and Wen-tau Yih:
Template-Based Information Mining from HTML Documents.
- c-aaai-97-Ioerger
- Thomas R. Ioerger:
Integrating a Spatial Reasoner with a Resolution Theorem-Prover.
- c-aaai-97-Joslin
- David E. Joslin and Amitabha Roy:
Exploiting Symmetry in Lifted CSPs.
- c-aaai-97-Klassner
- Frank Klassner, Victor Lesser, and Hamid Nawab:
Combining Approximate Front End Signal Processing with Selective Reprocessing in Auditory Perception.
- c-aaai-97-Klein
- William B. Klein, Carl R. Stern, George F. Luger, and Eric T. Olsson:
An Intelligent Control Architecture for Accelerator Beamline Tuning.
- c-aaai-97-Koller-1
- Daphne Koller, Alon Levy, and Avi Pfeffer:
P-Classic: A Tractable Probablistic Description Logic.
- c-aaai-97-Koller-2
- Daphne Koller, David McAllester, and Avi Pfeffer:
Effective Bayesian Inference for Stochastic Programs.
- c-aaai-97-Korf
- Richard E. Korf:
Finding Optimal Solutions to Rubik's Cube using Memory-Based Heuristics.
- c-aaai-97-Kufrin
- Richard Kufrin:
Generating C4.5 Production Rules In Parallel.
- c-aaai-97-Kuvayev
- Leonid Kuvayev, C. L. Giles, Henry Cejtin, and James F. Philbin:
Intelligent Methods for File System Optimization.
- c-aaai-97-Lawrence-1
- Steve Lawrence, C. Lee Giles, and Ah Chung Tsoi:
Lessons in Neural Network Training: Overfitting May Be Harder Than Expected.
- c-aaai-97-Lawrence-2
- Steve Lawrence and C. Lee Giles:
Presenting and Analyzing the Results of AI Experiments: Data Averaging and Data Snooping.
- c-aaai-97-Leake
- David B. Leake, Andrew Kinley, and David Wilson:
Case-Based Similarity Assessment: Estimating Adaptability from Experience.
- c-aaai-97-Liere
- Ray Liere and Prasad Tadepalli:
Active Learning with Committees for Text Categorization.
- c-aaai-97-Littman
- Michael L. Littman:
Probabilistic Propositional Planning: Representations and Complexity.
- c-aaai-97-Lobo
- Jorge Lobo, Gisela Mendez, and Stuart R. Taylor:
Adding Knowledge to the Action Description Language A.
- c-aaai-97-Maclin
- Richard Maclin and David Opitz:
An Empirical Evaluation of Bagging and Boosting.
- c-aaai-97-Mani
- Inderjeet Mani and Eric Bloedorn:
Multi-document Summarization by Graph Search and Matching.
- c-aaai-97-Marcu
- Daniel Marcu:
From local to Global Coherence: A Bottom-Up Approach to Text Planning.
- c-aaai-97-Marmorstein
- Howard Marmorstein, Jayesh Ghia, Sandeep Sathaye, Akshay Gupta, and Eva Baron-Vartian:
PST: The Provider Selection Tool.
- c-aaai-97-Mataric
- Maja J. Mataric:
Using Communication to Reduce Locality in Multi-Robot Learning.
- c-aaai-97-Mazure
- B. Mazure, L. Sais, and E. Gregoire:
Tabu Search for SAT.
- c-aaai-97-McAllester
- David McAllester, Bart Selman, and Henry Kautz:
Three Principles of Local Search.
- c-aaai-97-McCain
- Norman McCain and Hudson Turner:
Causal Theories of Action and Change.
- c-aaai-97-McCray
- Alexa T. McCray:
Taming the Jabberwock.
- c-aaai-97-McDonald
- David W. McDonald, Charles O. Pepe, Henry M. Bowers, and Edward J. Dombroski:
Desktop Underwriter: Fannie Mae's Automated Mortgage Underwriting Expert System.
- c-aaai-97-McIlraith
- Sheila A. McIlraith:
Representing Actions and State Constraints in Model-Based Diagnosis.
- c-aaai-97-Meisels
- Amnon Meisels, Solomon Eyal Shimony, and Gadi Solotorevsky:
Bayes Networks for Estimating the Number of Solutions to a CSP.
- c-aaai-97-Miller
- David P. Miller, Anne Wright, Randy Sargent, Rob Cohen, and Teresa Hunt:
Attitude and Position Control Using Real-Time Color Tracking.
- c-aaai-97-Mitchell
- Steven W. Mitchell:
A Hybrid Architecture for Real-Time Mixed Initiative Planning and Control.
- c-aaai-97-Mittal
- Vibhu O. Mittal:
Visual Prompts and Graphical Design: A Framework for Analyzing Information Conveyed by 2-D Charts and Graphs.
- c-aaai-97-Montemerlo
- Mel Montemerlo:
Prospects, Trends and Issues In Government Support of AI: Views of the Funding Agencies Organizer: .
- c-aaai-97-Moon
- Charles D. Moon, Thomas A. Shore, Gary Brophy, and Dennis Koski:
Design of High Performance Help Desk Application and Its Implementation Results.
- c-aaai-97-Mosterman
- Pieter J. Mosterman:
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems.
- c-aaai-97-Mostow-1
- Jack Mostow and Gregory S. Aist:
The Sounds of Silence: Towards Automated Evaluation of Student Learning in a Reading Tutor that Listens.
- c-aaai-97-Mostow-2
- Jack Mostow:
AI in Education.
- c-aaai-97-Myers
- Karen L. Myers:
Abductive Refinement of Plan Sketches.
- c-aaai-97-Nayak
- P. Pandurang Nayak and Brian C. Williams:
Fast Context Switching in Real-time Propositional Reasoning.
- c-aaai-97-Oddi
- Angelo Oddi and Stephen F. Smith:
Stochastic Procedures for Generating Feasible Schedules.
- c-aaai-97-Otsubo
- Motohide Otsubo, Satoru Fujita, and Toru Yamanouchi:
Intelligent Command Control for VLSI CAD System.
- c-aaai-97-Paley
- Suzanne M. Paley, John D. Lowrance, and Peter D. Karp:
A Generic Knowledge-Base Browser and Editor.
- c-aaai-97-Parkes
- Andrew J. Parkes:
Clustering at the Phase Transition.
- c-aaai-97-Pedersen
- Ted D. Pedersen and Rebecca F. Bruce:
A New Supervised Learning Algorithm for Word Sense Disambiguation.
- c-aaai-97-Pereira
- Fernando Pereira:
Resource-Bounded Language Processing.
- c-aaai-97-Plaisted
- David A. Plaisted and Yunshan Zhu:
Ordered Semantic Hyper Linking.
- c-aaai-97-Price
- Chris Price and Neil Taylor:
Multiple Fault Diagnosis from FMEA.
- c-aaai-97-Rosati
- Riccardo Rosati:
Reasoning with Minimal Belief And Negation As Failure: Algorithms And Complexity.
- c-aaai-97-Rosenbloom
- Paul Rosenbloom, John Laird, and Jill Lehman:
The Ascent of Soar.
- c-aaai-97-Rougement
- Michel de Rougement and Christoph Schlieder:
Spatial Navigation With Uncertain Deviations.
- c-aaai-97-Roy-Chowdhury
- Rahul Roy-Chowdhury and Mukesh Dalal:
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP.
- c-aaai-97-Saba
- Walid S. Saba and Jean-Pierre Corriveau:
A Pragmatic Treatment of Quantification in Natural Language.
- c-aaai-97-Schmolze
- James G. Schmolze and Wayne Snyder:
Detecting Redundant Production Rules.
- c-aaai-97-Schuurmans
- Dale E. Schuurmans:
A New Metric-Based Approach to Model Selection.
- c-aaai-97-Schwalb
- Eddie Schwalb:
Temporal Reasoning with Resolution and Constraint Propagation.
- c-aaai-97-Schwartz
- Rina Schwartz and Sarit Kraus:
Negotiation On Data Allocation in Multi-Agent Environments.
- c-aaai-97-Schweitzer
- Haim Schweitzer:
Classification as a Reductio-ad-Absurdum Proof.
- c-aaai-97-Shanahan
- Murray P. Shanahan:
Noise, Non-Determinism and Spatial Uncertainty.
- c-aaai-97-Shankar
- Subash Shankar and James R. Slagle:
A Connection Based Proof Procedure for Propositional Temporal Logic.
- c-aaai-97-Shoikhet
- Kirill Shoikhet and Dan Geiger:
Optimal Triangulations Via Minimal Vertex Separators.
- c-aaai-97-Singh
- Moninder Singh:
Learning Bayesian Networks from Incomplete Data.
- c-aaai-97-Spencer
- Bruce Spencer and J. D. Horton:
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions.
- c-aaai-97-Spertus
- Ellen Spertus:
Smokey: Automatic Recognition of Hostile Messages.
- c-aaai-97-Staab
- Steffen Staab and Udo Hahn:
Comparatives in Context.
- c-aaai-97-Stahovich
- Thomas F. Stahovich, Ernest Davis, and Howard Shrobe:
Qualitative Rigid Body Mechanics.
- c-aaai-97-Stein
- Lynn Andrea Stein:
Preaching What We Practice: How AI is Changing the Concept of Computation.
- c-aaai-97-Stoffel
- Kilian Stoffel, Merwyn Taylor, and Jim Hendler:
Efficient Management of Very Large Ontologies.
- c-aaai-97-Sycara
- Katia P. Sycara:
James Bond and Mike Ovitz: The Secret Life of Agents.
- c-aaai-97-Tambe
- Milind Tambe:
Agent Architectures for Flexible, Practical Teamwork.
- c-aaai-97-Toyama
- Kentaro Toyama and Gregory D. Hager:
If at First You Don't Succeed....
- c-aaai-97-Valdes-Perez
- Raul E. Valdes-Perez and Vladimir Pericliev:
Maximally Parsimonious Discrimination: A Generic Task from Linguistic Discovery.
- c-aaai-97-Velasquez
- Juan D. Velasquez:
Modeling Emotions and Other Motivations in Synthetic Agents.
- c-aaai-97-Veloso
- Manuela M. Veloso, Alice M. Mulvehill, and Michael T. Cox:
Rationale-Supported Mixed-Initiative Case-Based Planning.
- c-aaai-97-Vivacqua
- Adriana S. Vivacqua and Ana Christina Bicharra Garcia:
MultiADD: A Multiagent Active Design Document Model to Support Group Design.
- c-aaai-97-Vorwerg
- Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, and Gerhard Sagerer:
Projective relations for 3D Space: Computational Model, Application, and Psychological Evaluation.
- c-aaai-97-Wagner
- Thomas Wagner, Alan Garvey, and Victor Lesser:
Complex Goal Criteria and Its Application in Design-to-Resource Scheduling.
- c-aaai-97-Walker
- Marilyn Walker:
Performance Models for Dialogue Agents.
- c-aaai-97-Walser
- Joachim P. Walser:
Solving Linear Pseudo-Boolean Constraint Problems with Local Search.
- c-aaai-97-Wellman
- Mike Wellman:
Market-Oriented Programming.
- c-aaai-97-Whitley
- Darrell Whitley and Soraya B. Rana:
Representation, Search and Genetic Algorithms: A Free Lunch.
- c-aaai-97-Wylie
- Rob Wylie, Robert Orchard, Michael Halasz, and Francois Dube:
IDS: Improving Aircraft Fleet Maintenance.
- c-aaai-97-Yip
- Kenneth Yip and Gerald J. Sussman:
Sparse Representations in Incremental One-Shot Learning.
- c-aaai-97-Zeng
- Dajun Zeng:
Benefits of Learning in Negotiation.
19-May-97 23:23