aaai 1996 论文列表Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1. |
Evolution-Based Discovery of Hierarchical Behaviors.
Auto-Exploratory Average Reward Reinforcement Learning.
An Average-Reward Reinforcement Learning Algorithm for Computing Bias-Optimal Policies.
Learning Robust Plans for Mobile Robots from a Single Trial.
Searching for Planning Operators with Context-Dependent and Probabilistic Effects.
Is There Any Need for Domain-Dependent Control Information?: A Reply.
Design and Implementation of a Replay Framework Based on a Partial Order Planner.
Multi-Strategy Learning of Search Control for Partial-Order Planning.
KI: A Tool for Knowledge Integration.
Post-Analysis of Learned Rules.
Discovering Robust Knowledge from Dynamic Closed World Data.
Structural Regression Trees.
Generation of Attributes for Learning Algorithms.
Identifying and Eliminating Mislabeled Training Instances.
Testing the Robustness of the Genetic Algorithm on the Floating Building Block Representation.
Learning to Take Actions.
Sequential Inductive Learning.
Compilation of Non-Contemporaneous Constraints.
Learning Efficient Rules by Maintaining the Explanation Structure.
Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search.
Incremental Discovery of Hidden Structure: Applications in Theory of Elementary Particles.
Using a Hybrid Genetic Algorithm and Fuzzy Logic for Metabolic Modeling.
Machine Discovery Based on Numerical Data Generated in Computer Experiments.
The Discovery of the Causes of Leprosy: A Computational Analysis.
Bagging, Boosting, and C4.5.
Lazy Decision Trees.
Learning Trees and Rules with Set-Valued Features.
An Efficient Algorithm for Finding Optimal Gain-Ratio Multiple-Split Tests on Hierarchical Attributes in Decision Tree Learning.
Source Selection for Analogical Reasoning: An Empirical Approach.
Detecting Discontinuities in Case-Bases.
Acquiring Case Adaptation Knowledge: A Hybrid Approach.
Improving Case Retrieval by Remembering Questions.
Embracing Causality in Specifying the Indeterminate Effects of Actions.
On the Range of Applicability of Baker's Approach to the Frame Problem.
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
Formalizing Narratives Using Nested Circumscription.
Splitting a Default Theory.
Reasoning about Continuous Processes.
Situation Calculus on a Dense Flow of Time.
Toward Efficient Default Reasoning.
Contextual Reasoning Is NP-Complete.
Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection.
Utilizing Knowledge-Base Semantics in Graph-Based Algorithms.
Quantificational Logic of Context.
Closed Terminologies in Description Logics.
Verification of Knowledge Bases Based on Containment Checking.
The Limits on Combining Recursive Horn Rules with Description Logics.
Irrelevance and Conditioning in First-Order Probabilistic Logic.
Updating Knowledge Bases with Disjunctive Information.
The Complexity of Model Checking for Belief Revision and Update.
What Is Believed Is What Is Explained (Sometimes).
A Semantic Characterization of an Algorithm for Estimating Others' Beliefs from Observation.
Commitment Strategies in Hierarchical Task Network Planning.
Hierarchical A*: Searching Abstraction Hierarchies Efficiently.
Computing Abstraction Hierarchies by Numerical Simulation.
Spatial Aggregation: Language and Applications.
Compilation for Critically Constrained Knowledge Bases.
A New Algorithm for Computing Theory Prime Implicates Compilations.
Approximate Knowledge Compilation: The First Order Case.
Path-Based Rules in Object-Oriented Programming.
Detecting Knowledge Base Inconsistencies Using Automated Generation of Text and Examples.
CommonKADS Models for Knowledge-Based Planning.
Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition.
Knowledge-Based Navigation of Complex Information Spaces.
Significant Lexical Relationships.
Learning Word Meanings by Instruction.
Interactive Information Retrieval Systems with Minimalist Representation.
Machine Learning of User Profiles: Representational Issues.
Dynamically Sequencing an Animated Pedagogical Agent.
Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies.
A Simulation-Based Tutor that Reasons about Multiple Agents.
A Novel Application of Theory Refinement to Student Modeling.
A New Proof of Tractability for ORD-Horn Relations.
Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report.
A Representation for Efficient Temporal Reasoning.
A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks.
Combining Local Search and Backtracking Techniques for Constraint Satisfaction.
Tabu Search Techniques for Large High-School Timetabling Problems.
Tuning Local Search for Satisfiability Testing.
A Graph-Based Method for Improving GSAT.
Duplication of Coding Segments in Genetic Programming.
Weighting for Godot: Learning Heuristics for GSAT.
Adding New Clauses for Faster Local Search.
Constraint Satisfaction Using A Hybrid Evolutionary Hill-Climbing Algorithm That Performs Opportunistic Arc and Path Revision.
Inference-Based Constraint Satisfaction Supports Explanation.
Dynamic Improvements of Heuristic Evaluations during Search.
Improving the Learning Efficiencies of Realtime Search.
A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem.
Efficient Goal-Directed Exploration.
Improved Limited Discrepancy Search.
Easy and Hard Testbeds for Real-Time Search Algorithms.
Heuristic-Biased Stochastic Sampling.
The Very Particular Structure of the Very Hard Instances.
A Second Order Parameter for 3SAT.
Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems.
The Constrainedness of Search.
Forward Estimation for Game-Tree Search.
Exploiting Graph Properties of Game Trees.
Partition Search.
Searching Game Trees Under Memory Constraints.
Lazy Arc Consistency.
Generalized Arc Consistency for Global Cardinality Constraint.
Neighborhood Inverse Consistency Preprocessing.
Path-Consistency: When Space Misses Time.
Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem.
Russian Doll Search for Solving Constraint Optimization Problems.
Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge.
Approximate Resolution of Hard Numbering Problems.
A Framework for Plot Control in Interactive Story Systems.
A Model of Poetic Comprehension.
Declarative Camera Control for Automatic Cinematography.
Coping with Temporal Constraints in Multimedia Presentation Planning.
A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results.
Advantages of a Leveled Commitment Contracting Protocol.
Incorporating Opponent Models into Adversary Search.
Learning other Agents' Preferences in Multiagent Negotiation.
Total-Order Multi-Agent Task-Network Planning for Contract Bridge.
The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets.
Analysis of Utility-Theoretic Heuristics for Intelligent Adaptive Network Routing.
Nearly Monotonic Problems: A Key to Effective FA/C Distributed Sensor Interpretation?
Tracking Dynamic Team Activity.
Scaling Up: Distributed Machine Learning with Cooperation.
Cooperative Learning over Composite Search Spaces: Experiences with a Multi-Agent Design System.
Learning Models of Intelligent Agents.
Syskill & Webert: Identifying Interesting Web Sites.
Hybrid Hill-Climbing and Knowledge-Based Methods for Intelligent News Filtering.
Query-Answering Algorithms for Information Agents.
Planning to Gather Information.
Toward a Semantics for an Agent Communications Language Based on Speech-Acts.
Deciding to Remind During Collaborative Problem Solving: Empirical Evidence for Agent Strategies.
The ContactFinder Agent: Answering Bulletin Board Questions with Referrals.
Agent Amplified Communication.