No. 1: Twenty-Fourth AAAI Conference on Artificial Intelligence
AI and Bioinformatics Special Track
A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings
PDFA Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra
PDFFast Conditional Density Estimation for Quantitative Structure-Activity Relationships
PDFPredicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques
PDF
AAAI Technical Track: AI and the Web
Adopting Inference Networks for Online Thread Retrieval
PDFSentiment Analysis with Global Topics and Local Dependency
PDFMaterializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets
PDFUserRec: A User Recommendation Framework in Social Tagging Systems
PDFPR + RQ ≈ PQ: Transliteration Mining Using Bridge Language
PDFIntegrity Constraints in OWL
PDFFast Algorithms for Top-k Approximate String Matching
PDFVisual Contextual Advertising: Bringing Textual Advertisements to Images
PDFExtraction and Visualization of Implicit Social Relations on Social Networking Services
PDFTemporal Information Extraction
PDFDiversifying Query Suggestion Results
PDFOn the Reputation of Agent-Based Web Services
PDFModeling Dynamic Multi-Topic Discussions in Online Forums
PDFPredicting the Importance of Newsfeed Posts and Social Network Friends
PDFSession Based Click Features for Recency Ranking
PDFToward an Architecture for Never-Ending Language Learning
PDFUtilizing Context in Generative Bayesian Models for Linked Corpus
PDFA General Framework for Representing and Reasoning with Annotated Semantic Web Data
PDFPrioritization of Domain-Specific Web Information Extraction
PDFNews Recommendation in Forum-Based Social Media
PDFSubjective Trust Inference in Composite Services
PDFA Probabilistic-Logical Framework for Ontology Matching
PDFGTPA: A Generative Model For Online Mentor-Apprentice Networks
PDFCommonsense Knowledge Mining from the Web
PDFTemporal and Social Context Based Burst Detection from Folksonomies
PDFKeyword Extraction and Headline Generation Using Novel Word Features
PDFOptimal Social Trust Path Selection in Complex Social Networks
PDFOptimal Strategies for Reviewing Search Results
PDFHow Incomplete Is Your Semantic Web Reasoner?
PDFLearning to Predict Opinion Share in Social Networks
PDFTowards an Intelligent Code Search Engine
PDF
Challenges in AI Special Track
Constraints, Satisfiability, and Search
Searching Without a Heuristic: Efficient Use of Abstraction
PDFUnderstanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search
PDFCollaborative Expert Portfolio Management
PDFHydra: Automatically Configuring Algorithms for Portfolio-Based Selection
PDFLazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D
PDFFinding Optimal Solutions to Cooperative Pathfinding Problems
PDFA Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction
PDFCoalition Structure Generation based on Distributed Constraint Optimization
PDFA Restriction of Extended Resolution for Clause Learning SAT Solvers
PDFSingle-Frontier Bidirectional Search
PDFSearch Space Reduction Using Swamp Hierarchies
PDFPropagating Conjunctions of AllDifferent Constraints
PDFFast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments
PDF1.6-Bit Pattern Databases
PDFUsing Lookaheads with Optimal Best-First Search
PDFFiltering Bounded Knapsack Constraints in Expected Sublinear Time
PDFExploiting Monotonicity in Interval Constraint Propagation
PDFHigh-Quality Policies for the Canadian Traveler’s Problem
PDFA Proof-Producing CSP Solver
PDFA Novel Transition Based Encoding Scheme for Planning as Satisfiability
PDFIndependent Additive Heuristics Reduce Search Multiplicatively
PDFLatent Class Models for Algorithm Portfolio Methods
PDFA New Algorithm for Weighted Partial MaxSAT
PDFExploiting QBF Duality on a Circuit Representation
PDFSymmetry in Solutions
PDFParallel Depth First Proof Number Search
PDFComputing Cost-Optimal Definitely Discriminating Tests
PDFThe Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading
PDFDealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search
PDFAn Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem
PDFA First Practical Algorithm for High Levels of Relational Consistency
PDFNew Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter
PDFOptimal Rectangle Packing on Non-Square Benchmarks
PDFTransmission Network Expansion Planning with Simulation Optimization
PDFEWLS: A New Local Search for Minimum Vertex Cover
PDF
Integrated Intelligence Special Track
Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning
PDFAn Integrated Systems Approach to Explanation-Based Conceptual Change
PDFSupporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place
PDFIntegrating a Closed World Planner with an Open World Robot: A Case Study
PDFIntegrating Constraint Satisfaction and Spatial Reasoning
PDFGoal-Driven Autonomy in a Navy Strategy Simulation
PDFCreating Dynamic Story Plots with Continual Multiagent Planning
PDFIntegrated Systems for Inducing Spatio-Temporal Process Models
PDFInstance-Based Online Learning of Deterministic Relational Action Models
PDFUsing Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents
PDF
Knowledge-Based Information Systems
Knowledge Representation and Reasoning
A Lower Bound on the Size of Decomposable Negation Normal Form
PDFSoundness Preserving Approximation for TBox Reasoning
PDFDecidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
PDFSpace Efficient Evaluation of ASP Programs with Bounded Predicate Arities
PDFA New Approach to Knowledge Base Revision in DL-Lite
PDFIn Defense of Large Qualitative Calculi
PDFOrdered Completion for First-Order Logic Programs on Finite Structures
PDFReasoning about Imperfect Information Games in the Epistemic Situation Calculus
PDFTwo-Player Game Structures for Generalized Planning and Agent Composition
PDFNode Selection Query Languages for Trees
PDFDominance Testing via Model Checking
PDFSituation Calculus as Answer Set Programming
PDFOntologies and Representations of Matter
PDFAn Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation
PDFDecomposed Utility Functions and Graphical Models for Reasoning about Preferences
PDFRepresenting Preferences Among Sets
PDFTopological Relations between Convex Regions
PDFA Belief Revision Framework for Revising Epistemic States with Partial Epistemic States
PDFKnowledge Compilation in the Modal Logic S5
PDFInducing Probability Distributions from Knowledge Bases with (In)dependence Relations
PDFFirst-Order Indefinability of Answer Set Programs on Finite Structures
PDFAutomated Program Debugging Via Multiple Predicate Switching
PDFPast and Future of DL-Lite
PDF
AAAI Technical Track: Multiagent Systems
Automated Channel Abstraction for Advertising Auctions
PDFSequential Incremental-Value Auctions
PDFStability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
PDFBeyond Equilibrium: Predicting Human Behavior in Normal-Form Games
PDFIntentions in Equilibrium
PDFCompeting Schedulers
PDFDynamic Auction: A Tractable Auction Procedure
PDFPrivate and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts
PDFApproximate Coalition Structure Generation
PDFAlgorithms for Finding Approximate Formations in Games
PDFBypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates
PDFComplexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games
PDFPossible Winners when New Candidates Are Added: The Case of Scoring Rules
PDFMulti-Agent Learning with Policy Prediction
PDFTruth, Justice, and Cake Cutting
PDFVoting Almost Maximizes Social Welfare Despite Limited Communication
PDFAn Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games
PDFEnvy Quotes and the Iterated Core-Selecting Combinatorial Auction
PDFConvergence to Equilibria in Plurality Voting
PDFStackelberg Voting Games: Computational Aspects and Paradoxes
PDFCompilation Complexity of Common Voting Rules
PDFIncreasing Threshold Search for Best-Valued Agents
PDFTolerable Manipulability in Dynamic Assignment without Money
PDFAccounting Mechanisms for Distributed Work Systems
PDFSecurity Games with Arbitrary Schedules: A Branch and Price Approach
PDFUrban Security: Game-Theoretic Resource Allocation in Networked Domains
PDFNonmanipulable Randomized Tournament Selections
PDFFacilitating the Evaluation of Automated Negotiators using Peer Designed Agents
PDFApproximation Algorithms and Mechanism Design for Minimax Approval Voting
PDFTrial-Based Dynamic Programming for Multi-Agent Planning
PDFFixing a Tournament
PDFAsymmetric Spite in Auctions
PDFCan Approximation Circumvent Gibbard-Satterthwaite?
PDFCoalitional Structure Generation in Skill Games
PDFLifting Rationality Assumptions in Binary Aggregation
PDFTrust Models and Con-Man Agents: From Mathematical to Empirical Analysis
PDFTransferable Utility Planning Games
PDFCloning in Elections
PDFGood Rationalizations of Voting Rules
PDFA Decentralised Coordination Algorithm for Mobile Sensors
PDFProbabilistic Possible Winner Determination
PDFA Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria
PDF
Multidisciplinary Topics
Learning Simulation Control in General Game-Playing Agents
PDFGeneralized Task Markets for Human and Machine Computation
PDFA Temporal Proof System for General Game Playing
PDFA General Game Description Language for Incomplete Information Games
PDFUser-Specific Learning for Recognizing a Singer’s Intended Pitch
PDFA Computational Model for Saliency Maps by Using Local Entropy
PDFSymmetry Detection in General Game Playing
PDFGrouping Strokes into Shapes in Hand-Drawn Diagrams
PDF
AAAI Technical Track: Machine Learning
Constrained Metric Learning Via Distance Gap Maximization
PDFSemi-Supervised Dimension Reduction for Multi-Label Classification
PDFMulti-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories
PDFLatent Variable Model for Learning in Pairwise Markov Networks
PDFAssisting Users with Clustering Tasks by Combining Metric Learning and Classification
PDFLocal and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation
PDFLearning Causal Models of Relational Domains
PDFGaussian Process Latent Random Field
PDFMulti-Task Active Learning with Output Constraints
PDFMulti-Instance Dimensionality Reduction
PDFMulti-Label Learning with Weak Label
PDFConstrained Coclustering for Textual Documents
PDFNon-Negative Matrix Factorization with Constraints
PDFNon-Metric Locality-Sensitive Hashing
PDFBayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures
PDFExact Algorithms and Experiments for Hierarchical Tree Clustering
PDFA Topic Model for Linked Documents and Update Rules for its Estimation
PDFStructure Learning for Markov Logic Networks with Many Descriptive Attributes
PDFInteractive Learning Using Manifold Geometry
PDFIntegrating Sample-Based Planning and Model-Based Reinforcement Learning
PDFReinforcement Learning Via Practice and Critique Advice
PDFThe Induction and Transfer of Declarative Bias
PDFG-Optimal Design with Laplacian Regularization
PDFEfficient Spectral Feature Selection with Minimum Redundancy
PDFSmooth Optimization for Effective Multiple Kernel Learning
PDFMultitask Bregman Clustering
PDFThe Genetic Algorithm as a General Diffusion Model for Social Networks
PDFConformal Mapping by Computationally Efficient Methods
PDFMultilinear Maximum Distance Embedding Via L1-Norm Optimization
PDFBayesian Policy Search for Multi-Agent Role Discovery
PDFAdaptive Transfer Learning
PDFCost-Sensitive Semi-Supervised Support Vector Machine
PDFDiscriminant Laplacian Embedding
PDFProperties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures
PDFNon-Negative Matrix Factorization Clustering on Multiple Manifolds
PDFDiscovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
PDFReinforcement Learning via AIXI Approximation
PDFNonparametric Curve Extraction Based on Ant Colony System
PDFMyopic Policies for Budgeted Optimization with Constrained Experiments
PDFA Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics
PDFTransductive Learning on Adaptive Graphs
PDFNon-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace
PDFTwo-Stage Sparse Representation for Robust Recognition on Large-Scale Database
PDFDependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise
PDFFacial Age Estimation by Learning from Label Distributions
PDFWhat if the Irresponsible Teachers Are Dominating?
PDFLearning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis
PDFGaussian Mixture Model with Local Consistency
PDFLearning Discriminative Piecewise Linear Models with Boundary Points
PDF
New Scientific and Technical Advances in Research
Intelligently Aiding Human-Guided Correction of Speech Recognition
PDFEvolving Compiler Heuristics to Manage Communication and Contention
PDFLocal Search in Histogram Construction
PDFEnhancing ASP by Functions: Decidable Classes and Implementation Techniques
PDFPanlingual Lexical Translation via Probabilistic Inference
PDFActive Inference for Collective Classification
PDFBiologically-Inspired Control for Multi-Agent Self-Adaptive Tasks
PDFAutomatic Derivation of Finite-State Machines for Behavior Control
PDFComputationally Feasible Automated Mechanism Design: General Approach and Case Studies
PDFConstraint Programming for Data Mining and Machine Learning
PDFComparing Position Auctions Computationally
PDFOntological Reasoning with F-logic Lite and its Extensions
PDF
AAAI Technical Track: Natural Language Processing
Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus
PDFAutomatic Attribution of Quoted Speech in Literary Narrative
PDFCAO: A Fully Automatic Emoticon Analysis System
PDFForest-Based Semantic Role Labeling
PDFWhat Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model
PDFBidirectional Integration of Pipeline Models
PDFKernelized Sorting for Natural Language Processing
PDF
Physically Grounded AI Special Track
Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior
PDFA Bayesian Nonparametric Approach to Modeling Mobility Patterns
PDFActivity and Gait Recognition with Time-Delay Embeddings
PDFA Layered Approach to People Detection in 3D Range Data
PDFThe Boosting Effect of Exploratory Behaviors
PDFRelative Entropy Policy Search
PDFUnsupervised Learning of Event Classes from Video
PDFOnline Learning of Uneven Terrain for Humanoid Bipedal Walking
PDFBiped Walk Learning Through Playback and Corrective Demonstration
PDFA Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method
PDFError Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas
PDF
AAAI Technical Track: Robotics
g-Planner: Real-time Motion Planning and Global Navigation using GPUs
PDFAsynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies
PDFDesign and Implementation of Two-level Synchronization for Interactive Music Robot
PDFSearch-Based Path Planning with Homotopy Class Constraints
PDFA Single-Step Maximum A Posteriori Update for Bearing-Only SLAM
PDF
Reasoning about Plans, Processes and Actions
Using Bisimulation for Policy Transfer in MDPs
PDFCompressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization
PDFPlanning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
PDFTo Max or Not to Max: Online Learning for Speeding Up Optimal Planning
PDFRelational Partially Observable MDPs
PDFAn Analytic Characterization of Model Minimization in Factored Markov Decision Processes
PDFStructured Parameter Elicitation
PDFMulti-Agent Plan Recognition: Formalization and Algorithms
PDFProbabilistic Plan Recognition Using Off-the-Shelf Classical Planners
PDFSymbolic Dynamic Programming for First-order POMDPs
PDFFinite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
PDFPUMA: Planning Under Uncertainty with Macro-Actions
PDFSixthSense: Fast and Reliable Recognition of Dead Ends in MDPs
PDFSAP Speaks PDDL
PDFUsing Closed Captions as Supervision for Video Activity Recognition
PDFRobust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies
PDFRecognizing Multi-Agent Activities from GPS Data
PDF
Reasoning Under Uncertainty
Efficient Lifting for Online Probabilistic Inference
PDFEfficient Belief Propagation for Utility Maximization and Repeated Inference
PDFDecision-Theoretic Control of Crowd-Sourced Workflows
PDFRespecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features
PDFOn the Use of Prime Implicates in Conformant Planning
PDFDTProbLog: A Decision-Theoretic Probabilistic Prolog
PDFSimultaneous Elicitation of Preference Features and Utility
PDFEpsilon–First Policies for Budget–Limited Multi-Armed Bandits
PDFNew Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence
PDFInformed Lifting for Message-Passing
PDF
Senior Member Papers
Short Papers
Student Abstracts
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models
PDFToward Learning to Press Doorbell Buttons
PDFA Distributed Method for Evaluating Properties of a Robot Formation
PDFFinding Semantic Inconsistencies in UMLS using Answer Set Programming
PDFTowards Interesting Patterns of Hard CSPs with Functional Constraints
PDFRelational Reinforcement Learning in Infinite Mario
PDFIntegrating Transfer Learning in Synthetic Student
PDFGenome Rearrangement: A Planning Approach
PDFTemporal Planning for Interacting Durative Actions with Continuous Effects
PDFMaterializing Inferred and Uncertain Knowledge in RDF Datasets
PDFTowards Multiagent Meta-level Control
PDFA Trust Model for Supply Chain Management
PDFDistributed Auction-Based Initialization of Mobile Robot Formations
PDFEvolved Intrinsic Reward Functions for Reinforcement Learning
PDFA Phrase-Based Method for Hierarchical Clustering of Web Snippets
PDFInteractive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors
PDFTeam Formation with Heterogeneous Agents in Computer Games
PDFCombining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability
PDFControl Model Learning for Whole-Body Mobile Manipulation
PDFIntelligent Time-Aware Query Translation for Text Sources
PDFSemantic Search in Linked Data: Opportunities and Challenges
PDFLearning to Surface Deep Web Content
PDFMarket-Based Algorithms for Allocating Complex Tasks
PDFLearning from Concept Drifting Data Streams with Unlabeled Data
PDF