AAAI-13 Accepted Papers

AAAI-13 List of Accepted Papers

• Main Technical Track
• AI and the Web Track
• Cognitive Systems Track
• Computational Sustainability and AI Track
• Robotics Track
• Innovative Applications of Artificial Intelligence (IAAI-13)
• Symposium on Educational Advances in Artificial Intelligence (EAAI-13)
• Pre-PhD Student Abstracts
• Doctoral Consortium Abstracts
• Late-Breaking Papers

---

Main Technical Track

Sensitivity of Diffusion Dynamics to Network Uncertainty
Abhijin Adiga, Chris Kuhlman, Henning S. Mortveit, Anil Kumar S. Vullikanti

A Morphogenetically Assisted Design Variation Tool
Aaron Adler, Fusun Yaman, Jacob Beal, Jeffrey Cleveland, Hala Mostafa, Annan Mozeika

Truncated Incremental Search: Faster Replanning by Exploiting Suboptimality
Sandip Aine, Maxim Likhachev

Interdependent Multi-Issue Negotiation for Energy Exchange in Remote Communities
Muddasser Alam, Alex Rogers, Sarvapali D. Ramchurn

Multi-Cycle Query Caching in Agent Programming
Natasha Alechina, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Jomi F. Hübner, Brian Logan, Hai Nguyen, Marc van Zee

Bundling Attacks in Judgment Aggregation
Noga Alon, Dvir Falik, Reshef Meir, Moshe Tennenholtz

A Pattern Matching Based Model for Implicit Opinion Question Identification
Hadi Amiri, Zheng-Jun Zha, Tat-Seng Chua

Fast Equilibrium Computation for Infinitely Repeated Games
Garrett Andersen, Vincent Conitzer

On the Social Welfare of Mechanisms for Repeated Batch Matching
Elliot Anshelevich, Meenal Chhabra, Sanmay Das, Matthew Gerrior

Equilibria of Online Scheduling Algorithms
Itai Ashalgi, Brendan Lucier, Moshe Tennenholtz

Ties Matter: Complexity of Manipulation when Tie-breaking with a Random Vote
Haris Aziz, Serge Gaspers, Nicholas Mattei, Nina Narodytska, Toby Walsh

Optimal Coalition Structure Generation in Cooperative Graph Games
Yoram Bachrach, Pushmeet Kohli, Vladimir Kolmogorov, Morteza Zadimoghaddam

Pruning for Monte Carlo Distributed Reinforcement Learning in Decentralized POMDPs
Bikramjit Banerjee

Causal Transportability with Limited Experiments
Elias Bareinboim, Judea Pearl

Teamwork with Limited Knowledge of Teammates
Samuel Barrett, Peter Stone, Sarit Kraus, Avi Rosenfeld

Teaching Classification Boundaries to Humans
Sumit Basu, Janara Christensen

Social Rankings in Human-Computer Committees
Moshe Bitan, Ya’akov Gal, Sarit Kraus, Elad Dokow, Amos Azaria

Decoupling the Multiagent Disjunctive Temporal Problem
James C. Boerkoel Jr., Edmund H. Durfee

Qualitative Planning under Partial Observability in Multi-Agent Domains
Ronen I. Brafman, Guy Shani, Shlomo Zilberstein

How Bad Is Selfish Voting?
Simina Brânzei, Ioannis Caragiannis, Jamie Morgenstern, Ariel D. Procaccia

Improving WalkSAT for Random k-Satisfiability Problem with k > 3
Shaowei Cai, Kaile Su, Chuan Luo

A Kernel Density Estimate-based approach to Component Goodness Modeling
Nuno Cardoso, Rui Abreu

Instructor Rating Markets
Mithun Chakraborty, Sanmay Das, Allen Lavoie, Malik Magdon-Ismail, Yonatan Naamad

Uncorrelated Lasso
Si-Bao Chen, Chris Ding, Bin Luo, Ying Xie

Goal-Oriented Euclidean Heuristics with Manifold Learning
Wenlin Chen, Yixin Chen, Kilian Q. Weinberger, Qiang Lu, Xiaoping Chen

From Interest to Function: Location Estimation in Social Media
Yan Chen, Jichang Zhao, Xia Hu, Xiaoming Zhang, Zhoujun Li, Tat-Seng Chua

Dynamic Minimization of Sentential Decision Diagrams
Arthur Choi, Adnan Darwiche

Timelines with Temporal Uncertainty
Alessandro Cimatti, Andrea Micheli, Marco Roveri

Online Lazy Updates for Portfolio Selection with Transaction Costs
Puja Das, Nicholas Johnson, Arindam Banerjee

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge
Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith

Complexity of Inferences in Polytree-Shaped Semi-Qualitative Probabilistic Networks
Cassio P. de Campos, Fabio G. Cozman

Parameterized Complexity Results for Plan Reuse
Ronald de Haan, Anna Roubickova, Stefan Szeider

Multi-Armed Bandit with Budget Constraint and Variable Costs
Wenkui Ding, Tao Qin, Xu-Dong Zhang, Tie-Yan Liu

The Automated Acquisition of Suggestions from Tweets
Li Dong, Furu Wei, Yajuan Duan, Xiaohua Liu, Ming Zhou, Ke Xu

A Maximum K-Min Approach for Classification
Mingzhi Dong, Liang Yin, Weihong Deng, Li Shang, Jun Guo, Honggang Zhang

HC-Search: Learning Heuristics and Cost Functions for Structured Prediction
Janardhan Rao Doppa, Alan Fern, Prasad Tadepalli

SMILe: Shuffled Multiple-Instance Learning
Gary Doran, Soumya Ray

Liberal Safety for Answer Set Programs with External Sources
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Posted Prices Exchange for Display Advertising Contracts
Yagil Engel, Moshe Tennenholtz

Computational Aspects of Nearly Single-Peaked Electorates
Gábor Erdélyi, Martin Lackner, Andreas Pfandler

A General Formal Framework for Pathfinding Problems with Multiple Agents
Esra Erdem, Doga G. Kisa, Umut Oztok, Peter Schüller

Abstract Preference Frameworks — A Unifying Perspective on Separability and Strong Equivalence
Wolfgang Faber, Miros?aw Truszczynski, Stefan Woltran

Multi-agent Knowledge and Belief Change in the Situation Calculus
Liangda Fang, Yongmei Liu

The Cascade Auction — A Mechanism for Deterring Collusion in Auctions
Uriel Feige, Gil Kalai, Moshe Tennenholtz

Backdoors to Normality for Disjunctive Logic Programs
Johannes Klaus Fichte, Stefan Szeider

Automatic Identification of Conceptual Metaphors with Limited Knowledge
Lisa Gandy, Nadji Allan, Mark Atallah, Ophir Frieder, Newton Howard, Sergey Kanareykin, Moshe Koppel, Mark Last, Yair Neuman, Shlomo Argamon

Algorithms for Strong Nash Equilibrium with More than Two Agents
Nicola Gatti, Marco Rocco, Tuomas Sandholm

Efficient Evolutionary Dynamics with Extensive-Form Games
Nicola Gatti, Fabio Panozzo, Marcello Restelli

Domain-Specific Heuristics in Answer Set Programming
M. Gebser, B. Kaufmann, R. Otero, J. Romero, T. Schaub, P. Wanko

Vesselness Features and the Inverse Compositional AAM for Robust Face Recognition using Thermal IR
Reza Shoja Ghiass, Ognjen Arandjelovíc, Hakim Bendada, Xavier Maldague

On Power-Law Kernels, Corresponding Reproducing Kernel Hilbert Space and Applications
Debarghya Ghoshdastidar, Ambedkar Dukkipati

Formalizing Hierarchical Clustering as Integer Linear Programming
Sean Gilpin, Siegfried Nijssen, Ian Davidson

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs
Benjamin Grosof, Terrance Swift

Convex Subspace Representation Learning from Multi-view Data
Yuhong Guo

Reduce and Re-Lift: Bootstrapped Lifted Likelihood Maximization for MAP
Fabian Hadiji, Kristian Kersting

Search More, Disclose Less
Chen Hajaj, Noam Hazon, David Sarne, Avshalom Elmalech

External Memory Best-First Search for Multiple Sequence Alignment
Matthew Hatem, Wheeler Ruml

Gradient Networks: Explicit Shape Matching without Extracting Edges
Edward Hsiao, Martial Hebert

Robust Discrete Matrix Completion
Jin Huang, Feiping Nie, Heng Huang

Spectral Rotation vs K-Means in Spectral Clustering
Jin Huang, Feiping Nie, Heng Huang

Supervised and Projected Sparse Coding for Image Classification
Jin Huang, Feiping Nie, Heng Huang, Chris Ding

Unsupervised Cluster Matching via Probabilistic Latent Variable Models
Tomoharu Iwata, Tsutomu Hirao, Naonori Ueda

Strategic Behavior when Allocating Indivisible Goods Sequentially
Thomas Kalinowski, Nina Narodytska, Toby Walsh, Lirong Xia

On the Subexponential Time Complexity of CSP
Iyad Kanj, Stefan Szeider

Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition
Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry

Data-Parallel Computing Meets STRIPS
Erez Karpas, Tomer Sagi, Carmel Domshlak, Avigdor Gal, Avi Mendelson, Moshe Tennenholtz

Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers
George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon

Red-Black Relaxed Plan Heuristics
Michael Katz, Jörg Hoffmann, Carmel Domshlak

Incremental Learning Framework for Indoor Scene Recognition
Aram Kawewong, Rapeeporn Pimpup, Osamu Hasegawa

A Fast Pairwise Heuristic for Planning under Uncertainty
Koosha Khalvati, Alan K. Mackworth

Joint Extraction and Labeling via Graph Propagation for Dictionary Construction
Doo Soon Kim, Kunal Verma, Peter Z. Yeh

Walking on Minimax Paths for k-NN Search
Kye-Hyeon Kim, Seungjin Choi

A Hierarchical Aspect-Sentiment Model for Online Reviews
Suin Kim, Jianwen Zhang, Zheng Chen, Alice Oh, Shixia Liu

Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family
Egor V. Kostylev, Juan L. Reutter

Generating Natural-Language Video Descriptions Using Text-Mined Knowledge
Niveda Krishnamoorthy, Girish Malkarnenkar, Raymond Mooney, Kate Saenko, Sergio Guadarrama

Simple Temporal Problems with Taboo Regions
T. K. Satish Kumar, Marcello Cirillo, Sven Koenig

How to Cut a Cake Before the Party Ends
David Kurokawa, John K. Lai, Ariel D. Procaccia

Composition Games for Distributed Systems: The EU Grant Games
Shay Kutten, Ron Lavi, Amitabh Trehan

Structured Kernel-Based Reinforcement Learning
Branislav Kveton, Georgios Theocharous

Extending STR to a Higher-Order Consistency
Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou

m-Transportability: Transportability of a Causal Effect from Multiple Environments
Sanghack Lee, Vasant Honavar

Solving Security Games on Graphs via Marginal Probabilities
Joshua Letchford, Vincent Conitzer

Story Generation with Crowdsourced Plot Graphs
Boyang Li, Stephen Lee-Urban, George Johnston, Mark O. Riedl

Reasoning about Saturated Conditional Independence under Uncertainty: Axioms, Algorithms, and Levesque’s Situations to the Rescue
Sebastian Link

An Extended GHKM Algorithm for Inducing ?-SCFG
Peng Li, Yang Liu, Maosong Sun

Large-Scale Hierarchical Classification via Stochastic Perceptron
Dehua Liu, Bojun Tu, Hui Qian, Zhihua Zhang

Reciprocal Hash Tables for Nearest Neighbor Search
Xianglong Liu, Junfeng He, Bo Lang

A Generalized Student-t Based Approach to Mixed-Type Anomaly Detection
Yen-Cheng Lu, Feng Chen, Yang Chen, Chang-Tien Lu

Unified Constraint Propagation on Multi-View Data
Zhiwu Lu, Yuxin Peng

Vector-Valued Multi-View Semi-Supervised Learning for Multi-Label Image Classification
Yong Luo, Dacheng Tao, Chang Xu, Dongchen Li, Chao Xu

Basis Adaptation for Sparse Nonlinear Reinforcement Learning
Sridhar Mahadevan, Stephen Giguere, Nicholas Jacek

Integrating Programming by Example and Natural Language Programming
Mehdi Manshadi, Daniel Gildea, James Allen

A Framework for Aggregating Influenced CP-nets and Its Resistance to Bribery
A. Maran, N. Maudet, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable

Automating Collusion Detection in Sequential Games
Parisa Mazrooei, Christopher Archibald, Michael Bowling

On the Value of Using Group Discounts under Price Competition
Reshef Meir, Tyler Lu, Moshe Tennenholtz, Craig Boutilier

Bounding the Cost of Stability in Games over Interaction Networks
Reshef Meir, Yair Zick, Edith Elkind, Jeffrey S. Rosenschein

A First-Order Formalization of Commitments and Goals for Planning
Felipe Meneguzzi, Pankaj R. Telang, Munindar P. Singh

A Cyclic Weighted Median Method for L1 Low-Rank Matrix Factorization with Missing Entries
Deyu Meng, Zongben Xu, Lei Zhang, Ji Zhao

From Semantic to Emotional Space in Probabilistic Sense Sentiment Analysis
Mitra Mohtarami, Man Lan, Chew Lim Tan

Analyzing the Effectiveness of Adversary Modeling in Security Games
Thanh H. Nguyen, Rong Yang, Amos Azaria, Sarit Kraus, Milind Tambe

Symmetry-Aware Marginal Density Estimation
Mathias Niepert

Cost-Optimal Planning by Self-Interested Agents
Raz Nissim, Ronen I. Brafman

RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models
Jan Noessner, Mathias Niepert, Heiner Stuckenschmidt

Mixed Observability Predictive State Representations
Sylvie C.W. Ong, Yuri Grinberg, Joelle Pineau

Discovering Hierarchical Structure for Sources and Entities
Aditya Pal, Nilesh Dalvi, Kedar Bellare

Rank Aggregation via Low-Rank and Structured-Sparse Decomposition
Yan Pan, Hanjiang Lai, Cong Liu, Yong Tang, Shuicheng Yan

Dynamic Social Choice with Evolving Preferences
David C. Parkes, Ariel D. Procaccia

PAC Optimal Exploration in Continuous Space Markov Decision Processes
Jason Pazis, Ronald Parr

Sample Complexity and Performance Bounds for Non-parametric Approximate Linear Programming
Jason Pazis, Ronald Parr

An Agent Design for Repeated Negotiation and Information Revelation with People
Noam Peled, Ya’akov (Kobi) Gal, Sarit Kraus

Salient Object Detection via Low-Rank and Structured Sparse Matrix Decomposition
Houwen Peng, Bing Li, Rongrong Ji, Weiming Hu, Weihua Xiong, Congyan Lang

Bribery in Voting with Soft Constraints
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable

Progression of Decomposed Situation Calculus Theories
Denis Ponomaryov, Mikhail Soutchanski

Partial MUS Enumeration
Alessandro Previti, Joao Marques-Silva

Multiagent Learning with a Noisy Global Reward Signal
Scott Proper, Kagan Tumer

A Robust Bayesian Truth Serum for Non-binary Signals
Goran Radanovic, Boi Faltings

Continuous Conditional Random Fields for Efficient Regression in Large Fully Connected Graphs
Kosta Ristovski, Vladan Radosavljevic, Slobodan Vucetic, Zoran Obradovic

Information Sharing under Costly Communication in Joint Exploration
Igor Rochlin, David Sarne

Enforcing Meter in Finite-Length Markov Sequences
Pierre Roy, François Pachet

Active Task Selection for Lifelong Machine Learning
Paul Ruvolo, Eric Eaton

Optimizing Objective Function Parameters for Strength in Computer Game-Playing
Yoshikuni Sato, Makoto Miwa, Shogo Takeuchi, Daisuke Takahashi

Mixed Heuristic Local Search for Protein Structure Prediction
Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar

Hypothesis Exploration for Malware Detection Using Planning
Shirin Sohrabi, Octavian Udrea, Anton V. Riabov

Filtering with Logic Programs and Its Application to General Game Playing
Michael Thielscher

GiSS: Combining Gibbs Sampling and SampleSearch for Inference in Mixed Probabilistic and Deterministic Graphical Models
Deepak Venugopal, Vibhav Gogate

Guiding Scientific Discovery with Explanations Using DEMUD
Kiri L. Wagstaff, Nina L. Lanza, David R. Thompson, Thomas G. Dietterich, Martha S. Gilmore

Multiscale Manifold Learning
Chang Wang, Sridhar Mahadevan

Effective Bilingual Constraints for Semi-supervised Learning of Named Entity Recognizers
Mengqiu Wang, Wanxiang Chez, Christopher D. Manning

Sparse Multi-Task Learning for Detecting Influential Nodes in an Implicit Diffusion Network
Yingze Wang, Guang Xiang, Shi-Kuo Chang

Ranking Scientific Articles by Exploiting Citations, Authors, Journals and Time Information
Yujing Wang, Yunhai Tong, Ming Zeng

Greedy or Not? Best Improving versus First Improving Stochastic Local Search for MAXSAT
Darrell Whitley, Adele Howe, Doug Hains

Grounding Natural Language References to Unvisited and Hypothetical Locations
Tom Williams, Rehj Cantrell, Gordon Briggs, Paul Schermerhorn, Matthias Scheutz

Robust Bidirectional Search via Heuristic Improvement
Christopher Wilt, Wheeler Ruml

Supervised Nonnegative Tensor Factorization with Maximum-Margin Constraint
Fei Wu, Xu Tan, Yi Yang, Dacheng Tao, Siliang Tang, Yueting Zhuang

Lazy Gaussian Process Committee for Real-Time Online Regression
Han Xiao, Claudia Eckert

A Topic-Based Coherence Model for Statistical Machine Translation
Deyi Xiong, Min Zhang

Towards Cohesive Anomaly Mining
Yun Xiong, Yangyong Zhu, Philip S. Yu, Jian Pei

Learning Integrated Symbolic and Continuous Action Models for Continuous Domains
Joseph Z. Xu, John E. Laird

Multi-Label Learning with PRO Loss
Miao Xu, Yu-Feng Li, Zhi-Hua Zhou

Temporal Milestones in HTNs
Fusun Yaman, Brett Benyo, Alice M. Mulvehill

Joint Object and Pose Recognition Using Homeomorphic Manifold Analysis
Haopeng Zhang, Tarek El-Gaaly, Ahmed Elgammal, Zhiguo Jiang

Automated Workflow Synthesis
Haoqi Zhang, Eric Horvitz, David C. Parkes

A Concave Conjugate Approach for Nonconvex Penalized Regression with the MCP Penalty
Shubao Zhang, Hui Qian, Wei Chen, Zhihua Zhang

Smart Multi-Task Bregman Clustering and Multi-Task Kernel Clustering
Xianchao Zhang, Xiaotong Zhang

A Tensor-Variate Gaussian Process for Classification of Multidimensional Structured Data
Qibin Zhao, Liqing Zhang, Andrzej Cichocki

Time-Dependent Trajectory Regression on Road Networks via Multi-Task Learning
Jiangchuan Zheng, Lionel M. Ni

Clustering with Complex Constraints - Algorithms and Applications
Weifeng Zhi, Xiang Wang, Buyue Qian, Patrick Butler, Naren Ramakrishnan, Ian Davidson

Video Saliency Detection via Dynamic Consistent Spatio-Temporal Attention Modelling
Sheng-hua Zhong, Yan Liu, Feifei Ren, Jinghuan Zhang, Tongwei Ren

Supervised Coupled Dictionary Learning with Group Structures for Multi-modal Retrieval
Yueting Zhuang, Yanfei Wang, Fei Wu, Yin Zhang, Weiming Lu

Model-Lite Case-Based Planning
Hankz Hankui Zhuo, Tuan Nguyen, Subbarao Kambhampati

AI and Web Track

Preventing Unraveling in Social Networks Gets Harder
Rajesh Chitnis, Fedor V. Fomin, Petr A. Golovach

Not Quite the Same: Identity Constraints for the Web of Linked Data
Gerard de Melo

Learning to Rank Effective Paraphrases from Query Logs for Community Question Answering
Alejandro Figueroa, Günter Neumann

Fast and Exact Top-k Algorithm for PageRank
Yasuhiro Fujiwara, Makoto Nakatsuji, Hiroaki Shiokawa, Takeshi Mishima, Makoto Onizuka

Understanding and Predicting Interestingness of Videos
Yu-Gang Jiang, Yanran Wang, Rui Feng, Xiangyang Xue, Yingbin Zheng, Hanfang Yang

Clustering Crowds
Hiroshi Kajino, Yuta Tsuboi, Hisashi Kashima

LA-CTR: A Limited Attention Collaborative Topic Regression for Social Media
Jeon-Hyung Kang, Kristina Lerman

A Fast Bandit Algorithm for Recommendations to Users with Heterogeneous Tastes
Pushmeet Kohli, Mahyar Salek, Greg Stoddard

Better Human Computation through Principled Voting
Andrew Mao, Ariel D. Procaccia, Yiling Chen

Exploring the Contribution of Unlabeled Data in Financial Sentiment Analysis
Jimmy SJ. Ren, Wei Wang, Jiawei Wang, Stephen Shaoyi Liao

Hotspotting — A Probabilistic Graphical Model for Image Object Localization through Crowdsourcing
Mahyar Salek, Yoram Bachrach, Peter Key

OpenEval: Web Information Query Evaluation
Mehdi Samadi, Manuela Veloso, Manuel Blum

Fast Algorithm for Modularity-based Graph Clustering
Hiroaki Shiokawa, Yasuhiro Fujiwara, Makoto Onizuka

Introducing Nominals to the Combined Query Answering Approaches for EL
Giorgio Stefanoni, Boris Motik, Ian Horrocks

TONIC: Target Oriented Network Intelligence Collection for the Social Web
Roni Stern, Liron Samama, Rami Puzis, Tal Beja, Zahy Bnaya, Ariel Felner

The Effects of Performance-Contingent Financial Incentives in Online Labor Markets
Ming Yin, Yiling Chen, Yu-An Sun

Heterogeneous Metric Learning with Joint Graph Regularization for Cross-Media Retrieval
Xiaohua Zhai, Yuxin Peng, Jianguo Xiao

Active Transfer Learning for Cross-System Recommendation
Lili Zhao, Sinno Jialin Pan, Evan Wei Xiang, Erheng Zhong, Zhongqi Lu, Qiang Yang

Cognitive Systems Track

A Hybrid Architectural Approach to Understanding and Appropriately Generating Indirect Speech Acts
Gordon Briggs, Matthias Scheutz

The Appraisal of Normative Events Based in In-Group and Out-Group Relations
Nuno Ferreira, Samuel Mascarenhas, Ana Paiva, Gennaro Di Tosto, Frank Dignum, John Mc Breen, Nick Degens, Gert Jan Hofstede, Giulia Andrighetto, Rosaria Conte

Learning to Efficiently Pursue Communication Goals on the Web with the GOSMR Architecture
Kevin Gold

Preemptive Strategies for Overcoming the Forgetting of Goals
Justin Li, John Laird

SALL-E: Situated Agent for Language Learning
Ian Perera, James F. Allen

Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases
Abhishek Sharma, Kenneth D. Forbus

Graph Traversal Methods for Reasoning in Large Knowledge-Based Systems
Abhishek Sharma, Kenneth D. Forbus

Computational Sustainability and AI Track

Agent Cooperatives for Effective Power Consumption Shifting
Charilaos Akasiadis, Georgios Chalkiadakis

PAC Optimal Planning for Invasive Species Management: Improved Exploration for Reinforcement Learning from Simulator-Defined MDPs
Thomas G. Dietterich, Majid Alkaee Taleghan, Mark Crowley

Large Landscape Conservation — Synthetic and Real-World Datasets
Bistra Dilkina, Katherine Lai, Ronan Le Bras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire Montgomery

Multiple Hypothesis Object Tracking for Unsupervised Self-Learning: An Ocean Eddy Tracking Application
James H. Faghmous, Muhammed Uluyol, Luke Styles, Matthew Le, Varun Mithal, Shyam Boriah, Vipin Kumar

Adaptive Spatio-Temporal Exploratory Models: Hemisphere-Wide Species Distributions from Massively Crowdsourced Ebird Data
Daniel Fink, Theodoros Damoulas, Jaimin Dave

Online Optimization with Dynamic Temporal Uncertainty: Incorporating Short Term Predictions for Renewable Integration in Intelligent Energy Systems
Vikas K. Garg, T. S. Jayram, Balakrishnan Narayanaswamy

Autonomous Agents in Future Energy Markets: The 2012 Power Trading Agent Competition
Wolfgang Ketter, Markus Peters, John Collins

Robust Network Design for Multispecies Conservation
Ronan Le Bras, Bistra Dilkina, Yexiang Xue, Carla P. Gomes, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery

Negotiated Learning for Smart Grid Agents: Entity Selection Based on Dynamic Partially Observable Features
Prashant P. Reddy, Manuela M. Veloso

A Tractable Leader-Follower MDP Model for Animal Disease Management
Régis Sabbadin, Anne-France Viet

A Temporal Motif Mining Approach to Unsupervised Energy Disaggregation: Applications to Residential and Commercial Buildings
Huijuan Shao, Manish Marwah, Naren Ramakrishnan

Approximate Bayesian Inference for Reconstructing Velocities of Migrating Birds from Weather Radar
Daniel Sheldon, Andrew Farnsworth, Jed Irvine, Benjamin Van Doren, Kevin Webb, Thomas G. Dietterich, Steve Kelling

Enabling E-Mobility: Facility Location for Battery Loading Stations
Sabine Storandt, Stefan Funke

Model Predictive Control with Uncertainty in Human Driven Systems
Alexander Styler, Illah Nourbakhsh

Resource Sharing for Control of Wildland Fires
Alan Tsang, Kate Larson, Rob McAlpine

Multiagent Coordination for Energy Consumption Scheduling in Consumer Cooperatives
Andreas Veit, Ying Xu, Ronghuo Zheng, Nilanjan Chakraborty, Katia Sycaraa

Robotics Track

Bayesian Nonparametric Multi-Optima Policy Search in Reinforcement Learning
Danilo Bruno, Sylvain Calinon, Darwin G. Caldwell

Multi-Target Detection and Recognition by UAVs Using Online POMDPs
Caroline P. Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire

A Simple, but NP-Hard, Motion Planning Problem
Lawrence H. Erickson, Steven M. LaValle

Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based Prior
Been Kim, Caleb M. Chacha, Julie Shah

Data-Efficient Generalization of Robot Skills with Contextual Policy Search
Andras Gabor Kupcsik, Marc Peter Deisenroth, Jan Peters, Gerhard Neumann

GSMDPs for Multi-Robot Sequential Decision-Making
João V. Messias, Matthijs T. J. Spaan, Pedro U. Lima

Robot Motion Planning with Dynamics as Hybrid Search
Erion Plaku

Learning Collaborative Impedance-Based Robot Behaviors
Leonel Rozo, Sylvain Calinon, Darwin Caldwell, Pablo Jiménez, Carme Torras

Compact RGBD Surface Models Based on Sparse Coding
Michael Ruhnke, Liefeng Bo, Dieter Fox, Wolfram Burgard

Open-Loop Planning in Large-Scale Stochastic Domains
Ari Weinstein, Michael L. Littman

Structure and Intractability of Optimal Multi-Robot Path Planning on Graphs
Jingjin Yu, Steven M. LaValle

IAAI-13 Accepted Papers

Deployed

An Antimicrobial Prescription Surveillance System that Learns from Experience
Mathieu Beaudoin, Froduald Kabanza, Vincent Nault, Louis Valiquette

The Deployment of a Constraint-Based Dental School Timetabling System
Hadrien Cambazard, Barry O’Sullivan, Helmut Simonis

Integrating Digital Pens in Breast Imaging for Instant Knowledge Acquisition
Daniel Sonntag, Markus Weber, Matthias Hammon, Alexander Cavallaro

USI Answers: Natural Language Question Answering Over (Semi-) Structured Industry Data
Ulli Waltinger, Dan Tecuci, Mihaela Olteanu, Vlad Mocanu, Sean Sullivan

GRADE: Machine Learning Support for Graduate Admissions
Austin Waters, Risto Miikkulainen

Emerging

Leveraging Crowdsourcing to Detect Improper Tasks in Crowdsourcing Marketplaces
Yukino Baba, Hisashi Kashima, Kei Kinoshita, Goushi Yamaguchi, Yosuke Akiyoshi

Interactive Information Extraction and Navigation to Enable Effective Link Analysis and Visualization of Unstructured Text
Emily Budlong, Carrie Pine, Mark Zappavigna, James Homer, Charles Proefrock, John Gucwa, Michael Crystal, Ralph Weischedel

Policies to Optimize Work Performance and Thermal Safety in Exercising Humans
Mark Buller, Eric Sodomka, William Tharion, Cynthia Clements, Reed Hoyt, Odest Chadwicke Jenkins

Clustering Hand-Drawn Sketches via Analogical Generalization
Maria D. Chang, Kenneth D. Forbus

Train Outstable Scheduling as Constraint Satisfaction
Andy Hon Wai Chun

Timed Probabilistic Automaton: A Bridge between Raven and Song Scope for Automatic Species Recognition
Shufei Duan, Jinglan Zhang, Paul Roe, Jason Wimmer, Xueyan Dong, Anthony Truskinger, Michael Towsey

Balancing the Traveling Tournament Problem for Weekday and Weekend Games
Richard Hoshino, Ken-ichi Kawarabayashi

Assessing the Predictability of Hospital Readmission Using Machine Learning
Arian Hosseinzadeh, Masoumeh Izadi, Aman Verma, Doina Precup, David Buckeridge

Detection and Prediction of Adverse and Anomalous Events in Medical Robots
Kai Liang, Feng Cao, Zhuofu Bai, Mark Renfrew, M. Cenk Çavusoglu, Andy Podgurski, Soumya Ray

Detecting the Moment of Snap in Real-World Football Videos
Behrooz Mahasseni, Sheng Chen, Alan Fern, Sinisa Todorovic

Multiagent Router Throttling: Decentralized Coordinated Response against DDoS Attacks
Kleanthis Malialis, Daniel Kudenko

Early Prediction of Coronary Artery Calcification Levels Using Machine Learning
Sriraam Natarajan, Kristian Kersting, Edward Ip, David R. Jacobs, Jr, Jeffrey Carr

Scalable Randomized Patrolling for Securing Rapid Transit Networks
Pradeep Varakantham, Hoong Chuin Lau, Zhi Yuan

Case-Based Meta-Prediction for Bioinformatics
Xi Yun, Susan L. Epstein, Weiwei Han, Lei Xie

Physical Activity Recognition from Accelerometer Data Using a Multi-Scale Ensemble Method
Yonglei Zheng, Weng-Keen Wong, Xinze Guan, Stewart Trost

Challenge

Scalable Models for Patterns of Life
J. T. Folsom-Kovarik, Sae Schatz, Randolph M. Jones, Kathleen Bartlett, Robert E. Wray

Symposium on Educational Advances in Artificial Intelligence (EAAI-13)

Learning about Representational Modality: Design and Programming Projects for Knowledge-Based AI
Ashok K. Goel, Maithilee Kunda, David Joyner, Swaroop Vattam

SEPIA: A Scalable Game Environment for Artificial Intelligence Teaching and Research
Scott Sosnowski, Tim Ernsberger, Feng Cao, Soumya Ray

Posters

“Paradigms of AI Programming” in Python
Daniel Connelly, Ashok K. Goel

Student-Friendly Java-Based Multiagent Event Handling
Dan Tappan

Model AI Assignments 2013

Tsunami Warning System: A Case Study of Intelligent Agents in Action
Stephanie E. August

Recreating TD-Gammon
Devika Subramanian

An Introduction to Counterfactual Regret Minimization
Todd W. Neller, Marc Lanctot

Pre-PhD Student Abstracts

Advice Provision in Multiple Prospect Selection Problems
Amos Azaria, Sarit Kraus

A Maximum K-Min Approach for Classification
Mingzhi Dong, Liang Yin

Does One-Against-All or One-Against-One Improve the Performance of Multiclass Classifications?
R. Kyle Eichelberger, Victor S. Sheng

Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers
Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott

A Mediation Mechanism for Automated Negotiating Agents Whose Utility Changes over Time
Keisuke Hara, Takayuki Ito

The Role of Complex Network Dynamics in the Emergence of Multiagent Coalition
Mohammad Rashedul Hasan, Anita Raja

Hybrid Model-Based Diagnosis of Web Service Compositions
Zhichun Jia, Rong Chen

Phase Transition and Network Structure in Realistic SAT Problems
Soumya C. Kambhampati, Thomas Liu

Locate the Hate: Detecting Tweets against Blacks
Irene Kwok, Yuzhou Wang

Crowd Formalization of Action Conditions
Walter S. Lasecki, Leon Weingard, Jeffrey P. Bigham, George Ferguson

Trading Space for Time in Grid-Based Path Finding
William Lee, Ramon Lawrence

Online Group Feature Selection from Feature Streams
Haiguang Li, Xindong Wu

Making Simple Tabular Reduction Works on Negative Table Constraints
Hongbo Li, Yanchun Liang, Jinsong Guo, Zhanshan Li

Subchloroplast Location Prediction via Homolog Knowledge Transfer and Feature Selection
Xiaomei Li, Xindong Wu, Gongqing Wu, Xuegang Hu

An Effective Approach for Imbalanced Classification: Unevenly Balanced Bagging
Guohua Liang, Anthony G Cohn

A First-Order Logic Based Framework for Verifying Simulations
Hui Meen Nyew, Nilufer Onder, Soner Onder, Zhenlin Wang

Concurrent Reasoning with Inference Graphs
Daniel R. Schlegel, Stuart C. Shapiro

Simplified Lattice Models for Protein Structure Prediction: How Good Are They?
Swakkhar Shatabda, Hakim Newton, Abdul Sattar

Graphical Model-Based Learning in High Dimensional Feature Spaces
Zhao Song, Yuke Zhu

On a Noun-Driven Syntactic Paradigm
Lauren M. Stuart, Julia M. Taylor, Victor Raskin

Empirical Comparison of Multi-Label Classification Algorithms
Clifford A. Tawiah, Victor S. Sheng

WordNet Based Multi-Way Concept Hierarchy Construction from Text Corpus
Ding Tu, Ling Chen, Gencai Chen

Personalized Recommendation Based on Co-Ranking and Query-Based Collaborative Diffusion
Xiao Yang, Zhaoxin Zhang, Qiang Wang

Planning with Multi-Valued Landmarks
Lei Zhang, Chong-jun Wang, Jun Wu, Meilin Liu, Jun-yuan Xie

Imbalanced Multiple Noisy Labeling for Supervised Learning
Jing Zhang, Xindong Wu, Victor S. Sheng

Doctoral Consortium Abstracts

Understanding Descriptions of Visual Scenes Using Graph Grammars
Daniel Bauer

Artificial Conversational Companions
Sviatlana Danilava

Distribution Kernel Methods for Multiple-Instance Learning
Gary Doran

Backdoors to Tractability of Answer-Set Programming
Johannes Klaus Fichte

An Optimal Task Assignment Policy and Performance Diagnosis Strategy for Heterogeneous Hadoop Cluster
Shekhar Gupta

Creating Model-Based Adaptive Environments Using Game-Specific and Game-Independent Analytics
Brent Harrison

Heuristic Search for Large Problems with Real Costs
Matthew Hatem

Crowdsourcing for Deployable Intelligent Systems
Walter S. Lasecki

The Wisdom of Crowds in Bioinformatics: What Can We Learn (and Gain) from Ensemble Predictions?
Mariana R. Mendoza

Multiagent Stochastic Planning with Bayesian Policy Recognition
Alessandro Panella

Efficient Algorithms for Strong Local Consistencies in Constraint Satisfaction Problems
Anastasia Paparrizou

Optimization of Heterogeneous Computing Resources for Robotic Mapping
Adrian Ratter

Concurrent Inference Graphs
Daniel R. Schlegel

Multi-Strategy Learning of Robotic Behaviours via Qualitative Reasoning
Timothy Wiley

Steps Towards a Science of Heuristic Search
Christopher Wilt

Tools for Preference Reasoning
Ying Zhu

Late-Breaking Papers

The Value of Ignorance about the Number of Players
Noga Alon, Reshef Meir, Moshe Tennenholtz

Movie Recommender System for Profit Maximization (Short LBP)
Amos Azaria, Avinatan Hassidim, Sarit Kraus, Adi Eshkol, Ofer Weintraub, Irit Netanely

Volatile Multi-Armed Bandits for Guaranteed Targeted Social Crawling
Zahy Bnaya, Rami Puzis, Roni Stern, Ariel Felner

A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta

Covering Landmark Interactions for Semantically Diverse Plans
Daniel Bryce, Renée C. Bryce

Throwing Darts: Random Sampling Helps Tree Search when the Number of Short Certificates Is Moderate
John P. Dickerson, Tuomas Sandholm

Combining CP-Nets with the Power of Ontologies
Tommaso Di Noia, Thomas Lukasiewicz

Predicting Power Failures with Reactive Point Processes
Seyda Ertekin, Cynthia Rudin, Tyler H. McCormick

Cotraining Based Bilingual Sentiment Lexicon Learning
Dehong Gao, Furu Wei, Wenjie Li, Xiaohua Liu, Ming Zhou

Strong Nash Equilibrium Is in Smoothed P
Nicola Gatti, Marco Rocco, Tuomas Sandholm

Virtual Structure Reduction for Distributed Constraint Problem Solving
Nathaniel Gemelli, Jeffrey Hudack, Jae C. Oh

Climate Prediction via Matrix Completion
Mahsa Ghafarianzadeh, Claire Monteleoni

Learning CP-net Preferences Online from User Queries
Joshua T. Guerin, Thomas E. Allen, Judy Goldsmith

Discriminative Multi-Task Feature Selection
Yahong Han, Jianguang Zhang, Zhongwen Xu, Shoou-I Yu

Conditional Outlier Approach for Detection of Unusual Patient Care Actions
Milos Hauskrecht, Shyam Visweswaran, Gregory F. Cooper, Gilles Clermont

AMRec: An Intelligent System for Academic Method Recommendation
Shanshan Huang, Xiaojun Wan, Xuewei Tang

Algorithm Selection in Bilateral Negotiation
Litan Ilany, Ya'akov (Kobi) Gal

Adversarial Cooperative Path-Finding: A First View
Marika Ivanová, Pavel Surynek

Comprehensive Cross-Hierarchy Cluster Agreement Evaluation
David M. Johnson, Caiming Xiong, Jing Gao, Jason J. Corso

Machine Learning for Meeting Analysis
Been Kim, Cynthia Rudin

Take or Wait? Learning Turn-Taking from Multiparty Data
Iolanda Leite, Hannaneh Hajishirzi, Sean Andrist, Jill F. Lehman

An Interpretable Stroke Prediction Model Using Rules and Bayesian Analysis
Benjamin Letham, Cynthia Rudin, Tyler H. McCormick, David Madigan

Modular Answer Set Solving
Yuliya Lierler, Miroslaw Truszczynski

Localizing Web Videos from Heterogeneous Images
Xian-Ming Liu, Yue Gao, Rongrong Ji, Shiyu Chang, Thomas Huang

Utilizing Landmarks in Euclidean Heuristics for Optimal Planning
Qiang Lu, Wenlin Chen, Yixin Chen, Kilian Q. Weinberger, Xiaoping Chen

An Ensemble of Linearly Combined Reinforcement-Learning Agents
Vukosi Marivate, Michael Littman

Towards Joint Inference for Complex Ontology Matching
Christian Meilicke, Jan Noessner, Heiner Stuckenschmidt

Synthetic Photographs for Learning Aesthetic Preferences
Soja-Marie Morgens, Arnav Jhala

A Novel Human Computation Game for Critique Aggregation
Claudiu Cristian Musat, Boi Faltings

Verbal IQ of a Four-Year Old Achieved by an AI System
Stellan Ohlsson, Robert H. Sloan, György Turán, Aaron Urasky

Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes
Patrice Perny, Paul Weng, Judy Goldsmith, Josiah P. Hanna

Scaling-Up Quadratic Programming Feature Selection
Yamuna Prasad, K. K. Biswas, Parag Singla

A Modular Framework for the Automatic Reconstruction of Shredded Documents
Razvan Ranca

RAProp: Ranking Tweets by Exploiting the Tweet/User/Web Ecosystem and Inter-Tweet Agreement
Srijith Ravikumar, Kartik Talamadupula, Raju Balakrishnan, Subbarao Kambhampati

Learning Tractable Graphical Models Using Mixture of Arithmetic Circuits
Amirmohammad Rooshenas, Daniel Lowd

Automated Design of Search with Composability
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack

Multiple Outcome Supervised Latent Dirichlet Allocation for Expert Discovery in Online Forums
Jose San Pedro, Alexandros Karatzoglou

Chance-Constrained Strong Controllability of Temporal Plan Networks with Uncertainty
Pedro H. R. Q. A. Santana, Brian C. Williams

Identifying Important Nodes in Heterogenous Networks
Oliver Schulte, Fatemeh Riahi, Qing Li

Additive Counterexample-Guided Cartesian Abstraction Refinement
Jendrik Seipp, Malte Helmert

Predicting Professions through Probabilistic Model under Social Context
Ming Shao, Liangyue Li, Yun Fu

Partial Domain Search Tree for Constraint-Satisfaction Problems
Guni Sharon, Ariel Felner, Roni Stern, Nathan Sturtevant

Supersparse Linear Integer Models for Predictive Scoring Systems
Berk Ustun, Stefano Tracà, Cynthia Rudin

Label Ranking by Directly Optimizing Performance Measures
Qishen Wang, Ou Wu, Ying Chen, Weiming Hu

Negative Influence Minimizing by Blocking Nodes in Social Networks
Senzhang Wang, Xiaojian Zhao, Yan Chen, Zhoujun Li, Kai Zhang, Jiali Xia

Supervised Topic Model with Consideration of User and Item
Sheng Wang, Fangtao Li, Ming Zhang

Detecting Patterns of Crime with Series Finder
Tong Wang, Cynthia Rudin, Daniel Wagner, Rich Sevieri

Learning When to Reject an Importance Sample
Jeremy C. Weiss, Sriraam Natarajan, C. David Page

Using Machine Learning to Improve Stochastic Optimization
David H. Wolpert, Dev Rajnarayan

Uncertainty Reduction for Active Image Clustering via a Hybrid Global-Local Uncertainty Model
Caiming Xiong, David M. Johnson, Jason J. Corso

Elo Ratings for Structural Credit Assignment in Multiagent Systems
Logan Yliniemi, Kagan Tumer

Fast, Near-Optimal Computation for Multi-Robot Path Planning on Graphs
Jingjin Yu, Steven M. LaValle

Links