Artificial Intelligence Applied to Assistive Technologies and Smart Environments
| A Real-Time Technique for Positioning a Wheelchair-Mounted Robotic Arm for Household Manipulation Tasks | |
| Pooya Abolghasemi, Rouhollah Rahmatizadeh, Aman Behal, Ladislau Boloni |
| Ensuring Ethical Behavior from Autonomous Systems | |
| Michael Anderson, Susan Anderson, Vincent Berenz |
| Qualitative RFID Tracking for ADL Recognition | |
| Frédéric Bergeron, Kevin Bouchard, Sylvain Giroux, Sébastien Gaboury, Bruno Bouchard |
| Extracting Generalizable Spatial Features from Smart Phones Datasets | |
| Kevin Bouchard, Lawrence Holder, Diane J. Cook |
| A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home | |
| Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman |
| Activity Recognition Through Complex Event Processing: First Findings | |
| Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard |
AI, Ethics, and Society
| Formalizing Convergent Instrumental Goals | |
| Tsvi Benson-Tilsen, Nate Soares |
| Modeling Progress in AI | |
| Miles Brundage |
| Using "The Machine Stops" for Teaching Ethics in Artificial Intelligence and Computer Science | |
| Emanuelle Burton, Judy Goldsmith, Nicholas Mattei |
Artificial Intelligence for Cyber Security
| 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 |
| Validating an Agent-Based Model of Human Password Behavior | |
| Bruno Korbar, Jim Blythe, Ross Koppel, Vijay Kothari, Sean W. Smith |
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 |
| Active Inference and Dynamic Gaussian Bayesian Networks for Battery Optimization in Wireless Sensor Networks | |
| Caner Komurlu, Mustafa Bilgic |
| Efficient Inference in Dual-Emission FHMM for Energy Disaggregation | |
| Henning Lange, Mario Bergés |
Beyond NP
| Clauses Versus Gates in CEGAR-Based 2QBF Solving | |
| Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl |
| Satisfiability and Model Counting in Open Universes | |
| Vaishak Belle |
| Extension Variables in QBF Resolution | |
| Olaf Beyersdorf, Leroy Chew, Mikolas Janota |
| Subset Minimization in Dynamic Programming on Tree Decompositions | |
| Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran |
| Solving QBF Instances with Nested SAT Solvers | |
| Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi |
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 |
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
| 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
| Effect of Part-of-Speech and Lemmatization Filtering in Email Classification for Automatic Reply | |
| Rogerio Bonatti, Arthur G. de Paula, Victor S. Lamarca, Fabio G. Cozman |
| EmoGram: An Open-Source Time Sequence-Based Emotion Tracker and Its Innovative Applications | |
| Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman |
| Extending Biology Models with Deep NLP over Scientific Articles | |
| David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein |
| Automatic Extraction of Events-Based Conditional Commonsense Knowledge | |
| Arpit Sharma, Chitta Baral |
Planning for Hybrid Systems
| A Happening-Based Encoding for Nonlinear PDDL+ Planning | |
| Daniel Bryce |
| An Architecture for Hybrid Planning and Execution | |
| Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae |
| 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 |
Scholarly Big Data: AI Perspectives, Challenges, and Ideas
| Encoding Lineage in Scholarly Articles | |
| Sheikh Motahar Naim, Md Abdul Kader, Arnold P. Boedihardjo, M. Shahriar Hossain |
| Analyzing NIH Funding Patterns over Time with Statistical Text Analysis | |
| Jihyun Park, Margaret Blume-Kohout, Ralf Krestel, Eric Nalisnick, Padhraic Smyth |
Symbiotic Cognitive Systems
| The Impending Ubiquity of Cognitive Objects | |
| Maryam Ashoori, Rachel Bellamy, Justin Weisz |
| Towards a Dataset for Human Computer Communication via Grounded Language Acquisition | |
| Yonatan Bisk, Daniel Marcu, William Wong |
World Wide Web and Population Health Intelligence
| 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 |