No. 1: Twenty-Sixth AAAI Conference on Artificial Intelligence
AAAI Technical Track: AI and the Web
SPARQL Query Containment Under SHI Axioms
PDFA Mouse-Trajectory Based Model for Predicting Query-URL Relevance
PDFPredictive Mining of Comparable Entities from the Web
PDFMultinomial Relation Prediction in Social Data: A Dimension Reduction Approach
PDFA Data-Driven Approach to Question Subjectivity Identification in Community Question Answering
PDFDiagnosing Changes in An Ontology Stream: A DL Reasoning Approach
PDFSocial Context-Aware Trust Network Discovery in Complex Contextual Social Networks
PDFDiscovering Spammers in Social Networks
PDFCombining Hashing and Abstraction in Sparse High Dimensional Feature Spaces
PDFMusic-Inspired Texture Representation
PDFQuerying Linked Ontological Data through Distributed Summarization
PDFBabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness
PDFOnline Task Assignment in Crowdsourcing Markets
PDFFine-Grained Entity Recognition
PDFBuilding Contextual Anchor Text Representation using Graph Regularization
PDFDynamically Switching between Synergistic Workflows for Crowdsourcing
PDFQuality Expectation-Variance Tradeoffs in Crowdsourcing Contests
PDFTowards Automated Choreographing of Web Services Using Planning
PDFFused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks
PDFAdaptive Polling for Information Aggregation
PDFOntological Smoothing for Relation Extraction with Minimal Supervision
PDFPredicting Disease Transmission from Geo-Tagged Micro-Blog Data
PDFImproved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent
PDFA Convex Formulation for Learning from Crowds
PDFET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback
PDFREWOrD: Semantic Relatedness in the Web of Data
PDF
Constraints, Satisfiability, and Search
Alpha-Beta Pruning for Games with Simultaneous Moves
PDFTrap Avoidance in Local Search Using Pseudo-Conflict Learning
PDFDon’t Be Strict in Local Search!
PDFDUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems
PDFPolynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction
PDFA Dichotomy for 2-Constraint Forbidden CSP Patterns
PDFFast and Accurate Predictions of IDA*’s Performance
PDFConfiguration Checking with Aspiration in Local Search for SAT
PDFLast-Mile Restoration for Multiple Interdependent Infrastructures
PDFAn Efficient Higher-Order Consistency Algorithm for Table Constraints
PDFSolving Temporal Problems Using SMT: Weak Controllability
PDFOptimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching
PDFPartial-Expansion A* with Selective Node Generation
PDFIterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters
PDFConflict-Based Search For Optimal Multi-Agent Path Finding
PDFNon-Model-Based Search Guidance for Set Partitioning Problems
PDFPredicting Satisfiability at the Phase Transition
PDFSolving Peg Solitaire with Bidirectional BFIDA*
PDFSolving Dots-And-Boxes
PDFFiltering Algorithms Based on the Word-RAM Model
PDFInformation Set Generation in Partially Observable Games
PDFFrom Streamlined Combinatorial Search to Efficient Constructive Procedures
PDFFiltering Decomposable Global Cost Functions
PDFTwo New Local Search Strategies for Minimum Vertex Cover
PDFOn the Relation of Constraint Answer Set Programming Languages and Algorithms
PDFMCTS Based on Simple Regret
PDF
AAAI Technical Track: Cognitive Systems
A Multi-Domain Evaluation of Scaling in a General Episodic Memory
PDFFunctional Interactions Between Memory and Recognition Judgments
PDFDiscovering Constraints for Inductive Process Modeling
PDFLearning Qualitative Models by Demonstration
PDFSentic Activation: A Two-Level Affective Common Sense Reasoning Framework
PDFSocial Cognition: Memory Decay and Adaptive Information Filtering for Robust Information Maintenance
PDFTowards a Cognitive System that Can Recognize Spatial Regions Based on Context
PDFCrossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements
PDFA Grounded Cognitive Model for Metaphor Acquisition
PDFUsing Expectations to Drive Cognitive Behavior
PDFLessons Learned From a Rational Reconstruction of Minstrel
PDF
AAAI Technical Track: Computational Sustainability
Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images
PDFFactored Models for Multiscale Decision-Making in Smart Grid Customers
PDFLagrangian Relaxation Techniques for Scalable Spatial Conservation Planning
PDFCooperative Virtual Power Plant Formation Using Scoring Rules
PDFPrediction and Fault Detection of Environmental Signals with Uncharacterised Faults
PDFMOMDPs: A Solution for Modelling Adaptive Management Problems
PDFSustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks
PDFScheduling Conservation Designs via Network Cascade Optimization
PDFAn Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment
PDFImproving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning
PDFGlobal Climate Model Tracking Using Geospatial Neighborhoods
PDFFine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble
PDFA Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring
PDFCoupling Spatiotemporal Disease Modeling with Diagnosis
PDFNon-Intrusive Load Monitoring Using Prior Models of General Appliance Types
PDFPatrol Strategies to Maximize Pristine Forest Area
PDFSensing the Air We Breathe — The OpenSense Zurich Dataset
PDFAn Intelligent Battery Controller Using Bias-Corrected Q-learning
PDFLearning Non-Stationary Space-Time Models for Environmental Monitoring
PDFRobust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control
PDFThe Automated Vacuum Waste Collection Optimization Problem
PDF
Doctoral Consortium
Large-Scale Mapping and Navigation in VirtualWorlds: Thesis Summary
PDFAcquiring Domain Specific Knowledge and Coreference Cues for Coreference Resolution
PDFPlanning Under Time Pressure
PDFLearning Actions and Action Verbs from Human-Agent Interaction
PDFAbductive Metareasoning for Truth-Seeking Agents
PDFDynamic Multiagent Resource Allocation: Integrating Auctions and MDPs for Real-Time Decisions
PDFGeneralizing and Executing Plans
PDFEnriching Chatter Bots With Semantic Conversation Control
PDFEffects of Representation on Solving Complex Spatial-Temporal Problems
PDFComplex Task Learning from Unstructured Demonstrations
PDFA Multi-Agent Control Architecture for a Rescue Robot
PDFSolution Diversity in Planning
PDFIterative Voting under Uncertainty for Group Recommender Systems (Research Abstract)
PDFCapabilities in Heterogeneous Multi-Robot Systems
PDFBuilding Collaborative Strategies via Imitation
PDF
Knowledge-Based Information Systems
Double-Bit Quantization for Hashing
PDFOn Completeness Classes for Query Evaluation on Linked Data
PDFLow-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization
PDFImproving Twitter Retrieval by Exploiting Structural Information
PDFTransfer Learning in Collaborative Filtering with Uncertain Ratings
PDFModeling the Evolution of Knowledge in Learning Systems
PDFRandom Projection with Filtering for Nearly Duplicate Search
PDFDocument Summarization Based on Data Reconstruction
PDFContent Recommendation for Attention Management in Unified Social Messaging
PDFA Sequential Decision Approach to Ordinal Preferences in Recommender Systems
PDFChoosing Linguistics over Vision to Describe Images
PDFTime-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process
PDFTable Header Detection and Classification
PDFGenerating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View Graphs
PDF
AAAI Technical Track: Knowledge Representation and Reasoning
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games
PDFReformulating Temporal Action Logics in Answer Set Programming
PDFA First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning
PDFExploring the Duality in Conflict-Directed Model-Based Diagnosis
PDFTransportability of Causal Effects: Completeness Results
PDFFLP Semantics Without Circular Justifications for General Logic Programs
PDFFar Out: Predicting Long-Term Human Mobility
PDFA Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
PDFProbabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall
PDFBenchmarking Ontology-Based Query Rewriting Systems
PDFOrdered Completion for Logic Programs with Aggregates
PDFOn Finding Optimal Polytrees
PDFOn the Complexity of Consistent Query Answering in the Presence of Simple Ontologies
PDFQuery Rewriting for Horn-SHIQ Plus Rules
PDFBasing Decisions on Sentences in Decision Diagrams
PDFConcept-Based Approach to Word-Sense Disambiguation
PDFCompiling Model-Based Diagnosis to Boolean Satisfaction
PDFOntology-Based Data Access with Dynamic TBoxes in DL-Lite
PDFThe Parameterized Complexity of Abduction
PDFConflict-Based Belief Revision Operators in Possibilistic Logic
PDFSymbolic Synthesis of Observability Requirements for Diagnosability
PDFEquality-Friendly Well-Founded Semantics and Applications to Description Logics
PDF
AAAI Technical Track: Multiagent Systems
The Deployment-to-Saturation Ratio in Security Games
PDFFinding Optimal Abstract Strategies in Extensive-Form Games
PDFApproximately Revenue-Maximizing Auctions for Deliberative Agents
PDFA Multivariate Complexity Analysis of Lobbying in Multiple Referenda
PDFSecurity Games for Controlling Contagion
PDFThe Price of Neutrality for the Ranked Pairs Method
PDFDecision Support for Agent Populations in Uncertain and Congested Environments
PDFDynamic Matching via Weighted Myopia with Application to Kidney Exchange
PDFInfluence-Based Abstraction for Multiagent Systems
PDFEliminating the Weakest Link: Making Manipulation Intractable?
PDFStability Via Convexity and LP Duality in OCF Games
PDFPossible Winners in Noisy Elections
PDFTree-Based Solution Methods for Multiagent POMDPs with Delayed Communication
PDFA Complexity-of-Strategic-Behavior Comparison between Schulze’s Rule and Ranked Pairs
PDFCompeting with Humans at Fantasy Football: Team Formation in Large Partially-Observable Domains
PDFOptimizing Payments in Dominant-Strategy Mechanisms for Multi-Parameter Domains
PDFSample Bounded Distributed Reinforcement Learning for Decentralized POMDPs
PDFA Robust Bayesian Truth Serum for Small Populations
PDFFairness and Welfare Through Redistribution When Utility Is Transferable
PDFBayes-Adaptive Interactive POMDPs
PDFA Hybrid Algorithm for Coalition Structure Generation
PDFComputing Optimal Strategies to Commit to in Stochastic Games
PDFEvaluating Resistance to False-Name Manipulations in Elections
PDFSymmetric Subgame Perfect Equilibria in Resource Allocation
PDFOptimal Auctions for Spiteful Bidders
PDFComputing Stackelberg Equilibria in Discounted Stochastic Games
PDFSecurity Games with Limited Surveillance
PDFOn Maxsum Fair Cake Divisions
PDFComputing Equilibria with Two-Player Zero-Sum Continuous Stochastic Games with Switching Controller
PDFA Dynamic Rationalization of Distance Rationalizability
PDFHousing Markets with Indifferences: A Tale of Two Mechanisms
PDFGeneralized Sampling and Variance in Counterfactual Regret Minimization
PDFComputing the Nucleolus of Matching, Cover and Clique Games
PDFOptimal Proportional Cake Cutting with Connected Pieces
PDFCongestion Games with Agent Failures
PDFNegotiation in Exploration-Based Environment
PDFA Scalable Message-Passing Algorithm for Supply Chain Formation
PDFCharacterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League
PDF
AAAI Technical Track: Machine Learning
Topic Correlation Analysis for Cross-Domain Text Classification
PDFHierarchical Double Dirichlet Process Mixture of Gaussian Processes
PDFLearning from Demonstration for Goal-Driven Autonomy
PDFLearning Games from Videos Guided by Descriptive Complexity
PDFContext Tree Maximizing
PDFAdaptive Step-Size for Online Temporal Difference Learning
PDFConvex Kernelized Sorting
PDFSparse Principal Component Analysis with Constraints
PDFMarkov Network Structure Learning: A Randomized Feature Generation Approach
PDFDesign and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition
PDFCounting-MLNs: Learning Relational Structure for Decision Making
PDFApproximate Policy Iteration with Linear Action Models
PDFA Spin-Glass Model for Semi-Supervised Community Detection
PDFInvestigating Contingency Awareness Using Atari 2600 Games
PDFMulti-Label Learning on Tensor Product Graph
PDFName-Ethnicity Classification and Ethnicity-Sensitive Name Matching
PDFTowards Population Scale Activity Recognition: A Framework for Handling Data Diversity
PDFClustering Documents Along Multiple Dimensions
PDFA Bayesian Approach to the Data Description Problem
PDFTransfer Learning with Graph Co-Regularization
PDFUnsupervised Feature Selection Using Nonnegative Spectral Analysis
PDFPairwise Exemplar Clustering
PDFSemi-Supervised Kernel Matching for Domain Adaptation
PDFLearning SVM Classifiers with Indefinite Kernels
PDFKernel-Based Reinforcement Learning on Representative States
PDFLearning Behavior Models for Hybrid Timed Systems
PDFInvestigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction
PDFConvex Matching Pursuit for Large-Scale Sparse Coding and Subset Selection
PDFMargin-Based Feature Selection in Incomplete Data
PDFOnline Kernel Selection: Algorithms and Evaluations
PDFEfficient Online Learning for Large-Scale Sparse Kernel Logistic Regression
PDFSupervised Probabilistic Robust Embedding with Sparse Noise
PDFLeveraging Domain Knowledge in Multitask Bayesian Network Structure Learning
PDFCompressed Least-Squares Regression on Sparse Spaces
PDFConservative and Greedy Approaches to Classification-Based Policy Iteration
PDFLearning the Kernel Matrix with Low-Rank Multiplicative Shaping
PDFDiscriminative Clustering via Generative Feature Mapping
PDFSparse Probabilistic Relational Projection
PDFA Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem
PDFEnsemble Feature Weighting Based on Local Learning and Diversity
PDFProbabilistic Models for Common Spatial Patterns: Parameter-Expanded EM and Variational Bayes
PDFA Bregman Divergence Optimization Framework for Ranking on Data Manifold and Its New Extensions
PDFTeaching Machines to Learn by Metaphors
PDFSequence Labeling with Non-Negative Weighted Higher Order Features
PDFKnapsack Based Optimal Policies for Budget–Limited Multi–Armed Bandits
PDFManifold Warping: Manifold Alignment over Time
PDFWeighted Clustering
PDFHierarchical Modeling with Tensor Inputs
PDFRule Ensemble Learning Using Hierarchical Kernels in Structured Output Spaces
PDFTowards Discovering What Patterns Trigger What Labels
PDFTD-DeltaPi: A Model-Free Algorithm for Efficient Exploration
PDFMulti-Label Learning by Exploiting Label Correlations Locally
PDFClassification of Sparse Time Series via Supervised Matrix Factorization
PDFEfficient Multi-Stage Conjugate Gradient for Trust Region Step
PDFColorization by Matrix Completion
PDF
Multidisciplinary Topics
Unsupervised Detection of Music Boundaries by Time Series Structure Features
PDFAgent-Human Coordination with Communication Costs Under Uncertainty
PDFGeneralized Monte-Carlo Tree Search Extensions for General Game Playing
PDFConstruction of New Medicines via Game Proof Search
PDFIdentifying Adverse Drug Events by Relational Learning
PDFAlgorithmic and Human Teaching of Sequential Decision Tasks
PDFAn Object-Based Bayesian Framework for Top-Down Visual Attention
PDFHyperPlay: A Solution to General Game Playing with Imperfect Information
PDFAutomated Strategies for Determining Rewards for Human Work
PDFHeart Rate Topic Models
PDFStrategic Advice Provision in Repeated Human-Agent Interactions
PDFPerformance and Preferences: Interactive Refinement of Machine Learning Procedures
PDFAutomatically Generating Algebra Problems
PDFIdentifying Bullies with a Computer Game
PDFThree Controversial Hypotheses Concerning Computation in the Primate Cortex
PDFLearning to Learn: Algorithmic Inspirations from Human Problem Solving
PDFCruising with a Battery-Powered Vehicle and Not Getting Stranded
PDFVisual Saliency Map from Tensor Analysis
PDF
AAAI Technical Track: Natural Language Processing
Similarity Is Not Entailment — Jointly Learning Similarity Transformation for Textual Entailment
PDFCollective Nominal Semantic Role Labeling for Tweets
PDFSembler: Ensembling Crowd Sequential Labeling for Improved Quality
PDFExacting Social Events for Tweets Using a Factor Graph
PDFQuery-Oriented Multi-Document Summarization via Unsupervised Deep Learning
PDFEmoticon Smoothed Language Models for Twitter Sentiment Analysis
PDFSense Sentiment Similarity: An Analysis
PDFSimple Robust Grammar Induction with Combinatory Categorial Grammars
PDFModeling Textual Cohesion for Event Extraction
PDFGenerating Chinese Classical Poems with Statistical Machine Translation Models
PDFGenerating Coherent Summaries with Textual Aspects
PDFOpinion Target Extraction Using a Shallow Semantic Parsing Framework
PDFUsing First-Order Logic to Compress Sentences
PDF
Reasoning about Plans, Processes and Actions
A Distributed Approach to Summarizing Spaces of Multiagent Schedules
PDFAction Selection for MDPs: Anytime AO* Versus UCT
PDFIncremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems
PDFEfficient Approximate Value Iteration for Continuous Gaussian POMDPs
PDFSymbolic Dynamic Programming for Continuous State and Action MDPs
PDFMAXSAT Heuristics for Cost Optimal Planning
PDFStructural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning
PDFThe Linear Distance Traveling Tournament Problem
PDFLRTDP Versus UCT for Online Probabilistic Planning
PDFEvaluating Temporal Plans in Incomplete Domains
PDFCovering Number as a Complexity Measure for POMDP Planning and Learning
PDFThe Complexity of Planning Revisited — A Parameterized Analysis
PDFPOMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
PDFPlanning in Factored Action Spaces with Symbolic Dynamic Programming
PDFImproving Hierarchical Planning Performance by the Use of Landmarks
PDFStochastic Safest and Shortest Path Problems
PDFWidth and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
PDF
Robotics
Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps
PDFMirror Perspective-Taking with a Humanoid Robot
PDFVisibility Induction for Discretized Pursuit-Evasion Games
PDFRepeated Sequential Auctions with Dynamic Task Clusters
PDFCatch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles
PDFBayesian Unification of Sound Source Localization and Separation with Permutation Resolution
PDFOccupancy Grid Models for Robot Mapping in Changing Environments
PDFParsing Outdoor Scenes from Streamed 3D Laser Data Using Online Clustering and Incremental Belief Updates
PDFAutomatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information
PDFCoordinated Multi-Robot Exploration Under Communication Constraints Using Decentralized Markov Decision Processes
PDFVisual Saliency Estimation through Manifold Learning
PDFSearching for Optimal Off-Line Exploration Paths in Grid Environments for a Robot with Limited Visibility
PDFEfficient Optimization of Control Libraries
PDFSymmetric Rendezvous in Planar Environments With and Without Obstacles
PDFImproving Request Compliance through Robot Affect
PDFUsing the Web to Interactively Learn to Find Objects
PDFMobile Robot Planning to Seek Help with Spatially-Situated Tasks
PDF
Reasoning Under Uncertainty
A Multi-Path Compilation Approach to Contingent Planning
PDFTime-Consistency of Optimization Problems
PDFBelief Functions on Distributive Lattices
PDFLifted MEU by Weighted Model Counting
PDFModeling Context Aware Dynamic Trust Using Hidden Markov Model
PDFApproximating the Sum Operation for Marginal-MAP Inference
PDFA Search Algorithm for Latent Variable Models with Unbounded Domains
PDFA Tractable First-Order Probabilistic Logic
PDFAdvances in Lifted Importance Sampling
PDFUsing Sliding Windows to Generate Action Abstractions in Extensive-Form Games
PDFSequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach
PDFExact Lifted Inference with Distinct Soft Evidence on Every Object
PDFI’m Doing as Well as I Can: Modeling People as Rational Finite Automata
PDFConditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference
PDFSymbolic Variable Elimination for Discrete and Continuous Graphical Models
PDFSearch Algorithms for m Best Solutions for Graphical Models
PDF
Student Abstract Track
A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty
PDFA Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video
PDFFailure Handling In a Planning Framework
PDFRecommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches
PDFFrugal Coordinate Descent for Large-Scale NNLS
PDFEstimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool Affordances
PDFStrategic Advice Provision in Repeated Human-Agent Interactions (Abstract)
PDFLearning Transformation Rules by Examples
PDFA Theoretical Framework of the Graph Shift Algorithm
PDFCCE: A Coupled Framework of Clustering Ensembles
PDFImproving Convergence of CMA-ES Through Structure-Driven Discrete Recombination
PDFMatching State-Based Sequences with Rich Temporal Aspects
PDFCombining Probabilistic Planning and Logic Programming on Mobile Robots
PDFLarge Scale Temporal RDFS Reasoning Using MapReduce
PDFAn Investigation of Sensitivity on Bagging Predictors: An Empirical Approach
PDFThreats and Trade-Offs in Resource Critical Crowdsourcing Tasks Over Networks
PDFActive Learning from Oracle with Knowledge Blind Spot
PDFReal-Time Collaborative Planning with the Crowd
PDFOnline Sequence Alignment for Real-Time Audio Transcription by Non-Experts
PDFA Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices
PDFA New Operator for ABox Revision in DL-Lite
PDFTemporally Expressive Planning Based on Answer Set Programming with Constraints
PDFExploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive Agents
PDFExploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis
PDFInformed Initial Policies for Learning in Dec-POMDPs
PDFLearning Names for RFID-Tagged Objects in Activity Videos
PDFMining Context-Aware Significant Travel Sequences from Geotagged Social Media
PDF
Spotlight
Usage-Centric Benchmarking of RDF Triple Stores
PDFOpportunities and Challenges for Constraint Programming
PDFPlanning as an Iterative Process
PDFSemi-Relaxed Plan Heuristics
PDFSymmetry Breaking Constraints: Recent Results
PDFSearch-Based Path Planning with Homotopy Class Constraints in 3D
PDFPROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States
PDFSeven Challenges in Parallel SAT Solving
PDFGoal Recognition with Markov Logic Networks for Player-Adaptive Games
PDFHeuristic Search Comes of Age
PDFSMT-Based Verification of Hybrid Systems
PDFOptimal Manipulation of Voting Rules
PDFRelative Attributes for Enhanced Human-Machine Communication
PDFResearch Challenges in Combinatorial Search
PDFDelivering the Smart Grid: Challenges for Autonomous Agents and Multi-Agent Systems Research
PDFComputing Game-Theoretic Solutions and Applications to Security
PDFInteractive Narrative: A Novel Application of Artificial Intelligence for Computer Games
PDF