The following pages link to Jan Treur (Q206623):
Displaying 50 items.
- (Q217918) (redirect page) (← links)
- Network-oriented modeling. Addressing complexity of cognitive, affective and social interactions (Q341063) (← links)
- Executable temporal logic for non-monotonic reasoning (Q679335) (← links)
- Compositional verification of a multi-agent system for one-to-many negotiation (Q702806) (← links)
- Polynomial extensions of skew fields (Q805715) (← links)
- Noncommutative splitting fields (Q911691) (← links)
- On duality for skew field extensions (Q1112929) (← links)
- Separate zeros and Galois extensions of skew fields (Q1117305) (← links)
- Heuristic reasoning and relative incompleteness (Q1209535) (← links)
- Nonmonotonic reasoning with multiple belief sets (Q1286411) (← links)
- Temporalizing epistemic default logic (Q1289106) (← links)
- An interpretation of default logic in minimal temporal epistemic logic (Q1289107) (← links)
- Representation theory for default logic (Q1376095) (← links)
- Multi-interpretation operators and approximate classification. (Q1395581) (← links)
- On centralizer-related intermediate fields of a skew field extension (Q1599280) (← links)
- Compositional verification of multi-agent systems in temporal multi-epistemic logic (Q1610622) (← links)
- BDI-modelling of complex intracellular dynamics (Q1788608) (← links)
- Linear, branching time and joint closure semantics for temporal logic (Q1863748) (← links)
- Context-sensitive mental model aggregation in a second-order adaptive network model for organisational learning (Q2086617) (← links)
- An adaptive mental network model for reactions to social pain (Q2086655) (← links)
- Dynamics, adaptation and control for mental models: a cognitive architecture (Q2098409) (← links)
- Bringing networks to the next level: self-modeling networks for adaptivity and control of mental models (Q2098410) (← links)
- On becoming a good driver: modeling the learning of a mental model (Q2098412) (← links)
- Controlling your mental models: using metacognition to control use and adaptation for multiple mental models (Q2098413) (← links)
- Disturbed by flashbacks: a controlled adaptive network model addressing mental models for flashbacks from PTSD (Q2098414) (← links)
- `What if I would have done otherwise\dots': a controlled adaptive network model for mental models in counterfactual thinking (Q2098415) (← links)
- Do you get me: controlled adaptive mental models for analysis and support processes (Q2098416) (← links)
- Who am I really: an adaptive network model addressing mental models for self-referencing, self-awareness and self-interpretation (Q2098418) (← links)
- In control of your instructor: modeling learner-controlled mental model learning (Q2098419) (← links)
- Work together or fight together: modeling adaptive cooperative and competitive metaphors as mental models for joint decision making (Q2098420) (← links)
- How empathic is your god: an adaptive network model for formation and use of a mental god-model and its effect on human empathy (Q2098422) (← links)
- You feel so familiar, you feel so different: a controlled adaptive network model for attachment patterns as adaptive mental models (Q2098425) (← links)
- Taking control of your bonding: controlled social network adaptation using mental models (Q2098426) (← links)
- Are we on the same page: a controlled adaptive network model for shared mental models in hospital teamwork (Q2098427) (← links)
- How do mental models actually exist in the brain: on context-dependent neural correlates of mental models (Q2098428) (← links)
- How the brain creates emergent information by the development of mental models: an analysis from the perspective of temporal factorisation and criterial causation (Q2098429) (← links)
- With a little help: a modeling environment for self-modeling network models (Q2098430) (← links)
- Where is this leading me: stationary point and equilibrium analysis for self-modeling network models (Q2098431) (← links)
- Does this suit me? Validation of self-modeling network models by parameter tuning (Q2098432) (← links)
- How far do self-modeling networks reach: relating them to adaptive dynamical systems (Q2098433) (← links)
- Dynamics, adaptation, and control for mental models analysed from a self-modeling network viewpoint (Q2098434) (← links)
- Agent-oriented modeling of the dynamics of biological organisms (Q2383958) (← links)
- Analysis of meeting protocols by formalisation, simulation, and verification (Q2463822) (← links)
- (Q2728953) (← links)
- A semantical perspective on verification of knowledge (Q2778425) (← links)
- (Q2912584) (← links)
- A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems (Q3056336) (← links)
- Formal semantics of meta-level architectures: Temporal epistemic reflection (Q3156879) (← links)
- A requirement specification language for configuration dynamics of multiagent systems (Q3156904) (← links)
- Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088) (← links)
