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
An Ecological Approach to Agent Population Management
PDFDistributing Coalitional Value Calculations among Cooperative Agents
PDFCooperative Exploration in the Electronic Marketplace
PDFSolving the Auction-Based Task Allocation Problem in an Open Environment
PDFProfit Sharing Auction
PDFOAR: A Formal Framework for Multi-Agent Negotiation
PDFTool Use for Autonomous Agents
PDFObservation-based Model for BDI-Agents
PDFStable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed k-Center Problem
PDFTeam Member Reallocation via Tree Pruning
PDFEfficient No-Regret Multiagent Learning
PDFSolving DisCSPs with Penalty Driven Search
PDFCoordination and Adaptation in Impromptu Teams
PDFRobust and Self-Repairing Formation Control for Swarms of Mobile Agents
PDFAn Extended Protocol for Multiple-Issue Concurrent Negotiation
PDFThe Semantics of Potential Intentions
PDFAgent-Organized Networks for Multi-Agent Production and Exchange
PDFSupporting Collaborative Activity
PDFMultiple Agent Event Detection and Representation in Videos
PDFAnyone but Him: The Complexity of Precluding an Alternative
PDFTowards Model-Based Diagnosis of Coordination Failures
PDFFlexible Teamwork in Behavior-Based Robots
PDFCoordinating Agile Systems through the Model-based Execution of Temporal Plans
PDFControversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community
PDFModeling Human Behavior for Virtual Training Systems
PDFNetworked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs
PDFNew Approaches to Optimization and Utility Elicitation in Autonomic Computing
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
A Fast Arc Consistency Algorithm for n-ary Constraints
PDFQuick Shaving
PDFDC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently
PDFA Constraint Satisfaction Approach to Geospatial Reasoning
PDFA Framework for Representing and Solving NP Search Problems
PDFGeneration of Hard Non-Clausal Random Satisfiability Problems
PDFAnytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs
PDFSuperstabilizing, Fault-Containing Multiagent Combinatorial Optimization
PDFSAT-Based versus CSP-Based Constraint Weighting for Satisfiability
PDFConstraint-Based Preferential Optimization
PDFSymChaff: A Structure-Aware Satisfiability Solver
PDFPerforming Bayesian Inference by Weighted Model Counting
PDFOld Resolution Meets Modern SLS
PDFCSP Properties for Quantified Constraints: Definitions and Complexity
PDFConstrained Decision Diagrams
PDFFinding Diverse and Similar Solutions in Constraint Programming
PDFWeighted Super Solutions for Constraint Programs
PDFGenerating Hard Satisfiable Formulas by Hiding Solutions Deceptively
PDFGeneralized NoGoods in CSPs
PDFNeighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs
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
Functional Specification of Probabilistic Process Models
PDFDiagnosing Terminologies
PDFIssues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge
PDFA Theory of Forgetting in Logic Programming
PDFIntegrating Description Logics and Action Formalisms: First Results
PDFUsing SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains
PDFHybrid Possibilistic Networks
PDFPractical First-Order Argumentation
PDFPrioritized Component Systems
PDFDL-Lite: Tractable Description Logics for Ontologies
PDFAn Axiomatic Account of Formal Argumentation
PDFMerging Argumentation Systems
PDFDD-PREF: A Language for Expressing Preferences over Sets
PDFCumulative Effects of Concurrent Actions on Numeric-Valued Fluents
PDFOnly-Knowing: Taking It Beyond Autoepistemic Reasoning
PDFTractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
PDFKnowledge Integration for Description Logics
PDFAnalysis of Strategic Knowledge in Back of the Envelope Reasoning
PDFGeneralized Link Properties for Expressive ε-Connections of Description Logics
PDF
Logic Programming
Machine Learning
Learning Planning Rules in Noisy Stochastic Worlds
PDFHidden Naive Bayes
PDFFinite Sample Error Bound for Parzen Windows
PDFUsing Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework
PDFThe Regularized EM Algorithm
PDFSemi-Supervised Sequence Modeling with Syntactic Topic Models
PDFGiving Advice about Preferred Actions to Reinforcement Learners Via Knowledge-Based Kernel Regression
PDFDistribution-Free Learning of Bayesian Network Structure in Continuous Domains
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
PDFNon-Stationary Policy Learning in 2-Player Zero Sum Games
PDFnFOIL: Integrating Naïve Bayes and FOIL
PDFRobust Supervised Learning
PDFWeighted One-Against-All
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
TIELT: A Testbed for Gaming Environments
PDFUsing the GEMS System for Cancer Diagnosis and Biomarker Discovery from Microarray Gene Expression Data
PDFA Learning and Reasoning System for Intelligence Analysis
PDFBuilding Applications Using End to End Composition of Web Services
PDFDiamondHelp: A Collaborative Task Guidance Framework for Complex Devices
PDFEvolution of an Empathetic Digital Entity: Phase One
PDFIdentifying Similar Words and Contexts in Natural Language with SenseClusters
PDFLanguage Independent Extractive Summarization
PDFMADbot: A Motivated and Goal Directed Robot
PDFMGLAIR Agents in Virtual and Other Graphical Environments
PDFOptimal Rhode Island Hold’em Poker
PDFProving Theorems of Type Theory Automatically with TPS
PDFQuOnto: Querying Ontologies
PDFRemote Supervisory Control of a Humanoid Robot
PDFSAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis
PDFSenseRelate::TargetWord-A Generalized Framework for Word Sense Disambiguation
PDFSolo: A Cognitive Orthosis
PDFSong Search and Retrieval by Tapping
PDFSwoogle: Searching for Knowledge on the Semantic Web
PDFThe AI Technologies of the Philadelphia Area Urban Wireless Network Testbed
PDFThe Proteome Analyst Suite of Automated Function Prediction Tools
PDFThe TaskTracker System
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
New Admissible Heuristics for Domain-Independent Planning
PDFUsing Domain-Configurable Search Control for Probabilistic Planning
PDFLazy Approximation for Solving Continuous Finite-Horizon MDPs
PDFProttle: A Probabilistic Temporal Planner
PDFAugmenting Disjunctive Temporal Problems with Finite-Domain Constraints
PDFTemporal Dynamic Controllability Revisited
PDFExploiting Temporal Flexibility to Obtain High Quality Schedules
PDFPlanning for Stream Processing Systems
PDFConformant Planning for Domains with Constraints—A New Approach
PDFLearning Measures of Progress for Planning Domains
PDFExploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation
PDFSensor Selection for Active Information Fusion
PDFSimultaneous Heuristic Search for Conjunctive Subgoals
PDFState Agnostic Planning Graphs and the Application to Belief-Space Planning
PDFGenome Rearrangement and Planning
PDFQuasi-Monotonic Segmentation of State Variable Behavior for Reactive Control
PDFValidating Plans in the Context of Processes and Exogenous Events
PDFFast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search
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
Description Logic-Ground Knowledge Integration and Management
PDFContinuous Speech Recognition Using Modified Stack Decoding Algorithm
PDFQualitative Dimensions in Question Answering: Extending the Definitional QA Task
PDFA Learning Support Method in Qualitative Simulation-Based Economic Education
PDFEvolving AI Opponents in a First-Person-Shooter Video Game
PDFA Framework for Bayesian Network Mapping
PDFMinimizing Environmental Swings with a Recurrent Neural Network Control System
PDFAutonomous Learning of Tool Affordances by a Robot
PDFMachine Learning and Its Application at Nooksack Falls Hydroelectric Station
PDFHelicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm
PDFAutonomous Subgoal Discovery and Hierarchical Abstraction for Reinforcement Learning Using Monte Carlo Method
PDFMixed-Initiative Approach to Collaboration in the Mathematical Domain
PDFOn Predicting User Intent
PDFDR-Prolog:A System for Reasoning with Rules and Ontologies on the Semantic Web
PDFGenre Classification of Web Documents
PDFRule Refinement by Domain Experts in Complex Knowledge Bases
PDFUse of Expert Knowledge for Decision Tree Pruning
PDFLearning Support Vector Machines from Distributed Data Sources
PDFBoosting Semantic Web Data Access Using Swoogle
PDFTowards Exploiting Duality in Approximate Linear Programming for MDPs
PDFManufacturing Processes Recognition of Machined Mechanical Parts using SVMs
PDFAn Automated Distributed Meeting Scheduler for FCVW Plug-in
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