Artificial Intelligence Applied to Assistive Technologies and Smart Environments
| A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home | |
| Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman |
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
| Cost-Effective Feature Selection and Ordering for Personalized Energy Estimates | |
| Kirstin Early, Stephen Fienberg, Jennifer Mankoff |
| Proactive Dynamic DCOPs | |
| Khoi Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan |
Beyond NP
| 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 |
Declarative Learning Based Programming
| JudgeD: A Probabilistic Datalog with Dependencies | |
| Brend Wanders, Maurice van Keulen, Jan Flokstra |
Incentives and Trust in Electronic Communities
| TRM: Computing Reputation Score by Mining Reviews | |
| Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li, Zhiyong Feng |
Knowledge Extraction from Text
| Extending Biology Models with Deep NLP over Scientific Articles | |
| David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein |
Planning for Hybrid Systems
| A Compilation of the Full PDDL+ Language into SMT | |
| Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni |
| Planning in Dynamic Environments Through Temporal Logic Monitoring | |
| Bardh Hoxha, Georgios Fainekos |
| Heuristic Planning for PDDL+ Domains | |
| Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio |
| Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem | |
| Tony T. Tran, Zhihui Wang, Minh Do, Eleanor G. Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck |
| Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents | |
| Martina Troesch, Steve Chien, Yi Chao, John Farrara |
Scholarly Big Data: AI Perspectives, Challenges, and Ideas
| Modeling Topic-Level Academic Influence in Scientific Literatures | |
| Jiaming Shen, Zhenyu Song, Shitao Li, Zhaowei Tan, Yuning Mao, Luoyi Fu, Li Song, Xinbing Wang |
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 |