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:
 

AI, Ethics, and Society

Reinforcement Learning as a Framework for Ethical Decision Making PDF
David Abel, James MacGlashan, Michael L. Littman
Using "The Machine Stops" for Teaching Ethics in Artificial Intelligence and Computer Science PDF
Emanuelle Burton, Judy Goldsmith, Nicholas Mattei

Artificial Intelligence for Cyber Security

Discovering Human and Machine Readable Descriptions of Malware Families PDF
Blake Anderson, David McGrew, Subharthi Paul
Active Perception for Cyber Intrusion Detection and Defense PDF
J. Benton, Robert P. Goldman, Mark Burstein, Joseph Mueller, Paul Robertson, Dan Cerys, Andreas Hoffman, Rusty Bobrow
UCO: A Unified Cybersecurity Ontology PDF
Zareen Syed, Ankur Padia, Tim Finin, Lisa Mathews, Anupam Joshi

AI for Smart Grids and Smart Buildings

Scalable Causal Learning for Predicting Adverse Events in Smart Buildings PDF
Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin
Identifying Contributing Factors of Occupant Thermal Discomfort in a Smart Building PDF
Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin, Jayasudha Jayakumaran, Mario Gurrola Morga, Ishwari Aghav
Cost-Effective Feature Selection and Ordering for Personalized Energy Estimates PDF
Kirstin Early, Stephen Fienberg, Jennifer Mankoff

Beyond NP

Preface: The Beyond NP Workshop PDF
Adnan Darwiche, Joao Marquest-Silva, Pierre Marquis
Clauses Versus Gates in CEGAR-Based 2QBF Solving PDF
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving PDF
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs PDF
Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt

Declarative Learning Based Programming

RELOOP: A Python-Embedded Declarative Language for Relational Optimization PDF
Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting

Incentives and Trust in Electronic Communities

An Analysis of Trimming in Digital Social Networks PDF
Renita Margaret Murimi

Knowledge Extraction from Text

Coupled Semi-Supervised Learning for Chinese Knowledge Extraction PDF
Leeheng Ma, Yi-Ting Tsao, Yen-Ling Kuo, Jane Yung-jen Hsu
Extending Biology Models with Deep NLP over Scientific Articles PDF
David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein
Creating a Mars Target Encyclopedia by Extracting Information from the Planetary Science Literature PDF
Kiri L. Wagstaff, Ellen Riloff, Nina L. Lanza, Chris A. Mattmann, Paul M. Ramirez

Multiagent Interaction without Prior Coordination

A Game Theoretic Approach to Ad-Hoc Coalitions in Human-Robot Societies PDF
Tathagata Chakraborti, Venkata Vamsikrishna Meduri, Vivek Dondeti, Subbarao Kambhampati
Identifying and Tracking Switching, Non-Stationary Opponents: A Bayesian Approach PDF
Pablo Hernandez-Leal, Matthew E. Taylor, Benjamin Rosman, L. Enrique Sucar, Enrique Munoz de Cote

Planning for Hybrid Systems

A Compilation of the Full PDDL+ Language into SMT PDF
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
An Architecture for Hybrid Planning and Execution PDF
Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
Planning, Scheduling and Monitoring for Airport Surface Operations PDF
Robert Morris, Corina S. Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
Heuristic Planning for PDDL+ Domains PDF
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio

Scholarly Big Data: AI Perspectives, Challenges, and Ideas

From a Scholarly Big Dataset to a Test Collection for Bibliographic Citation Recommendation PDF
Dwaipayan Roy, Kunal Ray, Mandar Mitra
Modeling Topic-Level Academic Influence in Scientific Literatures PDF
Jiaming Shen, Zhenyu Song, Shitao Li, Zhaowei Tan, Yuning Mao, Luoyi Fu, Li Song, Xinbing Wang

Symbiotic Cognitive Systems

Symbiotic Cognitive Computing through Iteratively Supervised Lexicon Induction PDF
Alfredo Alba, Clemens Drews, Daniel Gruhl, Neal Lewis, Pablo N. Mendes, Meenakshi Nagarajan, Steve Welch, Anni Coden, Ashequl Qadir
Towards a Dataset for Human Computer Communication via Grounded Language Acquisition PDF
Yonatan Bisk, Daniel Marcu, William Wong
Interaction and Task Patterns in Symbiotic, Mixed-Initiative Human-Robot Interaction PDF
Felip Martí Carrillo, Elin Anna Topp
Artificial Attention at Scale PDF
Alexander M. Morison, David D. Woods

World Wide Web and Population Health Intelligence

Venting Weight: Analyzing the Discourse of an Online Weight Loss Forum PDF
Lydia Manikonda, Heather Pon-Barry, Subbarao Kambhampati, Eric Hekler, David W. McDonald
Monitoring Discussion of Vaccine Adverse Events in the Media: Opportunities from the Vaccine Sentimeter PDF
Guido Powell, Kate Zinszer, Jahnavi Dhananjay, Chi Bahk, Lawrence Madoff, John Brownstein, Sabine Bergler, David Buckeridge