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

Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations PDF
Naoto Ohsaka, Takuya Akiba, Yuichi Yoshida, Ken-ichi Kawarabayashi

Main Track: Applications

Synthesis of Geometry Proof Problems PDF
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
GenEth: A General Ethical Dilemma Analyzer PDF
Michael Anderson, Susan Leigh Anderson

Main Track: Cognitive Modeling

Modeling Subjective Experience-Based Learning under Uncertainty and Frames PDF
Hyung-il Ahn, Rosalind Picard

Main Track: Cognitive Systems

Learning Unknown Event Models PDF
Matthew Molineaux, David W. Aha

Main Track: Game Playing and Interactive Entertainment

Approximate Equilibrium and Incentivizing Social Coordination PDF
Elliot Anshelevich, Shreyas Sekar

Main Track: Game Theory and Economic Paradigms

False-Name Bidding and Economic Efficiency in Combinatorial Auctions PDF
Colleen Alkalay-Houlihan, Adrian Vetta
On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice PDF
Haris Aziz, Florian Brandl, Felix Brandt
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-Based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty PDF
Thanh Hong Nguyen, Amulya Yadav, Bo An, Milind Tambe, Craig Boutilier
Equilibria in Epidemic Containment Games PDF
Sudip Saha, Abhijin Adiga, Anil Kumar S. Vullikanti
Game-Theoretic Resource Allocation for Protecting Large Public Events PDF
Yue Yin, Bo An, Manish Jain

Main Track: Humans and AI

Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust PDF
Cody Buntain, Amos Azaria, Sarit Kraus
Can Agent Development Affect Developer's Strategy? PDF
Avshalom Elmalech, David Sarne, Noa Agmon

Main Track: Knowledge Representation and Reasoning

Managing Change in Graph-Structured Data Using Description Logics PDF
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
The Computational Complexity of Structure-Based Causality PDF
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics PDF
Saadat Anwar, Chitta Baral
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

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

Main Track: Multiagent Systems

Dynamic Multi-Agent Task Allocation with Spatial and Temporal Constraints PDF
Sofia Amador, Steven Okamoto, Roie Zivan

Main Track: Novel Machine Learning Algorithms

Supervised Transfer Sparse Coding PDF
Maruan Al-Shedivat, Jim Jing-Yan Wang, Majed Alzahrani, Jianhua Z. Huang, Xin Gao
Active Learning with Model Selection PDF
Alnur Ali, Rich Caruana, Ashish Kapoor
Spectral Thompson Sampling PDF
Tomáš Kocák, Michal Valko, Rémi Munos, Shipra Agrawal

Main Track: Planning and Scheduling

Oversubscription Planning: Complexity and Compilability PDF
Meysam Aghighi, Peter Jonsson

Main Track: Reasoning under Uncertainty

Lifting Relational MAP-LPs Using Cluster Signatures PDF
Udi Apsel, Kristian Kersting, Martin Mladenov
Decentralized Stochastic Planning with Anonymity in Interactions PDF
Pradeep Varakantham, Yossiri Adulyasak, Patrick Jaillet

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

MaxSAT by Improved Instance-Specific Algorithm Configuration PDF
Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann

Doctoral Consortium

Making CP-Nets (More) Useful PDF
Thomas E. Allen
Information Sharing for Care Coordination PDF
Ofra Amir

Student Abstracts

Social Capital in Network Organizations PDF
Saad Alqithami, Henry Hexmoor
To Share or Not to Share? The Single Agent in a Team Decision Problem PDF
Ofra Amir, Barbara J. Grosz, Roni Stern
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


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