aaai 2007 论文列表
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada.
|
An Implementation of Robot Formations using Local Interactions.
OPTIMOL: A Framework for Online Picture Collection via Incremental Model Learning.
A Robotic Weight Loss Coach.
The UBC Semantic Robot Vision System.
KSU Willie in Semantic Vision Challenge.
A Mixed Reality Approach to Undergraduate Robotics Education.
An Interactive Constraint-Based Approach to Sudoku.
Generating and Solving Logic Puzzles through Constraint Satisfaction.
A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory.
The More the Merrier: Multi-Party Negotiation with Virtual Humans.
A Demonstration of ScriptEase Interruptible and Resumable Behaviors for CRPGs.
The PhotoSlap Game: Play to Annotate.
Disaster Evacuation Support.
Freebase: A Shared Database of Structured General Human Knowledge.
AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks.
An Incentive Mechanism for Promoting Honesty in E-Marketplaces.
Spatial Reference Resolution for an Embodied Dialogue Agent.
Predictive Exploration for Autonomous Science.
Autonomous Inter-Task Transfer in Reinforcement Learning Domains.
Flexible Provisioning of Service Workflows.
A Framework for Ontology-Based Service Selection in Dynamic Environments.
Reacting to Agreement and Error in Spoken Dialogue Systems Using Degrees of Groundedness.
Harnessing Algorithm Bias in Classical Planning.
The Übercruncher: Concept Formation by Analogy Discovery.
Responding to Student Affect and Efficacy through Empathetic Companion Agents in Interactive Learning Environments.
Using Spatial Language in Multi-Modal Knowledge Capture.
Empirical Game-Theoretic Methods for Strategy Design and Analysis in Complex Games.
A Framework for Modeling Influence, Opinions and Structure in Social Media.
ASKNet: Automatically Generating Semantic Knowledge Networks.
Handling Non-Sentential Utterances in a Continuous Understanding Framework.
Approximate Inference in Probabilistic Graphical Models with Determinism.
Continuous State POMDPs for Object Manipulation Tasks.
Cost-Sensitive Imputing Missing Values with Ordering.
Measuring the Uncertainty of Differences for Contrasting Groups.
User Model and Utility Based Power Management.
Counting Models using Extension Rules.
Interest-Matching Comparisons using CP-nets.
Learn to Compress and Restore Sequential Data.
Scaling Up: Solving POMDPs through Value Based Clustering.
Situated Conversational Agents.
Representation Transfer via Elaboration.
An Investigation into Computational Recognition of Children's Jokes.
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks.
Extracting Student Models for Intelligent Tutoring Systems.
Integrative Construction and Analysis of Condition-specific Biological Networks.
The Marchitecture: A Cognitive Architecture for a Robot Baby.
Using Iterated Best-Response to Find Bayes-Nash Equilibria in Auctions.
Time-Delay Neural Networks and Independent Component Analysis for EEG-Based Prediction of Epileptic Seizures Propagation.
Impromptu Teams of Heterogeneous Mobile Robots.
BlogVox: Learning Sentiment Classifiers.
Recommending Travel Packages Upon Distributed Knowledge.
Aggregating User-Centered Rankings to Improve Web Search.
Reinforcement Using Supervised Learning for Policy Generalization.
Knowledge-Driven Learning and Discovery.
Fuzzy Set Theory-Based Belief Processing for Natural Language Texts.
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge.
Towards an Adaptive Approach for Distributed Resource Allocation in a Multi-agent System for Solving Dynamic Vehicle Routing Problems.
Modeling User Perception of Interaction Opportunities in Collaborative Human-Computer Settings.
Identifying Protein Interaction Abstracts with Contextual Bag of Words.
Evolutionary Rhythm Composition with Trajectory-based Fitness Evaluation.
Reputation in the Venture Games.
TeamTalk: A Platform for Multi-Human-Robot Dialog Research in Coherent Real and Virtual Spaces.
ASKNet: Automated Semantic Knowledge Network.
Two Approaches for Building an Unsupervised Dependency Parser and Their Other Applications.
On Policy Learning in Restricted Policy Spaces.
Classifiers Fusion for EEG Signals Processing in Human-Computer Interface Systems.
Robust Estimation of 3-D Line Segments from Satellite Images for Model Building and Change Detection.
Using Multiresolution Learning for Transfer in Image Classification.
Ungreedy Methods for Chinese Deterministic Dependency Parsing.
Implementing Modal Extensions of Defeasible Logic for the Semantic Web.
A Markovian Model for Dynamic and Constrained Resource Allocation Problems.
Explanation Support for the Case-Based Reasoning Tool myCBR.
UNDERTOW: Multi-Level Segmentation of Real-Valued Time Series.
Data Clustering with a Relational Push-Pull Model.
Adaptive Traitor Tracing with Bayesian Networks.
An Integrated Development Environment and Architecture for Soar-Based Agents.
Stochastic Optimization for Collision Selection in High Energy Physics.
Optimal Multi-Agent Scheduling with Constraint Programming.
Machine Learning for Automatic Mapping of Planetary Surfaces.
RETALIATE: Learning Winning Policies in First-Person Shooter Games.
Adaptive Timeout Policies for Fast Fine-Grained Power Management.
Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises.
Optimizing Anthrax Outbreak Detection Using Reinforcement Learning.
A Multi-Agent Approach to Distributed Rendering Optimization.
Wings for Pegasus: Creating Large-Scale Scientific Applications Using Semantic Representations of Computational Workflows.
Real-Time Identification of Operating Room State from Video.
Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses.
Enabling Intelligent Content Discovery on the Mobile Internet.
Fish Inspection System using a Parallel Neural Network Chip and Image Knowledge Builder Application.
The Virtual Solar-Terrestrial Observatory: A Deployed Semantic Web Application Case Study for Scientific Research.
Journal-Ranking.com: An Online Interactive Journal Ranking System.
Custom DU® - A Web Based Business User Driven Automated Underwriting System.
MasDISPO: A Multiagent Decision Support System for Steel Production and Control.
Biomind ArrayGenius and GeneGenius: Web Services Offering Microarray and SNP Data Analysis via Novel Machine Learning Methods.
The VITA Financial Services Sales Support Environment.
Using AI for e-Government Automatic Assessment of Immigration Application Forms.
Making VCG More Robust in Combinatorial Auctions via Submodular Approximation.
Temporal Difference and Policy Search Methods for Reinforcement Learning: An Empirical Comparison.
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning.
Refutation by Randomised General Resolution.
Learning and Inference for Hierarchically Split PCFGs.
Modeling and Learning Vague Event Durations for Temporal Reasoning.
Dominance and Equivalence for Sensor-Based Agents.
Near-optimal Observation Selection using Submodular Functions.
Manifold Denoising as Preprocessing for Finding Natural Representations of Data.
A* Search via Approximate Factoring.
A Kernel Approach to Comparing Distributions.
The Pyramid Match: Efficient Learning with Partial Correspondences.
Efficient Datalog Abduction through Bounded Treewidth.
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
Informed Case Base Maintenance: A Complexity Profiling Approach.
Using Eye-Tracking Data for High-Level User Modeling in Adaptive Interfaces.
Learning by Combining Observations and User Edits.
Online Collective Entity Resolution.
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models.
On the Prospects for Building a Working Model of the Visual Cortex.
A Text-to-Picture Synthesis System for Augmenting Communication.
An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments.
An Intelligent System for Chinese Calligraphy.
Predicate Projection in a Bimodal Spatial Reasoning System.
Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems.
Extending Cognitive Architecture with Episodic Memory.
Spatial Representation and Reasoning for Human-Robot Collaboration.
Towards an Integrated Robot with Multiple Cognitive Functions.
Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading.
R-CAST: Integrating Team Intelligence for Human-Centered Teamwork.
Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong.
An Architecture for Adaptive Algorithmic Hybrids.
PLOW: A Collaborative Task Learning Agent.
Template-Independent News Extraction Based on Visual Consistency.
Temporal and Information Flow Based Event Detection from Social Text Streams.
Design of a Mechanism for Promoting Honesty in E-Marketplaces.
Improving Similarity Measures for Short Segments of Text.
Towards Efficient Dominant Relationship Exploration of the Product Items on the Web.
Reasoning about Attribute Authenticity in a Web Environment.
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language.
GRIN: A Graph Based RDF Index.
Partial Matchmaking using Approximate Subsumption.
Provisioning Heterogeneous and Unreliable Providers for Service Workflows.
Towards Large Scale Argumentation Support on the Semantic Web.
Deriving a Large-Scale Taxonomy from Wikipedia.
Approximating OWL-DL Ontologies.
Finding Related Pages Using Green Measures: An Illustration with Wikipedia.
From Whence Does Your Authority Come? Utilizing Community Relevance in Ranking.
Relation Extraction from Wikipedia Using Subtree Mining.
Repairing Ontology Mappings.
Unsupervised Shilling Detection for Collaborative Filtering.
Robust Estimation of Google Counts for Social Network Extraction.
A Planning Approach for Message-Oriented Semantic Web Service Composition.
Making the Difference in Semantic Web Service Composition.
SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models.
Extracting Influential Nodes for Information Diffusion on a Social Network.
Mobile Service for Reputation Extraction from Weblogs - Public Experiment and Evaluation.
PhotoSlap: A Multi-player Online Game for Semantic Annotation.
Analyzing Reading Behavior by Blog Mining.
A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem.
The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus.
Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation.
Representing and Reasoning about Commitments in Business Processes.
KA-CAPTCHA: An Opportunity for Knowledge Acquisition on the Web.
Harvesting Relations from the Web - Quantifiying the Impact of Filtering Functions.
Modeling Contextual Factors of Click Rates.
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies.
Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks.
Scaling Up: Solving POMDPs through Value Based Clustering.
On the Identification of a Class of Linear Models.
Learning Graphical Model Structure Using L1-Regularization Paths.
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity.
Sampling with Memoization.
Macroscopic Models of Clique Tree Growth for Bayesian Networks.
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games.
Point-Based Policy Iteration.
Indefinite-Horizon POMDPs with Action-Based Termination.
Computing Optimal Subsets.
VOILA: Efficient Feature-value Acquisition for Classification.
Parallel Structured Duplicate Detection.
Inconsistent Heuristics.
Restart Schedules for Ensembles of Problem Instances.
Combining Multiple Heuristics Online.
Fluxplayer: A Successful General Game Player.
Anytime Optimal Coalition Structure Generation.
Theta*: Any-Angle Path Planning on Grids.
Best-First AND/OR Search for Graphical Models.
Analyzing the Performance of Pattern Database Heuristics.
Near-Optimal Search in Continuous Domains.
Automatic Algorithm Configuration Based on Local Search.
Best-First Search for Treewidth.
On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics.
Heuristic Evaluation Functions for General Game Playing.
Detection of Multiple Deformable Objects using PCA-SIFT.
Photometric and Geometric Restoration of Document Images Using Inpainting and Shape-from-Shading.
Simple Robots with Minimal Sensing: From Local Visibility to Global Geometry.
Adaptive Localization in a Dynamic WiFi Environment through Multi-view Learning.
Online Co-Localization in Indoor Wireless Networks by Dimension Reduction.
Autonomous Development of a Grounded Object Ontology by a Learning Robot.
Hybrid Inference for Sensor Network Localization Using a Mobile Robot.
Topological Mapping with Weak Sensory Data.
A Vision-Based System for a UGV to Handle a Road Intersection.
Optimal Regression for Reasoning about Knowledge and Actions.
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.
Purely Epistemic Markov Decision Processes.
Expressiveness of ADL and Golog: Functions Make a Difference.
Asymptotically Optimal Encodings of Conformant Planning in QBF.
Minimal Mental Models.
On the Partial Observability of Temporal Uncertainty.
The Semantics of Variables in Action Descriptions.
Understanding Performance Tradeoffs in Algorithms for Solving Oversubscribed Scheduling.
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.
Stochastic Filtering in a Probabilistic Action Model.
Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning.
Planning as Satisfiability with Preferences.
Action-Space Partitioning for Planning.
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting.
Detecting Execution Failures Using Learned Action Models.
A Modular Action Description Language for Protocol Composition.
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
Concurrent Action Execution with Shared Fluents.
Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!).
Recognizing Textual Entailment Using a Subsequence Kernel Method.
Single Document Summarization with Document Expansion.
Mining Sequential Patterns and Tree Patterns to Detect Erroneous Sentences.
Content Analysis for Proactive Intelligence: Marshaling Frame Evidence.
Joint Inference in Information Extraction.
A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain.
Disambiguating Noun Compounds.
Learning Language Semantics from Ambiguous Supervision.
ASKNet: Automated Semantic Knowledge Network.
A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation.
Turning Lectures into Comic Books Using Linguistically Salient Gestures.
Semantic Inference at the Lexical-Syntactic Level.
Humans Perform Semi-Supervised Classification Too.
Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability.
Authorial Idioms for Target Distributions in TTD-MDPs.
Recognition of Hand Drawn Chemical Diagrams.
A Corpus-Based Hybrid Approach to Music Analysis and Composition.
Enabling Domain-Awareness for a Generic Natural Language Interface.
A Connectionist Cognitive Model for Temporal Synchronisation and Learning.
Gender-Sensitive Automated Negotiators.
Modeling Reciprocal Behavior in Human Bilateral Negotiation.
Actively Exploring Creation of Face Space(s) for Improved Face Recognition.
Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution.
A Logic of Agent Programs.
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games.
Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering.
Strongly Decomposable Voting Rules on Multiattribute Domains.
Efficient Statistical Methods for Evaluating Trading Agent Performance.
Dynamic DFS Tree in ADOPT-ing.
Active Imitation Learning.
Anytime Coordination Using Separable Bilinear Programs.
An alpha-approximation Protocol for the Generalized Mutual Assignment Problem.
Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems.
Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory.
Llull and Copeland Voting Broadly Resist Bribery and Control.
Computational Complexity of Weighted Threshold Games.
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces.
Evolutionary and Lifetime Learning in Varying NK Fitness Landscape Changing Environments: An Analysis of Both Fitness and Diversity.
Allocating Goods on a Graph to Eliminate Envy.
Computational Aspects of Covering in Dominance Graphs.
Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving.
Kernel Regression with Order Preferences.
Semi-Supervised Learning with Very Few Labeled Training Examples.
Multi-Label Learning by Instance Differentiation.
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model.
Clustering with Local and Global Regularization.
Semi-Supervised Learning by Mixed Label Propagation.
Efficient Structure Learning in Factored-State MDPs.
Abstraction in Predictive State Representations.
COD: Online Temporal Clustering for Outbreak Detection.
A Randomized String Kernel and Its Application to RNA Interference.
M2ICAL Analyses HC-Gammon.
Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning.
Mapping and Revising Markov Logic Networks for Transfer Learning.
Nonmyopic Informative Path Planning in Spatio-Temporal Models.
Cautious Inference in Collective Classification.
Improving Learning in Networked Data by Combining Explicit and Mined Links.
Refining Rules Incorporated into Knowledge-Based Support Vector Learners Via Successive Linear Programming.
Graph Partitioning Based on Link Distributions.
Efficient Reinforcement Learning with Relocatable Action Models.
A Method for Large-Scale l1-Regularized Logistic Regression.
Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization.
A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs.
Relationship Identification for Social Network Discovery.
Transferring Naive Bayes Classifiers for Text Classification.
Active Algorithm Selection.
Isometric Projection.
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis.
Particle Filtering for Dynamic Agent Modelling in Simplified Poker.
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There.
Knowledge Compilation Properties of Tree-of-BDDs.
A Modal Logic for Beliefs and Pro Attitudes.
Probabilistic Modal Logic.
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints.
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information.
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic.
Learning Large Scale Common Sense Models of Everyday Life.
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
Complexity Boundaries for Horn Description Logics.
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver.
Mutual Belief Revision: Semantics and Computation.
Generality and Equivalence Relations in Default Logic.
Belief Change and Cryptographic Protocol Verification.
A Logical Theory of Coordination and Joint Ability.
Discovering Near Symmetry in Graphs.
Forgetting Actions in Domain Descriptions.
On the Approximation of Instance Level Update and Erasure in Description Logics.
Approximate Query Answering in Locally Closed Databases.
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
Prime Implicates and Prime Implicants in Modal Logic.
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm.
An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints.
DL-Lite in the Light of First-Order Logic.
Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection.
Posterior Probability Profiles for the Automated Assessment of the Recovery of Stroke Patients.
Mining Web Query Hierarchies from Clickthrough Data.
A Spectrum of Symbolic On-line Diagnosis Approaches.
L2R: A Logical Method for Reference Reconciliation.
Representative Explanations for Over-Constrained Problems.
TableRank: A Ranking Algorithm for Table Search and Retrieval.
On Capturing Semantics in Ontology Mapping.
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.
Scalable Semantic Retrieval through Summarization and Refinement.
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems.
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff.
Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned.
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models.
Population-Based Simulated Annealing for Traveling Tournaments.
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming.
Learning to Solve QBF.
Multi-Objective Russian Doll Search.
Transposition Tables for Constraint Satisfaction.
Conservative Dual Consistency.
Propagating Knapsack Constraints in Sublinear Time.
Using Expectation Maximization to Find Likely Assignments for Solving CSP's.
Interactive Configuration with Regular String Constraints.
Compressing Configuration Data for Memory Limited Devices.
Counting CSP Solutions Using Generalized XOR Constraints.
Approximate Counting by Sampling the Backtrack-free Search Space.
Data Structures for Generalised Arc Consistency for Extensional Constraints.
Using More Reasoning to Improve #SAT Solving.
Search Space Reduction and Russian Doll Search.
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows.
Inference Rules for High-Order Consistency in Weighted CSP.
On Balanced CSPs with High Treewidth.
Reasoning about Bargaining Situations.
Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions.
A Logic of Emotions for Intelligent Agents.
Reasoning from Desires to Intentions: A Dialectical Framework.
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations.
Revenue Monotonicity in Combinatorial Auctions.
On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation.
Learning Voting Trees.
On the Reasoning Patterns of Agents in Games.
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains.
A Unification of Extensive-Form Games and Markov Decision Processes.
Computing Pure Nash Equilibria in Symmetric Action Graph Games.
Partial Revelation Automated Mechanism Design.
Real Arguments Are Approximate Arguments.
Automated Online Mechanism Design and Prophet Inequalities.
Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker.
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games.
Intention Guided Belief Revision.
Implementing the Maximum of Monotone Algorithms.
Action-Based Alternating Transition Systems for Arguments about Action.
Learning Equilibrium in Resource Selection Games.
Logic for Automated Mechanism Design - A Progress Report.
Uncertainty in Preference Elicitation and Aggregation.
