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 |
| Deep Activity Recognition Models with Triaxial Accelerometers | |
| Mohammad Abu Alsheikh, Ahmed Selim, Dusit Niyato, Linda Doyle, Shaowei Lin, Hwee-Pink Tan |
| 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 |
| An Intelligent Dialogue Agent for the IoT Home | |
| Heesik Jeon, Hyung Rai Oh, Inchul Hwang, Jihie Kim |
| Proposal of an Adaptive Service Providing System for a Multi-User Smart Home | |
| Nicola Kuijpers, Sylvain Giroux, Florent de Lamotte, Jean-Luc Philippe |
| 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
| Reinforcement Learning as a Framework for Ethical Decision Making | |
| David Abel, James MacGlashan, Michael L. Littman |
| 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 |
| Playing Games Across the Superintelligence Divide | |
| Aaron Isaksen, Julian Togelius, Frank Lantz, Andy Nealen |
| Human-Like Morality and Ethics for Robots | |
| Benjamin Kuipers |
| Using Stories to Teach Human Values to Artificial Agents | |
| Mark O. Riedl, Brent Harrison |
| Defining Human Values for Value Learners | |
| Kaj Sotala |
| Quantilizers: A Safer Alternative to Maximizers for Limited Optimization | |
| Jessica Taylor |
| Relational Enhancement: A Framework for Evaluating and Designing Human-Robot Relationships | |
| Jason R. Wilson, Thomas Arnold, Matthias Scheutz |
| Taxonomy of Pathways to Dangerous Artificial Intelligence | |
| Roman V. Yampolskiy |
Artificial Intelligence for Cyber Security
| Discovering Human and Machine Readable Descriptions of Malware Families | |
| Blake Anderson, David McGrew, Subharthi Paul |
| 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 |
| Bandits for Cybersecurity: Adaptive Intrusion Detection Using Honeypots | |
| Marcus Paul Gutierrez, Christopher Kiekintveld |
| Validating an Agent-Based Model of Human Password Behavior | |
| Bruno Korbar, Jim Blythe, Ross Koppel, Vijay Kothari, Sean W. Smith |
| Inter-Temporal Incentives in Security Information Sharing Agreements | |
| Parinaz Naghizadeh, Mingyan Liu |
| Toward Argumentation-Based Cyber Attribution | |
| Eric Nunes, Paulo Shakarian, Gerardo Simari |
| Bayesian Networks with Prior Knowledge for Malware Phylogenetics | |
| Diane Oyen, Blake Anderson, Christine Anderson-Cook |
| 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
| Learning to REDUCE: A Reduced Electricity Consumption Prediction Ensemble | |
| Saima Aman, Charalampos Chelmis, Viktor Prasanna |
| 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 |
| 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 |
| 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 |
| An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis | |
| Daniel Urieli, Peter Stone |
| Automatic Label Correction and Appliance Prioritization in Single Household Electricity Disaggregation | |
| Mark Valovage, Maria Gini |
| Planning under Uncertainty for Aggregated Electric Vehicle Charging Using Markov Decision Processes | |
| Erwin Walraven, Matthijs T. J. Spaan |
Beyond NP
| Preface: The Beyond NP Workshop | |
| Adnan Darwiche, Joao Marquest-Silva, Pierre Marquis |
| 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 |
| SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases | |
| Eric Gribkoff, Dan Suciu |
| Non-CNF QBF Solving with QCIR | |
| Charles Jordan, Will Klieber, Martina Seidl |
| Lazy Arithmetic Circuits | |
| Seyed Mehran Kazemi, David Poole |
| Exploiting the Hidden Structure of Junction Trees for MPE | |
| Batya Kenig, Avigdor Gal |
| 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 |
| Factorized Databases: A Knowledge Compilation Perspective | |
| Dan Olteanu |
| Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs | |
| Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt |
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 |
| The Scalability of the HyperPlay Technique for Imperfect-Information Games | |
| Michael Schofield, Michael Thielscher |
| Evaluating the Performance of Presumed Payoff Perfect Information Monte Carlo Sampling Against Optimal Strategies | |
| Florian Wisser |
Declarative Learning Based Programming
| On Declarative Modeling of Structured Pattern Mining | |
| Tias Guns, Sergey Paramonov, Benjamin Negrevergne |
| Learning Constraints and Optimization Criteria | |
| Samuel M. Kolb |
| RELOOP: A Python-Embedded Declarative Language for Relational Optimization | |
| Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting |
| Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning | |
| Carl Schultz, Mehul Bhatt |
| JudgeD: A Probabilistic Datalog with Dependencies | |
| Brend Wanders, Maurice van Keulen, Jan Flokstra |
Expanding the Boundaries of Health Informatics Using AI
| Combining Multiple Concurrent Physiological Streams to Assessing Patients Condition | |
| Shenda Hong, Zhen Qiu, Jinbo Zhang, Hongyan Li |
| Simultaneous Influencing and Mapping for Health Interventions | |
| Leandro Soriano Marcolino, Aravind Lakshminarayanan, Amulya Yadav, Milind Tambe |
| A Novel Method for Mining Semantics from Patterns over ECG Data | |
| Zhen Qiu, Feifei Li, Shenda Hong, Hongyan Li |
| 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 |
| Adaptive Ensemble Learning with Confidence Bounds for Personalized Diagnosis | |
| Cem Tekin, Jinsung Yoon, Mihaela van der Schaar |
Incentives and Trust in Electronic Communities
| Modeling Trust Evaluating Agents: Towards a Comprehensive Trust Management for Multi-agent Systems | |
| Abdullah Aref, Thomas Tran |
| User Participation and Honesty in Online Rating Systems: What a Social Network Can Do | |
| Alan Davoust, Babak Esfandiari |
| An Analysis of Trimming in Digital Social Networks | |
| Renita Margaret Murimi |
| TRM: Computing Reputation Score by Mining Reviews | |
| Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li, Zhiyong Feng |
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 |
| Chinese Relation Extraction by Multiple Instance Learning | |
| Yu-Ju Chen, Jane Yung-jen Hsu |
| Automatic Scoring for Innovativeness of Textual Ideas | |
| Tirthankar Dasgupta, Lipika Dey |
| EmoGram: An Open-Source Time Sequence-Based Emotion Tracker and Its Innovative Applications | |
| Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman |
| Coupled Semi-Supervised Learning for Chinese Knowledge Extraction | |
| Leeheng Ma, Yi-Ting Tsao, Yen-Ling Kuo, Jane Yung-jen Hsu |
| 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 |
| Creating a Mars Target Encyclopedia by Extracting Information from the Planetary Science Literature | |
| Kiri L. Wagstaff, Ellen Riloff, Nina L. Lanza, Chris A. Mattmann, Paul M. Ramirez |
Multiagent Interaction without Prior Coordination
| Measuring Synergy from Benevolence in a Network Organization | |
| Saad Alqithami, Henry Hexmoor |
| A Game Theoretic Approach to Ad-Hoc Coalitions in Human-Robot Societies | |
| Tathagata Chakraborti, Venkata Vamsikrishna Meduri, Vivek Dondeti, Subbarao Kambhampati |
| Bayesian Markov Games with Explicit Finite-Level Types | |
| Muthukumaran Chandrasekaran, Yingke Chen, Prashant Doshi |
| 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
| A Happening-Based Encoding for Nonlinear PDDL+ Planning | |
| Daniel Bryce |
| A Compilation of the Full PDDL+ Language into SMT | |
| Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni |
| An Architecture for Hybrid Planning and Execution | |
| Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae |
| Planning in Dynamic Environments Through Temporal Logic Monitoring | |
| Bardh Hoxha, Georgios Fainekos |
| Planning, Scheduling and Monitoring for Airport Surface Operations | |
| Robert Morris, Corina S. Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig |
| Heuristic Planning for PDDL+ Domains | |
| Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio |
| SMT-Based Reasoning for Uncertain Hybrid Domains | |
| Fedor Shmarov, Paolo Zuliani |
| Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning | |
| Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha |
| 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
| Automatic Summary Generation for Scientific Data Charts | |
| Rabah A. Al-Zaidy, Sagnik Ray Choudhury, C. Lee Giles |
| Enabling Public Access to Non-Open Access Biomedical Literature via Idea-Expression Dichotomy and Fact Extraction | |
| Xiaocheng Huang, Pauline C. Ng |
| Automatic Construction of Evaluation Sets and Evaluation of Document Similarity Models in Large Scholarly Retrieval Systems | |
| Kriste Krstovski, David A. Smith, Michael J. Kurtz |
| Encoding Lineage in Scholarly Articles | |
| Sheikh Motahar Naim, Md Abdul Kader, Arnold P. Boedihardjo, M. Shahriar Hossain |
| A Feasibility Study of an Approach to Extend Research Footprints | |
| Francisco Osuna, Bhanukiran Gurijala, Patricia Esparza, Monika Akbar, Ann Gates |
| 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 |
| From a Scholarly Big Dataset to a Test Collection for Bibliographic Citation Recommendation | |
| Dwaipayan Roy, Kunal Ray, Mandar Mitra |
| 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
| Symbiotic Cognitive Computing through Iteratively Supervised Lexicon Induction | |
| Alfredo Alba, Clemens Drews, Daniel Gruhl, Neal Lewis, Pablo N. Mendes, Meenakshi Nagarajan, Steve Welch, Anni Coden, Ashequl Qadir |
| 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 |
| Contexts for Symbiotic Autonomy: Semantic Mapping, Task Teaching and Social Robotics | |
| Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi, Francesco Riccio, Andrea Vanzo |
| A Formal Framework for Studying Interaction in Human-Robot Societies | |
| Tathagata Chakraborti, Kartik Talamadupula, Yu Zhang, Subbarao Kambhampati |
| A Distributed Cognition Perspective on Symbiotic Cognitive Systems: External Representations as a Medium for Symbiosis | |
| Thomas Erickson |
| Towards Learning From Stories: An Approach to Interactive Machine Learning | |
| Brent Harrison, Mark O. Riedl |
| Task Learning through Visual Demonstration and Situated Dialogue | |
| Changsong Liu, Joyce Y. Chai, Nishant Shukla, Song-Chun Zhu |
| Interaction and Task Patterns in Symbiotic, Mixed-Initiative Human-Robot Interaction | |
| Felip Martí Carrillo, Elin Anna Topp |
| Artificial Attention at Scale | |
| Alexander M. Morison, David D. Woods |
| 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 |
| Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms | |
| Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan Turaga |
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 |
| Discovering Relevant Hashtags for Health Concepts: A Case Study of Twitter | |
| Quanzhi Li, Sameena Shah, Rui Fang, Armineh Nourbakhsh, Xiaomo Liu |
| Venting Weight: Analyzing the Discourse of an Online Weight Loss Forum | |
| Lydia Manikonda, Heather Pon-Barry, Subbarao Kambhampati, Eric Hekler, David W. McDonald |
| Discourse, Health and Well-Being of Military Populations Through the Social Media Lens | |
| Umashanthi Pavalanathan, Vivek Datla, Svitlana Volkova, Lauren Charles-Smith, Meg Pirrung, Josh Harrison, Alan Chappell, Courtney D Corley |
| 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 |