Artificial Intelligence Applied to Assistive Technologies and Smart Environments
| Deep Activity Recognition Models with Triaxial Accelerometers | |
| Mohammad Abu Alsheikh, Ahmed Selim, Dusit Niyato, Linda Doyle, Shaowei Lin, Hwee-Pink Tan |
| A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home | |
| Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman |
| Child-Centred Motion-Based Age and Gender Estimation with Neural Network Learning | |
| Anara Sandygulova, Yerdaulet Absattar, Damir Doszhan, German I. Parisi |
AI, Ethics, and Society
| Formalizing Convergent Instrumental Goals | |
| Tsvi Benson-Tilsen, Nate Soares |
| Defining Human Values for Value Learners | |
| Kaj Sotala |
| Relational Enhancement: A Framework for Evaluating and Designing Human-Robot Relationships | |
| Jason R. Wilson, Thomas Arnold, Matthias Scheutz |
Artificial Intelligence for Cyber Security
| Validating an Agent-Based Model of Human Password Behavior | |
| Bruno Korbar, Jim Blythe, Ross Koppel, Vijay Kothari, Sean W. Smith |
| Toward Argumentation-Based Cyber Attribution | |
| Eric Nunes, Paulo Shakarian, Gerardo Simari |
| Socio-Cultural Modeling for Cyber Threat Actors | |
| Paulo Shakarian, Jana Shakarian |
| UCO: A Unified Cybersecurity Ontology | |
| Zareen Syed, Ankur Padia, Tim Finin, Lisa Mathews, Anupam Joshi |
AI for Smart Grids and Smart Buildings
| An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis | |
| Daniel Urieli, Peter Stone |
| Planning under Uncertainty for Aggregated Electric Vehicle Charging Using Markov Decision Processes | |
| Erwin Walraven, Matthijs T. J. Spaan |
Beyond NP
| Clauses Versus Gates in CEGAR-Based 2QBF Solving | |
| Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl |
| SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases | |
| Eric Gribkoff, Dan Suciu |
| Non-CNF QBF Solving with QCIR | |
| Charles Jordan, Will Klieber, Martina Seidl |
| Toward Caching Symmetrical Subtheories for Weighted Model Counting | |
| Timothy Kopp, Parag Singla, Henry Kautz |
| 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 |
Computer Poker and Imperfect Information Games
| Protecting Wildlife under Imperfect Observation | |
| Thanh Hong Nguyen, Arunesh Sinha, Shahrzad Gholami, Andrew Plumptre, Lucas Joppa, Milind Tambe, Margaret Driciru, Fred Wanyama, Aggrey Rwetsiba, Rob Critchlow, Colin Beale |
| The Scalability of the HyperPlay Technique for Imperfect-Information Games | |
| Michael Schofield, Michael Thielscher |
Declarative Learning Based Programming
| Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning | |
| Carl Schultz, Mehul Bhatt |
Expanding the Boundaries of Health Informatics Using AI
| Simultaneous Influencing and Mapping for Health Interventions | |
| Leandro Soriano Marcolino, Aravind Lakshminarayanan, Amulya Yadav, Milind Tambe |
| Predicting 30-Day Risk and Cost of "All-Cause" Hospital Readmissions | |
| Shanu Sushmita, Garima Khulbe, Aftab Hasan, Stacey Newman, Padmashree Ravindra, Senjuti Basu Roy, Martine De Cock, Ankur Teredesai |
Knowledge Extraction from Text
| EmoGram: An Open-Source Time Sequence-Based Emotion Tracker and Its Innovative Applications | |
| Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman |
| Automatic Extraction of Events-Based Conditional Commonsense Knowledge | |
| Arpit Sharma, Chitta Baral |
Multiagent Interaction without Prior Coordination
| 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 |
| Policy Communication for Coordination with Unknown Teammates | |
| Trevor Sarratt, Arnav Jhala |
Planning for Hybrid Systems
| SMT-Based Reasoning for Uncertain Hybrid Domains | |
| Fedor Shmarov, Paolo Zuliani |
Scholarly Big Data: AI Perspectives, Challenges, and Ideas
| Automatic Construction of Evaluation Sets and Evaluation of Document Similarity Models in Large Scholarly Retrieval Systems | |
| Kriste Krstovski, David A. Smith, Michael J. Kurtz |
| Automatically Augmenting Titles of Research Papers for Better Discovery | |
| Madhavan Pallan, Biplav Srivastava |
| Analyzing NIH Funding Patterns over Time with Statistical Text Analysis | |
| Jihyun Park, Margaret Blume-Kohout, Ralf Krestel, Eric Nalisnick, Padhraic Smyth |
| 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
| Task Learning through Visual Demonstration and Situated Dialogue | |
| Changsong Liu, Joyce Y. Chai, Nishant Shukla, Song-Chun Zhu |
| An Overview of Affective Motivational Collaboration Theory | |
| Mahni Shayganfar, Charles Rich, Candace L. Sidner |
| CATS: Cognitive Analytic Trail System | |
| Raphael Melo Thiago, Leonardo Guerreiro Azevedo, Viviane Torres da Silva, VinÃcius C. V.B Segura, Marcelo Nery dos Santos, Renato F. de G. Cerqueira |
World Wide Web and Population Health Intelligence
| Discovering Relevant Hashtags for Health Concepts: A Case Study of Twitter | |
| Quanzhi Li, Sameena Shah, Rui Fang, Armineh Nourbakhsh, Xiaomo Liu |