AI, Ethics, and Society
| Reinforcement Learning as a Framework for Ethical Decision Making | |
| David Abel, James MacGlashan, Michael L. Littman |
| Using "The Machine Stops" for Teaching Ethics in Artificial Intelligence and Computer Science | |
| Emanuelle Burton, Judy Goldsmith, Nicholas Mattei |
Artificial Intelligence for Cyber Security
| Discovering Human and Machine Readable Descriptions of Malware Families | |
| Blake Anderson, David McGrew, Subharthi Paul |
| Active Perception for Cyber Intrusion Detection and Defense | |
| J. Benton, Robert P. Goldman, Mark Burstein, Joseph Mueller, Paul Robertson, Dan Cerys, Andreas Hoffman, Rusty Bobrow |
| UCO: A Unified Cybersecurity Ontology | |
| 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 | |
| Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin |
| Identifying Contributing Factors of Occupant Thermal Discomfort in a Smart Building | |
| 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 | |
| Kirstin Early, Stephen Fienberg, Jennifer Mankoff |
Beyond NP
| Preface: The Beyond NP Workshop | |
| Adnan Darwiche, Joao Marquest-Silva, Pierre Marquis |
| Clauses Versus Gates in CEGAR-Based 2QBF Solving | |
| Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl |
| Constrained Sampling and Counting: Universal Hashing Meets SAT Solving | |
| 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 | |
| Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt |
Declarative Learning Based Programming
| RELOOP: A Python-Embedded Declarative Language for Relational Optimization | |
| Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting |
Incentives and Trust in Electronic Communities
| An Analysis of Trimming in Digital Social Networks | |
| Renita Margaret Murimi |
Knowledge Extraction from Text
| Coupled Semi-Supervised Learning for Chinese Knowledge Extraction | |
| Leeheng Ma, Yi-Ting Tsao, Yen-Ling Kuo, Jane Yung-jen Hsu |
| Extending Biology Models with Deep NLP over Scientific Articles | |
| David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein |
| Creating a Mars Target Encyclopedia by Extracting Information from the Planetary Science Literature | |
| 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 | |
| Tathagata Chakraborti, Venkata Vamsikrishna Meduri, Vivek Dondeti, Subbarao Kambhampati |
| Identifying and Tracking Switching, Non-Stationary Opponents: A Bayesian Approach | |
| 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 | |
| Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni |
| An Architecture for Hybrid Planning and Execution | |
| Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae |
| Planning, Scheduling and Monitoring for Airport Surface Operations | |
| Robert Morris, Corina S. Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig |
| Heuristic Planning for PDDL+ Domains | |
| 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 | |
| Dwaipayan Roy, Kunal Ray, Mandar Mitra |
| Modeling Topic-Level Academic Influence in Scientific Literatures | |
| 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 | |
| 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 | |
| Yonatan Bisk, Daniel Marcu, William Wong |
| Interaction and Task Patterns in Symbiotic, Mixed-Initiative Human-Robot Interaction | |
| Felip Martà Carrillo, Elin Anna Topp |
| Artificial Attention at Scale | |
| Alexander M. Morison, David D. Woods |
World Wide Web and Population Health Intelligence
| Venting Weight: Analyzing the Discourse of an Online Weight Loss Forum | |
| 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 | |
| Guido Powell, Kate Zinszer, Jahnavi Dhananjay, Chi Bahk, Lawrence Madoff, John Brownstein, Sabine Bergler, David Buckeridge |