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

CoreCluster: A Degeneracy Based Graph Clustering Framework PDF
Christos Giatsidis, Fragkiskos Malliaros, Dimitrios Thilikos, Michalis Vazirgiannis

Main Track: Applications

Where and Why Users "Check In" PDF
Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan

Main Track: Computational Sustainability and AI

Spatial Scan for Disease Mapping on a Mobile Population PDF
Liang Lan, Vuk Malbasa, Slobodan Vucetic
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
Efficient Buyer Groups for Prediction-of-Use Electricity Tariffs PDF
Valentin Robu, Meritxell Vinyals, Alex Rogers, Nicholas R. Jennings
Effective Management of Electric Vehicle Storage Using Smart Charging PDF
Konstantina Valogianni, Wolfgang Ketter, John Collins, Dmitry Zhdanov

Main Track: Game Theory and Economic Paradigms

False-Name Bidding and Economic Efficiency in Combinatorial Auctions PDF
Colleen Alkalay-Houlihan, Adrian Vetta
Mechanism Design for Scheduling with Uncertain Execution Time PDF
Vincent Conitzer, Angelina Vidali
Equilibria in Epidemic Containment Games PDF
Sudip Saha, Abhijin Adiga, Anil Kumar S. Vullikanti

Main Track: Heuristic Search and Optimization

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: Machine Learning Applications

Evaluating Trauma Patients: Addressing Missing Covariates with Joint Optimization PDF
Alex Van Esbroeck, Satinder Singh, Ilan Rubinfeld, Zeeshan Syed

Main Track: Multiagent Systems

Symbolic Model Checking Epistemic Strategy Logic PDF
Xiaowei Huang, Ron van der Meyden

Main Track: Novel Machine Learning Algorithms

Distribution-Aware Sampling and Weighted Model Counting for SAT PDF
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
Non-Linear Label Ranking for Large-Scale Prediction of Long-Term User Interests PDF
Nemanja Djuric, Mihajlo Grbovic, Vladan Radosavljevic, Narayan Bhamidipati, Slobodan Vucetic
Spectral Thompson Sampling PDF
Tomáš Kocák, Michal Valko, Rémi Munos, Shipra Agrawal
Reconsidering Mutual Information Based Feature Selection: A Statistical Significance View PDF
Nguyen Xuan Vinh, Jeffrey Chan, James Bailey

Main Track: Planning and Scheduling

Scheduling for Transfers in Pickup and Delivery Problems with Very Large Neighborhood Search PDF
Brian Coltin, Manuela Veloso
Parametrized Families of Hard Planning Problems from Phase Transitions PDF
Eleanor Rieffel, Davide Venturelli, Minh Do, Itay Hen, Jeremy Frank

Main Track: Reasoning under Uncertainty

Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference PDF
Mathias Niepert, Guy Van den Broeck
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics PDF
Joris Renkens, Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Decentralized Stochastic Planning with Anonymity in Interactions PDF
Pradeep Varakantham, Yossiri Adulyasak, Patrick Jaillet
Point-Based POMDP Solving with Factored Value Function Approximation PDF
Tiago Veiga, Matthijs Spaan, Pedro Lima

Main Track: Robotics

Schedule-Based Robotic Search for Multiple Residents in a Retirement Home Environment PDF
Markus Sebastian Schwenk, Tiago Stegun Vaquero, Goldie Nejat, Kai O. Arras

Main Track: Search and Constraint Satisfaction

Propagating Regular Counting Constraints PDF
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Q-Intersection Algorithms for Constraint-Based Robust Parameter Estimation PDF
Clement Carbonnel, Gilles Trombettoni, Philippe Vismara, Gilles Chabert

Student Abstracts

A Data Complexity Approach to Kernel Selection for Support Vector Machines PDF
Roberto Valerio, Ricardo Vilalta
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.