Table of Contents

• Big Data Analytic Paradigms - From PCA to Deep LearningBarnabas K. Tannahill, Mo Jamshidi. [doi]
• Probabilistic Logic for Multi-Robot Event RecognitionJosé Angelo Gurzoni Jr., Paulo Eduardo Santos, Murilo Fernandes Martins, Fábio Gagliardi Cozman. [doi]
• Designing Evolving Computer Agent Capable of Emotion Recognition and ExpressionRahadian Yusuf, Shuyao Wang, Ivan Tanev, Katsunori Shimohara. [doi]
• Using Common Sense Invariants in Belief Management for Autonomous AgentsGerald Steinbauer, Clemens Mühlbacher. [doi]
• An Approach to Generating Human-Computer Interfaces from Task ModelsMatthew L. Bolton, Samaneh Ebrahimi. [doi]
• Know Thyself: Data Driven Self-Awareness for Understanding Our Unconsciousness BehaviorsTakashi Kido, Melanie Swan. [doi]
• A Multi-Vector Trust Framework for Autonomous SystemsAndrew Benjamin Bolster, Alan Marshall. [doi]
• Commonsense Abductive Reasoning and Metareasoning Using Knowledge from Bayesian NetworksJoshua Eckroth, John R. Josephson. [doi]
• CommitteesMohan Sridharan. [doi]
• Modeling Human Workload in Unmanned Aerial SystemsJ. J. Moore, R. Ivie, T. J. Gledhill, Eric G. Mercer, Michael A. Goodrich. [doi]
• PrefaceEric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass. [doi]
• Relational Approaches for Joint Object Classification and Scene Similarity Measurement in Indoor EnvironmentsMarina Alberti, John Folkesson, Patric Jensfelt. [doi]
• Euclidean AutomataAndrás Kornai. [doi]
• Multi-Robot Human Guidance Using Topological GraphsPiyush Khandelwal, Peter Stone. [doi]
• Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global PlanZeynep Gözen Saribatur, Esra Erdeem, Volkan Patoglu. [doi]
• Defining Patients with Depressive Disorder by Using Textual InformationTetsuaki Nakamura, Kay Kubo, Yasuyuki Usuda, Eiji Aramaki. [doi]
• An Interaction Fit Analysis Technique and its ApplicationsChristopher Allan Miller, Jeffrey M. Rye, Peggy Wu, Eric Engstrom. [doi]
• A Planner for Ambient Assisted Living: From High-Level Reasoning to Low-Level Robot Execution and BackMaurizio Di Rocco, Federico Pecora, Subhash Sathyakeerthy, Jasmin Grosinger, Alessandro Saffiotti, Manuele Bonaccorsi, Raffaele Limosani, Alessandro Manzi, Filippo Cavallo, Paolo Dario, Giancarlo Teti. [doi]
• Reasoning on Robot Knowledge from Discrete and Asynchronous ObservationsPouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos. [doi]
• Formal Verification of an Autonomous Personal Robotic AssistantMatt Webster, Clare Dixon, Michael Fisher 0001, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn. [doi]
• A Qualitative Representation of Social Conventions for Application in RoboticsFrank Dylla, Arne Kreutzmann, Diedrich Wolter. [doi]
• Toward Emotional Well-Being: Staying Calm with ECG FeedbackKen Iwasaki, Carson Reynolds, Masatoshi Ishikawa. [doi]
• The Maverick Nanny with a Dopamine Drip: Debunking Fallacies in the Theory of AI MotivationRichard Patrick William Loosemore. [doi]
• Towards a Theory of Intentional AgentsJustin Lane Blount, Michael Gelfond, Marcello Balduccini. [doi]
• From Sequence to Trajectory and Vice Versa: Solving the Inverse QTC Problem and Coping with Real-World TrajectoriesKonstantinos Iliopoulos, Nicola Bellotto, Nikolaos Mavridis. [doi]
• Big Desire to Share Big Health Data: A Shift in Consumer Attitudes toward Personal Health InformationK. Thomas Pickard, Melanie Swan. [doi]
• Implementing a Safe "Seed" SelfMark R. Waser. [doi]
• Evaluation Schemes for Safe AGIsDeepak Justin Nath. [doi]
• Explaining Verifier Traces with Explanation Based LearningDaniel Bryce. [doi]
• A Logical Theory of Robot LocalizationVaishak Belle, Hector J. Levesque. [doi]
• Concierge-Based Care Support System for Designing Your Own LifestyleKeiki Takadama. [doi]
• Data-Driven Probabilistic Modeling and Verification of Human Driver BehaviorDorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia. [doi]
• Modeling Human-Robot Trust in EmergenciesPaul Robinette, Alan R. Wagner, Ayanna M. Howard. [doi]
• Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media AllocationLinda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer. [doi]
• Robust, Scalable Hybrid Decision NetworksJason B. Scholz, Ian William Dall, Don Gossink, Glen A. Smith, Darryn Reid. [doi]
• Effects of Training Data Variation and Temporal Representation in a QSR-Based Action Prediction SystemJay Young, Nick Hawes. [doi]
• Formal Verification of Safety-Critical User Interfaces: a space system case studyManuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison. [doi]
• Planning Domain + Execution Semantics: A Way Towards Robust Execution?Stefan Konecny, Sebastian Stock, Federico Pecora, Alessandro Saffiotti. [doi]
• Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator PerformanceCélia Martinie, Philippe A. Palanque. [doi]
• Verification of Human Driven Data-Centric Dynamic SystemsBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali. [doi]
• Multiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary AlgorithmsMitchell K. Colby, Matt Knudson, Kagan Tumer. [doi]
• Finding Faults in Autistic and Software Active Inductive LearningBoris A. Galitsky, Igor Spitsberg. [doi]
• PrefaceJennifer L. Burke, Alan Wagner, Donald A. Sofge, William F. Lawless. [doi]
• Personal Life Repository as a Distributed PDS and Its Dissemination Strategy for Healthcare ServicesKôiti Hasida. [doi]
• Experience of Crowds as a Guarantee for Safe Artificial SelfRafal Rzepka, Kenji Araki. [doi]
• PrefaceMohan Sridharan. [doi]
• Towards Modeling the Behavior of Autonomous Systems and Humans for Trusted OperationsWeiqing Gu, Ranjeev Mittu, Julie L. Marble, Gavin Taylor, Ciara Sibley, Joseph T. Coyne, William F. Lawless. [doi]
• Enabling Robust Human-Robot Cooperation through Flexible Fully Bayesian Shared SensingNisar Razzi Ahmed, Rina Tse, Mark E. Campbell. [doi]
• OrganizersJennifer L. Burke. [doi]
• On the Decidability of Verifying LTL Properties of Golog ProgramsBenjamin Zarrieß, Jens Claßen. [doi]
• CommitteesTakashi Kido. [doi]
• Barriers to Robust and Effective Human-Agent TeamworkFei Gao, Mary L. Cummings. [doi]
• Incorporating Elements of a Processual Self into Active LogicJustin Brody, Michael T. Cox, Donald Perlis. [doi]
• A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on SituationsFangzhen Lin. [doi]
• Towards a Similarity between Qualitative Image Descriptions for Comparing Real ScenesZoe Falomir, Lledó Museros Cabedo, Luis González Abril. [doi]
• Evaluating Human Drives and Needs for a Safe Motivational SystemMorgan J. Waser. [doi]
• Ontology-Based Cognitive System for Contextual Reasoning in Robot ArchitecturesAlessandro Oltramari, Yury Vinokurov, Christian Lebiere, Jean Oh, Anthony Stentz. [doi]
• Understanding Ambulatory and Wearable Data for Health and WellnessAkane Sano, Rosalind W. Picard. [doi]
• An Approach for Scene Interpretation Using Qualitative Descriptors, Semantics and Domain KnowledgeZoe Falomir. [doi]
• Investigation of Future Reference Expressions in Trend InformationYoko Nakajima, Michal Ptaszynski, Hirotoshi Honma, Fumito Masui. [doi]
• The Effect of Health Data Visualization to Promote Healthy BehaviorSatoshi Taniguchi, Daisuke Hachimura, Kenichi Ishinazaka, Toshihiro Tamaki, Shojiro Ishigaki, Noriko Matsuura, Naomi Adachi. [doi]
• State Event Models for the Formal Analysis of Human-Machine InteractionsSébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou. [doi]
• Predicting Preterm Birth Is Not Elusive: Machine Learning Paves the Way to Individual WellnessIlia Vovsha, Ashwath Rajan, Ansaf Salleb-Aouissi, Anita Raja, Axinia Radeva, Hatim Diab, Ashish Tomar, Ronald J. Wapner. [doi]
• Formal Specification and Synthesis of Mission Plans for Unmanned Aerial VehiclesLaura R. Humphrey, Eric M. Wolff, Ufuk Topcu. [doi]
• Arresting Treatment Patterns for Individual Patients in Clinical Big Data: An Exploratory ProcedureMizuki Morita, Masanori Shiro, Shotaro Akaho, Hideki Asoh, Toshihiro Kamishima, Eiji Aramaki, Kôiti Hasida, Takahide Kohro. [doi]
• Modeling Non-Functional Properties for Human-Machine SystemsArunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus. [doi]
• Scene Interpretation for Self-Aware Cognitive RobotsMelodi Deniz Ozturk, Mustafa Ersen, Melis Kapotoglu, Cagatay Koc, Sanem Sariel Talay, Hulya Yalcin. [doi]
• Gaze Pattern Analysis to Detect Manga SimilarityTetsuya Maeshiro, Saki Hayashi. [doi]
• CommitteesEric G. Mercer. [doi]
• Reinforcement Learning and the Reward Engineering PrincipleDaniel Dewey. [doi]
• Planning in Answer Set Programming while Learning Action Costs for Mobile RobotsFangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Stone. [doi]
• The Intersection of Robust Intelligence and Trust: Hybrid Teams, Firms, and SystemsWilliam Frere Lawless, Donald A. Sofge. [doi]
• Big Data Made PersonalMichael Hopmere, Jim Karkanias. [doi]
• Identifying Factors that Influence Trust in Automated Cars and Medical Diagnosis SystemsMichelle S. Carlson, Jill L. Drury, Munjal Desai, Hyangshim Kwak, Holly A. Yanco. [doi]
• Symposium ChairMark Waser. [doi]
• Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen ModelWilliam J. Clancey, Chin Seah, Charlotte Linde, Michael G. Shafto, Neha S. Rungta. [doi]
• Beat-by-Beat Getting Fit: Leveraging Pervasive Self-Tracking of Heart Rate in Self-Management of HealthKatarzyna Wac. [doi]
• Towards a Cognitively-Based Analytic Model of Human Control of SwarmsSeyed Behzad Tabibian, Michael Lewis 0001, Christian Lebiere, Nilanjan Chakraborty, Katia P. Sycara, Stefano Bennati, Meeko Oishi. [doi]
• Innovators Marketplace on Data Jackets for Externalizing the Value of Data via Stakeholders' Requirement CommunicationYukio Ohsawa, Chang Liu, Yoshitaka Suda, Hiroyuki Kido. [doi]
• Grounding Language in Perception for Scene Conceptualization in Autonomous RobotsKrishna Sandeep Reddy Dubba, Miguel de Oliveira, Gi Hyun Lim, S. Hamidreza Kasaei, Luís Seabra Lopes, Ana Maria Tomé, Anthony G. Cohn. [doi]
• Announced Strategy Types in Multiagent RL for Conflict-Avoidance in the National AirspaceCarrie Rebhuhn, Matt Knudson, Kagan Tumer. [doi]
• REACT! An Interactive Tool for Hybrid Planning in RoboticsZeynep Dogmus, Esra Erdem 0001, Volkan Patoglu. [doi]
• Learning the Task Management Space of an Aircraft Approach ModelJoseph Krall, Tim Menzies, Misty Davies. [doi]
• The Maximally Distributed Intelligence ExplosionFrancesco Albert Bosco Cortese. [doi]
• A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification TechniquesDenis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein. [doi]
• Deep Belief Networks Used on High Resolution Multichannel Electroencephalography Data for Seizure DetectionJ. T. Turner, Adam Page, Tinoosh Mohsenin, Tim Oates. [doi]
• A Computational Focus For Robotics EducationZachary Dodds, Kristina Ming, Christopher Eriksen, Shih-Chieh Hsiung, Xin Huang, Zakkai Davidson. [doi]
• A Proposal of a Care Worker Support System Using Structured Human Functioning DataChikataka Sato, Jun Sawamoto, Eiji Sugino, Norihisa Segawa, Hiroshi Yajima, Manabu Kurosawa. [doi]
• Work Representations for Evaluating and Modeling Human-Machine SystemsDorrit Billman. [doi]
• Autonomy, Trust, and TransportationAndrew Lacher, Robert Grabowski, Stephen Cook. [doi]
• Sleep Stage Estimation Using Synthesized Data of Heart Rate and Body MovementYusuke Tajima, Masaya Nakata, Tomohiro Harada, Keiji Sato, Keiki Takadama. [doi]
• Modeling and Control of Trust in Human and Robot Collaborative ManufacturingBehzad Sadrfaridpour, Hamed Saeidi, Yue Wang 0011, Jenny Burke. [doi]
• Trust and Delegation: Achieving Robust Interactions with SubordinatesChristopher Miller. [doi]
• Optimal Scheduling of Earth-Imaging Satellites with Human Collaboration via Directed Acyclic GraphsSean Augenstein. [doi]
• Macroanalysis of Microblogs: An Empirical Study of Communication Strategies on Twitter During Disasters and ElectionsYuuto Fukushima, Fumito Masui, Michal Ptaszynski, Yoko Nakajima, Keisuke Watanabe, Ryotaro Kawaishi, Taisei Nitta, Ryoya Sato. [doi]
• Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID ControllerMatthew A. Clark, Kuldip S. Rattan. [doi]
• A Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory PerformanceNisar Razzi Ahmed, Ewart de Visser, Tyler H. Shaw, Raja Parasuraman, Amira Mohammed-Amin, Mark Campbell. [doi]
• Improving Trust in Automation of Social PromotionBoris A. Galitsky, Dmitri I. Ilvovsky, Nina Lebedeva, Daniel Usikov. [doi]
• CommitteesNick Hawes. [doi]
• A Probabilistic Model of Human-Robot Spatial Interaction Using a Qualitative Trajectory CalculusChristian Dondrup, Nicola Bellotto, Marc Hanheide. [doi]
• Design of a Digital Esperanto and Care of the Weak by the Interface - The Use of Standard Theory, Information Extraction from Big DataYoshimi Watanabe. [doi]
• Bootstrapping Probabilistic Models of Qualitative Spatial Relations for Active Visual Object SearchLars Kunze, Chris Burbridge, Nick Hawes. [doi]