AI and Health Communication
| Organizing Committee | |
| Douglas Fisher, Mary Lou Maher |
| Preface | |
| Douglas Fisher, Mary Lou Maher |
| Calculating Alcohol Risk in a Visualisation Tool for Promoting Healthy Behaviour | |
| Scott Bissett, Sharon Wood, Richard Cox, Donia Scott, Jackie Cassell |
| Internet-Based Patient Education Intervention for Fibromyalgia: A Model-Driven Evaluation | |
| Luca Camerini, Anne-Linda Frisch, Peter Johannes Schulz |
| Virtual Coach for Mindfulness Meditation Training | |
| Eva Hudlicka |
| Dr. Vicky: A Virtual Coach for Learning Brief Negotiated Interview Techniques for Treating Emergency Room Patients | |
| Brian Magerko, James Deen, Avinash Idnani, Michael Pantalon, Gail D’Onofrio |
| Longitudinal Remote Follow-Up by Intelligent Conversational Agents for Post-Hospitalization Care | |
| Laura M. Pfeifer, Timothy Bickmore |
| PATSy and VL-PATSy: Online Case-Based Training for Healthcare Professionals | |
| Richard J. Cox |
| Artificial Intelligence and Risk Communication | |
| Nancy L. Green |
| Participatory Design and Artificial Intelligence: Strategies to Improve Health Communication for Diverse Audiences | |
| Linda Neuhauser, Gary L. Kreps |
| The Problem of Premissary Relevance | |
| Sara Rubinelli, Renske Wierda, Nanon Labrie, Daniel O'Keefe |
| Socio-Semantic Health Information Access | |
| Saurav Sahay, Ashwin Ram |
| An Intelligent Conversational Agent for Promoting Long-Term Health Behavior Change Using Motivational Interviewing | |
| Daniel Schulman, Timothy Bickmore, Candace Sidner |
| “Bad” Literacy, the Internet, and the Limits of Patient Empowerment | |
| Peter Johannes Schulz, Kent Nakamoto |
| Accessing Structured Health Information through English Queries and Automatic Deduction | |
| Richard Waldinger, Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Amar Das |
| Digital Touchscreen Kiosks for Patient-Centered Cancer Education | |
| Armando Valdez |
| Spatiotemporal Knowledge Representation and Reasoning under Uncertainty for Action Recognition in Smart Homes | |
| Farzad Amirjavid, Abdenour Bouzouane, Bruno Bouchard |
| A Rapid Prototyping Environment for Character Behavior | |
| Ian D. Horswill |
| Intelligent Monitoring of the Elderly in Home Environment | |
| Bostjan Kaluza, Erik Dovgan, Violeta Mirchevska, Mitja Lustrek, Matjaz Gams |
| Arguing Antibiotics: A Pragma-Dialectical Approach to Medical Decision-Making | |
| Nanon Labrie |
Artificial Intelligence and Sustainable Design
| Organizing Committee | |
| Douglas Fisher, Mary Lou Maher |
| Preface | |
| Douglas Fisher, Mary Lou Maher |
| Smart Homes or Smart Occupants? Reframing Computational Design Models for the Green Home | |
| Lyn Bartram, Rob Woodbury |
| Generation of Energy-Efficient Patio Houses: Combining GENE_ARCH and a Marrakesh Medina Shape Grammar | |
| Luisa Caldas |
| CBArch: A Case-Based Reasoning Framework for Conceptual Design of Commercial Buildings | |
| Andres Cavieres, Urjit Bhatia, Preetam Joshi, Fei Zhao, Ashwin Ram |
| Better Resource Usage through Biomimetic Symbiotic Principles for Host and Derivative Product Synthesis | |
| Matthew Louis Turner Davis, Daniel Arthur McAdams, Anosh Porus Wadia |
| Knowledge Based Integration of Sustainability Issues in the (Re)Design Process | |
| Irem Erbas, Rudi Stouffs, Sevil Sariyildiz |
| Towards Grammars for Cradle-to-Cradle Design | |
| Douglas H. Fisher, Mary Lou Maher |
| Design Patterns and Cross-Domain Analogies in Biologically Inspired Sustainable Design | |
| Ashok K. Goel, Bert Bras, Michael Helms, Spencer Rugaber, Craig Tovey, Swaroop Vattam, Marc Weissburg, Bryan Wiltgen, Jeannette Yen |
| Automating Environmental Impact Assessment during the Conceptual Phase of Product Design | |
| Karl R. Haapala, Kerry R. Poppa, Robert B. Stone, Irem Y. Tumer |
| Opportunities for AI to Improve Sustainable Building Design Processes | |
| John R. Haymaker |
| Propagating Uncertainty in Solar Panel Performance for Life Cycle Modeling in Early Stage Design | |
| Tomonori Honda, Heidi Q. Chen, Kennis Y. Chan, Maria C. Yang |
| Design Decision Support System toward Environmental Sustainability in Reusable Medical Equipment | |
| Kyoung-Yun Kim, Jihoon Kim |
| Causal Knowledge Network Integration for Life Cycle Assessment | |
| Yun Seon Kim, Keunho Choi, Kyoung-Yun Kim |
| Integration of Sustainability Issues during Early Design Stages in a Global Supply Chain Context | |
| Elizabeth C. Olson, Karl R. Haapala, Gül E. Okudan |
| Identifying Sustainable Designs Using Preferences over Sustainability Attributes | |
| Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
| Designing a Sunshade Installation for the UT Zero Energy House: An Exploration in Generative Modeling Technology | |
| Edgar Stach, Casey Arthur |
| A Knowledge-Based Approach to Problem Formulation for Product Model-Based Multidisciplinary Design Optimization in AEC | |
| Benjamin Ross Welle, John Riker Haymaker |
AI for Business Agility
| Organizing Committee | |
| Knut Hinkelmann, Barbara Thönssen |
| Preface | |
| Knut Hinkelmann, Barbara Thönssen |
| SBVR Business Rules Generation from Natural Language Specification | |
| Imran Sarwar Bajwa, Mark G. Lee, Behzad Bordbar |
| Mining of Agile Business Processes | |
| Simon Brander, Knut Hinkelmann, Andreas Martin, Barbara Thoenssen |
| Emerging Topic Detection for Business Intelligence Via Predictive Analysis of 'Meme' Dynamics | |
| Richard Colbaugh, Kristin Glass |
| On the Collaborative Formalization of Agile Semantics Using Social Network Applications | |
| Hans-Georg Fill, Tania Tudorache |
| Estimating Sentiment Orientation in Social Media for Business Informatics | |
| Kristin Glass, Richard Colbaugh |
| Individualization of Goods and Services: Towards a Logistics Knowledge Infrastructure for Agile Supply Chains | |
| Joerg Leukel, Ansger Jacob, Paul Karaenke, Stefan Kirn, Achim Klein |
| Semantic Web-Based Integration of Heterogeneous Web Resources | |
| Elaheh Momeni |
| Added Value of Sociofact Analysis for Business Agility | |
| Uwe V. Riss, Johannes Magenheim, Wolfgang Reinhardt, Tobias Nelkner, Knut Hinkelmann |
| Computer Aided Strategic Planning for eGovernment Agility | |
| Amjad Umar, Ivo Ivanovski |
Computational Physiology
| Organizing Committee | |
| Mark Buller, Paul Cuddihy, Finale Doshi-Velez |
| Recognition of Physiological Data for a Motivational Agent | |
| Amin Hani Atrash, Emily Mower, Khawaja Shams, Maja Mataric |
| Topology Preserving Domain Adaptation for Addressing Subject Based Variability in SEMG Signal | |
| Rita Chattopadhyay, Narayanan C Krishnan, Sethuraman Panchanathan |
| Transfer Learning Framework for Early Detection of Fatigue Using Non-invasive Surface Electromyogram Signals (SEMG) | |
| Rita Chattopadhyay, Jieping Ye, Sethuraman Panchanathan |
| Activity Recognition with Time-Delay Emobeddings | |
| Jordan Frank, Shie Mannor, Doina Precup |
| Real Time Extraction and Analysis of Key Morphological Features in the Electrocardiogram, for Data Compression and Clinical Decision Support | |
| Ankit J. Gordhandas, Thomas Heldt, George Verghese |
| Incorporating Variable Vascular Heat Exchangers Into Models Of Human Thermoregulation | |
| Dennis A. Grahn, Howard L. Davidson, H. Craig Heller |
| Total Variation Electrocardiogram Filtering | |
| Andrei Gribok, Mark Buller, William Rumpler, Reed Hoyt |
| Relating Noninvasive Cardiac Output and Total Peripheral Resistance Estimates to Physical Activity in an Ambulatory Setting | |
| Bryan Haslam, Thomas Heldt, Ankit Gordhandas, Catherine Ricciardi, George Verghese |
| Combining Data-Driven and Knowledge-Guided Methods to Induce Interpretable Physiological Models | |
| Pat Langley, Will Bridewell |
| Phase Angle as a Prognostic Indicator in Cancer | |
| Henry Charles Lukaski, Michaeal Singer |
| HBase, MapReduce, and Integrated Data Visualization for Processing Clinical Signal Data | |
| Andrew V. Nguyen, Rob Wynden, Yao Sun |
| Automatic Seizure Detection in an In-Vivo Model of Epilepsy | |
| Guillaume Saulnier, Joelle Pineau |
| Ambulatory Assessment of Lifestyle Factors for Alzheimer’s Disease and Related Dementias | |
| James Yungjen Tung, Jonathan FL Semple, Wei X Woo, Wei-Shou Hsu, Mathieu Sinn, Eric A Roy, Pascal Poupart |
Help Me Help You: Bridging the Gaps in Human-Agent Collaboration
| Organizing Committee | |
| Rajiv Maheswaran, Nathan Schurr, Pedro Szekely |
| Decentralized Models for Use in a Real-World Personal Assistant Agent Scenario | |
| Christopher Amato |
| Mixed-Initiative Optimization in Security Games: A Preliminary Report | |
| Bo An, Manish Jain, Milind Tambe, Christopher Kiekintveld |
| Helping Agents Help Their Users Despite Imperfect Speech Recognition | |
| Joshua B. Gordon, Rebecca J. Passonneau, Susan L. Epstein |
| A Framework for Teaching and Executing Verb Phrases | |
| Daniel Hewlett, Thomas J Walsh, Paul Cohen |
| Human Natural Instruction of a Simulated Electronic Student | |
| Tasneem Kaochar, Raquel Torres Peralta, Clayton T. Morrison, Thomas J. Walsh, Ian R. Fasel, Sumin Beyon, Anh Tran, Jeremy Wright, Paul R. Cohen |
| Help Me to Help You: How to Learn Intentions, Actions and Plans | |
| Harmish Khambhaita, Geert-Jan Kruijff, Matei Mancas, Mario Gianni, Panagiotis Papadakis, Fiora Pirri, Matia Pizzoli |
| Reinforcement Learning with Human Feedback in Mountain Car | |
| W. Bradley Knox, Adam Bradley Setapen, Peter Stone |
| Spatial Interactions between Humans and Agents | |
| Franz J. Kurfess, Gregory Flanagan, Mehul Bhatt |
| Toward a Computational Model of "Context" | |
| Wendelin Reich |
| A Framework in which Robots and Humans Help Each Other | |
| Elizabeth Sklar, Susan L. Epstein, Simon Parsons, Arif T. Ozgelen, Juan Pablo Munoz, Joel Gonzalez |
| Just Keep Tweeting, Dear: Web-Mining Methods for Helping a Social Robot Understand User Needs | |
| Keisuke Takagi, Rafal Rzepka, Kenji Araki |
| Using Human Demonstrations to Improve Reinforcement Learning | |
| Matthew Edmund Taylor, Halit Bener Suay, Sonia Chernova |
Logical Formalizations of Commonsense Reasoning
| Organizing Committee | |
| Ernest Davis, Patrick Doherty, Esra Erdem |
| Horn Belief Contraction: Remainders, Envelopes and Complexity | |
| Kira Adaricheva, Robert H. Sloan, Balazs Szorenyi, Gyorgy Turan |
| Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution | |
| Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu |
| First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription | |
| Michael Bartholomew, Joohyung Lee, Yunsong Meng |
| Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages | |
| Brandon Bennett |
| Logic Programs and Causal Proofs | |
| Pedro Cabalar |
| A Commonsense Theory of Mind-Body Interaction | |
| Andrew S. Gordon, Jerry R. Hobbs |
| A Naive Theory of Dimension for Qualitative Spatial Relations | |
| Torsten Hahmann, Michael Gruninger |
| Representing Biological Processes in Modular Action Language ALM | |
| Daniela Inclezan, Michael Gelfond |
| Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report) | |
| Joohyung Lee, Ravi Palla |
| The Winograd Schema Challenge | |
| Hector J. Levesque |
| Causal Theories of Actions Revisited | |
| Fangzhen Lin, Mikhail Soutchanski |
| The Counting Problem in the Light of Role Kinds | |
| Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi |
| A Unified Argumentation-Based Framework for Knowledge Qualification | |
| Loizos Michael, Antonis Kakas |
| Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning | |
| Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon |
| The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning | |
| Stuart C. Shapiro |
| The Formalization of Practical Reasoning: An Opinionated Survey | |
| Richmond Thomason |
| Augmenting Weight Constraints with Complex Preferences | |
| Stefania Costantini, Andrea Formisano |
| Modeling Deliberation in Teamwork | |
| Barbara Dunin-Kęplicz, Alina Strachocka, Rineke Verbrugge |
| Logics of Contingency | |
| Luis Fariñas del Cerro, Andreas Herzig |
| Understanding Robocup-Soccer Narratives | |
| Hannaneh Hajishirzi, Eyal Amir |
| Symbolic Probabilistic Reasoning for Narratives | |
| Hannaneh Hajishirzi, Erik T. Mueller |
| A Commonsense Theory of Microsociology: Interpersonal Relationships | |
| Jerry R. Hobbs, Alicia Sagae |
| An Abductive Model for Human Reasoning | |
| Steffen Hölldobler, Tobias Philipp, Christoph Wernhard |
| An Interface for Crowd-Sourcing Spatial Models of Commonsense | |
| Benjamin Johnston |
| A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL | |
| Hans-Ulrich Krieger |
| Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots | |
| Hans-Ulrich Krieger, Geert-Jan M. Kruijff |
| On Moving Objects in Dynamic Domains | |
| Fangzhen Lin |
| Applications and Discovery of Granularity Structures in Natural Language Discourse | |
| Rutu Mulkar-Mehta, Jerry R. Hobbs, Eduard Hovy |
| A Simple Logical Approach to Reasoning with and about Trust | |
| Simon Parsons, Elizabeth Sklar, Peter McBurney |
| Roboson Crusoe — or — What Is Common Sense? | |
| Don Perlis |
| An Experiment in Formalizing Commitments Using Action Languages | |
| Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| Bridging the Gap Between Schank and Montague | |
| John F. Sowa, Arun K. Majumdar |
| Activity Inference through Commonsense | |
| Kun Tu, Megan Olsen, Hava T. Siegelmann |
Multirobot Systems and Physical Data Structures
| Organizing Committee | |
| Dylan Shell, James McLurkin |
| A Distributed Spanning Tree Method for Extracting Systems and Environmental Information from a Network of Mobile Robots | |
| Brent Beer, Ross Mead, Jerry Blake Weinberg |
| Flexible Multi-Robot Formation Control: Partial Formations as Physical Data Structures | |
| Michael de Denus, John Eric Anderson, Jacky Baltes |
| Being There, Being the RRT: Space-Filling and Searching in Place with Minimalist Robots | |
| Asish Ghoshal, Dylan A. Shell |
| Robot Spatial Distribution and Boundary Effects Matter in Puck Clustering | |
| Jung-Hwan Kim, Yong Song, Dylan Shell |
| Towards Robot Systems Architecture | |
| Keith O'Hara |
| Speech, Gesture, and Space: Investigating Explicit and Implicit Communication in Multi-Human Multi-Robot Collaborations | |
| Aaron St. Clair, Amin Atrash, Ross Mead, Maja Mataric |
Modeling Complex Adaptive Systems as if They Were Voting Processes
| Organizing Committee | |
| Arnold B. Urken |
| Preface | |
| Arnold B. Urken |
| Voting Processes in Complex Adaptive Systems to Combine Perspectives of Disparate Social Simulations into a Coherent Picture | |
| Deborah Vakas Duong |
| Interaction Networks and the Regulation of Ant Colony Behavior | |
| Deborah M. Gordon |
| Genetics and Artificial Intelligence for Personal Genome Service | |
| Takashi Kido |
| Optimal Voting in Groups with Convergent Interests | |
| James A. R. Marshall |
| Voting and Choquet Fusion — A System-of-Systems Error Resilient Comparison | |
| Tod M. Schuck |
| Business Listing Classification Using Case Based Reasoning and Joint Probability | |
| Sanjay Sood, Parijat P. Kar |
| Voting Theory, Data Fusion, and Explanations of Social Behavior | |
| Arnold B. Urken |