Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Jörg Hoffmann and Bart Selman, Program Cochairs.
July 22 –126, 2012, Toronto, Ontario, Canada. Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
AAAI Conference on Artificial Intelligence
Artificial Intelligence and the Web
Combining Hashing and Abstraction in Sparse High Dimensional Feature Spaces
Cornelia Caragea, Adrian Silvescu, Prasenjit Mitra
SPARQL Query Containment Under SHI Axioms
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda
Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks
Chen Cheng, Haiqin Yang, Irwin King, Michael R. Lyu
Building Contextual Anchor Text Representation using Graph Regularization
Na Dai
Querying Linked Ontological Data through Distributed Summarization
Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan
Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests
Xi Alice Gao, Yoram Bachrach, Peter Key, Thore Graepel
Online Task Assignment in Crowdsourcing Markets
Chien-Ju Ho, Jennifer Wortman Vaughan
Music-Inspired Texture Representation
Ben Horsburgh, Susan Craw, Stewart Massie
ET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback
Yuheng Hu, Ajita John, Fei Wang, Subbarao Kambhampati
Predictive Mining of Comparable Entities from the Web
Myungha Jang, Jin-woo Park, Seung-won Hwang
A Convex Formulation for Learning from Crowds
Hiroshi Kajino, Yuta Tsuboi, Hisashi Kashima
Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach
Freddy Lecue
Dynamically Switching between Synergistic Workflows for Crowdsourcing
Christopher H. Lin, Mausam Mausam, Daniel S. Weld
Fine-Grained Entity Recognition
Xiao Ling, Daniel S. Weld
Social Context-Aware Trust Network Discovery in Complex Contextual Social Networks
Guanfeng Liu, Yan Wang, Mehmet A Orgun
BabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness
Roberto Navigli, Simone Paolo Ponzetto
Multinomial Relation Prediction in Social Data: A Dimension Reduction Approach
Nozomi Nori, Danushka Bollegala, Hisashi Kashima
Adaptive Polling for Information Aggregation
Thomas Pfeiffer, Xi Alice Gao, Yiling Chen, Andrew Mao, David G. Rand
REWOrD: Semantic Relatedness in the Web of Data
Giuseppe Pirró
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data
Adam Sadilek, Henry Kautz, Vincent Silenzio
A Mouse-Trajectory Based Model for Predicting Query-URL Relevance
Song Hengjie, Ruoxue Liao, Xiangliang Zhang, Chunyan Miao, Qiang Yang
Improved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent
Uthayasanker Thayasivam, Prashant Doshi
Ontological Smoothing for Relation Extraction with Minimal Supervision
Congle Zhang, Raphael Hoffmann, Daniel Sabey Weld
A Data-Driven Approach to Question Subjectivity Identification in Community Question Answering
Tom Chao Zhou, Xiance Si, Edward Y. Chang, Irwin King, Michael R. Lyu
Discovering Spammers in Social Networks
Yin Zhu, Xiao Wang, Erheng Zhong, Nathan N. Liu, He Li, Qiang Yang
Towards Automated Choreographing of Web Services Using Planning
Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang
Cognitive Systems
Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework
Erik Cambria, Daniel Olsher, Kenneth Kwok
A Multi-Domain Evaluation of Scaling in a General Episodic Memory
Nate Derbinsky, Justin Li, John Laird
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context
Nick Hawes, Matthew Klenk, Kate Lockwood, Graham S. Horn, John D Kelleher
Learning Qualitative Models by Demonstration
Thomas R. Hinrichs, Kenneth D. Forbus
Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements
Evan A. Krause, Paul Schermerhorn, Matthias Scheutz
Using Expectations to Drive Cognitive Behavior
Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert
Functional Interactions Between Memory and Recognition Judgments
Justin Li, Nate Derbinsky, John Laird
A Grounded Cognitive Model for Metaphor Acquisition
Sushobhan Nayak, Amitabha Mukerjee
Social Cognition: Memory Decay and Adaptive Information Filtering for Robust Information Maintenance
David Reitter, Christian Lebiere
Lessons Learned From a Rational Reconstruction of Minstrel
Brandon Robert Tearse, Peter Mawhorter, Michael Mateas, Noah Wardrip-Fruin
Discovering Constraints for Inductive Process Modeling
Ljupco Todorovski, Will Bridewell, Pat Langley
Computational Sustainability and Artificial Intelligence
The Automated Vacuum Waste Collection Optimization Problem
Ramón Béjar, César Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal
MOMDPs: A Solution for Modelling Adaptive Management Problems
Iadine Chades, Josie Carwardine, Tara G. Martin, Samuel Nicol, Regis Sabbadin, Olivier Buffet
Fine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble
Prithwish Chakraborty, Manish Marwah, Martin Arlitt, Naren Ramakrishnan
A Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring
James H. Faghmous, Yashu Chamber, Shyam Boriah, Frode Vikebø, Stefan Liess, Michel dos Santos Mesquita, Vipin Kumar
Learning Non-Stationary Space-Time Models for Environmental Monitoring
Sahil Garg, Amarjeet Singh, Fabio Ramos
Patrol Strategies to Maximize Pristine Forest Area
Matthew Paul Johnson, Fei Fang, Milind Tambe
Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images
Kristian Kersting, Zhao Xu, Mirwaes Wahabzada, Christian Bauckhage, Christian Thurau, Christoph Römer, Agim Ballvora, Uwe Rascher, Jen Leon, Lutz Plümer
Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning
Akshat Kumar, Xiaojian Wu, Shlomo Zilberstein
An Intelligent Battery Controller Using Bias-Corrected Q-learning
Donghun Lee, Warren B Powell
Sensing the Air We Breathe — The OpenSense Zurich Dataset
Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel
Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks
Neo D. Martinez, Perrine Tonnin, Barbara Bauer, Rosalyn C. Rael, Rahul Singh, Sangyuk Yoon, Ilmi Yoon, Jennifer A. Dunne
Global Climate Model Tracking Using Geospatial Neighborhoods
Scott McQuade, Claire Monteleoni
Coupling Spatiotemporal Disease Modeling with Diagnosis
Martin Gordon Mubangizi, Caterine Ikae, Athina Spiliopoulou, John A. Quinn
Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults
Michael Alan Osborne, Roman Garnett, Kevin Swersky, Nando de Freitas
Non-Intrusive Load Monitoring Using Prior Models of General Appliance Types
Oliver Parson, Siddhartha Ghosh, Mark Weal, Alex Rogers
Factored Models for Multiscale Decision-Making in Smart Grid Customers
Prashant P. Reddy, Manuela M. Veloso
Cooperative Virtual Power Plant Formation Using Scoring Rules
Valentin Robu, Ramachandra Kota, Georgios Chalkiadakis, Alex Rogers, Nicholas R. Jennings
Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control
Gwen Spencer
Improving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning
Adam Vogel, Deepak Ramachandran, Rakesh Gupta, Antoine Raux
Scheduling Conservation Designs via Network Cascade Optimization
Shan Xue, Alan Fern, Daniel Sheldon
An Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment
Yisong Yue, Lavanya Marla, Ramayya Krishnan
Constraints, Satisfiability, and Search
Filtering Decomposable Global Cost Functions
David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Guttierez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex
Solving Peg Solitaire with Bidirectional BFIDA*
Joseph K. Barker, Richard E Korf
Solving Dots-And-Boxes
Joseph K. Barker, Richard E. Korf
Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching
Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini
Configuration Checking with Aspiration in Local Search for SAT
Shaowei Cai, Kaile Su
Two New Local Search Strategies for Minimum Vertex Cover
Shaowei Cai, Kaile Su, Abdul Sattar
Solving Temporal Problems Using SMT: Weak Controllability
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Last-Mile Restoration for Multiple Interdependent Infrastructures
Carleton Coffrin, Pascal Van Hentenryck, Russell Bent
A Dichotomy for 2-Constraint Forbidden CSP Patterns
Martin C. Cooper, Guillaume Escamocher
Partial-Expansion A* with Selective Node Generation
Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan Sturtevant, Jonathan Schaeffer, Robert Holte
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters
Alex Fukunaga, Akihiro Kishimoto, Adi Botea
Don't Be Strict in Local Search!
Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider
Non-Model-Based Search Guidance for Set Partitioning Problems
Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann
From Streamlined Combinatorial Search to Efficient Constructive Procedures
Ronan Le Bras, Carla Gomes, Bart Selman
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction
Jimmy Lee, Ka Lun Leung, Yi Wu
Fast and Accurate Predictions of IDA*'s Performance
Levi H. S. Lelis, Sandra Zilles, Robert C. Holte
On the Relation of Constraint Answer Set Programming Languages and Algorithms
Yuliya Lierler
DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems
Brammert Ottens, Christos Dimitrakakis, Boi Faltings
An Efficient Higher-Order Consistency Algorithm for Table Constraints
Anastasia Paparrizou, Kostas Stergiou
Trap Avoidance in Local Search Using Pseudo-Conflict Learning
Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar
Information Set Generation in Partially Observable Games
Mark Richards, Eyal Amir
Alpha-Beta Pruning for Games with Simultaneous Moves
Abdallah Saffidine, Hilmar Finnsson, Michael Buro
Conflict-Based Search For Optimal Multi-Agent Path Finding
Guni Sharon, Roni Stern, Ariel Felner, Nathan Stutervant
MCTS Based on Simple Regret
David Tolpin, Solomon Eyal Shimony
Filtering Algorithms Based on the Word-RAM Model
Philippe Van Kessel, Claude-Guy Quimper
Predicting Satisfiability at the Phase Transition
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
Knowledge-Based Information Systems
Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process
Wei Chen, Wei Lu, Ning Zhang
Table Header Detection and Classification
Jing Fang, Prasenjit Mitra, Zhi Tang, C. Lee Giles
Choosing Linguistics over Vision to Describe Images
Ankush Gupta, Yashaswi Verma, C. V. Jawahar
On Completeness Classes for Query Evaluation on Linked Data
Andreas Harth, Sebastian Speiser
Document Summarization Based on Data Reconstruction
Zhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang, Deng Cai, Xiaofei He
Content Recommendation for Attention Management in Unified Social Messaging
Hongxia Jin
Double-Bit Quantization for Hashing
Weihao Kong, Wu-Jun Li
Random Projection with Filtering for Nearly Duplicate Search
Yue Lin, Rong Jin, Deng Cai, Xiaofei He
Improving Twitter Retrieval by Exploiting Structural Information
Zhunchen Luo, Miles Osborne, Saša Petrovic, Ting Wang
Low-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization
Feiping Nie, Heng Huang, Chris Ding
Transfer Learning in Collaborative Filtering with Uncertain Ratings
Weike Pan, Evan W. Xiang, Qiang Yang
Modeling the Evolution of Knowledge in Learning Systems
Abhishek Sharma, Kenneth D. Forbus
A Sequential Decision Approach to Ordinal Preferences in Recommender Systems
Truyen Tran, Dinh Q. Phung, Svetha Venkatesh
Generating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View Graphs
Dingding Wang, Tao Li, Mitsunori Ogihara
Knowledge Representation and Reasoning
Ordered Completion for Logic Programs with Aggregates
Vernon Asuncion, Yan Zhang, Yi Zhou
Transportability of Causal Effects: Completeness Results
Elias Bareinboim, Judea Pearl
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies
Meghyn Bienvenu
Symbolic Synthesis of Observability Requirements for Diagnosability
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
Query Rewriting for Horn-SHIQ Plus Rules
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning
Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu
The Parameterized Complexity of Abduction
Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele
On Finding Optimal Polytrees
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider
Equality-Friendly Well-Founded Semantics and Applications to Description Logics
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall
Xiaowei Huang, Kaile Su, Chenyi Zhang
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games
Xiaowei Huang, Ron van der Meyden
Benchmarking Ontology-Based Query Rewriting Systems
Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau
Reformulating Temporal Action Logics in Answer Set Programming
Joohyung Lee, Ravi Palla
Compiling Model-Based Diagnosis to Boolean Satisfaction
Amit Metodi, Roni Stern, Meir Kalech, Mike Codish
Conflict-Based Belief Revision Operators in Possibilistic Logic
Guilin Qi, Kewen Wang
Concept-Based Approach to Word-Sense Disambiguation
Ariel Raviv, Shaul Markovitch
Far Out: Predicting Long-Term Human Mobility
Adam Sadilek, John Krumm
FLP Semantics Without Circular Justifications for General Logic Programs
Yi-Dong Shen, Kewen Wang
Exploring the Duality in Conflict-Directed Model-Based Diagnosis
Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory Provan
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
Basing Decisions on Sentences in Decision Diagrams
Yexiang Xue, Arthur Choi, Adnan Darwiche
Machine Learning
Towards Population Scale Activity Recognition: A Framework for Handling Data Diversity
Saeed Abdullah, Nicholas D. Lane, Tanzeem Choudhury
Weighted Clustering
Margareta Ackerman, Shai Ben-David, Simina Brânzei, David Loker
Investigating Contingency Awareness Using Atari 2600 Games
Marc G. Bellemare, Joel Veness, Michael Bowling
Adaptive Step-Size for Online Temporal Difference Learning
William Dabney, Andrew G Barto
Clustering Documents Along Multiple Dimensions
Sajib Dasgupta, Richard M. Golden, Vincent Ng
TD-DeltaPi: A Model-Free Algorithm for Efficient Exploration
Bruno C. da Silva, Andrew G. Barto
Convex Kernelized Sorting
Nemanja Djuric, Mihajlo Grbovic, Slobodan Vucetic
A Spin-Glass Model for Semi-Supervised Community Detection
Eric Eaton, Rachael Mansbach
A Bayesian Approach to the Data Description Problem
Alireza Ghasemi, Hamid R. Rabiee, Mohammad Taghi Manzuri, Mohammad Hossein Rohban
Conservative and Greedy Approaches to Classification-Based Policy Iteration
Mohammad Ghavamzadeh, Alessandro Lazaric
Efficient Multi-Stage Conjugate Gradient for Trust Region Step
Pinghua Gong, Changshui Zhang
Classification of Sparse Time Series via Supervised Matrix Factorization
Josif Grabocka, Alexandros Nanopoulos, Lars Schmidt-Thieme
Sparse Principal Component Analysis with Constraints
Mihajlo Grbovic, Christopher Roger Dance, Slobodan Vucetic
Learning SVM Classifiers with Indefinite Kernels
Suicheng Gu, Yuhong Guo
Multi-Label Learning by Exploiting Label Correlations Locally
Sheng-Jun Huang, Zhi-Hua Zhou
Multi-Label Learning on Tensor Product Graph
Jonathan Jiang
Learning Games from Videos Guided by Descriptive Complexity
Lukasz Kaiser
Probabilistic Models for Common Spatial Patterns: Parameter-Expanded EM and Variational Bayes
Hyohyeong Kang, Seungjin Choi
Kernel-Based Reinforcement Learning on Representative States
Branislav Kveton, Georgios Theocharous
Learning the Kernel Matrix with Low-Rank Multiplicative Shaping
Tomer Levinboim, Fei Sha
Teaching Machines to Learn by Metaphors
Omer Levy, Shaul Markovitch
Topic Correlation Analysis for Cross-Domain Text Classification
Lianghao Li, Xiaoming Jin, Mingsheng Long
Sparse Probabilistic Relational Projection
Wu-Jun Li, Dit-Yan Yeung
Towards Discovering What Patterns Trigger What Labels
Yu-Feng Li, Ju-Hua Hu, Yuang Jiang, Zhi-Hua Zhou
Ensemble Feature Weighting Based on Local Learning and Diversity
Yun Li, Suyan Gao, Songcan Chen
Unsupervised Feature Selection Using Nonnegative Spectral Analysis
Zechao Li, Yi Yang, Jing Liu, Xiaofang Zhou, Hanqing Lu
Transfer Learning with Graph Co-Regularization
Mingsheng Long, Jianmin Wang, Guiguang Ding, Dou Shen, Qiang Yang
Margin-Based Feature Selection in Incomplete Data
Qiang Lou, Zoran Obradovic
Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition
Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, Peter Stone
Compressed Least-Squares Regression on Sparse Spaces
Mahdi Milani Fard, Yuri Grinberg, Joelle Pineau, Doina Precup
Rule Ensemble Learning Using Hierarchical Kernels in Structured Output Spaces
Naveen Nair, Amrita Saha, Ganesh Ramakrishnan, Shonali Krishnaswamy
Counting-MLNs: Learning Relational Structure for Decision Making
Aniruddh Nath, Matthew Richardson
Context Tree Maximizing
Phuong Minh Nguyen, Peter Sunehag, Marcus Hutter
Learning Behavior Models for Hybrid Timed Systems
Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, Hans Kleine Büning
Leveraging Domain Knowledge in Multitask Bayesian Network Structure Learning
Diane Oyen, Terran Lane
Sequence Labeling with Non-Negative Weighted Higher Order Features
Xian Qian, Yang Liu
A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem
Andrew M. Sutton, Frank Neumann
Investigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction
Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto, Marco Saerens
Convex Matching Pursuit for Large-Scale Sparse Coding and Subset Selection
Mingkui Tan, Ivor W. Tsang, Li Wang, Xinming Zhang
Hierarchical Double Dirichlet Process Mixture of Gaussian Processes
Aditya Tayal, Pascal Poupart, Yuying Li
Knapsack Based Optimal Policies for Budget–Limited Multi–Armed Bandits
Long Tran-Thanh, Archie Chapman, Alex Rogers, Nicholas R Jennings
Name-Ethnicity Classification and Ethnicity-Sensitive Name Matching
Pucktada Treeratpituk, C. Lee Giles
Markov Network Structure Learning: A Randomized Feature Generation Approach
Jan Van Haaren, Jesse Davis
Manifold Warping: Manifold Alignment over Time
Hoa Trong Vu, Clifton Carey, Sridhar Mahadevan
Discriminative Clustering via Generative Feature Mapping
Liwei Wang, Xiong Li, Zhuowen Tu, Jiaya Jia
Colorization by Matrix Completion
Shusen Wang, Zhihua Zhang
Learning from Demonstration for Goal-Driven Autonomy
Ben George Weber, Michael Mateas, Arnav Jhala
Semi-Supervised Kernel Matching for Domain Adaptation
Min Xiao, Yuhong Guo
A Bregman Divergence Optimization Framework for Ranking on Data Manifold and Its New Extensions
Bin Xu, Jiajun Bu, Chun Chen, Deng Cai
Online Kernel Selection: Algorithms and Evaluations
Tianbao Yang, Mehrdad Mahdavi, Rong Jin, Jinfeng Yi, Steven C.H. Hoi
Pairwise Exemplar Clustering
Yingzhen Yang, Xinqi Chu, Feng Liang, Thomas S. Huang
Approximate Policy Iteration with Linear Action Models
Hengshuai Yao, Csaba Szepesvari
Efficient Online Learning for Large-Scale Sparse Kernel Logistic Regression
Lijun Zhang, Rong Jin, Chun Chen, Jiajun Bu, Xiaofei He
Supervised Probabilistic Robust Embedding with Sparse Noise
Yu Zhang, Dit-Yan Yeung, Eric P. Xing
Hierarchical Modeling with Tensor Inputs
Yada Zhu, Jingrui He, Rick Lawrence
Multiagent Systems
Security Games with Limited Surveillance
Bo An, David Kempe, Christopher Kiekintveld, Eric Shieh, Satinder Singh, Milind Tambe, Yevgeniy Vorobeychik
Housing Markets with Indifferences: A Tale of Two Mechanisms
Haris Aziz, Bart de Keijzer
Sample Bounded Distributed Reinforcement Learning for Decentralized POMDPs
Bikramjit Banerjee, Jeremy Lyle, Landon Kraemer, Rajesh Yellamraju
Optimal Proportional Cake Cutting with Connected Pieces
Xiaohui Bei, Ning Chen, Xia Hua, Biaoshuai Tao, Endong Yang
Computing Equilibria with Two-Player Zero-Sum Continuous Stochastic Games with Switching Controller
Guido Bonomi, Nicola Gatti, Fabio Panozzo, Marcello Restelli
A Dynamic Rationalization of Distance Rationalizability
Craig Boutilier, Ariel D. Procaccia
On Maxsum Fair Cake Divisions
Steven J. Brams, Michal Feldman, John K. Lai, Jamie Morgenstern, Ariel D. Procaccia
A Multivariate Complexity Analysis of Lobbying in Multiple Referenda
Robert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondřej Suchý, Stefan Kratsch
The Price of Neutrality for the Ranked Pairs Method
Markus Brill, Felix Fischer
Fairness and Welfare Through Redistribution When Utility Is Transferable
Ruggiero Cavallo
Approximately Revenue-Maximizing Auctions for Deliberative Agents
L. Elisa Celis, Anna R. Karlin, Kevin Leyton-Brown, C. Thach Nguyen, David R. M. Thompson
Computing the Nucleolus of Matching, Cover and Clique Games
Ning Chen, Pinyan Lu, Hongyang Zhang
Symmetric Subgame Perfect Equilibria in Resource Allocation
Ludek Cigler, Boi Faltings
Eliminating the Weakest Link: Making Manipulation Intractable?
Jessica Davies, Nina Naroditskaya, Toby Walsh
Dynamic Matching via Weighted Myopia with Application to Kidney Exchange
John P. Dickerson, Ariel D. Procaccia, Tuomas Sandholm
Optimizing Payments in Dominant-Strategy Mechanisms for Multi-Parameter Domains
Lachlan Thomas Dufton, Victor Naroditskiy, Maria Polukarov, Nicholas R. Jennings
Generalized Sampling and Variance in Counterfactual Regret Minimization
Richard Gibson, Marc Lanctot, Neil Burch, Duane Szafron, Michael Bowling
The Deployment-to-Saturation Ratio in Security Games
Manish Jain, Kevin Leyton-Brown, Milind Tambe
Finding Optimal Abstract Strategies in Extensive-Form Games
Michael Johanson, Nolan Bard, Neil Burch, Michael Bowling
Computing Optimal Strategies to Commit to in Stochastic Games
Joshua Letchford, Liam MacDermed, Vincent Conitzer, Ronald Parr, Charles L. Isbell
Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League
Patrick Lucey, Alina Bialkowski, Peter Carr, Eric Foote, Iain Matthews
Competing with Humans at Fantasy Football: Team Formation in Large Partially-Observable Domains
Tim Matthews, Sarvapali D. Ramchurn, Georgios Chalkiadakis
Congestion Games with Agent Failures
Reshef Meir, Moshe Tennenholtz, Yoram Bachrach, Peter Key
Bayes-Adaptive Interactive POMDPs
Brenda Ng, Kofi Boakye, Carol Meyers, Andrew Wang
Tree-Based Solution Methods for Multiagent POMDPs with Delayed Communication
Frans Adriaan Oliehoek, Matthijs T. J. Spaan
Influence-Based Abstraction for Multiagent Systems
Frans Adriaan Oliehoek, Stefan J. Witwicki, Leslie Pack Kaelbling
A Complexity-of-Strategic-Behavior Comparison between Schulze's Rule and Ranked Pairs
David C. Parkes, Lirong Xia
A Scalable Message-Passing Algorithm for Supply Chain Formation
Toni Penya-Alba, Meritxell Vinyals, Jesus Cerquides, Juan A. Rodriguez-Aguilar
A Hybrid Algorithm for Coalition Structure Generation
Talal Rahwan, Tomasz Michalak, Nicholas Jennings
Negotiation in Exploration-Based Environment
Israel Sofer, David Sarne, Avinatan Hassidim
Optimal Auctions for Spiteful Bidders
Pingzhong Tang, Tuomas Sandholm
Security Games for Controlling Contagion
Jason Tsai, Thanh H. Nguyen, Milind Tambe
Decision Support for Agent Populations in Uncertain and Congested Environments
Pradeep Varakantham, Shih-Fen Cheng, Geoff Gordon, Asrar Ahmed
Computing Stackelberg Equilibria in Discounted Stochastic Games
Yevgeniy Vorobeychik, Satinder Singh
Evaluating Resistance to False-Name Manipulations in Elections
Bo Waggoner, Lirong Xia, Vincent Conitzer
A Robust Bayesian Truth Serum for Small Populations
Jens Witkowski, David C. Parkes
Possible Winners in Noisy Elections
Krzysztof Wojtas, Piotr Faliszewski
Stability Via Convexity and LP Duality in OCF Games
Yair Zick, Evangelos Markakis, Edith Elkind
Multidisciplinary Topics
Automated Strategies for Determining Rewards for Human Work
Amos Azaria, Yonatan Aumann, Sarit Kraus
Strategic Advice Provision in Repeated Human-Agent Interactions
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman, Ya'akov Gal
An Object-Based Bayesian Framework for Top-Down Visual Attention
Ali Borji, Dicky N. Sihite, Laurent Itti
Algorithmic and Human Teaching of Sequential Decision Tasks
Maya Cakmak, Manuel Lopes
Three Controversial Hypotheses Concerning Computation in the Primate Cortex
Thomas Dean, Greg S. Corrado, Jonathon Shlens
Generalized Monte-Carlo Tree Search Extensions for General Game Playing
Hilmar Finnsson
Agent-Human Coordination with Communication Costs Under Uncertainty
Asaf Frieder, Raz Lin, Sarit Kraus
Construction of New Medicines via Game Proof Search
Abraham Heifets, Igor Jurisica
Learning to Learn: Algorithmic Inspirations from Human Problem Solving
Ashish Kapoor, Bongshin Lee, Desney Tan, Eric Horvitz
Performance and Preferences: Interactive Refinement of Machine Learning Procedures
Ashish Kapoor, Bongshin Lee, Desney Tan, Eric Horvitz
Visual Saliency Map from Tensor Analysis
Bing Li, Weihua Xiong, Weiming Hu
Identifying Bullies with a Computer Game
Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage
Identifying Adverse Drug Events by Relational Learning
David Page, Vitor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy Peissig, Michael Caldwell
HyperPlay: A Solution to General Game Playing with Imperfect Information
Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher
Unsupervised Detection of Music Boundaries by Time Series Structure Features
Joan Serrà, Meinard Müller, Peter Grosche, Josep Lluis Arcos
Automatically Generating Algebra Problems
Rohit Singh, Sumit Gulwani, Sriram Rajamani
Cruising with a Battery-Powered Vehicle and Not Getting Stranded
Sabine Storandt, Stefan Funke
Heart Rate Topic Models
Alexander Van Esbroeck, Chih-Chun Chia, Zeeshan Syed
Natural-Language Processing
Simple Robust Grammar Induction with Combinatory Categorial Grammars
Yonatan Bisk, Julia Hockenmaier
Generating Chinese Classical Poems with Statistical Machine Translation Models
Jing He, Ming Zhou, Long Jiang
Modeling Textual Cohesion for Event Extraction
Ruihong Huang, Ellen Riloff
Using First-Order Logic to Compress Sentences
Minlie Huang, Xing Shi, Feng Jin, Xiaoyan Zhu
Opinion Target Extraction Using a Shallow Semantic Parsing Framework
Shoushan Li, Rongyang Wang, Guodong Zhou
Emoticon Smoothed Language Models for Twitter Sentiment Analysis
Kun-Lin Liu, Wu-Jun Li, Minyi Guo
Collective Nominal Semantic Role Labeling for Tweets
Xiaohua Liu, Zhongyang Fu, Furu Wei, Ming Zhou
Exacting Social Events for Tweets Using a Factor Graph
Xiaohua Liu, Xiangyang Zhou, Zhongyang Fu, Furu Wei, Ming Zhou
Query-Oriented Multi-Document Summarization via Unsupervised Deep Learning
Yan Liu, Sheng-hua Zhong, Wenjie Li
Sense Sentiment Similarity: An Analysis
Mitra Mohtarami, Hadi Amiri, Man Lan, Thanh Phu Tran, Chew Lim Tan
Sembler: Ensembling Crowd Sequential Labeling for Improved Quality
Xian Wu, Wei Fan, Yong Yu
Similarity Is Not Entailment — Jointly Learning Similarity Transformation for Textual Entailment
Ken-ichi Yokote, Danushka Bollegala, Mitsuru Ishizuka
Generating Coherent Summaries with Textual Aspects
Renxian Zhang, Wenjie Li, Dehong Gao
Reasoning about Plans, Processes, and Actions
The Complexity of Planning Revisited — A Parameterized Analysis
Christer Bäckström, Yue Chen, Peter Jonsson, Sebastian Ordyniak, Stefan Szeider
A Distributed Approach to Summarizing Spaces of Multiagent Schedules
James Calvin Boerkoel Jr., Edmund H. Durfee
Action Selection for MDPs: Anytime AO* Versus UCT
Blai Bonet, Hector Geffner
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
Blai Bonet, Hector Geffner
Improving Hierarchical Planning Performance by the Use of Landmarks
Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
The Linear Distance Traveling Tournament Problem
Richard Hoshino, Ken-ichi Kawarabayashi
Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning
Michael Katz, Emil Keyder
LRTDP Versus UCT for Online Probabilistic Planning
Andrey Kolobov, . Mausam, Daniel S. Weld
Evaluating Temporal Plans in Incomplete Domains
Daniel Morwood, Daniel Bryce
Planning in Factored Action Spaces with Symbolic Dynamic Programming
Aswin Raghavan, Saket Joshi, Alan Fern, Prasad Tadepalli, Roni Khardon
Incremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems
Zachary B. Rubinstein, Stephen F. Smith, Laura Barbulescu
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
Stochastic Safest and Shortest Path Problems
Florent Teichteil-Königsbuch
Efficient Approximate Value Iteration for Continuous Gaussian POMDPs
Jur van den Berg, Sachin Patil, Ron Alterovitz
Symbolic Dynamic Programming for Continuous State and Action MDPs
Zahra Zamani, Scott Sanner, Cheng Fang
MAXSAT Heuristics for Cost Optimal Planning
Lei Zhang, Fahiem Bacchus
Covering Number as a Complexity Measure for POMDP Planning and Learning
Zongzhang Zhang, Michael Littman, Xiaoping Chen
Reasoning Under Uncertainty
Lifted MEU by Weighted Model Counting
Udi Apsel, Ronen I. Brafman
A Multi-Path Compilation Approach to Contingent Planning
Ronen Brafman, Guy Shani
Exact Lifted Inference with Distinct Soft Evidence on Every Object
Hung B. Bui, Tuyen N. Huynh, Rodrigo de Salvo Braz
Approximating the Sum Operation for Marginal-MAP Inference
Qiang Cheng, Feng Chen, Jianwu Dong, Wenli Xu, Alexander Ihler
A Search Algorithm for Latent Variable Models with Unbounded Domains
Michael Chiang, David Poole
Search Algorithms for m Best Solutions for Graphical Models
Rina Dechter, Natalia Flerova, Radu Marinescu
A Tractable First-Order Probabilistic Logic
Pedro Domingos, William Austin Webb
Advances in Lifted Importance Sampling
Vibhav Gogate, Abhay Jha, Deepak Venugopal
I'm Doing as Well as I Can: Modeling People as Rational Finite Automata
Joe Halpern, Rafael Pass, Lior Seeman
Using Sliding Windows to Generate Action Abstractions in Extensive-Form Games
John Alexander Hawkin, Robert Holte, Duane Szafron
Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach
Gildas Jeantet, Patrice Perny, Olivier Spanjaard
Modeling Context Aware Dynamic Trust Using Hidden Markov Model
Xin Liu, Anwitaman Datta
Time-Consistency of Optimization Problems
Takayuki Osogami, Tetsuro Morimura
Symbolic Variable Elimination for Discrete and Continuous Graphical Models
Scott Sanner, Ehsan Abbasnejad
Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference
Guy Van den Broeck, Jesse Davis
Belief Functions on Distributive Lattices
Chunlai Zhou
Robotics
Visibility Induction for Discretized Pursuit-Evasion Games
Ahmed Abdelkader Abdelrazek, Hazem M El-Alfy
Efficient Optimization of Control Libraries
Debadeepta Dey, Tian Yu Liu, Boris Sofman, James Andrew Bagnell
Mirror Perspective-Taking with a Humanoid Robot
Justin Wildrick Hart, Brian Scassellati
Repeated Sequential Auctions with Dynamic Task Clusters
Bradford Gregory John Heap, Maurice Pagnucco
Visual Saliency Estimation through Manifold Learning
Richard M. Jiang, Danny Crookes
Catch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles
Kyle Klein, Subhash Suri
Coordinated Multi-Robot Exploration Under Communication Constraints Using Decentralized Markov Decision Processes
Laetitia Matignon, Laurent Jeanpierre, Abdel-Illah Mouaddib
Occupancy Grid Models for Robot Mapping in Changing Environments
Daniel Meyer-Delius, Maximilian Beinhofer, Wolfram Burgard
Improving Request Compliance through Robot Affect
Lilia Moshkina
Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution
Takuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno
Symmetric Rendezvous in Planar Environments With and Without Obstacles
Deniz Ozsoyeller, Volkan Isler, Andrew Beveridge
Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information
Gaurav Pandey, James R. McBride, Silvio Savarese, Ryan M. Eustice
Searching for Optimal Off-Line Exploration Paths in Grid Environments for a Robot with Limited Visibility
Alberto Quattrini Li, Francesco Amigoni, Nicola Basilico
Mobile Robot Planning to Seek Help with Spatially-Situated Tasks
Stephanie Rosenthal, Manuela Veloso
Using the Web to Interactively Learn to Find Objects
Mehdi Samadi, Thomas Kollar, Manuela Veloso
Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps
Jörg Stückler, Sven Behnke
Parsing Outdoor Scenes from Streamed 3D Laser Data Using Online Clustering and Incremental Belief Updates
Rudolph A. Triebel, Rohan Paul, Daniela Rus, Paul Newman
Spotlight
Search-Based Path Planning with Homotopy Class Constraints in 3D
Subhrajit Bhattacharya, Maxim Likhachev, Vijay Kumar
SMT-Based Verification of Hybrid Systems
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
Computing Game-Theoretic Solutions and Applications to Security
Vincent Conitzer
Goal Recognition with Markov Logic Networks for Player-Adaptive Games
Eun Y. Ha, Jonathan P. Rowe, Bradford W. Mott, James C. Lester
Seven Challenges in Parallel SAT Solving
Youssef Hamadi, Christoph M Wintersteiger
Semi-Relaxed Plan Heuristics
Emil Ragip Keyder, Joerg Hoffmann, Patrik Haslum
Research Challenges in Combinatorial Search
Richard Earl Korf
Usage-Centric Benchmarking of RDF Triple Stores
Mohamed Morsey, Jens Lehmann, Sören Auer, Axel-Cyrille Ngonga Ngomo
Optimal Manipulation of Voting Rules
Svetlana Obraztsova, Edith Elkind
Opportunities and Challenges for Constraint Programming
Barry O'Sullivan
Relative Attributes for Enhanced Human-Machine Communication
Devi Parikh, Adriana Kovashka, Amar Parkash, Kristen Grauman
Interactive Narrative: A Novel Application of Artificial Intelligence for Computer Games
Mark Riedl, Vadim Bulitko
Delivering the Smart Grid: Challenges for Autonomous Agents and Multi-Agent Systems Research
Alex Rogers, Sarvapali D. Ramchurn, Nicholas R. Jennings
PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States
Eric Anyung Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, Garrett Meyer
Planning as an Iterative Process
David E. Smith
Heuristic Search Comes of Age
Nathan R. Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml
Symmetry Breaking Constraints: Recent Results
Toby Walsh
Student Abstracts
Strategic Advice Provision in Repeated Human-Agent Interactions (Abstract)
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman, Ya'akov Gal
Temporally Expressive Planning Based on Answer Set Programming with Constraints
Forrest Sheng Bao, Yuanlin Zhang
Improving Convergence of CMA-ES Through Structure-Driven Discrete Recombination
Tim Brys, Ann Nowé
Recommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches
Xing Chen, Lin Li, Guandong Xu, Zhenglu Yang, Masaru Kitsuregawa
A Theoretical Framework of the Graph Shift Algorithm
Xuhui Fan, Longbing Cao
Active Learning from Oracle with Knowledge Blind Spot
Meng Fang, Xingquan Zhu, Chengqi Zhang
A New Operator for ABox Revision in DL-Lite
Sibei Gao, Guilin Qi, Haofen Wang
Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis
Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan DeKleer
A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty
Hadi Hosseini, Jesse Hoey, Robin Cohen
Estimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool Affordances
Raghvendra Jain, Tetsunari Inamura
Failure Handling In a Planning Framework
Sertac Karapinar, Sanem Sariel-Talay
Informed Initial Policies for Learning in Dec-POMDPs
Landon Jeffrey Kraemer, Bikramjit Banerjee
Online Sequence Alignment for Real-Time Audio Transcription by Non-Experts
Walter S. Lasecki, Christopher D. Miller, Donato Borrello, Jeffrey P. Bigham
Real-Time Collaborative Planning with the Crowd
Walter S. Lasecki, Jeffrey P. Bigham, James F. Allen, George Ferguson
An Investigation of Sensitivity on Bagging Predictors: An Empirical Approach
Guohua Liang
Large Scale Temporal RDFS Reasoning Using MapReduce
Chang Liu, Guilin Qi, Yong Yu
Mining Context-Aware Significant Travel Sequences from Geotagged Social Media
Abdul Majid, Ling Chen, Hamid Turab Mirza, Ibrar Hussain, Gencai Chen
Exploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive Agents
Shiwali Mohan, John Laird
Threats and Trade-Offs in Resource Critical Crowdsourcing Tasks Over Networks
Swaprava Nath, Pankaj Dayama, Dinesh Garg, Y. Narahari, James Zou
Learning Names for RFID-Tagged Objects in Activity Videos
Ian E. Perera, James F. Allen
Frugal Coordinate Descent for Large-Scale NNLS
Vamsi Potluru
A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices
Pedro Henrique Rodrigues Quemel e Assis Santana, Brian Charles Williams
CCE: A Coupled Framework of Clustering Ensembles
Zhong She, Can Wang, Longbing Cao
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video
Young Chol Song, Henry Kautz
Learning Transformation Rules by Examples
Bo Wu, Pedro Szekely, Craig A. Knoblock
Combining Probabilistic Planning and Logic Programming on Mobile Robots
Shiqi Zhang, Forrest Sheng Bao, Mohan Sridharan
Matching State-Based Sequences with Rich Temporal Aspects
Aihua Zheng, Jixin Ma, Jin Tang, Bin Luo
Doctoral Consortium
Capabilities in Heterogeneous Multi-Robot Systems
Jennifer Elisabeth Buehler
Planning Under Time Pressure
Ethan Andrew Burns
Enriching Chatter Bots With Semantic Conversation Control
Chayan Chakrabarti
Solution Diversity in Planning
Alexandra Coman
Abductive Metareasoning for Truth-Seeking Agents
Joshua Eckroth
Acquiring Domain Specific Knowledge and Coreference Cues for Coreference Resolution
Nathan Gilbert
A Multi-Agent Control Architecture for a Rescue Robot
Adam Haber
Dynamic Multiagent Resource Allocation: Integrating Auctions and MDPs for Real-Time Decisions
Hadi Hosseini
Learning Actions and Action Verbs from Human-Agent Interaction
Shiwali Mohan
Generalizing and Executing Plans
Christian James Muise
Iterative Voting under Uncertainty for Group Recommender Systems (Research Abstract)
Lihi Naamani-Dery
Complex Task Learning from Unstructured Demonstrations
Scott Niekum
Building Collaborative Strategies via Imitation
Saleha Raza
Large-Scale Mapping and Navigation in VirtualWorlds: Thesis Summary
Katrina Samperi
Effects of Representation on Solving Complex Spatial-Temporal Problems
Baylor Wetzel
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.