


Остановите войну!
for scientists:


default search action
14th 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-9 - Juan 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-21 - Milind Tambe:
Agent Architectures for Flexible, Practical Teamwork. 22-28
Negotiation
- Rina Azoulay-Schwartz, Sarit Kraus:
Negotiation on Data Allocation in Multi-Agent Environments. 29-35 - Daniel Dajun 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-49 - P. 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-63 - Robert 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-75 - Ronen I. Brafman, Moshe Tennenholtz:
On the Axiomatization of Qualitative Decision Criteria. 76-81
Classification
- Piew Datta, Dennis F. Kibler:
Symbolic Nearest Mean Classifiers. 82-87 - Haim 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-99 - Pieter 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-111 - Fahiem 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-124 - Daniel 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-137 - Thomas 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-152 - Murray Shanahan:
Noise, Non-Determinism and Spatial Uncertainty. 153-158 - Constanze 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-171 - Subash 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-184 - Kirill 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-196 - David 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-208 - Stephen Beale:
Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems. 209-214 - Daya 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-226 - Rahul 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-240 - J. 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-255 - Jane 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-268 - Joachim 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-280 - Bertrand Mazure, Lakhdar Sais, Éric Grégoire:
Tabu Search for SAT. 281-285
Problem Solving & Computational Resources
- Eric Horvitz:
Models of Continual Computation. 286-293 - Thomas 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-307 - Angelo 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-320 - David 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-333 - Tad Hogg:
Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers. 334-339 - Andrew 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-354 - Jack 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-376 - Yolanda 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-389 - Daphne 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-403 - Robert 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-416 - James 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-429 - Riccardo 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-441 - Kilian 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-453 - Jorge Lobo, Gisela Mendez, Stuart R. Taylor:
Adding Knowledge to the Action Description Language A. 454-459 - Norman McCain, Hudson Turner:
Causal Theories of Action and Change. 460-465 - Michael Thielscher:
Qualified Ramifications. 466-471
Knowledge Representation: Theorem Proving
- David A. Plaisted, Yunshan Zhu:
Ordered Semantic Hyper Linking. 472-477 - Bruce 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-490 - Haym Hirsh, Nina Mishra, Leonard Pitt:
Version Spaces without Boundary Sets. 491-496 - L. 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-508 - Johannes 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-520 - Kenneth 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-533 - Moninder 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-545 - Richard Maclin, David W. Opitz:
An Empirical Evaluation of Bagging and Boosting. 546-551 - Dale 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-564 - Richard 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-576 - Daishi Harada:
Reinforcement Learning with Time. 577-582
Text Retrieval and Learning
- William W. Cohen, Daniel Kudenko:
Transferring and Retraining Learned Information Filters. 583-590 - Ray 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-603 - Ted 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-615 - Steffen Staab, Udo Hahn:
Comparatives in Context. 616-621
Natural Language Generation
- Inderjeet Mani, Eric Bloedorn:
Multi-Document Summarization by Graph Search and Matching. 622-628 - Daniel 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-642 - Maja 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-654 - Zachary Dodds, Gregory D. Hager:
A Color Interest Operator for Landmark-Based Navigation. 655-660 - Frank 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-673 - David 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-686 - Karen L. Myers:
Abductive Completion of Plan Sketches. 687-693
Optimal Planning
- Tom Bylander:
A Linear Programming Heuristic for Optimal Planning. 694-699 - Richard 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-713 - Blai Bonet, Gábor Loerincs, Hector Geffner:
A Robust and Fast Action Selection Mechanism for Planning. 714-719 - Craig 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-733 - Milos 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-747 - Michael 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). 755 - Richard J. Doyle:
The Emergence of Spacecraft Autonomy. 756-761 - David W. Etherington:
What Does Knowledge Representation Have to Say to Artificial Intelligence? 762 - Pat Langley:
Machine Learning for Intelligent Systems. 763-769 - Katia P. Sycara:
James Bond and Michael Ovitz: The Secret Life of Agents. 770-773 - Michael P. Wellman:
Market-Oriented Programming (Abstract). 774
Mobile Robot Competition Abstracts
- Pete Beim, Ian Horswill, Ivan Yen:
Hack and Kluge. 776-777 - Douglas S. Blank, J. Oliver Ross:
Learning in a Fuzzy Logic Robot Controller. 778 - Marc Bolduc, Eric Bourque, Gregory Dudek, Nicholas Roy, Robert Sim:
Autonomous Exploration: An Integrated Systems Approach. 779-780 - R. Peter Bonasso:
ServerDroid: A MultiMedia Service Robot. 781-782 - David 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-784 - Thomas R. Collins, Tucker R. Balch:
Teaming Up: Georgia Tech's Multi-Robot Competition Teams. 785-786 - William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell:
The Dartmouth Mobile Robot: SK. 787-788 - Ales 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-790 - Jason A. Janét, Bruce R. Linnell, Sean M. Scoggins:
Finding Life on Mars, and Other Tasks for NCSU's Mobile Robots. 791-792 - David P. Miller, Cathryne Stein, Anne Wright, Randy Sargent:
Are You Being Served? 793-794 - Robin R. Murphy:
Intelligent Sensor Fusion for the 1997 AAAI Mobile Robot Competition. 795-796 - Todd Prater, Michael J. Novak, Brian Rectanus, Steven Gustafson, David A. Gustafson:
Kansas State Robotics. 797 - Paul E. Rybski, Sascha Stoeter, Chris Wyman, Maria L. Gini:
A Cooperative Multi-Robot Approach to the Mapping and Exploration of Mars. 798-799 - Daniel P. Stormont, Jane Canulette, Timothy Eyring, Jose Juste, Salamon Quintana,