ijcai 2003 论文列表
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003.
|
Making Markets and Democracy Work: A Story of Incentives and Computing.
TAGA: Travel Market Framework in Agentcities.
Interactive Spoken Simulation Control and Conversational Tutoring.
Demonstration: Liaison Agents for Distributed Space Operations.
Broadcast News Navigator (BNN) Demonstration.
Towards domain-independent, task-oriented, conversational adequacy.
Comparing Different Cognitive Paradigms with a Virtual Laboratory.
GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints.
Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains.
Writer's Aid: Using a Planner in a Collaborative Interface.
Intelligent Systems in Travel and Tourism.
Automatically Personalizing User Interfaces.
Automated Reasoning: Past Story and New Trends.
Automated Verification: Graphs, Logic, and Automata.
Self-reconfiguring Robots: Successes and Challenges.
Web Intelligence (WI): What Makes Wisdom Web?
Constraint Satisfaction, Databases, and Logic.
Deploying Information Agents on the Web.
Challenges in Web Search Engines.
Corpus-Based Knowledge Representation.
Quantum Computation and Image Processing: New Trends in Artificial Intelligence.
Comparing image-based localization methods.
Improving Speech Recognition on a Mobile Robot Platform through the use of Top-Down Visual Queues.
A Visual-Sensor Model for Mobile Robot Localisation.
Towards Pervasive Robotics.
A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line Segments.
Combining Two Local Search Approaches to Hypergraph Partitioning.
A New Node Centroid Algorithm for Bandwidth Minimization.
A Portfolio Approach to Algorithm Selection.
Delayed Duplicate Detection: Extended Abstract.
Multiple Agents Moving Target Search.
Real-Time Strategy Games: A New AI Research Challenge.
Lookahead Pathologies for Single Agent Search.
Using Available Memory to Transform Graphplan's Search.
A lookahead strategy for solving large planning problems.
Parallelizing State Space Plans Online.
A Planning Algorithm for Predictive State Representations.
Automated Generation of Understandable Contingency Plans.
Recognizing Plan/Goal Abandonment.
Multiagent Planning with Partially Ordered Temporal Plans.
Comparison of Different Grid Abstractions for Pathfinding on Maps.
Artificial Neural Network for Sequence Learning.
Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps.
Boosting Face Identification in Airports.
Neural Executive Attentional Control in Robots.
Inducing criteria for lexicalization parts of speech using the Cyc KB.
A Logic Prover for Text Processing.
Identifying Synonyms among Distributionally Similar Words.
A Revised Algorithm for Latent Semantic Analysis.
Improving Word Sense Disambiguation in Lexical Chaining.
The Knowledge Required to Interpret Noun Compounds.
A Multi-Agent Computational Linguistic Approach to Speech Recognition.
Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments.
Virtual World as Interface for Human-Robot Interaction.
Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling.
A heuristic model for concurrent bi-lateral negotiations in incomplete information settings.
NoA - A Normative Agent Architecture.
Bidding Marginal Utility in Simultaneous Auctions.
A Formalization of Equilibria for Multiagent Planning.
Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems.
Network Meta-Reasoning for Information Assurance in Mobile Agent Systems.
Parametric Distance Metric Learning with Label Information.
Integrating Background Knowledge Into Text Classification.
Multiple-Goal Reinforcement Learning with Modular Sarsa(0).
Towards a Theoretical Framework for Ensemble Classification.
Modular self-organization for a long-living autonomous agent.
Item Selection Strategies for Collaborative Filtering.
Active Learning with Ensembles for Image Classification.
Approximate Policy Iteration using Large-Margin Classifiers.
Learning to Compete in Heterogeneous Web Search Environments.
A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data.
Mining Video Associations for Efficient Database Management.
A Statistical Model for Flexible String Similarity.
Collaborative Web Search.
Intelligent Multimodal Stream Processing.
Learning Consumer Photo Categories for Semantic Retrieval.
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring.
Engineering a complex ontology with time.
Constructing utility models from observed negotiation actions.
An Epistemic Logic for Arbitration (Extended Abstract).
Coherence of Laws.
Proactive Dialogue for Interactive Knowledge Capture.
Indirect and Conditional Sensing in the Event Calculus.
Extending DTGOLOG with Options.
Prolegomenon to a Theory of Conservative Belief Revision.
BDIOCTL: Obligations and the Specification of Agent Behavior.
Temporal Reasoning with Preferences and Uncertainty.
EVOC: A Music Generating System using Genetic Algorithms.
Applying interchangeability techniques to the distributed breakout algorithm.
Finite Domain Constraint Solver Learning.
Sampling Combinatorial Spaces Using Biased Random Walks.
Making the Breakout Algorithm Complete Using Systematic Search.
Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.
Propagation Redundancy for Permutation Channels.
Efficient Representation of Adhoc Constraints.
Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems.
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
Dynamic Vehicle Routing with Stochastic Requests.
Grid-based SensorDCSP.
A Simulated Annealing Approach to the Travelling Tournament Problem.
Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides.
Coverage-Optimized Retrieval.
Case Base Adaptation Using Solution-Space Metrics.
Assertion Application in Theorem Proving and Proof Planning.
A Novel Framework for Integrating Discrete Event System Control and Diagnosis.
A Resolution Theorem for Algebraic Domains.
Active Probing Strategies for Problem Diagnosis in Distributed Systems.
Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking.
Use of Off-line Dynamic Programming for Efficient Image Interpretation.
A General Model for Online Probabilistic Plan Recognition.
Corpus-based, Statistical Goal Recognition.
Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition.
Tractable Pareto Optimization of Temporal Preferences.
Incremental Tractable Reasoning about Qualitative Temporal Constraints.
Reasoning about distances.
Layered Mereotopology.
Sparse-Memory Graph Search.
An Improved Algorithm for Optimal Bin Packing.
Factored A* Search for Models over Sequences and Trees.
Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment.
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback.
Distributed Patient Scheduling in Hospitals.
Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems.
Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems.
Phase Transitions of the Asymmetric Traveling Salesman.
Understanding the Power of Clause Learning.
Phase Transitions of Bounded Satisfiability Problems.
Backbone Guided Local Search for Maximum Satisfiability.
Backdoors To Typical Case Complexity.
A Structure-Based Variable Ordering Heuristic for SAT.
Thin Junction Tree Filters for Simultaneous Localization and Mapping.
FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges.
Consistent, Convergent, and Constant-Time SLAM.
DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks.
Exploring Unknown Environments with Mobile Robots using Coverage Maps.
Non-Invasive Brain-Actuated Control of a Mobile Robot.
Belief, Awareness, and Two-Dimensional Logic.
Approximating Optimal Policies for Agents with Limited Execution Resources.
Definition and Complexity of Some Basic Metareasoning Problems.
Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus.
The Concurrent, Continuous FLUX.
Describing Additive Fluents in Action Language C+.
Causal Theories of Action: A Computational Core.
Action representation and partially observable planning using epistemic logic.
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus.
Qualitatively Faithful Quantitative Prediction.
Gaussian Process Models of Spatial Aggregation Algorithms.
Categorizing classes of signals by means of fuzzy gradual rules.
A New Look at the Semantics and Optimization Methods of CP-Networks.
Point-based value iteration: An anytime algorithm for POMDPs.
Covariant Policy Search.
SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes.
Generalizing Plans to New Environments in Relational MDPs.
First-order probabilistic inference.
Variable Resolution Particle Filter.
Optimal Time-Space Tradeoff in Probabilistic Inference.
In Defense of PDDL Axioms.
Generalizing GraphPlan by Formulating Planning as a CSP.
Resource Temporal Networks: Definition and Complexity.
On the application of least-commitment and heuristic search in temporal planning.
A Parametric Hierarchical Planner for Experimenting Abstraction Techniques.
Factored Planning.
People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters.
An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots.
Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots.
Integrity and Change in Modular Ontologies.
Tucking RCC in Cyc's Ontological Bed.
What is Artificial Intelligence? Psychometric AI as an Answer.
Recycling Computed Answers in Rewrite Systems for Abduction.
Weak Conditional Logics of Normality.
Answer Set Optimization.
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic.
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
Ordering Default Theories.
Outlier Detection Using Default Logic.
GRAEL: an agent-based evolutionary computing approach for natural language grammar development.
Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge.
Evaluating Coverage for Large Symbolic NLG Grammars.
Extended Gloss Overlaps as a Measure of Semantic Relatedness.
Minimally intrusive negotiating agents for resource sharing.
Probabilistically Survivable MASs.
Universal Voting Protocol Tweaks to Make Manipulation Hard.
Local-Effect Games.
Complexity Results about Nash Equilibria.
A Continuation Method for Nash Equilibria in Structured Games.
ODISET: On-line Distributed Session Tracing using Agents.
On Identifying and Managing Relationships in Multi-Agent Systems.
Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol.
Behavior Bounding: Toward Effective Comparisons of Agents & Humans.
Detecting & Avoiding Interference Between Goals in Intelligent Agents.
A Bayesian Approach to Imitation in Reinforcement Learning.
Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings.
Simultaneous Adversarial Multi-Robot Learning.
Constitutive Rules for Agent Communication Languages.
Hidden Uncertainty in the Logical Representation of Desires.
Protocol Conformance for Logic-based Agents.
Last-Branch and Speculative Pruning Algorithms for Maxn.
Approximating Game-Theoretic Optimal Strategies for Full-scale Poker.
Improving Coevolutionary Search for Optimal Multiagent Behaviors.
When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem.
Emergence of Cooperation in a Pursuit-Evasion Game.
Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation.
Dynamics of Coalition Formation in Combinatorial Trading.
An Integrated Multilevel Learning Approach to Multiagent Coalition Formation.
Complexity of Determining Nonemptiness of the Core.
Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction.
Inductive Learning in Less Than One Sequential Data Scan.
Learning to Classify Texts Using Positive and Unlabeled Data.
Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?
A Learning Algorithm for Web Page Scoring Systems.
SVMC: Single-Class Classification With Support Vector Machines.
Spectral Learning.
Semi-Supervised Learning with Explicit Misclassification Modeling.
Continuous nonlinear dimensionality reduction by kernel Eigenmaps.
Multi-prototype Support Vector Machine.
Learning Minesweeper with Multirelational Learning.
Spaces of Theories with Ideal Refinement Operators.
AUC: a Statistically Consistent and more Discriminating Measure than Accuracy.
Evaluating Classifiers by Means of Test Data with Noisy Labels.
Constructing Diverse Classifier Ensembles using Artificial Training Examples.
Monte Carlo Theory as an Explanation of Bagging and Boosting.
When Discriminative Learning of Bayesian Network Parameters Is Easy.
Distributed Clustering Based on Sampling Local Density Estimates.
Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks.
Evaluating Significance of Inconsistencies.
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition.
A Theory of Average-Case Compilability in Knowledge Representation.
Inverse Circumscription.
From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.
Coherent Keyphrase Extraction via Web Mining.
Hierarchical Hidden Markov Models for Information Extraction.
Bayesian Information Extraction Network.
Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction.
Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging.
Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference.
Automatic Abstraction in Component-Based Diagnosis Driven by System Observability.
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems.
Automated Qualitative Domain Abstraction.
Model-based Diagnosis of Hybrid Systems.
On the Design of Social Diagnosis Algorithms for Multi-Agent Teams.
Formal Verification of Diagnosability via Symbolic Model Checking.
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.
Keys, Nominals, and Concrete Domains.
Decidability of SHIQ with Complex Role Inclusion Axioms.
Abductive Matchmaking using Description Logics.
On the Undecidability of Description and Dynamic Logics with Recursion and Counting.
Terminological Cycles in a Description Logic with Existential Restrictions.
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles.
Incremental Utility Elicitation with the Minimax Regret Decision Criterion.
Qualitative Decision under Uncertainty: Back to Expected Utility.
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule.
Great Expectations. Part I: On the Customizability of Generalized Expected Utility.
On the Foundations of Expected Expected Utility.
Tractable Symmetry Breaking for CSPs with Interchangeable Values.
Efficient Symmetry Breaking for Boolean Satisfiability.
Consistency and Set Intersection.
Scenario-based Stochastic Constraint Programming.
Solving Constraint Optimization Problems in Anytime Contexts.
A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint.
In the quest of the best form of local consistency for Weighted CSP.
Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems.
Non-Binary Constraints and Optimal Dual-Graph Representations.
Multiset Ordering Constraints.
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
A Maximal Tractable Class of Soft Constraints.
On a generalization of triangulated graphs for domains decomposition of CSPs.
Amalgams of Constraint Satisfaction Problems.
Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving.
Qualitative Map Learning Based on Co-visibility of Objects.
Body Movement Analysis of Human-Robot Interaction.
Dynamic Bayesian modeling of the cerebral activity.
GHOST: experimenting conflicts countermeasures in the pilot's activity.
Causes and Explanations Revisited.
Responsibility and Blame: A Structural-Model Approach.
A Logic For Causal Reasoning.
A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector Machines.
The Power of Suggestion.
Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality.
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates.
Quantifying information and contradiction in propositional logic through test actions.
On the Revision of Probabilistic Beliefs using Uncertain Evidence.
Practical Partition-Based Theorem Proving for Large Knowledge Bases.
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.
Logical Filtering.
Automated Generation of Graphic Sketches by Example.
Getting Serious about the Development of Computational Humor.
A Learning-Based Jam Session System that Imitates a Player's Personality Model.
Web Page Cleaning for Web Mining through Feature Weighting.
An Ontology-based Architecture for Cooperative Information Agents.
A semantic framework for multimedia document adaptation.
Integrating Multiple Internet Directories by Instance-based Learning.
Query rewriting and answering under constraints in data integration systems.
Logic Programs for Consistently Querying Data Integration Systems.
Learning Value Predictors for the Speculative Execution of Information Gathering Plans.
