Constraints, Satisfiability, and Search
| Extensible Automated Constraint Modelling | |
| Ozgur Akgun, Ian Miguel, Chris Jefferson, Alan M. Frisch, Brahim Hnich |
| Optimal Graph Search with Iterated Graph Cuts | |
| David Burkett, David Hall, Dan Klein |
| On the Complexity of BDDs for State Space Search: A Case Study in Connect Four | |
| Stefan Edelkamp, Peter Kissmann |
| The Compressed Differential Heuristic | |
| Meir Goldenberg, Nathan Sturtevant, Ariel Felner, Jonathan Schaeffer |
| Heuristic Search for Large Problems With Real Costs | |
| Matthew Hatem, Ethan Burns, Wheeler Ruml |
| Core-Guided Binary Search Algorithms for Maximum Satisfiability | |
| Federico Heras, Antonio Morgado, Joao Marques-Silva |
| Optimal Packing of High-Precision Rectangles | |
| Eric Huang, Richard E. Korf |
| A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT | |
| Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann |
| Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models | |
| Kalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter |
| A Comparison of Lex Bounds for Multiset Variables in Constraint Programming | |
| Yat Chiu Law, Jimmy Ho Man Lee, May Hiu Chun Woo, Toby Walsh |
| Distributed Constraint Optimization Under Stochastic Uncertainty | |
| Thomas Léauté, Boi Faltings |
| Planning in Domains with Cost Function Dependent Actions | |
| Mike Phillips, Maxim Likhachev |
| Euclidean Heuristic Optimization | |
| D. Chris F. Rayner, Michael H. Bowling, Nathan R. Sturtevant |
| Succinct Set-Encoding for State-Space Search | |
| Tim Schmidt, Rong Zhou |
| Limits of Preprocessing | |
| Stefan Szeider |
| Inner Regions and Interval Linearizations for Global Optimization | |
| Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert |
| Anytime Nonparametric A* | |
| Jur van den Berg, Rajat Shah, Arthur Huang, Ken Goldberg |
| Solving Difficult CSPs with Relational Neighborhood Inverse Consistency | |
| Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| Block A*: Database-Driven Search with Applications in Any-Angle Path-Planning | |
| Peter Yap, Neil Burch, Robert Craig Holte, Jonathan Schaeffer |
Knowledge-Based Information Systems
| Simulated Annealing Based Influence Maximization in Social Networks | |
| Qingye Jiang, Guojie Song, Cong Gao, Yu Wang, Wenjun Si, Kunqing Xie |
| Tracking User-Preference Varying Speed in Collaborative Filtering | |
| Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu |
| CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting Systems | |
| Jin-woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim |
| Relational Blocking for Causal Discovery | |
| Matthew Rattigan, Marc Maier, David Jensen |
| Deriving a Web-Scale Common Sense Fact Database | |
| Niket Tandon, Gerard de Melo, Gerhard Weikum |
| Social Recommendation Using Low-Rank Semidefinite Program | |
| Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu |
Knowledge Representation and Reasoning
| A Semantical Account of Progression in the Presence of Uncertainty | |
| Vaishak Belle, Gerhard Lakemeyer |
| Adding Default Attributes to EL++ | |
| Piero A. Bonatti, Marco Faella, Luigi Sauro |
| Learning from Spatial Overlap | |
| Michael H. Coen, M. Hidayath Ansari, Nathanael Fillmore |
| Higher-Order Description Logics for Domain Metamodeling | |
| Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
| Spectrum-Based Sequential Diagnosis | |
| Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund |
| A Closer Look at the Probabilistic Description Logic Prob-EL | |
| Víctor Gutiérrez Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder |
| Trajectory Regression on Road Networks | |
| Tsuyoshi Ide, Masashi Sugiyama |
| An Algebraic Prolog for Reasoning about Possible Worlds | |
| Angelika Kimmig, Guy Van den Broeck, Luc De Raedt |
| Two-Dimensional Description Logics for Context-Based Semantic Interoperability | |
| Szymon Klarman, Víctor Gutiérrez-Basulto |
| Conjunctive Query Inseparability of OWL 2 QL TBoxes | |
| Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| A Modular Consistency Proof for DOLCE | |
| Oliver Kutz, Till Mossakowski |
| Causal Theories of Actions Revisited | |
| Fangzhen Lin, Mikhail Soutchanski |
| Revisiting Semantics for Epistemic Extensions of Description Logics | |
| Anees Mehdi, Sebastian Rudolph |
| Transportability of Causal and Statistical Relations: A Formal Approach | |
| Judea Pearl, Elias Bareinboim |
| How to Calibrate the Scores of Biased Reviewers by Quadratic Programming | |
| Magnus Roos, Jörg Rothe, Björn Scheuermann |
| Preferred Explanations: Theory and Generation via Planning | |
| Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
| Language Splitting and Relevance-Based Belief Change in Horn Logic | |
| Maonia Wu, Dongmo Zhang, Mingyi Zhang |
| Integrating Rules and Description Logics by Circumscription | |
| Qian Yang, Jia-Huai You, Zhiyong Feng |
| Bounded Forgetting | |
| Yi Zhou, Yan Zhang |
| Progression Semantics for Disjunctive Logic Programs | |
| Yi Zhou, Yan Zhang |
Machine Learning
| An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical Systems | |
| Byron Boots, Geoffrey J. Gordon |
| Learning Structured Embeddings of Knowledge Bases | |
| Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio |
| A Nonparametric Bayesian Model of Multi-Level Category Learning | |
| Kevin Robert Canini, Thomas L. Griffiths |
| Large Scale Spectral Clustering with Landmark-Based Representation | |
| Xinlei Chen, Deng Cai |
| Unsupervised Learning of Human Behaviours | |
| Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen |
| Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics | |
| Gheorghe Comanici, Doina Precup |
| Item-Level Social Influence Prediction with Probabilistic Hybrid Factor Matrix Factorization | |
| Peng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun |
| Selective Transfer Between Learning Tasks Using Task-Based Boosting | |
| Eric Eaton, Marie desJardins |
| Across-Model Collective Ensemble Classification | |
| Hoda Eldardiry, Jennifer Neville |
| Symmetric Graph Regularized Constraint Propagation | |
| Zhenyong Fu, Zhiwu Lu, Horace Ip, Yuxin Peng, Hongtao Lu |
| A Feasible Nonconvex Relaxation Approach to Feature Selection | |
| Cuixia Gao, Naiyan Wang, Qi Yu, Zhihua Zhang |
| OASIS: Online Active Semi-Supervised Learning | |
| Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun-Ming Xu |
| Learning a Kernel for Multi-Task Clustering | |
| Quanquan Gu, Zhenhui Li, Jiawei Han |
| Adaptive Large Margin Training for Multilabel Classification | |
| Yuhong Guo, Dale Schuurmans |
| Value Function Approximation in Reinforcement Learning Using the Fourier Basis | |
| George Konidaris, Sarah Osentoski, Philip Thomas |
| Improving Semi-Supervised Support Vector Machines Through Unlabeled Instances Selection | |
| Yu-Feng Li, Zhi-Hua Zhou |
| Size Adaptive Selection of Most Informative Features | |
| Si Liu, Hairong Liu, Longin Jan Latecki, Shuicheng Yan, Changsheng Xu, Hanqing Lu |
| Ordinal Regression via Manifold Learning | |
| Yang Liu, Yan Liu, Keith C. C. Chan |
| Mean Field Inference in Dependency Networks: An Empirical Study | |
| Daniel Lowd, Arash Shamaei |
| Latent Semantic Learning by Efficient Sparse Coding with Hypergraph Regularization | |
| Zhiwu Lu, Yuxin Peng |
| Linear Discriminant Analysis: New Formulations and Overfit Analysis | |
| Dijun Luo, Chris H. Q. Ding, Heng Huang |
| Multi-Level Cluster Indicator Decompositions of Matrices and Tensors | |
| Dijun Luo, Chris H. Q. Ding, Heng Huang |
| Sparse Group Restricted Boltzmann Machines | |
| Heng Luo, Ruimin Shen, Changyong Niu, Carsten Ullrich |
| Scaling Up Reinforcement Learning through Targeted Exploration | |
| Timothy Arthur Mann, Yoonsuck Choe |
| Differential Eligibility Vectors for Advantage Updating and Gradient Methods | |
| Francisco S. Melo |
| Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation | |
| Marion Neumann, Babak Ahmadi, Kristian Kersting |
| Efficiently Learning a Distance Metric for Large Margin Nearest Neighbor Classification | |
| Kyoungup Park, Chunhua Shen, Zhihui Hao, Junae Kim |
| Non-Parametric Approximate Linear Programming for MDPs | |
| Jason Pazis, Ronald Parr |
| Optimal Rewards versus Leaf-Evaluation Heuristics in Planning Agents | |
| Jonathan Sorg, Satinder Singh, Richard L. Lewis |
| A Generalised Solution to the Out-of-Sample Extension Problem in Manifold Learning | |
| Harry Strange, Reyer Zwiggelaar |
| Collaborative Users’ Brand Preference Mining across Multiple Domains from Implicit Feedbacks | |
| Jian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen |
| Towards Maximizing the Area Under the ROC Curve for Multi-Class Classification Problems | |
| Ke Tang, Rui Wang, Tianshi Chen |
| Fast Newton-CG Method for Batch Learning of Conditional Random Fields | |
| Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki |
| Automatic Group Sparse Coding | |
| Fei Wang, Noah Lee, Jimeng Sun, Jianying Hu, Shahram Ebadollahi |
| Towards Evolutionary Nonnegative Matrix Factorization | |
| Fei Wang, Hanghang Tong, Ching-Yung Lin |
| Learning Instance Specific Distance for Multi-Instance Classification | |
| Hua Wang, Feiping Nie, Heng Huang |
| Transfer Learning by Structural Analogy | |
| Huayan Wang, Qiang Yang |
| Efficient Subspace Segmentation via Quadratic Programming | |
| Shusen Wang, Xiaotong Yuan, Tiansheng Yao, Shuicheng Yan, Jialie Shen |
| Localized K-Flats | |
| Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou |
| Heterogeneous Transfer Learning with RBMs | |
| Bin Wei, Christopher Pal |
| Multi-Task Learning in Square Integrable Space | |
| Wei Wu, Hang Li, Yunhua Hu, Rong Jin |
| Sparse Matrix-Variate t Process Blockmodels | |
| Zenglin Xu, Feng Yan, Yuan Qi |
| Direct Density-Ratio Estimation with Dimensionality Reduction via Hetero-Distributional Subspace Analysis | |
| Makoto Yamada, Masashi Sugiyama |
| Nonnegative Spectral Clustering with Discriminative Regularization | |
| Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou |
| Transfer Latent Semantic Learning: Microblog Mining with Less Supervision | |
| Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthamarakshan |
| Convex Sparse Coding, Subspace Learning, and Semi-Supervised Extensions | |
| Xinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Dale Schuurmans |
| Multi-Task Learning in Heterogeneous Feature Spaces | |
| Yu Zhang, Dit-Yan Yeung |
| A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products | |
| Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Zhang |
Multiagent Systems
| Refinement of Strong Stackelberg Equilibria in Security Games | |
| Bo An, Milind Tambe, Fernando Ordonez, Eric Shieh, Christopher Kiekintveld |
| Strategic Information Disclosure to People with Multiple Alternatives | |
| Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman |
| Branch and Price for Multi-Agent Plan Recognition | |
| Bikramjit Banerjee, Landon Kraemer |
| Mechanism Design for Federated Sponsored Search Auctions | |
| Sofia Ceppi, Nicola Gatti, Enrico Harm Gerding |
| Market Manipulation with Outside Incentives | |
| Yiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Kash |
| Parameterized Complexity of Problems in Coalitional Resource Games | |
| Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Vahid Liaghat |
| Optimal Envy-Free Cake Cutting | |
| Yuga J. Cohler, John K. Lai, David C. Parkes, Ariel D. Procaccia |
| Commitment to Correlated Strategies | |
| Vincent Conitzer, Dmytro Korzhyk |
| Dominating Manipulations in Voting with Partial Information | |
| Vincent Conitzer, Toby Walsh, Lirong Xia |
| On Expressing Value Externalities in Position Auctions | |
| Florin Constantin, Malvika Rao, Chien-Chung Huang, David Parkes |
| Learning in Repeated Games with Minimal Information: The Effects of Learning Bias | |
| Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich |
| Complexity of and Algorithms for Borda Manipulation | |
| Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
| A Functional Analysis of Historical Memory Retrieval Bias in the Word Sense Disambiguation Task | |
| Nate Derbinsky, John E. Laird |
| Computing an Extensive-Form Perfect Equilibrium in Two-Player Games | |
| Nicola Gatti, Claudio Iuliano |
| VCG Redistribution with Gross Substitutes | |
| Mingyu Guo |
| Automated Action Abstraction of Imperfect Information Extensive-Form Games | |
| John Alexander Hawkin, Robert Holte, Duane Szafron |
| A Game-Theoretic Approach to Influence in Networks | |
| Mohammad Tanvir Irfan, Luis Enrique Ortiz |
| A Kernel-Based Iterative Combinatorial Auction | |
| Sebastien Lahaie |
| A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent Systems | |
| Kathryn Sarah Macarthur, Ruben Stranders, Sarvapali Ramchurn, Nicholas Jennings |
| Quick Polytope Approximation of All Correlated Equilibria in Stochastic Games | |
| Liam MacDermed, Karthik S. Narayan, Charles L. Isbell, Lora Weiss |
| Manipulation of Nanson's and Baldwin's Rules | |
| Nina Narodytska, Toby Walsh, Lirong Xia |
| Constrained Coalition Formation | |
| Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings |
| Campaign Management under Approval-Driven Voting Rules | |
| Ildiko Schlotter, Piotr Faliszewski, Edith Elkind |
| M-Unit EigenAnt: An Ant Algorithm to Find the M Best Solutions | |
| Sameena Shah, Jayadeva Jayadeva, Ravi Kothari, Suresh Chandra |
| Efficiency and Privacy Tradeoffs in Mechanism Design | |
| Xin Sui, Craig Boutilier |
| Dominant-Strategy Auction Design for Agents with Uncertain, Private Values | |
| David R. M. Thompson, Kevin Leyton-Brown |
| Incentive-Compatible Escrow Mechanisms | |
| Jens Witkowski, Sven Seuken, David C. Parkes |
| Risk-Averse Strategies for Security Games with Execution and Observational Uncertainty | |
| Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez |
| Coordinated Multi-Agent Reinforcement Learning in Networked Distributed POMDPs | |
| Chongjie Zhang, Victor Lesser |
Multidisciplinary Topics
| The Influence of Emotion Expression on Perceptions of Trustworthiness in Negotiation | |
| Dimitrios Antos, Celso de Melo, Jonathan Gratch, Barbara J. Grosz |
| Co-Evolution of Selection and Influence in Social Networks | |
| Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan |
| Finding Answers and Generating Explanations for Complex Biomedical Queries | |
| Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Oztok |
| First-Order Logic with Counting for General Game Playing | |
| Lukasz Kaiser, Lukasz Stafiniak |
| Grammatical Error Detection for Corrective Feedback Provision in Oral Conversations | |
| Sungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Geunbae Lee |
| Social Relations Model for Collaborative Filtering | |
| Wu-Jun Li, Dit-Yan Yeung |
| Comparing Agents' Success against People in Security Domains | |
| Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone |
| Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go | |
| Martin Michalowski, Mark Boddy, Mike Neilsen |
| Composite Social Network for Predicting Mobile Apps Installation | |
| Wei Pan, Nadav Aharony, Alex Pentland |
| Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model | |
| Marco Ragni, Sven Brüssow |
| Intrinsic Chess Ratings | |
| Kenneth Wingate Regan, Guy McCrossan Haworth |
| The Epistemic Logic Behind the Game Description Language | |
| Ji Ruan, Michael Thielscher |
| Reasoning About General Games Described in GDL-II | |
| Stephan Schiffel, Michael Thielscher |
| Co-Training as a Human Collaboration Policy | |
| Xiaojin Zhu, Bryan R. Gibson, Timothy T. Rogers |
Natural Language Processing
| Learning to Interpret Natural Language Navigation Instructions from Observations | |
| David L. Chen, Raymond J. Mooney |
| A Simple and Effective Unsupervised Word Segmentation Approach | |
| Songjian Chen, Yabo Xu, Huiyou Chang |
| Leveraging Wikipedia Characteristics for Search and Candidate Generation in Question Answering | |
| Jennifer Chu-Carroll, James Fan |
| Lossy Conservative Update (LCU) Sketch: Succinct Approximate Count Storage | |
| Amit Goyal, Hal Daume |
| Semantic Relatedness Using Salient Semantic Analysis | |
| Samer Hassan Hassan, Rada Mihalcea |
| Partially Supervised Text Classification with Multi-Level Examples | |
| Tao Liu, Xiaoyong Du, Yongdong Xu, Minghui Li, Xiaolong Wang |
| Enhancing Semantic Role Labeling for Tweets Using Self-Training | |
| Xiaohua Liu, Li Kuan, Ming Zhou, Zhongyang Xiong |
| Using Semantic Cues to Learn Syntax | |
| Tahira Naseem, Regina Barzilay |
| Exploiting Phase Transition in Latent Networks for Clustering | |
| Vahed Qazvinian, Dragomir R. Radev |
| Integrating Clustering and Multi-Document Summarization by Bi-Mixture Probabilistic Latent Semantic Analysis (PLSA) with Sentence Bases | |
| Chao Shen, Tao Li, Chris H. Q. Ding |
| Tree Sequence Kernel for Natural Language | |
| Jun Sun, Min Zhang, Chew Lim Tan |
| WikiSimple: Automatic Simplification of Wikipedia Articles | |
| Kristian Woodsend, Mirella Lapata |
| Identifying Evaluative Sentences in Online Discussions | |
| Zhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Jia |
Reasoning about Plans, Processes, and Actions
| Planning for Operational Control Systems with Predictable Exogenous Events | |
| Ronen Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman |
| Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics | |
| Alexandra Coman, Hector Munoz-Avila |
| A POMDP Model of Eye-Hand Coordination | |
| Tom Erez, Julian J. Tramper, William D Smart, Stan CAM Gielen |
| Recognizing Plans with Loops Represented in a Lexicalized Grammar | |
| Christopher Geib, Robert Goldman |
| A Switching Planner for Combined Task and Observation Planning | |
| Moritz Göbelbecker, Charles Gretton, Richard Dearden |
| Exploiting Path Refinement Abstraction in Domain Transition Graphs | |
| Peter Gregory, Derek Long, Craig McNulty, Susan M. Murphy |
| The Inter-League Extension of the Traveling Tournament Problem and its Application to Sports Scheduling | |
| Richard Hoshino, Ken-ichi Kawarabayashi |
| A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning | |
| Tatsuya Imai, Akihiro Kishimoto |
| Improving Cost-Optimal Domain-Independent Symbolic Planning | |
| Peter Kissmann, Stefan Edelkamp |
| On Improving Conformant Planners by Analyzing Domain-Structures | |
| Khoi Hoang Nguyen, Vien Dang Tran, Tran Cao Son, Enrico Pontelli |
| Exploiting Problem Symmetries in State-Based Planners | |
| Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein |
| Qualitative Numeric Planning | |
| Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner |
| Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends | |
| Florent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes |
| Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula | |
| Son Thanh To, Tran Cao Son, Enrico Pontelli |
Reasoning under Uncertainty
| Efficient Methods for Lifted Inference with Aggregate Factors | |
| Jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui |
| Dual Decomposition for Marginal Inference | |
| Justin Domke |
| Stopping Rules for Randomized Greedy Triangulation Schemes | |
| Andrew Gelfand, Kalev Kask, Rina Dechter |
| Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models | |
| Chloe Kiddon, Pedro Domingos |
| Memory-Efficient Dynamic Programming for Learning Optimal Bayesian Networks | |
| Brandon Malone, Changhe Yuan, Eric Hansen |
| When to Stop? That Is the Question | |
| Shulamit Reches, Meir Kalech, Rami Stern |
| Abductive Markov Logic for Plan Recognition | |
| Parag Singla, Raymond J. Mooney |
| Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers | |
| Ozgur Sumer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu |
| Utilizing Partial Policies for Identifying Equivalence of Behavioral Models | |
| Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo |
Robotics
| Multiagent Patrol Generalized to Complex Environmental Conditions | |
| Noa Agmon, Daniel Urieli, Peter Stone |
| Automated Abstractions for Patrolling Security Games | |
| Nicola Basilico, Nicola Gatti |
| Comparing Action-Query Strategies in Semi-Autonomous Agents | |
| Robert Cohn, Edmund Durfee, Satinder Singh |
| Optimal Route Planning for Electric Vehicles in Large Networks | |
| Jochen Eisner, Stefan Funke, Sabine Storandt |
| Online Graph Pruning for Pathfinding On Grid Maps | |
| Daniel Damir Harabor, Alban Grastien |
| Complete Information Pursuit Evasion in Polygonal Environments | |
| Kyle Klein, Subhash Suri |
| Learning Dimensional Descent for Optimal Motion Planning in High-dimensional Spaces | |
| Paul Vernaza, Daniel D. Lee |
Special Track on AI and the Web
| Detecting Multilingual and Multi-Regional Query Intent in Web Search | |
| Yi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu |
| A Whole Page Click Model to Better Interpret Search Engine Click Data | |
| Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang |
| User-Controllable Learning of Location Privacy Policies With Gaussian Mixture Models | |
| Justin Cranshaw, Jonathan Mugan, Norman Sadeh |
| Artificial Intelligence for Artificial Artificial Intelligence | |
| Peng Dai, . Mausam, Daniel Sabby Weld |
| Towards Practical ABox Abduction in Large OWL DL Ontologies | |
| Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan |
| Identifying Missing Node Information in Social Networks | |
| Ron Eyal, Sarit Kraus, Avi Rosenfeld |
| Maximum Entropy Context Models for Ranking Biographical Answers to Open-Domain Definition Questions | |
| Alejandro Figueroa, John Atkinson |
| Commonsense Causal Reasoning Using Millions of Personal Stories | |
| Andrew S. Gordon, Cosmin A. Bejan, Kenji Sagae |
| Active Dual Collaborative Filtering with Both Item and Attribute Feedback | |
| Luheng He, Nathan N. Liu, Qiang Yang |
| Fast Query Recommendation by Search | |
| Qixia Jiang, Maosong Sun |
| Continual Planning with Sensing for Web Service Composition | |
| Eirini Kaldeli, Alexander Lazovik, Marco Aiello |
| Understanding User Migration Patterns in Social Media | |
| Shamanth Kumar, Reza Zafarani, Huan Liu |
| Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation | |
| Edith Law, Haoqi Zhang |
| Personalizing Your Web Services with Constructive DL Reasoning Join | |
| Freddy Lecue |
| Trust Transitivity in Complex Social Networks | |
| Guanfeng Liu, Yan Wang, Mehmet A Orgun |
| Generating True Relevance Labels in Chinese Search Engine Using Clickthrough Data | |
| Hengjie Song, Chunyan Miao, Zhiqi Shen |
| Cross-Language Latent Relational Search: Mapping Knowledge across Languages | |
| Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka |
| Creative Introspection and Knowledge Acquisition | |
| Tony Veale, Guofu Li |
| CCRank: Parallel Learning to Rank with Cooperative Coevolution | |
| Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady W. Lauw |
| Integrating Community Question and Answer Archives | |
| Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li |
| Predicting Author Blog Channels with High Value Future Posts for Monitoring | |
| Shanchan Wu, Tamer Elsayed, William Rand, Louiqa Raschid |
| SemRec: A Semantic Enhancement Framework for Tag Based Recommendation | |
| Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa |
| Analyzing and Predicting Not-Answered Questions in Community-based Question Answering Services | |
| Lichun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu |
| Temporal Dynamics of User Interests in Tagging Systems | |
| Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison |
| Transfer Learning for Multiple-Domain Sentiment Analysis — Identifying Domain Dependent/Independent Word Polarity | |
| Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto |
| Propagating Both Trust and Distrust with Target Differentiation for Combating Web Spam | |
| Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang |
| Learning to Suggest Questions in Online Forums | |
| Tom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-In Song, Yunbo Cao |
| Heterogeneous Transfer Learning for Image Classification | |
| Yin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Pan, Gui-Rong Xue, Yong Yu, Qiang Yang |
Special Track on Computational Sustainability and AI
| Green Driver: AI in a Microcosm | |
| Jim Apple, Paul Chang, Aran Clauson, Heidi Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith |
| Enforcing Liveness in Autonomous Traffic Management | |
| Tsz-Chiu Au, Neda Shahidi, Peter Stone |
| Policy Gradient Planning for Environmental Decision Making with Existing Simulators | |
| Mark Crowley, David Poole |
| Dynamic Resource Allocation in Conservation Planning | |
| Daniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Converse, Steve Morey |
| Water Conservation Through Facilitation on Residential Landscapes | |
| Rhonda Hoenigman, Elizabeth Bradley, Nichole Barger |
| Incorporating Boosted Regression Trees into Ecological Latent Variable Models | |
| Rebecca A. Hutchinson, Li-Ping Liu, Thomas G. Dietterich |
| A Large-Scale Study on Predicting and Contextualizing Building Energy Usage | |
| J. Zico Kolter, Joseph Ferreira |
| The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species | |
| Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery |
| Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing | |
| Hui Li, Brian Williams |
| Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation | |
| Alie El-Din Mady, Gregory Provan, Conor Ryan, Kenneth Brown |
| Linear Dynamic Programs for Resource Management | |
| Marek Petrik, Shlomo Zilberstein |
| Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models | |
| Steven Phillips, Jane Elith |
| Modeling and Monitoring Crop Disease in Developing Countries | |
| John Alexander Quinn, Kevin Leyton-Brown, Ernest Mwebaze |
| Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets | |
| Prashant P. Reddy, Manuela M. Veloso |
| Efficient Energy-Optimal Routing for Electric Vehicles | |
| Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr |
| Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach | |
| Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar |
| Discovering Life Cycle Assessment Trees from Impact Factor Databases | |
| Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah |
| Decentralised Control of Micro-Storage in the Smart Grid | |
| Thomas Voice, Perukrishnen Vytelingum, Sarvapali Ramchurn, Alex Rogers, Nicholas Jennings |
Special Track on Integrated Intelligence
| Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts | |
| David Michael Barbella, Kenneth D. Forbus |
| Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture | |
| Ben Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu |
| Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions | |
| Jonathan Yasuo Ito, Stacy Marsella |
| Combining Learned Discrete and Continuous Action Models | |
| Joseph Z. Xu, John E. Laird |
| Cross Media Entity Extraction and Linkage for Chemical Documents | |
| Su Yan, Scott Spangler, Ying Chen |
Special Track on New Scientific and Technical Advances in Research
| Effective End-User Interaction with Machine Learning | |
| Saleema Amershi, James Fogarty, Ashish Kapoor, Desney Tan |
| Global Seismic Monitoring: A Bayesian Approach | |
| Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik Sudderth |
| The Next Best Solution | |
| Ronen Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh |
| New Expressive Languages for Ontological Query Answering | |
| Andrea Calì, Georg Gottlob, Andreas Pieris |
| Quantity Makes Quality: Learning with Partial Views | |
| Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir |
| Design and Analysis of Value Creation Networks | |
| Sampath Kameshwaran, Sameep Mehta, Vinayaka Pandit |
| Two Visual Strategies for Solving the Raven’s Progressive Matrices Intelligence Test | |
| Maithilee Kunda, Keith McGreggor, Ashok Goel |
| A POMDP-Based Optimal Control of P300-Based Brain-Computer Interfaces | |
| Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song |
| Planning with Specialized SAT Solvers | |
| Jussi Rintanen |
| Termination and Correctness Analysis of Cyclic Control | |
| Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
| Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff! | |
| Paolo Viappiani, Craig Boutilier |
| End-User Feature Labeling via Locally Weighted Logistic Regression | |
| Weng-Keen Wong, Ian Oberst, Shubhomoy Das, Travis Moore, Simone Stumpf, Kevin McIntosh, Margaret Burnett |
Special Track on Physically Grounded AI
| Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks | |
| Brian Coltin, Manuela Veloso |
| Autonomous Skill Acquisition on a Mobile Manipulator | |
| George Konidaris, Scott Kuindersma, Roderic Grupen, Andrew Barto |
| A Scalable Tree-Based Approach for Joint Object and Pose Recognition | |
| Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox |
| Recognizing Text Through Sound Alone | |
| Wenzhe Li, Tracy Anne Hammond |
| DISCO: Describing Images Using Scene Contexts and Objects | |
| Ifeoma Nwogu, Yingbo Zhou, Christopher Brown |
| Continuous Occupancy Mapping with Integral Kernels | |
| Simon Timothy O'Callaghan, Fabio T. Ramos |
| Learning Accuracy and Availability of Humans Who Help Mobile Robots | |
| Stephanie Rosenthal, Manuela Veloso, Anind K. Dey |
| Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation | |
| Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter, Ashis Gopal Banerjee, Seth Teller, Nicholas Roy |
| Balancing Safety and Exploitability in Opponent Modeling | |
| Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters |
| Self-Aware Traffic Route Planning | |
| David James Wilkie, Jur van den Berg, Ming Lin, Dinesh Manocha |
Student Abstracts and Posters
| Learning Compact Representations of Time-Varying Processes | |
| Philip Bachman, Doina Precup |
| Assessing Quality in the Web of Linked Sensor Data | |
| Chris Colin Baillie, Peter Edwards, Edoardo Pignotti |
| Medical Treatment Conflict Resolving in Answer Set Programming | |
| Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang |
| Controlling Selection Bias in Causal Inference | |
| Elias Bareinboim, Judea Pearl |
| Solving 4x5 Dots-And-Boxes | |
| Joseph Kelly Barker, Richard E. Korf |
| Ad Hoc Teamwork in Variations of the Pursuit Domain | |
| Samuel Barrett, Peter Stone |
| Reconstructing the Stochastic Evolution Diagram of Dynamic Complex Systems | |
| Navid Bazzazzadeh, Benedikt Brors, Roland Eils |
| Provoking Opponents to Facilitate the Recognition of their Intentions | |
| Francis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, Hengameh Irandoust |
| Dynamic Batch Mode Active Learning via L1 Regularization | |
| Shayok Chakraborty, Vineeth Balasubramanian, Sethuraman Panchanathan |
| Heuristic Planning in Adversarial Dynamic Domains | |
| Simon Chamberland, Froduald Kabanza |
| Using Neural Networks for Evaluation in Heuristic Search Algorithm | |
| Hung-Che Chen, Jyh-Da Wei |
| Can Collective Sentiment Expressed on Twitter Predict Political Elections? | |
| Jessica Elan Chung, Eni Mustafaraj |
| Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation | |
| Christian Drescher, Toby Walsh |
| Probabilistic Plan Graph Heuristic for Probabilistic Planning | |
| Yolanda E-Martín, Maria D. R-Moreno, David E. Smith |
| Optimal Subset Selection for Active Learning | |
| Yifan Fu, Xingquan Zhu |
| Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator Agents | |
| Katsuhide Fujita, Takayuki Ito, Mark Klein |
| Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems | |
| Jian Gao, Minghao Yin, Junping Zhou |
| Role-Based Ad Hoc Teamwork | |
| Katie Long Genter, Noa Agmon, Peter Stone |
| Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation | |
| Aman Goel, Craig A. Knoblock, Kristina Lerman |
| Large Scale Diagnosis Using Associations between System Outputs and Components | |
| Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu |
| On the Discovery and Utility of Precedence Constraints in Temporal Planning | |
| Yanmei Hu, Minghao Yin, Dunbo Cai |
| Exact Phase Transitions and Approximate Algorithm of #CSP | |
| Ping Huang, Minghao Yin, Ke Xu |
| Extending the Applications of Recent Real-Time Heuristic Search | |
| Daniel Andrew Huntley, Vadim Bulitko |
| Multiple-Instance Learning: Multiple Feature Selection on Instance Representation | |
| I-Hong Jhuo, D. T. Lee |
| An Event-Based Framework for Process Inference | |
| Michael Joya |
| Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and Proprioception | |
| Philip Koonce, Vasha Dutell, Jose Farrington, Vladimir Sukhoy, Alexander Stoytchev |
| Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract) | |
| Levi Lelis, Sandra Zilles, Robert Craig Holte |
| An Empirical Study of Bagging Predictors for Different Learning Algorithms | |
| Guohua Liang, Xingquan Zhu, Chengqi Zhang |
| An Efficient and Complete Approach for Cooperative Path-Finding | |
| Ryan Luna, Kostas E. Bekris |
| Generating Explanations for Complex Biomedical Queries | |
| Umut Öztok, Esra Erdem |
| An Intelligent System for Prolonging Independent Living of Elderly | |
| Bogdan Pogorelc |
| Evolution of Node Behavior in Link Prediction | |
| Baojun Qiu, Qi He, John Yen |
| Web Personalization and Cohort Information Services for Natural Resource Managers | |
| Crystal E. Redman |
| Using Partitions and Superstrings for Lossless Compression of Pattern Databases | |
| Ethan L. Schreiber, Richard E. Korf |
| Convergence Properties of (μ + λ) Evolutionary Algorithms | |
| Aram Ter-Sarkisov, Stephen Marsland |
| On the Effectiveness of Belief State Representation in Contingent Planning | |
| Son Thanh To, Tran Cao Son, Enrico Pontelli |
| A Bayesian Reinforcement Learning framework Using Relevant Vector Machines | |
| Nikolaos Tziortziotis, Konstantinos Blekas |
| A Framework for Integration of Logical and Probabilistic Knowledge | |
| Jingsong Wang, Marco Valtorta |
| Solution Quality Improvements for Massively Multi-Agent Pathfinding | |
| Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby |
| Online Updating the Generalized Inverse of Centered Matrices | |
| Qing Wang, Liang Zhang |
| Modeling Opponent Actions for Table-Tennis Playing Robot | |
| Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters |
| Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs | |
| Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| A Local Monte Carlo Tree Search Approach in Deterministic Planning | |
| Fan Xie, Hootan Nakhost, Martin Müller |
| Discovering Latent Strategies | |
| Xiaoxi Xu |
Robotics Program
| Learning Tasks and Skills Together From a Human Teacher | |
| Baris Akgun, Kaushik Subramanian, Jaeeun Shim, Andrea Lockerd Thomaz |
| Can Quadrotors Succeed as an Educational Platform? | |
| Zachary Dodds |
| Playing Chess with a Human-Scale Mobile Manipulator | |
| Michael Ferguson, Kim Gero, Joao Salles, James Weis |
| A Robotics Environment for Software Engineering Courses | |
| Stephan Goebel, Ruben Jubeh, Simon-Lennert Raesch |
| Lego Plays Chess: A Low-Cost, Low-Complexity Approach to Intelligent Robotics | |
| Michael Lanighan, Jerod Sikorskyj, Debra Burhans, Robert Selkowitz |
| Learning from Demonstration in Spatial Exploration | |
| J. Pablo Munoz, Arif T. Ozgelen, Elizabeth Sklar |
| Approaches to Multi-Robot Exploration and Localization | |
| Arif T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, J. Pablo Munoz, Simon Parsons, Elizabeth Sklar |
| Hekateros: A Desktop 5 Degree-of-Freedom Robot Arm for the Small-Scale Manipulation Robot Chess Challenge | |
| Kim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kuhns, Brent Wilkins, Robert Shiely |