No. 1: Twenty-Sixth AAAI Conference on Artificial Intelligence
AAAI Technical Track: AI and the Web
Multinomial Relation Prediction in Social Data: A Dimension Reduction Approach
PDFDynamically Switching between Synergistic Workflows for Crowdsourcing
PDFBuilding Contextual Anchor Text Representation using Graph Regularization
PDFFine-Grained Entity Recognition
PDFOnline Task Assignment in Crowdsourcing Markets
PDFBabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness
PDFQuerying Linked Ontological Data through Distributed Summarization
PDFMusic-Inspired Texture Representation
PDFCombining Hashing and Abstraction in Sparse High Dimensional Feature Spaces
PDFDiscovering Spammers in Social Networks
PDFSocial Context-Aware Trust Network Discovery in Complex Contextual Social Networks
PDFDiagnosing Changes in An Ontology Stream: A DL Reasoning Approach
PDFA Data-Driven Approach to Question Subjectivity Identification in Community Question Answering
PDFPredictive Mining of Comparable Entities from the Web
PDFA Mouse-Trajectory Based Model for Predicting Query-URL Relevance
PDFSPARQL Query Containment Under SHI Axioms
PDFQuality Expectation-Variance Tradeoffs in Crowdsourcing Contests
PDFREWOrD: Semantic Relatedness in the Web of Data
PDFET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback
PDFA Convex Formulation for Learning from Crowds
PDFImproved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent
PDFPredicting Disease Transmission from Geo-Tagged Micro-Blog Data
PDFOntological Smoothing for Relation Extraction with Minimal Supervision
PDFAdaptive Polling for Information Aggregation
PDFFused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks
PDFTowards Automated Choreographing of Web Services Using Planning
PDF
Constraints, Satisfiability, and Search
Trap Avoidance in Local Search Using Pseudo-Conflict Learning
PDFAlpha-Beta Pruning for Games with Simultaneous Moves
PDFOptimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching
PDFFrom Streamlined Combinatorial Search to Efficient Constructive Procedures
PDFInformation Set Generation in Partially Observable Games
PDFFiltering Algorithms Based on the Word-RAM Model
PDFSolving Dots-And-Boxes
PDFSolving Peg Solitaire with Bidirectional BFIDA*
PDFPredicting Satisfiability at the Phase Transition
PDFNon-Model-Based Search Guidance for Set Partitioning Problems
PDFConflict-Based Search For Optimal Multi-Agent Path Finding
PDFIterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters
PDFPartial-Expansion A* with Selective Node Generation
PDFSolving Temporal Problems Using SMT: Weak Controllability
PDFAn Efficient Higher-Order Consistency Algorithm for Table Constraints
PDFLast-Mile Restoration for Multiple Interdependent Infrastructures
PDFConfiguration Checking with Aspiration in Local Search for SAT
PDFFast and Accurate Predictions of IDA*’s Performance
PDFA Dichotomy for 2-Constraint Forbidden CSP Patterns
PDFPolynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction
PDFDUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems
PDFDon’t Be Strict in Local Search!
PDFFiltering Decomposable Global Cost Functions
PDFMCTS Based on Simple Regret
PDFOn the Relation of Constraint Answer Set Programming Languages and Algorithms
PDFTwo New Local Search Strategies for Minimum Vertex Cover
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
Cooperative Virtual Power Plant Formation Using Scoring Rules
PDFCoupling Spatiotemporal Disease Modeling with Diagnosis
PDFA Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring
PDFFine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble
PDFGlobal Climate Model Tracking Using Geospatial Neighborhoods
PDFImproving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning
PDFAn Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment
PDFScheduling Conservation Designs via Network Cascade Optimization
PDFSustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks
PDFMOMDPs: A Solution for Modelling Adaptive Management Problems
PDFPrediction and Fault Detection of Environmental Signals with Uncharacterised Faults
PDFLagrangian Relaxation Techniques for Scalable Spatial Conservation Planning
PDFFactored Models for Multiscale Decision-Making in Smart Grid Customers
PDFPre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images
PDFNon-Intrusive Load Monitoring Using Prior Models of General Appliance Types
PDFThe Automated Vacuum Waste Collection Optimization Problem
PDFRobust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control
PDFLearning Non-Stationary Space-Time Models for Environmental Monitoring
PDFAn Intelligent Battery Controller Using Bias-Corrected Q-learning
PDFSensing the Air We Breathe — The OpenSense Zurich Dataset
PDFPatrol Strategies to Maximize Pristine Forest Area
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
Transportability of Causal Effects: Completeness Results
PDFExploring the Duality in Conflict-Directed Model-Based Diagnosis
PDFA First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning
PDFReformulating Temporal Action Logics in Answer Set Programming
PDFSynthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games
PDFCompiling Model-Based Diagnosis to Boolean Satisfaction
PDFEquality-Friendly Well-Founded Semantics and Applications to Description Logics
PDFSymbolic Synthesis of Observability Requirements for Diagnosability
PDFConflict-Based Belief Revision Operators in Possibilistic Logic
PDFThe Parameterized Complexity of Abduction
PDFOntology-Based Data Access with Dynamic TBoxes in DL-Lite
PDFFLP Semantics Without Circular Justifications for General Logic Programs
PDFConcept-Based Approach to Word-Sense Disambiguation
PDFBasing Decisions on Sentences in Decision Diagrams
PDFQuery Rewriting for Horn-SHIQ Plus Rules
PDFOn the Complexity of Consistent Query Answering in the Presence of Simple Ontologies
PDFOn Finding Optimal Polytrees
PDFOrdered Completion for Logic Programs with Aggregates
PDFBenchmarking Ontology-Based Query Rewriting Systems
PDFProbabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall
PDFA Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
PDFFar Out: Predicting Long-Term Human Mobility
PDF
AAAI Technical Track: Multiagent Systems
Approximately Revenue-Maximizing Auctions for Deliberative Agents
PDFFinding Optimal Abstract Strategies in Extensive-Form Games
PDFThe Deployment-to-Saturation Ratio in Security Games
PDFInfluence-Based Abstraction for Multiagent Systems
PDFDynamic Matching via Weighted Myopia with Application to Kidney Exchange
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
PDFDecision Support for Agent Populations in Uncertain and Congested Environments
PDFThe Price of Neutrality for the Ranked Pairs Method
PDFSecurity Games for Controlling Contagion
PDFA Multivariate Complexity Analysis of Lobbying in Multiple Referenda
PDFOptimal Auctions for Spiteful Bidders
PDFSymmetric Subgame Perfect Equilibria in Resource Allocation
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
Clustering Documents Along Multiple Dimensions
PDFTopic 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
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
PDFDesign and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition
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
PDFMargin-Based Feature Selection in Incomplete Data
PDFConvex Matching Pursuit for Large-Scale Sparse Coding and Subset Selection
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
PDFEfficient Multi-Stage Conjugate Gradient for Trust Region Step
PDFClassification of Sparse Time Series via Supervised Matrix Factorization
PDFColorization by Matrix Completion
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
PDF
Multidisciplinary Topics
HyperPlay: A Solution to General Game Playing with Imperfect Information
PDFLearning to Learn: Algorithmic Inspirations from Human Problem Solving
PDFThree Controversial Hypotheses Concerning Computation in the Primate Cortex
PDFIdentifying Bullies with a Computer Game
PDFAutomatically Generating Algebra Problems
PDFPerformance and Preferences: Interactive Refinement of Machine Learning Procedures
PDFStrategic Advice Provision in Repeated Human-Agent Interactions
PDFHeart Rate Topic Models
PDFAutomated Strategies for Determining Rewards for Human Work
PDFAn Object-Based Bayesian Framework for Top-Down Visual Attention
PDFAlgorithmic and Human Teaching of Sequential Decision Tasks
PDFIdentifying Adverse Drug Events by Relational Learning
PDFConstruction of New Medicines via Game Proof Search
PDFGeneralized Monte-Carlo Tree Search Extensions for General Game Playing
PDFAgent-Human Coordination with Communication Costs Under Uncertainty
PDFUnsupervised Detection of Music Boundaries by Time Series Structure Features
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
MAXSAT Heuristics for Cost Optimal Planning
PDFSymbolic Dynamic Programming for Continuous State and Action MDPs
PDFEfficient Approximate Value Iteration for Continuous Gaussian POMDPs
PDFIncremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems
PDFAction Selection for MDPs: Anytime AO* Versus UCT
PDFA Distributed Approach to Summarizing Spaces of Multiagent Schedules
PDFImproving Hierarchical Planning Performance by the Use of Landmarks
PDFWidth and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
PDFStochastic Safest and Shortest Path Problems
PDFStructural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning
PDFPlanning in Factored Action Spaces with Symbolic Dynamic Programming
PDFPOMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
PDFThe Complexity of Planning Revisited — A Parameterized Analysis
PDFCovering Number as a Complexity Measure for POMDP Planning and Learning
PDFEvaluating Temporal Plans in Incomplete Domains
PDFLRTDP Versus UCT for Online Probabilistic Planning
PDFThe Linear Distance Traveling Tournament Problem
PDF
Robotics
Visibility Induction for Discretized Pursuit-Evasion Games
PDFMirror Perspective-Taking with a Humanoid Robot
PDFModel Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps
PDFSearching for Optimal Off-Line Exploration Paths in Grid Environments for a Robot with Limited Visibility
PDFMobile Robot Planning to Seek Help with Spatially-Situated Tasks
PDFUsing the Web to Interactively Learn to Find Objects
PDFImproving Request Compliance through Robot Affect
PDFSymmetric Rendezvous in Planar Environments With and Without Obstacles
PDFEfficient Optimization of Control Libraries
PDFRepeated Sequential Auctions with Dynamic Task Clusters
PDFVisual Saliency Estimation through Manifold Learning
PDFCoordinated Multi-Robot Exploration Under Communication Constraints Using Decentralized Markov Decision Processes
PDFAutomatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information
PDFParsing Outdoor Scenes from Streamed 3D Laser Data Using Online Clustering and Incremental Belief Updates
PDFOccupancy Grid Models for Robot Mapping in Changing Environments
PDFBayesian Unification of Sound Source Localization and Separation with Permutation Resolution
PDFCatch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles
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
Estimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool Affordances
PDFFrugal Coordinate Descent for Large-Scale NNLS
PDFRecommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches
PDFFailure Handling In a Planning Framework
PDFA Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video
PDFA Market-Based Coordination Mechanism for Resource Planning Under Uncertainty
PDFOnline Sequence Alignment for Real-Time Audio Transcription by Non-Experts
PDFLearning Names for RFID-Tagged Objects in Activity Videos
PDFInformed Initial Policies for Learning in Dec-POMDPs
PDFExploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis
PDFExploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive Agents
PDFTemporally Expressive Planning Based on Answer Set Programming with Constraints
PDFA New Operator for ABox Revision in DL-Lite
PDFA Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices
PDFReal-Time Collaborative Planning with the Crowd
PDFActive Learning from Oracle with Knowledge Blind Spot
PDFThreats and Trade-Offs in Resource Critical Crowdsourcing Tasks Over Networks
PDFAn Investigation of Sensitivity on Bagging Predictors: An Empirical Approach
PDFLarge Scale Temporal RDFS Reasoning Using MapReduce
PDFCombining Probabilistic Planning and Logic Programming on Mobile Robots
PDFMatching State-Based Sequences with Rich Temporal Aspects
PDFImproving Convergence of CMA-ES Through Structure-Driven Discrete Recombination
PDFCCE: A Coupled Framework of Clustering Ensembles
PDFA Theoretical Framework of the Graph Shift Algorithm
PDFLearning Transformation Rules by Examples
PDFStrategic Advice Provision in Repeated Human-Agent Interactions (Abstract)
PDFMining Context-Aware Significant Travel Sequences from Geotagged Social Media
PDF
Spotlight
Planning as an Iterative Process
PDFOpportunities and Challenges for Constraint Programming
PDFUsage-Centric Benchmarking of RDF Triple Stores
PDFOptimal Manipulation of Voting Rules
PDFInteractive Narrative: A Novel Application of Artificial Intelligence for Computer Games
PDFComputing Game-Theoretic Solutions and Applications to Security
PDFDelivering the Smart Grid: Challenges for Autonomous Agents and Multi-Agent Systems Research
PDFResearch Challenges in Combinatorial Search
PDFRelative Attributes for Enhanced Human-Machine Communication
PDFSemi-Relaxed Plan Heuristics
PDFSMT-Based Verification of Hybrid Systems
PDFHeuristic Search Comes of Age
PDFGoal Recognition with Markov Logic Networks for Player-Adaptive Games
PDFSeven Challenges in Parallel SAT Solving
PDFPROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States
PDFSearch-Based Path Planning with Homotopy Class Constraints in 3D
PDFSymmetry Breaking Constraints: Recent Results
PDF