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

Improving Context and Category Matching for Entity Search PDF
Yueguo Chen, Lexi Gao, Shuming Shi, Xiaoyong Du, Ji-Rong Wen
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
Compact Aspect Embedding for Diversified Query Expansions PDF
Xiaohua Liu, Arbi Bouchoucha, Alessandro Sordoni, Jian-Yun Nie
Stochastic Privacy PDF
Adish Singla, Eric Horvitz, Ece Kamar, Ryen White

Main Track: Applications

Huffman Coding for Storing Non-Uniformly Distributed Messages in Networks of Neural Cliques PDF
Bartosz Boguslawski, Vincent Gripon, Fabrice Seguin, Frédéric Heitzmann
Modeling and Predicting Popularity Dynamics via Reinforced Poisson Processes PDF
Huawei Shen, Dashun Wang, Chaoming Song, Albert-László Barabási

Main Track: Cognitive Modeling

An Agent-Based Model Studying the Acquisition of a Language System of Logical Constructions PDF
Josefina Sierra-Santibanez

Main Track: Cognitive Systems

Large-Scale Analogical Reasoning PDF
Vinay K. Chaudhri, Stijn J. Heymans, Adam Overholtzer, Aaron Spaulding, Michael Wessel

Main Track: Computational Sustainability and AI

Placement of Loading Stations for Electric Vehicles: No Detours Necessary! PDF
Stefan Ernst Funke, Andre Nusser, Sabine Storandt
Challenges in Materials Discovery – Synthetic Generator and Real Datasets PDF
Ronan Le Bras, Richard Bernstein, John M Gregoire, Santosh K Suram, Carla P Gomes, Bart Selman, R. Bruce van Dover
Intelligent System for Urban Emergency Management during Large-Scale Disaster PDF
Xuan Song, Quanshi Zhang, Yoshihide Sekimoto, Ryosuke Shibasaki
TacTex'13: A Champion Adaptive Power Trading Agent PDF
Daniel Urieli, Peter Stone
Rounded Dynamic Programming for Tree-Structured Stochastic Network Design PDF
Xiaojian Wu, Daniel Sheldon, Shlomo Zilberstein
Modeling and Mining Spatiotemporal Patterns of Infection Risk from Heterogeneous Data for Active Surveillance Planning PDF
Bo Yang, Hua Guo, Yi Yang, Benyun Shi, Xiaonong Zhou, Jiming Liu

Main Track: Game Playing and Interactive Entertainment

Approximate Equilibrium and Incentivizing Social Coordination PDF
Elliot Anshelevich, Shreyas Sekar
Solving the Inferential Frame Problem in the General Game Description Language PDF
Javier Romero Davila, Abdallah Saffidine, Michael Thielscher
Generating Content for Scenario-Based Serious-Games Using CrowdSourcing PDF
Sigal Sina, Avi Rosenfeld, Sarit Kraus

Main Track: Game Theory and Economic Paradigms

Fixing a Balanced Knockout Tournament PDF
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Paul Stursberg, Toby Walsh
A Generalization of Probabilistic Serial to Randomized Social Choice PDF
Haris Aziz, Paul Stursberg
Regret Transfer and Parameter Optimization PDF
Noam Brown, Tuomas Sandholm
Modal Ranking: A Uniquely Robust Voting Rule PDF
Ioannis Caragiannis, Ariel D. Procaccia, Nisarg Shah
A Characterization of the Single-Peaked Single-Crossing Domain PDF
Edith Elkind, Piotr Faliszewski, Piotr Skowron
Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games PDF
Sam Ganzfried, Tuomas Sandholm
Increasing VCG Revenue by Decreasing the Quality of Items PDF
Mingyu Guo, Argyrios Deligkas, Rahul Savani
A Control Dichotomy for Pure Scoring Rules PDF
Edith Hemaspaandra, Lane A. Hemaspaandra, Henning Schnoor
Betting Strategies, Market Selection, and the Wisdom of Crowds PDF
Willemien Kets, David M. Pennock, Rajiv Sethi, Nisarg Shah
On the Structure of Synergies in Cooperative Games PDF
Ariel D. Procaccia, Nisarg Shah, Max Lee Tucker
Equilibria in Epidemic Containment Games PDF
Sudip Saha, Abhijin Adiga, Anil Kumar S. Vullikanti
Bounding the Support Size in Extensive Form Games with Imperfect Information PDF
Martin Schmid, Matej Moravcik, Milan Hladik
Two Case Studies for Trading Multiple Indivisible Goods with Indifferences PDF
Akihisa Sonoda, Etsushi Fujita, Taiki Todo, Makoto Yokoo
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
Strategyproof Exchange with Multiple Private Endowments PDF
Taiki Todo, Haixin Sun, Makoto Yokoo

Main Track: Heuristic Search and Optimization

Parallel Restarted Search PDF
Andre Cire, Serdar Kadioglu, Meinolf Sellmann
Designing Fast Absorbing Markov Chains PDF
Stefano Ermon, Carla Gomes, Ashish Sabharwal, Bart Selman
Exponential Deepening A* for Real-Time Agent-Centered Search PDF
Guni Sharon, Ariel Felner, Nathan Sturtevant
Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search PDF
Richard Anthony Valenzano, Nathan R. Sturtevant, Jonathan Schaeffer

Main Track: Humans and AI

Can Agent Development Affect Developer's Strategy? PDF
Avshalom Elmalech, David Sarne, Noa Agmon
Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents PDF
Chen Hajaj, Noam Hazon, David Sarne

Main Track: Knowledge Representation and Reasoning

Managing Change in Graph-Structured Data Using Description Logics PDF
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Capturing Relational Schemas and Functional Dependencies in RDFS PDF
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
A Tractable Approach to ABox Abduction over Description Logic Ontologies PDF
Jianfeng Du, Kewen Wang, Yi-Dong Shen
Exploiting Support Sets for Answer Set Programs with External Evaluations PDF
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams PDF
Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt
A Constructive Argumentation Framework PDF
Souhila Kaci, Yakoub Salhi
Using Model-Based Diagnosis to Improve Software Testing PDF
Tom Zamir, Roni Tzvi Stern, Meir Kalech

Main Track: Machine Learning Applications

A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure PDF
M. Hidayath Ansari, Michael H. Coen, Barbara B Bendlin, Mark A Sager, Sterling C Johnson
Predicting Postoperative Atrial Fibrillation from Independent ECG Components PDF
Chih-Chun Chia, James Blum, Zahi Karam, Satinder Singh, Zeeshan Syed
Generalized Higher-Order Tensor Decomposition via Parallel ADMM PDF
Fanhua Shang, Yuanyuan Liu, James Cheng
Doubly Regularized Portfolio with Risk Minimization PDF
Weiwei Shen, Jun Wang, Shiqian Ma
Evaluating Trauma Patients: Addressing Missing Covariates with Joint Optimization PDF
Alex Van Esbroeck, Satinder Singh, Ilan Rubinfeld, Zeeshan Syed
Adaptive Knowledge Transfer for Multiple Instance Learning in Image Classification PDF
Qifan Wang, Lingyun Ruan, Luo Si

Main Track: Multiagent Systems

The Computational Rise and Fall of Fairness PDF
John P Dickerson, Jonathan Goldman, Jeremy Karp, Ariel D Procaccia, Tuomas Sandholm
Multi-Organ Exchange: The Whole Is Greater than the Sum of its Parts PDF
John P Dickerson, Tuomas Sandholm
Multiagent Metareasoning through Organizational Design PDF
Jason Sleight, Edmund H. Durfee
Give a Hard Problem to a Diverse Team: Exploring Large Action Spaces PDF
Leandro Soriano Marcolino, Haifeng Xu, Albert Xin Jiang, Milind Tambe, Emma Bowring

Main Track: NLP and Knowledge Representation

Joint Morphological Generation and Syntactic Linearization PDF
Linfeng Song, Yue Zhang, Kai Song, Qun Liu

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
On Dataless Hierarchical Text Classification PDF
Yangqiu Song, Dan Roth
Learning Concept Embeddings for Query Expansion by Quantum Entropy Minimization PDF
Alessandro Sordoni, Yoshua Bengio, Jian-Yun Nie
Fused Feature Representation Discovery for High-Dimensional and Sparse Data PDF
Jun Suzuki, Masaaki Nagata

Main Track: Novel Machine Learning Algorithms

PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences PDF
Róbert Busa-Fekete, Balázs Szörényi, Eyke Hüllermeier
Distribution-Aware Sampling and Weighted Model Counting for SAT PDF
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
Encoding Tree Sparsity in Multi-Task Learning: A Probabilistic Framework PDF
Lei Han, Yu Zhang, Guojie Song, Kunqing Xie
Wormhole Hamiltonian Monte Carlo PDF
Shiwei Lan, Jeffrey Streets, Babak Shahbaba
Convex Co-embedding PDF
Farzaneh Mirzazadeh, Yuhong Guo, Dale Schuurmans
Mixing-Time Regularized Policy Gradient PDF
Tetsuro Morimura, Takayuki Osogami, Tomoyuki Shirai
Semantic Data Representation for Improving Tensor Factorization PDF
Makoto Nakatsuji, Yasuhiro Fujiwara, Hiroyuki Toda, Hiroshi Sawada, Jin Zheng, James Alexander Hendler
A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures PDF
Amir Sadeghipour, Stefan Kopp
Sparse Compositional Metric Learning PDF
Yuan Shi, Aurélien Bellet, Fei Sha
Locality Preserving Projection for Domain Adaptation with Multi-Objective Learning PDF
Le Shu, Tianyang Ma, Longin Jan Latecki

Main Track: Planning and Scheduling

Solving Uncertain MDPs by Reusing State Information and Plans PDF
Ping Hou, William Yeoh, Tran Cao Son
Generalized Label Reduction for Merge-and-Shrink Heuristics PDF
Silvan Sievers, Martin Wehrle, Malte Helmert
Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints PDF
Jonathan Sprauel, Andrey Kolobov, Florent Teichteil-Königsbuch

Main Track: Reasoning under Uncertainty

Relational One-Class Classification: A Non-Parametric Approach PDF
Tushar Khot, Sriraam Natarajan, Jude Shavlik
R2: An Efficient MCMC Sampler for Probabilistic Programs PDF
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
Approximate Lifting Techniques for Belief Propagation PDF
Parag Singla, Aniruddh Nath, Pedro M. Domingos
Point-Based POMDP Solving with Factored Value Function Approximation PDF
Tiago Veiga, Matthijs Spaan, Pedro Lima

Main Track: Robotics

Efficient Optimization for Autonomous Robotic Manipulation of Natural Objects PDF
Abdeslam Boularias, James Andrew Bagnell, Anthony Stentz
Robust Visual Robot Localization Across Seasons Using Network Flows PDF
Tayyab Naseer, Luciano Spinello, Wolfram Burgard, Cyrill Stachniss
Schedule-Based Robotic Search for Multiple Residents in a Retirement Home Environment PDF
Markus Sebastian Schwenk, Tiago Stegun Vaquero, Goldie Nejat, Kai O. Arras
Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours PDF
Timothy Wiley, Claude Sammut, Ivan Bratko

Main Track: Search and Constraint Satisfaction

MaxSAT by Improved Instance-Specific Algorithm Configuration PDF
Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann
Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution PDF
Paul Beame, Ashish Sabharwal
Tailoring Local Search for Partial MaxSAT PDF
Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
Backdoors into Heterogeneous Classes of SAT and CSP PDF
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny
A Support-Based Algorithm for the Bi-Objective Pareto Constraint PDF
Renaud Hartert, Pierre Schaus
Double Configuration Checking in Stochastic Local Search for Satisfiability PDF
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
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
Diagram Understanding in Geometry Questions PDF
Min Joon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni
A Generalized Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles of Complex Types PDF
Dror Sholomon, Omid E. David, Nathan S. Netanyahu

Doctoral Consortium

Roles and Teams Hedonic Games PDF
Matthew Jordan Spradling

Student Abstracts

To Share or Not to Share? The Single Agent in a Team Decision Problem PDF
Ofra Amir, Barbara J. Grosz, Roni Stern
A Model for Aggregating Contributions of Synergistic Crowdsourcing Workflows PDF
Yili Fang, Hailong Sun, Richong Zhang, Jinpeng Huai, Yongyi Mao
Communication-Restricted Exploration for Small Teams PDF
Elizabeth A. Jensen, Ken Sugawara
Coordination of Multiple Teams of Robots for an Optimal Global Plan PDF
Zeynep Gozen Saribatur, Esra Erdem, Volkan Patoglu
Inference Graphs: A New Kind of Hybrid Reasoning System PDF
Daniel R. Schlegel, Stuart C. Shapiro
Online Multi-Task Gradient Temporal-Difference Learning PDF
Vishnu Purushothaman Sreenivasan, Haitham Bou Ammar, Eric Eaton
Uncovering Hidden Structure through Parallel Problem Decomposition PDF
Yexiang Xue, Stefano Ermon, Carla Gomes, Bart Selman

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