Book One
Mobile Robot Competition and Exhibition
A Brochette of Socially Interactive Robots
PDFCatoms: Moving Robots Without Moving Parts
PDFImproving Human-Robot Interaction for Remote Robot Operation
PDFIndoor Aerial Robot Competition: Challenges in Search and Rescue Applications
PDFLow-cost Outdoor Robot Platform for the Penn State Abington Mini Grand Challenge
PDFNavBot: The Navigational Search-and-Rescue Robot
PDFPyro: An Integrated Environment for Robotics Education
PDFReady or Not, Here I Come …
PDFRobots in an Intelligent Systems Course
PDFScavenging with a Laptop Robot
PDFSocial Tag: Finding the Person with the Pink Hat
PDFTekkotsu: A Framework for AIBO Cognitive Robotics
PDFToward Affective Cognitive Robots for Human-Robot Interaction
PDFUpending the Uncanny Valley
PDFUsing a Sketch Pad Interface for Interacting with a Robot Team
PDF
Activity and Plan Recognition
Unsupervised Activity Recognition Using Automatically Mined Common Sense
PDFActivity Recognition through Goal-Based Segmentation
PDFMultiple-Goal Recognition from Low-Level Signals
PDFA Variational Learning Algorithm for the Abstract Hidden Markov Model
PDFLarge-Scale Localization from Wireless Signal Strength
PDF
Agents / Multiagent Systems
Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed k-Center Problem
PDFObservation-based Model for BDI-Agents
PDFTool Use for Autonomous Agents
PDFOAR: A Formal Framework for Multi-Agent Negotiation
PDFProfit Sharing Auction
PDFSolving the Auction-Based Task Allocation Problem in an Open Environment
PDFCooperative Exploration in the Electronic Marketplace
PDFDistributing Coalitional Value Calculations among Cooperative Agents
PDFAn Ecological Approach to Agent Population Management
PDFCoordinating Agile Systems through the Model-based Execution of Temporal Plans
PDFNew Approaches to Optimization and Utility Elicitation in Autonomic Computing
PDFNetworked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs
PDFModeling Human Behavior for Virtual Training Systems
PDFControversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community
PDFTeam Member Reallocation via Tree Pruning
PDFFlexible Teamwork in Behavior-Based Robots
PDFTowards Model-Based Diagnosis of Coordination Failures
PDFAnyone but Him: The Complexity of Precluding an Alternative
PDFMultiple Agent Event Detection and Representation in Videos
PDFSupporting Collaborative Activity
PDFAgent-Organized Networks for Multi-Agent Production and Exchange
PDFThe Semantics of Potential Intentions
PDFAn Extended Protocol for Multiple-Issue Concurrent Negotiation
PDFRobust and Self-Repairing Formation Control for Swarms of Mobile Agents
PDFCoordination and Adaptation in Impromptu Teams
PDFSolving DisCSPs with Penalty Driven Search
PDFEfficient No-Regret Multiagent Learning
PDF
Analogical and Case-Based Reasoning
Analogical Learning of Visual/Conceptual Relationships in Sketches
PDFSolving Everyday Physical Reasoning Problems by Analogy Using Sketches
PDFComplexity-Guided Case Discovery for Case Based Reasoning
PDFInteractive Knowledge Validation and Query Refinement in CBR
PDFCompetence Driven Case-Base Mining
PDFA Domain-Independent System for Case-Based Task Decomposition without Domain Theories
PDF
Auctions and Market-Based Systems
Mechanism Design for Single-Value Domains
PDFCombinatorial Auctions with k-wise Dependent Valuations
PDFExpressive Negotiation in Settings with Externalities
PDFA New Strategy-Proof Greedy-Allocation Combinatorial Auction Protocol and Its Extension to Open Ascending Auction Protocol
PDFApproximating Revenue-Maximizing Combinatorial Auctions
PDF
Automated Reasoning
The Achilles’ Heel of QBF
PDFCombining Stochastic and Greedy Search in Hybrid Estimation
PDFPropositional Fragments for Knowledge Compilation and Quantified Boolean Formulae
PDFAxiom Schemata as Metalevel Axioms: Model Theory
PDFOn Compiling System Models for Faster and More Scalable Diagnosis
PDFA Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual Environments
PDFDependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems
PDFDiagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata
PDFModel-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior
PDFRecommender Systems: Attack Types and Strategies
PDFCompact Propositional Encodings of First-Order Theories
PDFIdentifying Direct Causal Effects in Linear Models
PDF
Constraint Satisfaction and Satisfiability
DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently
PDFPerforming Bayesian Inference by Weighted Model Counting
PDFSymChaff: A Structure-Aware Satisfiability Solver
PDFConstraint-Based Preferential Optimization
PDFSAT-Based versus CSP-Based Constraint Weighting for Satisfiability
PDFSuperstabilizing, Fault-Containing Multiagent Combinatorial Optimization
PDFAnytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs
PDFGeneration of Hard Non-Clausal Random Satisfiability Problems
PDFA Framework for Representing and Solving NP Search Problems
PDFA Constraint Satisfaction Approach to Geospatial Reasoning
PDFQuick Shaving
PDFA Fast Arc Consistency Algorithm for n-ary Constraints
PDFOld Resolution Meets Modern SLS
PDFNeighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs
PDFGeneralized NoGoods in CSPs
PDFGenerating Hard Satisfiable Formulas by Hiding Solutions Deceptively
PDFWeighted Super Solutions for Constraint Programs
PDFFinding Diverse and Similar Solutions in Constraint Programming
PDFConstrained Decision Diagrams
PDFCSP Properties for Quantified Constraints: Definitions and Complexity
PDF
Game Theory and Economic Models
A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It
PDFFast and Compact: On A Simple Class of Congestion Games
PDFMixed-Integer Programming Methods for Finding Nash Equilibria
PDFApproximate Strategic Reasoning through Hierarchical Reduction of Large Symmetric Games
PDFCoalitional Games in Open Anonymous Environments
PDF
Human-Computer Interaction
On the Evaluation of Dynamic Critiquing: A Large-Scale User Study
PDFOptimal Recommendation Sets: Covering Uncertainty over User Preferences
PDFGoal-Directed Site-Independent Recommendations from Passive Observations
PDFMathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs
PDFReal-Time Classification of Electromyographic Signals for Robotic Control
PDFA Decision Theoretic Model for Stress Recognition and User Assistance
PDF
Knowledge Acquisition and Engineering
Knowledge Representation and Reasoning
A Theory of Forgetting in Logic Programming
PDFIssues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge
PDFDiagnosing Terminologies
PDFFunctional Specification of Probabilistic Process Models
PDFCumulative Effects of Concurrent Actions on Numeric-Valued Fluents
PDFGeneralized Link Properties for Expressive ε-Connections of Description Logics
PDFAnalysis of Strategic Knowledge in Back of the Envelope Reasoning
PDFKnowledge Integration for Description Logics
PDFTractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
PDFOnly-Knowing: Taking It Beyond Autoepistemic Reasoning
PDFIntegrating Description Logics and Action Formalisms: First Results
PDFDD-PREF: A Language for Expressing Preferences over Sets
PDFMerging Argumentation Systems
PDFAn Axiomatic Account of Formal Argumentation
PDFDL-Lite: Tractable Description Logics for Ontologies
PDFPrioritized Component Systems
PDFPractical First-Order Argumentation
PDFHybrid Possibilistic Networks
PDFUsing SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains
PDF
Logic Programming
Machine Learning
Finite Sample Error Bound for Parzen Windows
PDFHidden Naive Bayes
PDFLearning Planning Rules in Noisy Stochastic Worlds
PDFDistribution-Free Learning of Bayesian Network Structure in Continuous Domains
PDFGiving Advice about Preferred Actions to Reinforcement Learners Via Knowledge-Based Kernel Regression
PDFOnline Query Relaxation via Bayesian Causal Structures Discovery
PDFRedescription Mining: Structure Theory and Algorithms
PDFSpectral Clustering of Biological Sequence Data
PDFEnhanced Direct Linear Discriminant Analysis for Feature Extraction on High Dimensional Data
PDFA Maximum Likelihood Framework for Integrating Taxonomies
PDFConstraint-Based Entity Matching
PDFDiscriminative Training of Markov Logic Networks
PDFRepresenting Conditional Independence Using Decision Trees
PDFValue Functions for RL-Based Behavior Transfer: A Comparative Study
PDFOnline Resource Allocation Using Decompositional Reinforcement Learning
PDFInducing Hierarchical Process Models in Dynamic Domains
PDFSoftware Testing by Active Learning for Commercial Games
PDFUnsupervised and Semi-Supervised Multi-Class Support Vector Machines
PDFSemi-Supervised Sequence Modeling with Syntactic Topic Models
PDFThe Regularized EM Algorithm
PDFUsing Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework
PDFnFOIL: Integrating Naïve Bayes and FOIL
PDFNon-Stationary Policy Learning in 2-Player Zero Sum Games
PDFWeighted One-Against-All
PDFRobust Supervised Learning
PDFOptimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games
PDFDiscovering Domain-Specific Composite Kernels
PDFA Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms
PDFReducing Labeling Effort for Structured Prediction Tasks
PDFTowards Learning Stochastic Logic Programs from Proof-Banks
PDFIncremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure
PDFA Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier Design
PDFDiscriminative Model Selection for Belief Net Structures
PDFTransforming between Propositions and Features: Bridging the Gap
PDFEffective Short-Term Opponent Exploitation in Simplified Poker
PDF
Machine Perception
Cross-Modal Clustering
PDFA Computational Model of the Cerebral Cortex
PDFData-Driven MCMC for Learning and Inference in Switching Linear Dynamic Systems
PDFFunction-Based Classification from 3D Data via Generic and Symbolic Models
PDFLearning Static Object Segmentation from Motion Segmentation
PDFSemantic Scene Concept Learning by an Autonomous Agent
PDF
Markov Decision Processes and Uncertainty
A Particle Filtering Based Approach to Approximating Interactive POMDPs
PDFEfficient Maximization in Solving POMDPs
PDFExtending Continuous Time Bayesian Networks
PDFPlanning in Models that Combine Memory with Predictive Representations of State
PDFRisk-Sensitive Planning with One-Switch Utility Functions: Value Iteration
PDFSamuel Meets Amarel: Automating Value Function Approximation Using Global State Space Analysis
PDFError Bounds for Approximate Value Iteration
PDFGeometric Variance Reduction in Markov Chains. Application to Value Function and Gradient Estimation
PDFModeling Form for On-line Following of Musical Performances
PDFImproving Action Selection in MDP’s via Knowledge Transfer
PDFPlanning and Execution with Phase Transitions
PDF
Intelligent Systems Demonstrations
Using the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression Data
PDFTIELT: A Testbed for Gaming Environments
PDFRemote Supervisory Control of a Humanoid Robot
PDFThe TaskTracker System
PDFThe Proteome Analyst Suite of Automated Function Prediction Tools
PDFThe AI Technologies of the Philadelphia Area Urban Wireless Network Testbed
PDFSwoogle: Searching for Knowledge on the Semantic Web
PDFSong Search and Retrieval by Tapping
PDFSolo: A Cognitive Orthosis
PDFSenseRelate::TargetWord-A Generalized Framework for Word Sense Disambiguation
PDFSAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis
PDFA Learning and Reasoning System for Intelligence Analysis
PDFQuOnto: Querying Ontologies
PDFProving Theorems of Type Theory Automatically with TPS
PDFOptimal Rhode Island Hold’em Poker
PDFMGLAIR Agents in Virtual and Other Graphical Environments
PDFMADbot: A Motivated and Goal Directed Robot
PDFLanguage Independent Extractive Summarization
PDFIdentifying Similar Words and Contexts in Natural Language with SenseClusters
PDFEvolution of an Empathetic Digital Entity: Phase One
PDFDiamondHelp: A Collaborative Task Guidance Framework for Complex Devices
PDFBuilding Applications Using End to End Composition of Web Services
PDF
Natural Language Processing and Speech Recognition
Scaling Up Word Sense Disambiguation via Parallel Texts
PDFAn Inference Model for Semantic Entailment in Natural Language
PDFA Probabilistic Classification Approach for Lexical Textual Entailment
PDFClustering and Classifying Person Names by Origin
PDFLearning to Transform Natural to Formal Languages
PDFImpact of Linguistic Analysis on the Semantic Graph Coverage and Learning of Document Extracts
PDFUnsupervised Multilingual Word Sense Disambiguation via an Interlingua
PDFSupervised Ranking for Pronoun Resolution: Some Recent Improvements
PDFCross-Lingual Bootstrapping of Semantic Lexicons: The Case of FrameNet
PDFWord Sense Disambiguation with Semi-Supervised Learning
PDFRobust Textual Inference Via Learning and Abductive Reasoning
PDFExploiting Subjectivity Classification to Improve Information Extraction
PDFDependency Parsing with Dynamic Bayesian Network
PDFSpotting Subsequences Matching an HMM Using the Average Observation Probability Criteria with Application to Keyword Spotting
PDFCapturing Expression Using Linguistic Information
PDF
Planning and Scheduling
Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints
PDFSimultaneous Heuristic Search for Conjunctive Subgoals
PDFSensor Selection for Active Information Fusion
PDFExploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation
PDFLearning Measures of Progress for Planning Domains
PDFConformant Planning for Domains with Constraints—A New Approach
PDFPlanning for Stream Processing Systems
PDFExploiting Temporal Flexibility to Obtain High Quality Schedules
PDFTemporal Dynamic Controllability Revisited
PDFProttle: A Probabilistic Temporal Planner
PDFLazy Approximation for Solving Continuous Finite-Horizon MDPs
PDFUsing Domain-Configurable Search Control for Probabilistic Planning
PDFNew Admissible Heuristics for Domain-Independent Planning
PDFState Agnostic Planning Graphs and the Application to Belief-Space Planning
PDFFast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search
PDFValidating Plans in the Context of Processes and Exogenous Events
PDFQuasi-Monotonic Segmentation of State Variable Behavior for Reactive Control
PDFGenome Rearrangement and Planning
PDF
Robotics
Controlling Tiny Multi-Scale Robots for Nerve Repair
PDFHeterogeneous Multirobot Coordination with Spatial and Temporal Constraints
PDFConsciousness: Drinking from the Firehose of Experience
PDFSemantic Place Classification of Indoor Environments with Mobile Robots Using Boosting
PDFLearning to Prevent Failure States for a Dynamically Balancing Robot
PDFAutonomous Color Learning on a Mobile Robot
PDFMobile Robot Mapping and Localization in Non-Static Environments
PDFImproving Simultaneous Mapping and Localization in 3D Using Global Constraints
PDFBitbots: Simple Robots Solving Complex Tasks
PDFReactive Planning in a Motivated Behavioral Architecture
PDFA Distributed Approach to Passive Localization for Sensor Networks
PDFRecovery Planning for Ambiguous Cases in Perceptual Anchoring
PDFA Multifrontal QR Factorization Approach to Distributed Inference Applied to Multirobot Localization and Mapping
PDFLearning CPG Sensory Feedback with Policy Gradient for Biped Locomotion for a Full-Body Humanoid
PDFTactic-Based Motion Modeling and Multi-Sensor Tracking
PDFA Relational Representation for Procedural Task Knowledge
PDF
Search
An Algorithm Better than AO*?
PDFSpeeding Up Learning in Real-time Search via Automatic State Abstraction
PDFThe Max K-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection
PDFCost-Algebraic Heuristic Search
PDFBackbones and Backdoors in Satisfiability
PDFSearch versus Knowledge for Solving Life and Death Problems in Go
PDFLarge-Scale Parallel Breadth-First Search
PDFDomain-Dependent Parameter Selection of Search-based Algorithms Compatible with User Performance Criteria
PDFPartial Pathfinding Using Map Abstraction and Refinement
PDFExternal-Memory Pattern Databases Using Structured Duplicate Detection
PDF
Semantic Web, Information Retrieval, and Extraction
WebCrow: A Web-Based System for Crossword Solving
PDFA Learning-Based Term-Weighting Approach for Information Retrieval
PDFQuery Translation Disambiguation as Graph Partitioning
PDFSearching for Common Sense: Populating Cyc™ from the Web
PDFAutomatic Text Summarization of Newswire: Lessons Learned from the Document Understanding Conference
PDFA Graph Theoretical Foundation for Integrating RDF Ontologies
PDFSelection and Ranking of Propositional Formulas for Large-Scale Service Directories
PDF
Student Abstracts
Autonomous Learning of Tool Affordances by a Robot
PDFMinimizing Environmental Swings with a Recurrent Neural Network Control System
PDFA Framework for Bayesian Network Mapping
PDFEvolving AI Opponents in a First-Person-Shooter Video Game
PDFA Learning Support Method in Qualitative Simulation-Based Economic Education
PDFQualitative Dimensions in Question Answering: Extending the Definitional QA Task
PDFContinuous Speech Recognition Using Modified Stack Decoding Algorithm
PDFDescription Logic-Ground Knowledge Integration and Management
PDFTowards Exploiting Duality in Approximate Linear Programming for MDPs
PDFAn Automated Distributed Meeting Scheduler for FCVW Plug-in
PDFManufacturing Processes Recognition of Machined Mechanical Parts using SVMs
PDFMachine Learning and Its Application at Nooksack Falls Hydroelectric Station
PDFBoosting Semantic Web Data Access Using Swoogle
PDFLearning Support Vector Machines from Distributed Data Sources
PDFUse of Expert Knowledge for Decision Tree Pruning
PDFRule Refinement by Domain Experts in Complex Knowledge Bases
PDFGenre Classification of Web Documents
PDFDR-Prolog:A System for Reasoning with Rules and Ontologies on the Semantic Web
PDFOn Predicting User Intent
PDFMixed-Initiative Approach to Collaboration in the Mathematical Domain
PDFAutonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method
PDFHelicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm
PDF
Doctoral Consortium
Rover Science Autonomy: Probabilistic Planning for Science-Aware Exploration
PDFNatural Language Generation for Text-to-Text Applications Using an Information-Slim Representation
PDFPlanning for Geospatial Data Integration
PDFImproving Reinforcement Learning Function Approximators via Neuroevolution
PDFLeveraging Language into Learning
PDFDissertation in Progress: An Empirical Analysis of the Costs and Benefits of Naturalness in Spoken Dialog Systems
PDFLearning Source Descriptions for Web Services
PDFComputational Aspects of Mechanism Design
PDFOn Boosting Semantic Web Data Access
PDFDynamic Regime Identification and Prediction Based on Observed Behavior in Electronic Marketplaces
PDFAdaptive Modeling and Planning for Reactive Agents
PDFSelf-Emergence of Structures in Gene Expression Programming
PDFConcurrent Hierarchical Reinforcement Learning
PDFDiscourse Factors in Multi-Document Summarization
PDFStructure Learning for Statistical Relational Models
PDFTowards Competence in Autonomous Agents
PDF