Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

Main Track: AI and the Web

How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance PDF
Yong-Bin Kang, Jeff Z. Pan, Shonali Krishnaswamy, Wudhichart Sawangphol, Yuan-Fang Li
Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations PDF
Naoto Ohsaka, Takuya Akiba, Yuichi Yoshida, Ken-ichi Kawarabayashi
Stochastic Privacy PDF
Adish Singla, Eric Horvitz, Ece Kamar, Ryen White
Capturing Difficulty Expressions in Student Online Q&A Discussions PDF
Jaebong Yoo, Jihie Kim

Main Track: Cognitive Systems

Learning Compositional Sparse Models of Bimodal Percepts PDF
Suren Kumar, Vikas Dhiman, Jason J. Corso

Main Track: Computational Sustainability and AI

Spatio-Temporal Consistency as a Means to Identify Unlabeled Objects in a Continuous Data Field PDF
James Faghmous, Hung Nguyen, Matthew Le, Vipin Kumar
Effective Management of Electric Vehicle Storage Using Smart Charging PDF
Konstantina Valogianni, Wolfgang Ketter, John Collins, Dmitry Zhdanov
Contextually Supervised Source Separation with Application to Energy Disaggregation PDF
Matt Wytock, J. Zico Kolter

Main Track: Game Playing and Interactive Entertainment

Generating Content for Scenario-Based Serious-Games Using CrowdSourcing PDF
Sigal Sina, Avi Rosenfeld, Sarit Kraus

Main Track: Game Theory and Economic Paradigms

Simultaneous Cake Cutting PDF
Eric Balkanski, Simina Brânzei, David Kurokawa, Ariel D. Procaccia
Biased Games PDF
Ioannis Caragiannis, David Kurokawa, Ariel D. Procaccia
New Models for Competitive Contagion PDF
Moez Draief, Hoda Heidari, Michael Kearns
Envy-Free Division of Sellable Goods PDF
Jeremy Karp, Aleksandr M. Kazachkov, Ariel D. Procaccia
Betting Strategies, Market Selection, and the Wisdom of Crowds PDF
Willemien Kets, David M. Pennock, Rajiv Sethi, Nisarg Shah
Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino PDF
Troels Bjerre Sørensen, Melissa Dalis, Joshua Letchford, Dmytro Korzhyk, Vincent Conitzer

Main Track: Heuristic Search and Optimization

Relaxation Search: A Simple Way of Managing Optional Clauses PDF
Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos
Parallel Restarted Search PDF
Andre Cire, Serdar Kadioglu, Meinolf Sellmann
Elimination Ordering in Lifted First-Order Probabilistic Inference PDF
Seyed Mehran Kazemi, David Poole
Identifying Hierarchies for Fast Optimal Search PDF
Tansel Uras, Sven Koenig

Main Track: Human-Computation and Crowd Sourcing

Signals in the Silence: Models of Implicit Feedback in a Recommendation System for Crowdsourcing PDF
Christopher H Lin, Ece Kamar, Eric Horvitz

Main Track: Humans and AI

Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust PDF
Cody Buntain, Amos Azaria, Sarit Kraus

Main Track: Knowledge Representation and Reasoning

The Complexity of Reasoning with FODD and GFODD PDF
Benjamin J. Hescott, Roni Khardon
A Constructive Argumentation Framework PDF
Souhila Kaci, Yakoub Salhi
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning PDF
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Qualitative Reasoning with Modelica Models PDF
Matthew Evans Klenk, Johan de Kleer, Daniel Bobrow, Bill Janssen
A Parameterized Complexity Analysis of Generalized CP-Nets PDF
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
Using Model-Based Diagnosis to Improve Software Testing PDF
Tom Zamir, Roni Tzvi Stern, Meir Kalech

Main Track: Machine Learning Applications

Predicting Postoperative Atrial Fibrillation from Independent ECG Components PDF
Chih-Chun Chia, James Blum, Zahi Karam, Satinder Singh, Zeeshan Syed
Accurate Integration of Aerosol Predictions by Smoothing on a Manifold PDF
Shuai Zheng, James Kwok

Main Track: Multiagent Systems

The Computational Rise and Fall of Fairness PDF
John P Dickerson, Jonathan Goldman, Jeremy Karp, Ariel D Procaccia, Tuomas Sandholm
Scalable Complex Contract Negotiation with Structured Search and Agenda Management PDF
Xiaoqin Shelley Zhang, Mark Klein, Ivan Marsa-Maestre

Main Track: NLP and Machine Learning

Unsupervised Alignment of Natural Language Instructions with Video Segments PDF
Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry Kautz, Jiebo Luo, Daniel Gildea

Main Track: Novel Machine Learning Algorithms

Active Learning with Model Selection PDF
Alnur Ali, Rich Caruana, Ashish Kapoor
Multilabel Classification with Label Correlations and Missing Labels PDF
Wei Bi, James T Kwok
Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence PDF
Tim Brys, Ann Nowé, Daniel Kudenko, Matthew E. Taylor
Optimal Neighborhood Preserving Visualization by Maximum Satisfiability PDF
Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski
Large-Scale Optimistic Adaptive Submodularity PDF
Victor Gabillon, Branislav Kveton, Zheng Wen, Brian Eriksson, S. Muthukrishnan
Monte Carlo Filtering Using Kernel Embedding of Distributions PDF
Motonobu Kanagawa, Yu Nishiyama, Arthur Gretton, Kenji Fukumizu
Power Iterated Color Refinement PDF
Kristian Kersting, Martin Mladenov, Roman Garnett, Martin Grohe
Spectral Thompson Sampling PDF
Tomáš Kocák, Michal Valko, Rémi Munos, Shipra Agrawal
Non-Convex Feature Learning via Lp,inf Operator PDF
Deguang Kong, Chris Ding
Pairwise-Covariance Linear Discriminant Analysis PDF
Deguang Kong, Chris Ding
Constructing Symbolic Representations for High-Level Planning PDF
George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez
Feature-Cost Sensitive Learning with Submodular Trees of Classifiers PDF
Matt Kusner, Wenlin Chen, Quan Zhou, Zhixiang (Eddie) Xu, Kilian Weinberger, Yixin Chen
Scalable Sparse Covariance Estimation via Self-Concordance PDF
Anastasios Kyrillidis, Rabeeh Karimi Mahabadi, Quoc Tran Dinh, Volkan Cevher
Robust Non-Negative Dictionary Learning PDF
Qihe Pan, Deguang Kong, Chris Ding, Bin Luo
A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures PDF
Amir Sadeghipour, Stefan Kopp
Efficient Generalized Fused Lasso and its Application to the Diagnosis of Alzheimer’s Disease PDF
Bo Xin, Yoshinobu Kawahara, Yizhou Wang, Wen Gao
Gradient Descent with Proximal Average for Nonconvex and Composite Regularization PDF
Wenliang Zhong, James T. Kwok

Main Track: Planning and Scheduling

Solving the Traveling Tournament Problem by Packing Three-Vertex Paths PDF
Marc Goerigk, Richard Hoshino, Ken-ichi Kawarabayashi, Stephan Westphal
Grandpa Hates Robots - Interaction Constraints for Planning in Inhabited Environments PDF
Uwe Koeckemann, Federico Pecora, Lars Karlsson
Backdoors to Planning PDF
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints PDF
T. K. Satish Kumar, Duc Thien Nguyen, William Yeoh, Sven Koenig
Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints PDF
Jonathan Sprauel, Andrey Kolobov, Florent Teichteil-Königsbuch
Optimal Decoupling in Linear Constraint Systems PDF
Cees Witteveen, Michel Wilson, Tomas Klos

Main Track: Reasoning under Uncertainty

Lifting Relational MAP-LPs Using Cluster Signatures PDF
Udi Apsel, Kristian Kersting, Martin Mladenov
Relational One-Class Classification: A Non-Parametric Approach PDF
Tushar Khot, Sriraam Natarajan, Jude Shavlik
Predicting the Hardness of Learning Bayesian Networks PDF
Brandon Malone, Kustaa Kangas, Matti Jarvisalo, Mikko Koivisto, Petri Myllymaki
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics PDF
Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

Main Track: Robotics

Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments PDF
Ryan J Luna, Morteza Lahijanian, Mark Moll, Lydia E Kavraki

Main Track: Search and Constraint Satisfaction

A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants PDF
Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis
DJAO: A Communication-Constrained DCOP Algorithm that Combines Features of ADOPT and Action-GDL PDF
Yoonheui Kim, Victor Lesser
Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning PDF
Charalampos Nikolaou, Manolis Koubarakis
Cached Iterative Weakening for Optimal Multi-Way Number Partitioning PDF
Ethan L Schreiber, Richard E Korf

Main Track: Vision

Learning to Recognize Novel Objects in One Shot through Human-Robot Interactions in Natural Language Dialogues PDF
Evan A. Krause, Michael Zillich, Thomas Williams, Matthias Scheutz

Doctoral Consortium

The Semantic Interpretation of Trust in Multiagent Interactions PDF
Anup Kumar Kalia
Modeling Argumentation and Explanation in the Social Web PDF
Taraneh Khazaei

Student Abstracts

Monte-Carlo Simulation Adjusting PDF
Nobuo Araki, Masakazu Muramatsu, Hoki Kunihito, Satoshi Takahashi
Advice Provision for Choice Selection Processes with Ranked Options PDF
Amos Azaria, Ya'akov Gal, Claudia V. Goldman, Sarit Kraus
Genotypic versus Behavioural Diversity for Teams of Programs under the 4-v-3 Keepaway Soccer Task PDF
Stephen Kelly, Malcolm I Heywood
A Novel Single-DBN Generative Model for Optimizing POMDP Controllers by Probabilistic Inference PDF
Igor Kiselev, Pascal Poupart
Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies PDF
Jia Xu, Ubbo Visser, Mansur Kabuka

Copyright © 2018 Association for the Advancement of Artificial Intelligence. All Rights Reserved.