Artificial Intelligence and the Web
| Querying Linked Ontological Data through Distributed Summarization | |
| Achille Fokoue, Felipe Meneguzzi, Murat Sensoy, Jeff Z. Pan |
Cognitive Systems
| Learning Qualitative Models by Demonstration | |
| Thomas R. Hinrichs, Kenneth D. Forbus |
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 |
| 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 |
| Patrol Strategies to Maximize Pristine Forest Area | |
| Matthew Paul Johnson, Fei Fang, Milind Tambe |
| Sensing the Air We Breathe — The OpenSense Zurich Dataset | |
| Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel |
| Scheduling Conservation Designs via Network Cascade Optimization | |
| Shan Xue, Alan Fern, Daniel Sheldon |
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 |
| Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters | |
| Alex Fukunaga, Akihiro Kishimoto, Adi Botea |
| DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems | |
| Brammert Ottens, Christos Dimitrakakis, Boi Faltings |
| 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 Sturtevant |
Knowledge-Based Information Systems
| Table Header Detection and Classification | |
| Jing Fang, Prasenjit Mitra, Zhi Tang, C. Lee Giles |
| Modeling the Evolution of Knowledge in Learning Systems | |
| Abhishek Sharma, Kenneth D. Forbus |
Knowledge Representation and Reasoning
| 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 |
| Exploring the Duality in Conflict-Directed Model-Based Diagnosis | |
| Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory Provan |
Multiagent Systems
| On Maxsum Fair Cake Divisions | |
| Steven J. Brams, Michal Feldman, John K. Lai, Jamie Morgenstern, Ariel D. Procaccia |
| The Price of Neutrality for the Ranked Pairs Method | |
| Markus Brill, Felix Fischer |
| Symmetric Subgame Perfect Equilibria in Resource Allocation | |
| Ludek Cigler, Boi Faltings |
| 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 |
| Possible Winners in Noisy Elections | |
| Krzysztof Wojtas, Piotr Faliszewski |
Multidisciplinary Topics
| 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 |
| Cruising with a Battery-Powered Vehicle and Not Getting Stranded | |
| Sabine Storandt, Stefan Funke |
Natural-Language Processing
| 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 |
| Sembler: Ensembling Crowd Sequential Labeling for Improved Quality | |
| Xian Wu, Wei Fan, Yong Yu |
Reasoning about Plans, Processes, and Actions
| Planning in Factored Action Spaces with Symbolic Dynamic Programming | |
| Aswin Raghavan, Saket Joshi, Alan Fern, Prasad Tadepalli, Roni Khardon |
| Symbolic Dynamic Programming for Continuous State and Action MDPs | |
| Zahra Zamani, Scott Sanner, Cheng Fang |
Reasoning Under Uncertainty
| Search Algorithms for m Best Solutions for Graphical Models | |
| Rina Dechter, Natalia Flerova, Radu Marinescu |
Spotlight
| Heuristic Search Comes of Age | |
| Nathan R. Sturtevant, Ariel Felner, Maxim Likhachev, Wheeler Ruml |
Student Abstracts
| 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 |
| Real-Time Collaborative Planning with the Crowd | |
| Walter S. Lasecki, Jeffrey P. Bigham, James F. Allen, George Ferguson |