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
Fast Algorithms for Top-k Approximate String Matching
PDFIntegrity Constraints in OWL
PDFPR + RQ ≈ PQ: Transliteration Mining Using Bridge Language
PDFUserRec: A User Recommendation Framework in Social Tagging Systems
PDFMaterializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets
PDFSentiment Analysis with Global Topics and Local Dependency
PDFAdopting Inference Networks for Online Thread Retrieval
PDFExtraction and Visualization of Implicit Social Relations on Social Networking Services
PDFUtilizing Context in Generative Bayesian Models for Linked Corpus
PDFToward an Architecture for Never-Ending Language Learning
PDFSession Based Click Features for Recency Ranking
PDFPredicting the Importance of Newsfeed Posts and Social Network Friends
PDFModeling Dynamic Multi-Topic Discussions in Online Forums
PDFOn the Reputation of Agent-Based Web Services
PDFDiversifying Query Suggestion Results
PDFTemporal Information Extraction
PDFVisual Contextual Advertising: Bringing Textual Advertisements to Images
PDFOptimal Social Trust Path Selection in Complex Social Networks
PDFKeyword Extraction and Headline Generation Using Novel Word Features
PDFTemporal and Social Context Based Burst Detection from Folksonomies
PDFCommonsense Knowledge Mining from the Web
PDFGTPA: A Generative Model For Online Mentor-Apprentice Networks
PDFA Probabilistic-Logical Framework for Ontology Matching
PDFSubjective Trust Inference in Composite Services
PDFNews Recommendation in Forum-Based Social Media
PDFPrioritization of Domain-Specific Web Information Extraction
PDFA General Framework for Representing and Reasoning with Annotated Semantic Web Data
PDFOptimal Strategies for Reviewing Search Results
PDFTowards an Intelligent Code Search Engine
PDFLearning to Predict Opinion Share in Social Networks
PDFHow Incomplete Is Your Semantic Web Reasoner?
PDF
Challenges in AI Special Track
Constraints, Satisfiability, and Search
Finding Optimal Solutions to Cooperative Pathfinding Problems
PDFLazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D
PDFHydra: Automatically Configuring Algorithms for Portfolio-Based Selection
PDFCollaborative Expert Portfolio Management
PDFUnderstanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search
PDFSearching Without a Heuristic: Efficient Use of Abstraction
PDF1.6-Bit Pattern Databases
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
PDFUsing Lookaheads with Optimal Best-First Search
PDFFiltering Bounded Knapsack Constraints in Expected Sublinear Time
PDFSymmetry in Solutions
PDFParallel Depth First Proof Number Search
PDFExploiting QBF Duality on a Circuit Representation
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
PDFComputing Cost-Optimal Definitely Discriminating Tests
PDFEWLS: A New Local Search for Minimum Vertex Cover
PDFTransmission Network Expansion Planning with Simulation Optimization
PDFOptimal Rectangle Packing on Non-Square Benchmarks
PDFNew Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter
PDFA First Practical Algorithm for High Levels of Relational Consistency
PDFAn Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem
PDFDealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search
PDFThe Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading
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
Soundness Preserving Approximation for TBox Reasoning
PDFA Lower Bound on the Size of Decomposable Negation Normal Form
PDFDecidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
PDFSituation Calculus as Answer Set Programming
PDFDominance Testing via Model Checking
PDFNode Selection Query Languages for Trees
PDFTwo-Player Game Structures for Generalized Planning and Agent Composition
PDFReasoning about Imperfect Information Games in the Epistemic Situation Calculus
PDFOrdered Completion for First-Order Logic Programs on Finite Structures
PDFIn Defense of Large Qualitative Calculi
PDFA New Approach to Knowledge Base Revision in DL-Lite
PDFSpace Efficient Evaluation of ASP Programs with Bounded Predicate Arities
PDFAutomated Program Debugging Via Multiple Predicate Switching
PDFFirst-Order Indefinability of Answer Set Programs on Finite Structures
PDFInducing Probability Distributions from Knowledge Bases with (In)dependence Relations
PDFKnowledge Compilation in the Modal Logic S5
PDFA Belief Revision Framework for Revising Epistemic States with Partial Epistemic States
PDFTopological Relations between Convex Regions
PDFRepresenting Preferences Among Sets
PDFDecomposed Utility Functions and Graphical Models for Reasoning about Preferences
PDFAn Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation
PDFOntologies and Representations of Matter
PDFPast and Future of DL-Lite
PDF
AAAI Technical Track: Multiagent Systems
Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games
PDFStability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
PDFSequential Incremental-Value Auctions
PDFAutomated Channel Abstraction for Advertising Auctions
PDFApproximate Coalition Structure Generation
PDFIntentions in Equilibrium
PDFCompeting Schedulers
PDFDynamic Auction: A Tractable Auction Procedure
PDFPrivate and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts
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
PDFEnvy Quotes and the Iterated Core-Selecting Combinatorial Auction
PDFAccounting Mechanisms for Distributed Work Systems
PDFTolerable Manipulability in Dynamic Assignment without Money
PDFIncreasing Threshold Search for Best-Valued Agents
PDFCompilation Complexity of Common Voting Rules
PDFStackelberg Voting Games: Computational Aspects and Paradoxes
PDFConvergence to Equilibria in Plurality Voting
PDFAn Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games
PDFVoting Almost Maximizes Social Welfare Despite Limited Communication
PDFTruth, Justice, and Cake Cutting
PDFFacilitating the Evaluation of Automated Negotiators using Peer Designed Agents
PDFSecurity Games with Arbitrary Schedules: A Branch and Price Approach
PDFUrban Security: Game-Theoretic Resource Allocation in Networked Domains
PDFNonmanipulable Randomized Tournament Selections
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
PDFA Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria
PDFProbabilistic Possible Winner Determination
PDFA Decentralised Coordination Algorithm for Mobile Sensors
PDFGood Rationalizations of Voting Rules
PDFCloning in Elections
PDFTransferable Utility Planning Games
PDFTrust Models and Con-Man Agents: From Mathematical to Empirical Analysis
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
PDFAssisting Users with Clustering Tasks by Combining Metric Learning and Classification
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
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
PDFReinforcement Learning Via Practice and Critique Advice
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
PDFConformal Mapping by Computationally Efficient Methods
PDFAdaptive Transfer Learning
PDFBayesian Policy Search for Multi-Agent Role Discovery
PDFMultilinear Maximum Distance Embedding Via L1-Norm Optimization
PDFThe Genetic Algorithm as a General Diffusion Model for Social Networks
PDFMultitask Bregman Clustering
PDFSmooth Optimization for Effective Multiple Kernel Learning
PDFEfficient Spectral Feature Selection with Minimum Redundancy
PDFG-Optimal Design with Laplacian Regularization
PDFThe Induction and Transfer of Declarative Bias
PDFDiscovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
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
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
PDFLearning Discriminative Piecewise Linear Models with Boundary Points
PDFGaussian Mixture Model with Local Consistency
PDFLearning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis
PDFWhat if the Irresponsible Teachers Are Dominating?
PDFFacial Age Estimation by Learning from Label Distributions
PDFDependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise
PDFTwo-Stage Sparse Representation for Robust Recognition on Large-Scale Database
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
Automatic Attribution of Quoted Speech in Literary Narrative
PDFExtracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus
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
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
PDFCompressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization
PDFUsing Bisimulation for Policy Transfer in MDPs
PDFMulti-Agent Plan Recognition: Formalization and Algorithms
PDFSixthSense: Fast and Reliable Recognition of Dead Ends in MDPs
PDFPUMA: Planning Under Uncertainty with Macro-Actions
PDFFinite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
PDFSymbolic Dynamic Programming for First-order POMDPs
PDFProbabilistic Plan Recognition Using Off-the-Shelf Classical Planners
PDFStructured Parameter Elicitation
PDFAn Analytic Characterization of Model Minimization in Factored Markov Decision Processes
PDFRelational Partially Observable MDPs
PDFTo Max or Not to Max: Online Learning for Speeding Up Optimal Planning
PDFSAP Speaks PDDL
PDFRecognizing Multi-Agent Activities from GPS Data
PDFRobust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies
PDFUsing Closed Captions as Supervision for Video Activity Recognition
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
A Distributed Method for Evaluating Properties of a Robot Formation
PDFToward Learning to Press Doorbell Buttons
PDFTask Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models
PDFTowards Interesting Patterns of Hard CSPs with Functional Constraints
PDFDistributed Auction-Based Initialization of Mobile Robot Formations
PDFA Trust Model for Supply Chain Management
PDFTowards Multiagent Meta-level Control
PDFMaterializing Inferred and Uncertain Knowledge in RDF Datasets
PDFTemporal Planning for Interacting Durative Actions with Continuous Effects
PDFGenome Rearrangement: A Planning Approach
PDFIntegrating Transfer Learning in Synthetic Student
PDFRelational Reinforcement Learning in Infinite Mario
PDFFinding Semantic Inconsistencies in UMLS using Answer Set Programming
PDFMarket-Based Algorithms for Allocating Complex Tasks
PDFLearning to Surface Deep Web Content
PDFSemantic Search in Linked Data: Opportunities and Challenges
PDFIntelligent Time-Aware Query Translation for Text Sources
PDFControl Model Learning for Whole-Body Mobile Manipulation
PDFCombining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability
PDFTeam Formation with Heterogeneous Agents in Computer Games
PDFInteractive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors
PDFA Phrase-Based Method for Hierarchical Clustering of Web Snippets
PDFEvolved Intrinsic Reward Functions for Reinforcement Learning
PDFLearning from Concept Drifting Data Streams with Unlabeled Data
PDF