ijcai 2001 论文列表Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. |
Robust Translation of Spontaneous Speech: A Multi-Engine Approach.
Plausibility Measures: A General Approach For Representing Uncertainty.
Multimodal Interaction: A new focal area for AI.
Keyword Spices: A New Method for Building Domain-Specific Web Search Engines.
Preference-Based Configuration of Web Page Content.
ExpertClerk: Navigating Shoppers Buying Process with the Combination of Asking and Proposing.
A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong.
Real-Time Auditory and Visual Multiple-Object Tracking for Humanoids.
Multimodal Integration A Biological View.
An Hybrid Approach to Solve the Global Localization Problem For Indoor Mobile Robots Considering Sensorms Perceptual Limitations.
Discriminating Animate from Inanimate Visual Stimuli.
Fuzzy Conceptual Graphs for Matching Images of Natural Scenes.
Perceptual Texture Space Improves Perceptual Consistency of Computational Features.
Efficient Interpretation Policies.
VAMBAM: View and Motion-based Aspect Models for Distributed Omnidirectional Vision Systems.
Resolving Ambiguities to Create a Natural Computer-Based Sketching Environment.
A Hierarchy of Boundary-based Shape Descriptors.
Learning Iterative Image Reconstruction.
Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots.
Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists.
Combining Probabilities, Failures and Safety in Robot Control.
Automatically Extracting and Comparing Lexicalized Grammars for Different Languages.
Refining the Structure of a Stochastic Context-Free Grammar.
An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness.
Generating Tailored Examples to Support Learning via Self-explanation.
Dialog-driven Adaptation of Explanations of Proofs.
NLP-driven IR: Evaluating Performances over a Text Classification task.
Sequentially finding the N-Best List in Hidden Markov Models.
Representing Sentence Structure in Hidden Markov Models for Information Extraction.
Deriving a multi-domain information extraction system from a rough ontology.
Relational Learning via Propositional Algorithms: An Information Extraction Case Study.
Adaptive Information Extraction from Text by Rule Induction and Generalisation.
Narrative Prose Generation.
Dealing with Dependencies between Content Planning and Surface Realisation in a Pipeline Generation Architecture.
Title Generation for Machine-Translated Documents.
Partitioning Activities for Agents.
Bidding Languages for Combinatorial Auctions.
A Multiagent System for Helping Urban Traffic Management.
An Agent Architecture for Multi-Attribute Negotiation.
Leveraging Data About Users in General in the Learning of Individual User Models.
Usability Guidelines for Interactive Search in Direct Manipulation Systems.
Agent-Human Interactions in the Continuous Double Auction.
Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges.
On Market-Inspired Approaches to Propositional Satisfiability.
Market Clearability.
CAST: Collaborative Agents for Simulating Teamwork.
Stable Strategies for Sharing Information among Agents.
Reflective Negotiating Agents for Real-Time Multisensor Target Tracking.
Modularity and Design in Reactive Intelligence.
A software architecture for dynamically generated adaptive Web stores.
CABOB: A Fast Optimal Algorithm for Combinatorial Auctions.
Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids.
Robust Multi-unit Auction Protocol against False-name Bids.
Fair Imposition.
Learning Procedural Knowledge to Better Coordinate.
Rational Competitive Analysis.
Behavior Planning for a Reflexive Agent.
A Layered Brain Architecture for Synthetic Creatures.
Identifying the Scope of Modeling for Time-Critical Multiagent Decision- Making.
Multiagent Coordination by Stochastic Cellular Automata.
Multi-Agent Influence Diagrams for Representing and Solving Games.
Rational and Convergent Learning in Stochastic Games.
Using Case-Base Data to Learn Adaptation Knowledge for Design.
A Distributed Case-Based Query Rewriting.
SiN: Integrating Case-based Reasoning with Task Decomposition.
Minimizing Dialog Length in Interactive Case-Based Reasoning.
Bridging the Lesson Distribution Gap.
Mining Soft-Matching Rules from Textual Data.
The Foundations of Cost-Sensitive Learning.
Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning.
From Q(lambda) to Average Q-learning: Efficient Implementation of an Asymptotic Approximation.
R-MAX - A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning.
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge.
Knowledge Analysis on Process Models.
A Simple Additive Re-weighting Strategy for Improving Margins.
Learning on the Phase Transition Edge.
Active Learning for Class Probability Estimation and Ranking.
Link Analysis, Eigenvectors and Stability.
A Simple Feature Selection Method for Text Classification.
Faster Association Rules for Multiple Relations.
Using Text Classifiers for Numerical Classification.
Adaptive Web Navigation for Wireless Devices.
Probabilistic Classification and Clustering in Relational Data.
Active Learning for Structure in Bayesian Networks.
The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding.
OI-implication: Soundness and Refutation Completeness.
Robot Weightlifting By Direct Policy Search.
Multi-Agent Systems by Incremental Gradient Reinforcement Learning.
Fast Concurrent Reinforcement Learners.
Reinforcement Learning in Distributed Domains: Beyond Team Games.
Sensitivity Analysis of Multilayer Perceptron.
Neural Logic Network Learning using Genetic Programming.
Genetic Algorithm based Selective Neural Network Ensemble.
A General Updating Rule for Discrete Hopfield-Type Neural Network with Delay.
NORN Finance Forecaster - A Neural Oscillatory-based Recurrent Network for Finance Prediction.
Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond.
Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions.
Knowledge Extraction from Local Function Networks.
Constraints as Data: A New Perspective on Inferring Probabilities.
Knowledge Processing under Information Fidelity.
Approximate inference for first-order probabilistic languages.
IBAL: A Probabilistic Rational Programming Language.
A Fuzzy Modal Logic for Belief Functions.
Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory.
An Improved Grid-Based Approximation Algorithm for POMDPs.
Adaptive Control of Acyclic Progressive Processing Task Structures.
Symbolic Dynamic Programming for First-Order MDPs.
Solving Factored MDPs via Non-Homogeneous Partitioning.
Max-norm Projections for Factored MDPs.
Context-specific Sign-propagation in Qualitative Probabilistic Networks.
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting.
A Framework for Declarative Update Specifications in Logic Programs.
Graph Theoretical Characterization and Computation of Answer Sets.
Experimenting with Heuristics for Answer Set Programming.
Theorem Proving with Structured Theories.
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.
Splitting Without Backtracking.
Reasoning with infinite stable models.
A Comparative Study of Logic Programs with Preference.
A-System: Problem Solving through Abduction.
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.
Hierarchical Diagnosis Guided by Observations.
Causal interaction: from a high-level representation to an operational event-based representation.
Distributed Monitoring of Hybrid Systems: A model-directed approach.
Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem.
Temporal Decision Trees or the lazy ECU vindicated.
Satisficing and Learning Cooperation in the Prisoner s Dilemma.
Temporal Difference Learning Applied to a High-Performance Game-Playing Program.
Iterative Widening.
A Simplifier for Propositional Formulas with Many Binary Clauses.
Computational Complexity of Planning with Temporal Goals.
Complexity of Probabilistic Planning under Average Rewards.
Dynamic Control Of Plans With Temporal Uncertainty.
Executing Reactive, Model-based Programs through Graph-based Temporal Planning.
Planning as Model Checking for Extended Goals in Non-deterministic Domains.
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.
Reviving Partial Order Planning.
Local Search Topology in Planning Benchmarks: An Empirical Analysis.
Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning.
One action is enough to plan.
Conditional progressive planning under uncertainty.
Total-Order Planning with Partially Ordered Subtasks.
Planning with Resources and Concurrency: A Forward Chaining Approach.
Perceptual Anchoring of Symbols for Action.
Grounded Models as a Basis for Intuitive Reasoning.
Simulating the Formation of Color Categories.
Reasoning about Categories in Conceptual Spaces.
Visual Analogy in Problem Solving.
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces.
Efficient Consequence Finding.
Balance and Filtering in Structured Satisfiable Problems.
A New Method For The Three Dimensional Container Packing Problem.
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming.
A Hybrid Approach for the 01 Multidimensional Knapsack problem.
Temporal Constraint Reasoning With Preferences.
Making AC-3 an Optimal Algorithm.
Refining the Basic Constraint Propagation Algorithm.
Improved bounds on the complexity of kB-consistency.
A Constraint Satisfaction Approach to Parametric Differential Equations.
Backtracking Through Biconnected Components of a Constraint Graph.
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search.
Backjumping for Quantified Boolean Logic Satisfiability.
Search on High Degree Graphs.
Cooperative Search and Nogood Recording.
Backbones in Optimization and Approximation.
A backbone-search heuristic for efficient solving of hard 3-SAT formulae.
Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis.
Incomplete Tree Search using Adaptive Probing.
FCA-MERGE: Bottom-Up Merging of Ontologies.
Computing Least Common Subsumers in ALEN.
Matching under Side Conditions in Description Logics.
The SG Family: Extensions of Simple Conceptual Graphs.
Ontology Reasoning in the SHOQ(D) Description Logic.
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity.
Phase Transitions of PP-Complete Satisfiability Problems.
A Perspective on Knowledge Compilation.
Complexity of Nested Circumscription and Abnormality Theories.
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.
Identification Constraints and Functional Dependencies in Description Logics.
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.
A Circumscriptive Formalization of the Qualification Problem.
EPDL: A Logic for Causal Reasoning.
Causality and Minimal Change Demystified.
Updates, actions, and planning.
Weakening Conflicting Information for Iterated Revision and Knowledge Integration.
Resource-bounded inference from inconsistent belief bases.
On the Semantics of Knowledge Update.
Interval-based Temporal Reasoning with General TBoxes.
A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation.
Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology.
Qualitative Simulation of Genetic Regulatory Networks: Method and Application.
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax.
A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals.
Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems.
Complexity Results for Structure-Based Causality.
Causes and Explanations: A Structural-Model Approach - Part II: Explanations.
An On-line Decision-Theoretic Golog Interpreter.
On-Line Execution of cc-Golog Plans.
A Logical Account of Causal and Topological Maps.