![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
AAAI Spring Symposia 2014: Palo Alto, CA, USA
- 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press 2014
1 - Big Data Becomes Personal: Knowledge into Meaning
- Takashi Kido:
Committees. - Yuuto Fukushima, Fumito Masui, Michal Ptaszynski, Yoko Nakajima, Keisuke Watanabe, Ryotaro Kawaishi, Taisei Nitta, Ryoya Sato:
Macroanalysis of Microblogs: An Empirical Study of Communication Strategies on Twitter During Disasters and Elections. - Kôiti Hasida:
Personal Life Repository as a Distributed PDS and Its Dissemination Strategy for Healthcare Services. - Michael Hopmere, Jim Karkanias:
Big Data Made Personal. - Ken Iwasaki, Carson Reynolds, Masatoshi Ishikawa:
Toward Emotional Well-Being: Staying Calm with ECG Feedback. - Takashi Kido, Melanie Swan:
Know Thyself: Data Driven Self-Awareness for Understanding Our Unconsciousness Behaviors. - Tetsuya Maeshiro, Saki Hayashi:
Gaze Pattern Analysis to Detect Manga Similarity. - Yoko Nakajima, Michal Ptaszynski, Hirotoshi Honma, Fumito Masui:
Investigation of Future Reference Expressions in Trend Information. - Tetsuaki Nakamura, Kay Kubo, Yasuyuki Usuda, Eiji Aramaki:
Defining Patients with Depressive Disorder by Using Textual Information. - Yukio Ohsawa, Chang Liu, Yoshitaka Suda, Hiroyuki Kido:
Innovators Marketplace on Data Jackets for Externalizing the Value of Data via Stakeholders' Requirement Communication. - K. Thomas Pickard, Melanie Swan:
Big Desire to Share Big Health Data: A Shift in Consumer Attitudes toward Personal Health Information. - Akane Sano, Rosalind W. Picard:
Understanding Ambulatory and Wearable Data for Health and Wellness. - Chikataka Sato, Jun Sawamoto, Eiji Sugino, Norihisa Segawa, Hiroshi Yajima, Manabu Kurosawa:
A Proposal of a Care Worker Support System Using Structured Human Functioning Data. - Yusuke Tajima, Masaya Nakata, Tomohiro Harada, Keiji Sato, Keiki Takadama:
Sleep Stage Estimation Using Synthesized Data of Heart Rate and Body Movement. - Keiki Takadama:
Concierge-Based Care Support System for Designing Your Own Lifestyle. - J. T. Turner, Adam Page, Tinoosh Mohsenin, Tim Oates:
Deep Belief Networks Used on High Resolution Multichannel Electroencephalography Data for Seizure Detection. - Ilia Vovsha, Ashwath Rajan, Ansaf Salleb-Aouissi, Anita Raja, Axinia Radeva, Hatim Diab, Ashish Tomar, Ronald J. Wapner:
Predicting Preterm Birth Is Not Elusive: Machine Learning Paves the Way to Individual Wellness. - Yoshimi Watanabe:
Design of a Digital Esperanto and Care of the Weak by the Interface - The Use of Standard Theory, Information Extraction from Big Data. - Rahadian Yusuf, Shuyao Wang, Ivan Tanev, Katsunori Shimohara:
Designing Evolving Computer Agent Capable of Emotion Recognition and Expression. - Mizuki Morita, Masanori Shiro, Shotaro Akaho, Hideki Asoh, Toshihiro Kamishima, Eiji Aramaki, Kôiti Hasida, Takahide Kohro:
Arresting Treatment Patterns for Individual Patients in Clinical Big Data: An Exploratory Procedure. - Satoshi Taniguchi, Daisuke Hachimura, Kenichi Ishinazaka, Toshihiro Tamaki, Shojiro Ishigaki, Noriko Matsuura, Naomi Adachi:
The Effect of Health Data Visualization to Promote Healthy Behavior. - Katarzyna Wac:
Beat-by-Beat Getting Fit: Leveraging Pervasive Self-Tracking of Heart Rate in Self-Management of Health.
2 - Formal Verification and Modeling in Human-Machine Systems
- Eric G. Mercer:
Committees. - Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass:
Preface. - Nisar Razzi Ahmed, Ewart de Visser, Tyler H. Shaw, Raja Parasuraman, Amira Mohammed-Amin, Mark Campbell:
A Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory Performance. - Daniel Bryce:
Explaining Verifier Traces with Explanation Based Learning. - Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou:
State Event Models for the Formal Analysis of Human-Machine Interactions. - Joseph Krall, Tim Menzies, Misty D. Davies:
Learning the Task Management Space of an Aircraft Approach Model. - Célia Martinie, Philippe A. Palanque:
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. - Christopher Allen Miller, Jeffrey M. Rye, Peggy Wu, Eric Engstrom:
An Interaction Fit Analysis Technique and its Applications. - Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer:
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. - J. J. Moore, R. Ivie, T. J. Gledhill, Eric G. Mercer, Michael A. Goodrich:
Modeling Human Workload in Unmanned Aerial Systems. - Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus:
Modeling Non-Functional Properties for Human-Machine Systems. - Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. - Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of Safety-Critical User Interfaces: a space system case study. - Seyed Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia P. Sycara, Stefano Bennati, Meeko Oishi:
Towards a Cognitively-Based Analytic Model of Human Control of Swarms. - Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn:
Formal Verification of an Autonomous Personal Robotic Assistant. - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Human Driven Data-Centric Dynamic Systems. - Dorrit Billman:
Work Representations for Evaluating and Modeling Human-Machine Systems. - Matthew L. Bolton, Samaneh Ebrahimi:
An Approach to Generating Human-Computer Interfaces from Task Models. - William J. Clancey, Chin Seah, Charlotte Linde, Michael G. Shafto, Neha S. Rungta:
Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized überlingen Model. - Matthew A. Clark, Kuldip S. Rattan:
Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller. - Mitchell K. Colby, Matt Knudson, Kagan Tumer:
Multiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary Algorithms. - Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu:
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. - Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein:
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. - Carrie Rebhuhn, Matt Knudson, Kagan Tumer:
Announced Strategy Types in Multiagent RL for Conflict-Avoidance in the National Airspace.
3 - Implementing Selves with Safe Motivational Systems and Self-Improvement
- Mark Waser:
Symposium Chair. - Justin Brody, Michael T. Cox, Donald Perlis:
Incorporating Elements of a Processual Self into Active Logic. - Francesco Albert Bosco Cortese:
The Maximally Distributed Intelligence Explosion. - Daniel Dewey:
Reinforcement Learning and the Reward Engineering Principle. - Boris A. Galitsky, Igor Spitsberg:
Finding Faults in Autistic and Software Active Inductive Learning. - András Kornai:
Euclidean Automata. - Richard Patrick William Loosemore:
The Maverick Nanny with a Dopamine Drip: Debunking Fallacies in the Theory of AI Motivation. - Deepak Justin Nath:
Evaluation Schemes for Safe AGIs. - Rafal Rzepka, Kenji Araki:
Experience of Crowds as a Guarantee for Safe Artificial Self. - Mark R. Waser:
Implementing a Safe "Seed" Self. - Morgan J. Waser:
Evaluating Human Drives and Needs for a Safe Motivational System.
4 - The Intersection of Robust Intelligence and Trust in Autonomous Systems
- Jennifer L. Burke:
Organizers. - Jennifer L. Burke, Alan Wagner, Donald A. Sofge, William F. Lawless:
Preface. - Nisar Razzi Ahmed, Rina Tse, Mark E. Campbell:
Enabling Robust Human-Robot Cooperation through Flexible Fully Bayesian Shared Sensing. - Sean Augenstein:
Optimal Scheduling of Earth-Imaging Satellites with Human Collaboration via Directed Acyclic Graphs. - Andrew Benjamin Bolster, Alan Marshall:
A Multi-Vector Trust Framework for Autonomous Systems. - Michelle S. Carlson, Jill L. Drury, Munjal Desai, Hyangshim Kwak, Holly A. Yanco:
Identifying Factors that Influence Trust in Automated Cars and Medical Diagnosis Systems. - Boris A. Galitsky, Dmitri I. Ilvovsky, Nina Lebedeva, Daniel Usikov:
Improving Trust in Automation of Social Promotion. - Fei Gao, Mary L. Cummings:
Barriers to Robust and Effective Human-Agent Teamwork. - Andrew Lacher, Robert Grabowski, Stephen Cook:
Autonomy, Trust, and Transportation. - William Frere Lawless, Donald A. Sofge:
The Intersection of Robust Intelligence and Trust: Hybrid Teams, Firms, and Systems. - Christopher Miller:
Trust and Delegation: Achieving Robust Interactions with Subordinates. - Paul Robinette, Alan R. Wagner, Ayanna M. Howard:
Modeling Human-Robot Trust in Emergencies. - Behzad Sadrfaridpour, Hamed Saeidi, Yue Wang, Jenny Burke:
Modeling and Control of Trust in Human and Robot Collaborative Manufacturing. - Jason B. Scholz, Ian William Dall, Don Gossink, Glen A. Smith, Darryn Reid:
Robust, Scalable Hybrid Decision Networks. - Weiqing Gu, Ranjeev Mittu, Julie L. Marble, Gavin Taylor, Ciara Sibley, Joseph T. Coyne, William F. Lawless:
Towards Modeling the Behavior of Autonomous Systems and Humans for Trusted Operations. - Barnabas K. Tannahill, Mo M. Jamshidi:
Big Data Analytic Paradigms - From PCA to Deep Learning.
5 - Knowledge Representation and Reasoning in Robotics
- Mohan Sridharan:
Committees. - Mohan Sridharan:
Preface. - Vaishak Belle, Hector J. Levesque:
A Logical Theory of Robot Localization. - Justin Lane Blount, Michael Gelfond
, Marcello Balduccini:
Towards a Theory of Intentional Agents. - Zachary Dodds, Kristina Ming, Christopher Eriksen, Shih-Chieh Hsiung, Xin Huang, Zakkai Davidson:
A Computational Focus For Robotics Education. - Zeynep Dogmus, Esra Erdem, Volkan Patoglu:
REACT! An Interactive Tool for Hybrid Planning in Robotics. - Joshua Eckroth, John R. Josephson:
Commonsense Abductive Reasoning and Metareasoning Using Knowledge from Bayesian Networks. - Fangzhen Lin:
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. - Alessandro Oltramari, Yury Vinokurov, Christian Lebiere, Jean Oh, Anthony Stentz:
Ontology-Based Cognitive System for Contextual Reasoning in Robot Architectures. - Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu:
Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan. - Gerald Steinbauer, Clemens Mühlbacher:
Using Common Sense Invariants in Belief Management for Autonomous Agents. - Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Stone:
Planning in Answer Set Programming while Learning Action Costs for Mobile Robots. - Benjamin Zarrieß, Jens Claßen:
On the Decidability of Verifying LTL Properties of Golog Programs. - Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee
, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos:
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. - Zoe Falomir:
An Approach for Scene Interpretation Using Qualitative Descriptors, Semantics and Domain Knowledge.
6 - Qualitative Representations for Robots
- Nick Hawes:
Committees. - Marina Alberti, John Folkesson, Patric Jensfelt:
Relational Approaches for Joint Object Classification and Scene Similarity Measurement in Indoor Environments. - Maurizio Di Rocco, Federico Pecora, Subhash Sathyakeerthy, Jasmin Grosinger, Alessandro Saffiotti, Manuele Bonaccorsi, Raffaele Limosani, Alessandro Manzi, Filippo Cavallo, Paolo Dario, Giancarlo Teti:
A Planner for Ambient Assisted Living: From High-Level Reasoning to Low-Level Robot Execution and Back. - Christian Dondrup, Nicola Bellotto, Marc Hanheide:
A Probabilistic Model of Human-Robot Spatial Interaction Using a Qualitative Trajectory Calculus. - Krishna Sandeep Reddy Dubba, Miguel Oliveira, Gi Hyun Lim, S. Hamidreza Kasaei, Luís Seabra Lopes, Ana Maria Tomé, Anthony G. Cohn:
Grounding Language in Perception for Scene Conceptualization in Autonomous Robots. - Frank Dylla, Arne Kreutzmann, Diedrich Wolter:
A Qualitative Representation of Social Conventions for Application in Robotics. - Zoe Falomir, Lledó Museros Cabedo, Luis González Abril:
Towards a Similarity between Qualitative Image Descriptions for Comparing Real Scenes. - José Angelo Gurzoni Jr., Paulo Eduardo Santos, Murilo Fernandes Martins, Fábio Gagliardi Cozman:
Probabilistic Logic for Multi-Robot Event Recognition. - Konstantinos Iliopoulos, Nicola Bellotto, Nikolaos Mavridis:
From Sequence to Trajectory and Vice Versa: Solving the Inverse QTC Problem and Coping with Real-World Trajectories. - Piyush Khandelwal, Peter Stone:
Multi-Robot Human Guidance Using Topological Graphs. - Stefan Konecny, Sebastian Stock, Federico Pecora, Alessandro Saffiotti:
Planning Domain + Execution Semantics: A Way Towards Robust Execution? - Lars Kunze, Chris Burbridge, Nick Hawes:
Bootstrapping Probabilistic Models of Qualitative Spatial Relations for Active Visual Object Search. - Melodi Deniz Ozturk, Mustafa Ersen, Melis Kapotoglu, Cagatay Koc, Sanem Sariel Talay, Hulya Yalcin:
Scene Interpretation for Self-Aware Cognitive Robots. - Jay Young, Nick Hawes:
Effects of Training Data Variation and Temporal Representation in a QSR-Based Action Prediction System.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.