Artificial Intelligence Applied to Assistive Technologies and Smart Environments
| An Intelligent Dialogue Agent for the IoT Home | |
| Heesik Jeon, Hyung Rai Oh, Inchul Hwang, Jihie Kim |
Artificial Intelligence for Cyber Security
| UCO: A Unified Cybersecurity Ontology | |
| Zareen Syed, Ankur Padia, Tim Finin, Lisa Mathews, Anupam Joshi |
AI for Smart Grids and Smart Buildings
| 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 |
Beyond NP
| Clauses Versus Gates in CEGAR-Based 2QBF Solving | |
| Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl |
| Extension Variables in QBF Resolution | |
| Olaf Beyersdorf, Leroy Chew, Mikolas Janota |
| Solving QBF Instances with Nested SAT Solvers | |
| Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
| Non-CNF QBF Solving with QCIR | |
| Charles Jordan, Will Klieber, Martina Seidl |
Computer Poker and Imperfect Information Games
| Compact CFR | |
| Eric Griffin Jackson |
| 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 |
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 |
Multiagent Interaction without Prior Coordination
| Policy Communication for Coordination with Unknown Teammates | |
| Trevor Sarratt, Arnav Jhala |
Planning for Hybrid Systems
| Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning | |
| Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha |
World Wide Web and Population Health Intelligence
| Studying Anonymous Health Issues and Substance Use on College Campuses with Yik Yak | |
| Animesh Koratana, Mark Dredze, Margaret S. Chisolm, Matthew W. Johnson, Michael J. Paul |