Artificial Intelligence and the Web
| Correlated Cascades: Compete or Cooperate | |
| Ali Zarezade, Ali Khodadadi, Mehrdad Farajtabar, Hamid R. Rabiee, Hongyuan Zha |
Cognitive Modeling and Cognitive Systems
| Associative Memory Using Dictionary Learning and Expander Decoding | |
| Arya Mazumdar, Ankit Singh Rawat |
Game Theory and Economic Paradigms
| Algorithms for Max-Min Share Fair Allocation of Indivisible Chores | |
| Haris Aziz, Gerhard Rauchecker, Guido Schryen, Toby Walsh |
| Revenue Maximization for Finitely Repeated Ad Auctions | |
| Jiang Rong, Tao Qin, Bo An, Tie-Yan Liu |
| Axiomatic Characterization of Game-Theoretic Network Centralities | |
| Oskar Skibski, Tomasz P. Michalak, Talal Rahwan |
Heuristic Search and Optimization
| Going Beyond Primal Treewidth for (M)ILP | |
| Robert Ganian, Sebastian Ordyniak, M. S. Ramanujan |
| Automated Data Extraction Using Predictive Program Synthesis | |
| Mohammad Raza, Sumit Gulwani |
| Grid Pathfinding on the 2k Neighborhoods | |
| Nicolas Rivera, Carlos Hernández, Jorge A. Baier |
Humans and Artificial Intelligence
| Psychologically Based Virtual-Suspect for Interrogative Interview Training | |
| Moshe Bitan, Galit Nahari, Zvi Nisin, Ariel Roth, Sarit Kraus |
| PIVE: Per-Iteration Visualization Environment for Real-Time Interactions with Dimension Reduction and Clustering | |
| Hannah Kim, Jaegul Choo, Changhyun Lee, Hanseung Lee, Chandan K. Reddy, Haesun Park |
Knowledge Representation and Reasoning
| On the Computation of Paracoherent Answer Sets | |
| Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic | |
| Sebastian Brandt, Elem Güzel Kalaycı, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining | |
| Christoph Redl |
| On Equivalence and Inconsistency of Answer Set Programs with External Sources | |
| Christoph Redl |
Machine Learning Applications
| ICU Mortality Prediction: A Classification Algorithm for Imbalanced Datasets | |
| Sakyajit Bhattacharya, Vaibhav Rajan, Harsh Shrivastava |
| A Framework for Minimal Clustering Modification via Constraint Programming | |
| Chia-Tung Kuo, S. S. Ravi, Thi-Bich-Hanh Dao, Christel Vrain, Ian Davidson |
| Knowing What to Ask: A Bayesian Active Learning Approach to the Surveying Problem | |
| Yoad Lewenberg, Yoram Bachrach, Ulrich Paquet, Jeffrey S. Rosenschein |
| A Sparse Dictionary Learning Framework to Discover Discriminative Source Activations in EEG Brain Mapping | |
| Feng Liu, Shouyi Wang, Jay Rosenberger, Jianzhong Su, Hanli Liu |
| Data-Driven Approximations to NP-Hard Problems | |
| Anton Milan, S. Hamid Rezatofighi, Ravi Garg, Anthony Dick, Ian Reid |
| Enabling Dark Energy Science with Deep Generative Models of Galaxy Images | |
| Siamak Ravanbakhsh, Francois Lanusse, Rachel Mandelbaum, Jeff Schneider, Barnabas Poczos |
| Unsupervised Deep Learning for Optical Flow Estimation | |
| Zhe Ren, Junchi Yan, Bingbing Ni, Bin Liu, Xiaokang Yang, Hongyuan Zha |
Machine Learning Methods
| Scalable Optimization of Multivariate Performance Measures in Multi-instance Multi-label Learning | |
| Apoorv Aggarwal, Sandip Ghoshal, Ankith M. S. Shetty, Suhit Sinha, Ganesh Ramakrishnan, Purushottam Kar, Prateek Jain |
| The Bernstein Mechanism: Function Release under Differential Privacy | |
| Francesco Aldà, Benjamin I. P. Rubinstein |
| Heavy-Tailed Analogues of the Covariance Matrix for ICA | |
| Joseph Anderson, Navin Goyal, Anupama Nandi, Luis Rademacher |
| Learning Residual Alternating Automata | |
| Sebastian Berndt, Maciej Liśkiewicz, Matthias Lutter, Rüdiger Reischuk |
| PAC Identification of a Bandit Arm Relative to a Reward Quantile | |
| Arghya Roy Chaudhuri, Shivaram Kalyanakrishnan |
| Estimating the Maximum Expected Value in Continuous Reinforcement Learning Problems | |
| Carlo D'Eramo, Alessandro Nuara, Matteo Pirotta, Marcello Restelli |
| From Shared Subspaces to Shared Landmarks: A Robust Multi-Source Classification Approach | |
| Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey, Kotagiri Ramamohanarao |
| A Nearly-Black-Box Online Algorithm for Joint Parameter and State Estimation in Temporal Models | |
| Yusuf Bugra Erol, Yi Wu, Lei Li, Stuart Russell |
| On Learning High Dimensional Structured Single Index Models | |
| Ravi Ganti, Nikhil Rao, Laura Balzano, Rebecca Willett, Robert Nowak |
| Learning Unitary Operators with Help From u(n) | |
| Stephanie L. Hyland, Gunnar Rätsch |
| Recovering True Classifier Performance in Positive-Unlabeled Learning | |
| Shantanu Jain, Martha White, Predrag Radivojac |
| Dynamic Action Repetition for Deep Reinforcement Learning | |
| Aravind S. Lakshminarayanan, Sahil Sharma, Balaraman Ravindran |
| Inductive Pairwise Ranking: Going Beyond the n log(n) Barrier | |
| U.N. Niranjan, Arun Rajkumar |
| Unimodal Thompson Sampling for Graph-Structured Arms | |
| Stefano Paladino, Francesco Trovò, Marcello Restelli, Nicola Gatti |
| A General Clustering Agreement Index: For Comparing Disjoint and Overlapping Clusters | |
| Reihaneh Rabbany, Osmar R. Zaïane |
| Non-Negative Inductive Matrix Completion for Discrete Dyadic Data | |
| Piyush Rai |
| Online Active Linear Regression via Thresholding | |
| Carlos Riquelme, Ramesh Johari, Baosen Zhang |
| Unbiased Multivariate Correlation Analysis | |
| Yisen Wang, Simone Romano, Vinh Nguyen, James Bailey, Xingjun Ma, Shu-Tao Xia |
Multiagent Systems
| Solving Seven Open Problems of Offline and Online Control in Borda Elections | |
| Marc Neveling, Jörg Rothe |
| Nurturing Group-Beneficial Information-Gathering Behaviors Through Above-Threshold Criteria Setting | |
| Igor Rochlin, David Sarne, Maytal Bremer, Ben Grynhaus |
Natural Language Processing and Knowledge Representation
| Unit Dependency Graph and Its Application to Arithmetic Word Problem Solving | |
| Subhro Roy, Dan Roth |
Natural Language Processing and Text Mining
| Salience Estimation via Variational Auto-Encoders for Multi-Document Summarization | |
| Piji Li, Zihao Wang, Wai Lam, Zhaochun Ren, Lidong Bing |
| Collaborative User Clustering for Short Text Streams | |
| Shangsong Liang, Zhaochun Ren, Emine Yilmaz, Evangelos Kanoulas |
| Word Embedding Based Correlation Model for Question/Answer Matching | |
| Yikang Shen, Wenge Rong, Nan Jiang, Baolin Peng, Jie Tang, Zhang Xiong |
Planning and Scheduling
| Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic | |
| Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| An Analysis of Monte Carlo Tree Search | |
| Steven James, George Konidaris, Benjamin Rosman |
| Schematic Invariants by Reduction to Ground Invariants | |
| Jussi Rintanen |
Reasoning under Uncertainty
| Optimizing Expectation with Guarantees in POMDPs | |
| Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Đorđe Žikelić |
| Misspecified Linear Bandits | |
| Avishek Ghosh, Sayak Ray Chowdhury, Aditya Gopalan |
| Multi-Objective Influence Diagrams with Possibly Optimal Policies | |
| Radu Marinescu, Abdul Razak, Nic Wilson |
| Hindsight Optimization for Hybrid State and Action MDPs | |
| Aswin Raghavan, Scott Sanner, Roni Khardon, Prasad Tadepalli, Alan Fern |
| I See What You See: Inferring Sensor and Policy Models of Human Real-World Motor Behavior | |
| Felix Schmitt, Hans-Joachim Bieg, Michael Herman, Constantin A. Rothkopf |
Robotics
| Unsupervised Feature Learning for 3D Scene Reconstruction with Occupancy Maps | |
| Vitor Campanholo Guizilini, Fabio Tozeto Ramos |
Search and Constraint Satisfaction
| Maximum Model Counting | |
| Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia |
| Phase Transitions for Scale-Free SAT Formulas | |
| Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew M. Sutton |
| Between Subgraph Isomorphism and Maximum Common Subgraph | |
| Ruth Hoffmann, Ciaran McCreesh, Craig Reilly |
| Soft and Cost MDD Propagators | |
| Guillaume Perez, Jean-Charles Régin |
| Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable | |
| M. S. Ramanujan, Stefan Szeider |
Vision
| Online Multi-Target Tracking Using Recurrent Neural Networks | |
| Anton Milan, S. Hamid Rezatofighi, Anthony Dick, Ian Reid, Konrad Schindler |
| Title Learning Latent Subevents in Activity Videos Using Temporal Attention Filters | |
| A. J. Piergiovanni, Chenyou Fan, Michael S. Ryoo |
| Privacy-Preserving Human Activity Recognition from Extreme Low Resolution | |
| Michael S. Ryoo, Brandon Rothrock, Charles Fleming, Hyun Jong Yang |
Special Track on Cognitive Systems
| Towards Continuous Scientific Data Analysis and Hypothesis Evolution | |
| Yolanda Gil, Daniel Garijo, Varun Ratnakar, Rajiv Mayani, Ravali Adusumilli, Hunter Boyce, Arunima Srivastava, Parag Mallick |
Special Track on Computational Sustainability
| Regularization in Hierarchical Time Series Forecasting with Application to Electricity Smart Meter Data | |
| Souhaib Ben Taieb, Jiafan Yu, Mateus Neves Barreto, Ram Rajagopal |
| Dynamic Optimization of Landscape Connectivity Embedding Spatial-Capture-Recapture Information | |
| Yexiang Xue, Xiaojian Wu, Dana Morin, Bistra Dilkina, Angela Fuller, J. Andrew Royle, Carla P. Gomes |
Special Track on Integrated Systems
| Learning to Predict Intent from Gaze During Robotic Hand-Eye Coordination | |
| Yosef Razin, Karen Feigh |
| Vision-Language Fusion for Object Recognition | |
| Sz-Rung Shiang, Stephanie Rosenthal, Anatole Gershman, Jaime Carbonell, Jean Oh |
| State Projection via AI Planning | |
| Shirin Sohrabi, Anton V. Riabov, Octavian Udrea |
EAAI Symposium Full Papers
| Dude, Where's My Robot?: A Localization Challenge for Undergraduate Robotics | |
| Paul Ruvolo |
EAAI Symposium Poster Papers
| Online SPARC for Drawing and Animation | |
| Elias Marcopoulos, Maede Rayatidamavandi, Crisel Suarez, Yuanlin Zhang |
EAAI Model AI Assignments
| Model AI Assignments 2017 | |
| Todd W. Neller, Joshua Eckroth, Sravana Reddy, Joshua Ziegler, Jason Bindewald, Gilbert Peterson, Thomas Way, Paula Matuszek, Lillian Cassel, Mary-Angela Papalaskari, Carol Weiss, Ariel Anders, Sertac Karaman |
Senior Member Blue Sky
| Strategic Social Network Analysis | |
| Tomasz P. Michalak, Talal Rahwan, Michael Wooldridge |
Senior Member Summary Talks
| Incidental Supervision: Moving beyond Supervised Learning | |
| Dan Roth |
Student Abstracts
| Cross-Domain Sentiment Classification via Topic-Related TrAdaBoost | |
| Xingchang Huang, Yanghui Rao, Haoran Xie, Tak-Lam Wong, Fu Lee Wang |
| Wikitop: Using Wikipedia Category Network to Generate Topic Trees | |
| Saravana Kumar, Prasath Rengarajan, Arockia Xavier Annie |
| Semantic Interpretation of Social Network Communities | |
| Tushar Maheshwari, Aishwarya N. Reganti, Upendra Kumar, Tanmoy Chakraborty, Amitava Das |
| A Finite Memory Automaton for Two-Armed Bernoulli Bandit Problems | |
| Ariel Rao |
| Predicting User Roles from Computer Logs Using Recurrent Neural Networks | |
| Aaron Tuor, Samuel Kaplan, Brian Hutchinson, Nicole Nichols, Sean Robinson |
| User Modeling Using LSTM Networks | |
| Konrad Żołna, Bartłomiej Romański |
Doctoral Consortium
| Transfer of Knowledge through Collective Learning | |
| Mohammad Rostami |
What's Hot
| What's Hot in Constraint Programming | |
| Laurent D. Michel, Michel Rueher |
Demonstrations
| Integrating Verbal and Nonvebval Input into a Dynamic Response Spoken Dialogue System | |
| Ting-Yao Hu, Chirag Raman, Salvador Medina Maza, Liangke Gui, Tadas Baltrusaitis, Robert Frederking, Louis-Philippe Morency, Alan W. Black, Maxine Eskenazi |
| Natural Language Dialogue for Building and Learning Models and Structures | |
| Ian Perera, James F. Allen, Lucian Galescu, Choh Man Teng, Mark Burstein, Scott Friedman, David McDonald, Jeffrey Rye |