Main Track — Graphical Models
Pushing Forward Marginal MAP with Best-First Search | |
Radu Marinescu, Rina Dechter, Alexander Ihler |
Main Track — Heuristic Search
Interplanetary Trajectory Planning with Monte Carlo Tree Search | |
Daniel Hennes, Dario Izzo |
Main Track — Multidisciplinary Topics and Applications
A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments | |
Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock |
Main Track — Natural Language Processing
Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora | |
Meiping Dong, Yang Liu, Huanbo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang |
Main Track — Planning
Optimal Planning with Axioms | |
Franc Ivankovic, Patrik Haslum |
Main Track — Satisfiability
Efficient Model Based Diagnosis with Maximum Satisfiability | |
Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado |
Prime Compilation of Non-Clausal Formulae | |
Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva |
Computational Sustainability Track
Secure Routing in Wireless Sensor Networks via POMDPs | |
Athirai A. Irissappane, Jie Zhang, Frans A. Oliehoek, Partha S. Dutta |
Knowledge Representation Track
Epistemic Equilibrium Logic | |
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su |
Machine Learning Track
Policy Shaping with Human Teachers | |
Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz |
Doctoral Consortium
Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems | |
Athirai A. Irissappane |