Artificial Intelligence and the Web
| 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 Mouse-Trajectory Based Model for Predicting Query-URL Relevance | |
| Song Hengjie, Ruoxue Liao, Xiangliang Zhang, Chunyan Miao, Qiang Yang |
| Ontological Smoothing for Relation Extraction with Minimal Supervision | |
| Congle Zhang, Raphael Hoffmann, Daniel Sabey Weld |
| Towards Automated Choreographing of Web Services Using Planning | |
| Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang |
Cognitive Systems
| 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 |
| Using Expectations to Drive Cognitive Behavior | |
| Unmesh Kurup, Christian Lebiere, Anthony Stentz, Martial Hebert |
Computational Sustainability and Artificial Intelligence
| Sensing the Air We Breathe — The OpenSense Zurich Dataset | |
| Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel |
Constraints, Satisfiability, and Search
| Partial-Expansion A* with Selective Node Generation | |
| Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan Sturtevant, Jonathan Schaeffer, Robert Holte |
| Fast and Accurate Predictions of IDA*'s Performance | |
| Levi H. S. Lelis, Sandra Zilles, Robert C. Holte |
| Predicting Satisfiability at the Phase Transition | |
| Lin Xu, Holger H. Hoos, Kevin Leyton-Brown |
Knowledge-Based Information Systems
| 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 |
| Random Projection with Filtering for Nearly Duplicate Search | |
| Yue Lin, Rong Jin, Deng Cai, Xiaofei He |
| Low-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization | |
| Feiping Nie, Heng Huang, Chris Ding |
Knowledge Representation and Reasoning
| 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 |
Machine Learning
| Multi-Label Learning by Exploiting Label Correlations Locally | |
| Sheng-Jun Huang, Zhi-Hua Zhou |
| Towards Discovering What Patterns Trigger What Labels | |
| Yu-Feng Li, Ju-Hua Hu, Yuang Jiang, Zhi-Hua Zhou |
| Context Tree Maximizing | |
| Phuong Minh Nguyen, Peter Sunehag, Marcus Hutter |
| Investigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction | |
| Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto, Marco Saerens |
| 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 |
| Efficient Online Learning for Large-Scale Sparse Kernel Logistic Regression | |
| Lijun Zhang, Rong Jin, Chun Chen, Jiajun Bu, Xiaofei He |
| Hierarchical Modeling with Tensor Inputs | |
| Yada Zhu, Jingrui He, Rick Lawrence |
Multiagent Systems
| Optimal Proportional Cake Cutting with Connected Pieces | |
| Xiaohui Bei, Ning Chen, Xia Hua, Biaoshuai Tao, Endong Yang |
| A Multivariate Complexity Analysis of Lobbying in Multiple Referenda | |
| Robert Bredereck, Jiehua Chen, Sepp Hartung, Rolf Niedermeier, Ondřej Suchý, Stefan Kratsch |
| Negotiation in Exploration-Based Environment | |
| Israel Sofer, David Sarne, Avinatan Hassidim |
Multidisciplinary Topics
| 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 |
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 |
Reasoning about Plans, Processes, and Actions
| The Linear Distance Traveling Tournament Problem | |
| Richard Hoshino, Ken-ichi Kawarabayashi |
| POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing | |
| Carlos Sarraute, Olivier Buffet, Jörg Hoffmann |
Reasoning Under Uncertainty
| Exact Lifted Inference with Distinct Soft Evidence on Every Object | |
| Hung B. Bui, Tuyen N. Huynh, Rodrigo de Salvo Braz |
| 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 |
Robotics
| 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 |
Spotlight
| 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 |
Student Abstracts
| A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty | |
| Hadi Hosseini, Jesse Hoey, Robin Cohen |
| Mining Context-Aware Significant Travel Sequences from Geotagged Social Media | |
| Abdul Majid, Ling Chen, Hamid Turab Mirza, Ibrar Hussain, Gencai Chen |
Doctoral Consortium
| 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 |