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
Track:
 

Main Track: AI and the Web

CoreCluster: A Degeneracy Based Graph Clustering Framework PDF
Christos Giatsidis, Fragkiskos Malliaros, Dimitrios Thilikos, Michalis Vazirgiannis
Fraudulent Support Telephone Number Identification Based on Co-Occurrence Information on the Web PDF
Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems PDF
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
Acquiring Comparative Commonsense Knowledge from the Web PDF
Niket Tandon, Gerard de Melo, Gerhard Weikum
Quality-Based Learning for Web Data Classification PDF
Ou Wu, Ruiguang Hu, Xue Mao, Weiming Hu

Main Track: Applications

Synthesis of Geometry Proof Problems PDF
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
Programming by Example Using Least General Generalizations PDF
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Forecasting Potential Diabetes Complications PDF
Yang Yang, Walter Luyten, Lu Liu, Marie-Francine Moens, Jie Tang, Juanzi Li

Main Track: Cognitive Systems

Using Narrative Function to Extract Qualitative Information from Natural Language Texts PDF
Clifton James McFate, Kenneth Forbus, Thomas Hinrichs
Confident Reasoning on Raven's Progressive Matrices Tests PDF
Keith McGreggor, Ashok Goel
Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction PDF
Shiwali Mohan, John Laird
Learning Unknown Event Models PDF
Matthew Molineaux, David W. Aha
Social Planning: Achieving Goals by Altering Others' Mental States PDF
Chris Pearce, Ben Meadows, Pat Langley, Mike Barley

Main Track: Computational Sustainability and AI

Spatial Scan for Disease Mapping on a Mobile Population PDF
Liang Lan, Vuk Malbasa, Slobodan Vucetic

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
Voting with Rank Dependent Scoring Rules PDF
Judy Goldsmith, Jérôme Lang, Nicholas Mattei, Patrice Perny
Item Bidding for Combinatorial Public Projects PDF
Evangelos Markakis, Orestis Telelis
Bounding the Support Size in Extensive Form Games with Imperfect Information PDF
Martin Schmid, Matej Moravcik, Milan Hladik

Main Track: Human-Computation and Crowd Sourcing

Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation PDF
Marina Boia, Claudiu Cristian Musat, Boi Faltings

Main Track: Humans and AI

A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback PDF
Robert Tyler Loftin, James MacGlashan, Bei Peng, Matthew E. Taylor, Michael L. Littman, Jeff Huang, David L. Roberts

Main Track: Knowledge Representation and Reasoning

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness PDF
Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams PDF
Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving PDF
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H Arai

Main Track: Machine Learning Applications

Latent Low-Rank Transfer Subspace Learning for Missing Modality Recognition PDF
Zhengming Ding, Shao Ming, Yun Fu
Calibration-Free BCI Based Control PDF
Jonathan Grizou, Iñaki Iturrate, Luis Montesano, Pierre-Yves Oudeyer, Manuel Lopes
Discovering Better AAAI Keywords via Clustering with Community-Sourced Constraints PDF
Kelly H. Moran, Byron C. Wallace, Carla E. Brodley
Doubly Regularized Portfolio with Risk Minimization PDF
Weiwei Shen, Jun Wang, Shiqian Ma
Hybrid Singular Value Thresholding for Tensor Completion PDF
Xiaoqin Zhang, Zhengyuan Zhou, Di Wang, Yi Ma

Main Track: Multiagent Systems

Congestion Games for V2G-Enabled EV Charging PDF
Benny Lutati, Vadim Levit, Tal Grinshpoun, Amnon Meisels
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

Prediction of Helpful Reviews Using Emotions Extraction PDF
Lionel Martin, Pearl Pu

Main Track: Novel Machine Learning Algorithms

Optimal Neighborhood Preserving Visualization by Maximum Satisfiability PDF
Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski
Manifold Spanning Graphs PDF
CJ Carey, Sridhar Mahadevan
Distribution-Aware Sampling and Weighted Model Counting for SAT PDF
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
HC-Search for Multi-Label Prediction: An Empirical Study PDF
Janardhan Rao Doppa, Jun Yu, Chao Ma, Alan Fern, Prasad Tadepalli
Large-Scale Optimistic Adaptive Submodularity PDF
Victor Gabillon, Branislav Kveton, Zheng Wen, Brian Eriksson, S. Muthukrishnan
Kernelized Bayesian Transfer Learning PDF
Mehmet Gönen, Adam A. Margolin
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
Convex Co-embedding PDF
Farzaneh Mirzazadeh, Yuhong Guo, Dale Schuurmans
Mixing-Time Regularized Policy Gradient PDF
Tetsuro Morimura, Takayuki Osogami, Tomoyuki Shirai
Locality Preserving Projection for Domain Adaptation with Multi-Objective Learning PDF
Le Shu, Tianyang Ma, Longin Jan Latecki
Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels PDF
Qiaojun Wang, Kai Zhang, Guofei Jiang, Ivan Maric
Learning Relative Similarity by Stochastic Dual Coordinate Ascent PDF
Pengcheng Wu, Yi Ding, Peilin Zhao, Chunyan Miao, Steven C. H. Hoi

Main Track: Planning and Scheduling

Planning as Model Checking in Hybrid Domains PDF
Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty PDF
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri
Computing Contingent Plans via Fully Observable Non-Deterministic Planning PDF
Christian Muise, Vaishak Belle, Sheila A. McIlraith
Cost-Based Query Optimization via AI Planning PDF
Nathan Robinson, Sheila McIlraith, David Toman
Adding Local Exploration to Greedy Best-First Search in Satisficing Planning PDF
Fan Xie, Martin Müller, Robert Holte
Type-Based Exploration with Multiple Search Queues for Satisficing Planning PDF
Fan Xie, Martin Müller, Robert Holte, Tatsuya Imai

Main Track: Reasoning under Uncertainty

Lifting Relational MAP-LPs Using Cluster Signatures PDF
Udi Apsel, Kristian Kersting, Martin Mladenov
Tightening Bounds for Bayesian Network Structure Learning PDF
Xiannian Fan, Changhe Yuan, Brandon Malone
Predicting the Hardness of Learning Bayesian Networks PDF
Brandon Malone, Kustaa Kangas, Matti Jarvisalo, Mikko Koivisto, Petri Myllymaki

Main Track: Robotics

Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments PDF
Ryan J Luna, Morteza Lahijanian, Mark Moll, Lydia E Kavraki
Learning from Unscripted Deictic Gesture and Language for Human-Robot Interactions PDF
Cynthia Matuszek, Liefeng Bo, Luke Zettlemoyer, Dieter Fox

Main Track: Search and Constraint Satisfaction

MaxSAT by Improved Instance-Specific Algorithm Configuration PDF
Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann
Backdoors into Heterogeneous Classes of SAT and CSP PDF
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny
An Experimentally Efficient Method for (MSS,CoMSS) Partitioning PDF
Eric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Preprocessing for Propositional Model Counting PDF
Jean-Marie Lagniez, Pierre Marquis
A Propagator Design Framework for Constraints over Sequences PDF
Jean-Noel Monette, Pierre Flener, Justin Pearson

Main Track: Vision

Grounding Acoustic Echoes in Single View Geometry Estimation PDF
Muhammad Wajahat Hussain, Javier Civera, Luis Montano
Learning Low-Rank Representations with Classwise Block-Diagonal Structure for Robust Face Recognition PDF
Yong Li, Jing Liu, Zechao Li, Yangmuzi Zhang, Hanqing Lu, Songde Ma
Latent Domains Modeling for Visual Domain Adaptation PDF
Caiming Xiong, Scott McCloskey, Shao-Hang Hsieh, Jason J. Corso
Locality Preserving Hashing PDF
Kang Zhao, Hongtao Lu, Jincheng Mei

Student Abstracts

Monte-Carlo Simulation Adjusting PDF
Nobuo Araki, Masakazu Muramatsu, Hoki Kunihito, Satoshi Takahashi
A Model for Aggregating Contributions of Synergistic Crowdsourcing Workflows PDF
Yili Fang, Hailong Sun, Richong Zhang, Jinpeng Huai, Yongyi Mao
Online Search Algorithm Configuration PDF
Tadhg Fitzgerald, Barry O'Sullivan, Yuri Malitsky, Kevin Tierney
RepRev: Mitigating the Negative Effects of Misreported Ratings PDF
Yuan Liu, Siyuan Liu, Jie Zhang, Hui Fang, Han Yu, Chunyan Miao
Reputation-Aware Continuous Double Auction PDF
Yuan Liu, Jie Zhang, Han Yu, Chunyan Miao


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