11 found
Order:
Disambiguations
Catholijn Jonker [6]Catholijn M. Jonker [5]
  1.  48
    Formalisation of Damasio’s Theory of Emotion, Feeling and Core Consciousness.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2008 - Consciousness and Cognition 17 (1):94-113.
    This paper contributes an analysis and formalisation of Damasio’s theory on core consciousness. Three important concepts in this theory are ‘emotion’, ‘feeling’ and ‘feeling a feeling’ . In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  34
    Elicitation of Situated Values: Need for Tools to Help Stakeholders and Designers to Reflect and Communicate. [REVIEW]Alina Pommeranz, Christian Detweiler, Pascal Wiggers & Catholijn Jonker - 2012 - Ethics and Information Technology 14 (4):285-303.
    Explicitly considering human values in the design process of socio-technical systems has become a responsibility of designers. It is, however, challenging to design for values because (1) relevant values must be identified and communicated between all stakeholders and designers and (2) stakeholders’ values differ and trade-offs must be made. We focus on the first aspect, which requires elicitation of stakeholders’ situated values , i.e. values relevant to a specific real life context. Available techniques to elicit knowledge and requirements from stakeholders (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  40
    Reductionist and Anti-Reductionist Perspectives on Dynamics.Catholijn M. Jonker, Jan Treur & Wouter C. A. Wijngaards - 2002 - Philosophical Psychology 15 (4):381 – 409.
    In this paper, reduction and its pragmatics are discussed in light of the development in computer science of languages to describe processes. The design of higher-level description languages within computer science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical) details of these processes. The higher description levels developed have dramatically increased the complexity of applications that came within reach. The pragmatic attitude of a (scientific) (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  42
    Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
    Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  86
    Inter-Level Relations in Computer Science, Biology, and Psychology.Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren de Jong, Allard Tamminga, Jan Treur, Hans Westerhoff & Wouter Wijngaards - 2002 - Philosophical Psychology 15 (4):463–471.
    Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  1
    Evaluating Practical Negotiating Agents: Results and Analysis of the 2011 International Competition.Tim Baarslag, Katsuhide Fujita, Enrico H. Gerding, Koen Hindriks, Takayuki Ito, Nicholas R. Jennings, Catholijn Jonker, Sarit Kraus, Raz Lin, Valentin Robu & Colin R. Williams - 2013 - Artificial Intelligence 198:73-103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  14
    Formalization and Analysis of Reasoning by Assumption.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2006 - Cognitive Science 30 (1):147-180.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Antonio Moreno-Sandoval and José Miguel Goñi-Menoyo/Spanish Inflectional Morphology in Datr 79–105 Albert Visser/the Donkey and the Monoid. Dynamic Semantics with Control Elements 107–131 Instructions for Authors 133–139. [REVIEW]Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11:521-522.
  9.  3
    Eight Grand Challenges for Value Sensitive Design From the 2016 Lorentz Workshop.Batya Friedman, Maaike Harbers, David G. Hendry, Jeroen van den Hoven, Catholijn Jonker & Nick Logler - 2021 - Ethics and Information Technology 23 (1):5-16.
    In this article, we report on eight grand challenges for value sensitive design, which were developed at a one-week workshop, Value Sensitive Design: Charting the Next Decade, Lorentz Center, Leiden, The Netherlands, November 14–18, 2016. A grand challenge is a substantial problem, opportunity, or question that motives sustained research and design activity. The eight grand challenges are: Accounting for Power, Evaluating Value Sensitive Design, Framing and Prioritizing Values, Professional and Industry Appropriation, Tech policy, Values and Human Emotions, Value Sensitive Design (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Introduction to the Special Issue: Value Sensitive Design: Charting the Next Decade.Batya Friedman, Maaike Harbers, David G. Hendry, Jeroen van den Hoven, Catholijn Jonker & Nick Logler - 2021 - Ethics and Information Technology 23 (1):1-3.
    In this article, we introduce the Special Issue, Value Sensitive Design: Charting the Next Decade, which arose from a week-long workshop hosted by Lorentz Center, Leiden, The Netherlands, November 14–18, 2016. Forty-one researchers and designers, ranging in seniority from doctoral students to full professors, from Australia, Europe, and North America, and representing a wide range of academic fields participated in the workshop. The first article in the special issue puts forward eight grand challenges for value sensitive design to help guide (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    Things That Help Out: Designing Smart Wearables as Partners in Stress Management.Xueliang Li, Marco C. Rozendaal, Kaspar Jansen, Catholijn Jonker & Eric Vermetten - 2021 - AI and Society 36 (1):251-261.
    We propose an approach to designing smart wearables that act as partners to help people cope with stress in daily life. Our approach contributes to the developing field of smart wearables by addressing how technological capabilities can be designed to establish partnerships that consider the person, the situation, and the appropriate type of support. As such, this study also contributes to healthcare by opening up novel technology-supported routes to stress treatment and care. We present the results of a phenomenological study (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark