Order:
  1.  52
    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. Formal Analysis of Dynamics Within Philosophy of Mind by Computer Simulation.Tibor Bosse, Martijn C. Schut & Jan Treur - 2009 - Minds and Machines 19 (4):543-555.
    Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark  
  3.  23
    A Model-Based Reasoning Approach to Prevent Crime.Tibor Bosse & Charlotte Gerritsen - 2010 - In W. Carnielli L. Magnani (ed.), Model-Based Reasoning in Science and Technology. pp. 159--177.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    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  
     
    Export citation  
     
    Bookmark  
  5.  4
    Validating Automated Sentiment Analysis of Online Cognitive Behavioral Therapy Patient Texts: An Exploratory Study.Simon Provoost, Jeroen Ruwaard, Ward van Breda, Heleen Riper & Tibor Bosse - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark