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

Artificial Intelligence Applied to Assistive Technologies and Smart Environments

An Intelligent Dialogue Agent for the IoT Home PDF
Heesik Jeon, Hyung Rai Oh, Inchul Hwang, Jihie Kim

Artificial Intelligence for Cyber Security

UCO: A Unified Cybersecurity Ontology PDF
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 PDF
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 PDF
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
Extension Variables in QBF Resolution PDF
Olaf Beyersdorf, Leroy Chew, Mikolas Janota
Solving QBF Instances with Nested SAT Solvers PDF
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Non-CNF QBF Solving with QCIR PDF
Charles Jordan, Will Klieber, Martina Seidl

Computer Poker and Imperfect Information Games

Compact CFR PDF
Eric Griffin Jackson
Protecting Wildlife under Imperfect Observation PDF
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 PDF
Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman

Multiagent Interaction without Prior Coordination

Policy Communication for Coordination with Unknown Teammates PDF
Trevor Sarratt, Arnav Jhala

Planning for Hybrid Systems

Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning PDF
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 PDF
Animesh Koratana, Mark Dredze, Margaret S. Chisolm, Matthew W. Johnson, Michael J. Paul