| Publication | Date of Publication | Type |
|---|
| Network reification as a unified approach to represent network adaptation principles within a network | 2023-10-16 | Paper |
| Relating an adaptive network's structure to its emerging behaviour for Hebbian learning | 2023-10-16 | Paper |
| Dynamics, adaptation and control for mental models: a cognitive architecture | 2022-11-18 | Paper |
| Bringing networks to the next level: self-modeling networks for adaptivity and control of mental models | 2022-11-18 | Paper |
| On becoming a good driver: modeling the learning of a mental model | 2022-11-18 | Paper |
| Controlling your mental models: using metacognition to control use and adaptation for multiple mental models | 2022-11-18 | Paper |
| Disturbed by flashbacks: a controlled adaptive network model addressing mental models for flashbacks from PTSD | 2022-11-18 | Paper |
| `What if I would have done otherwise\dots': a controlled adaptive network model for mental models in counterfactual thinking | 2022-11-18 | Paper |
| Do you get me: controlled adaptive mental models for analysis and support processes | 2022-11-18 | Paper |
| Who am I really: an adaptive network model addressing mental models for self-referencing, self-awareness and self-interpretation | 2022-11-18 | Paper |
| In control of your instructor: modeling learner-controlled mental model learning | 2022-11-18 | Paper |
| Work together or fight together: modeling adaptive cooperative and competitive metaphors as mental models for joint decision making | 2022-11-18 | Paper |
| How empathic is your god: an adaptive network model for formation and use of a mental god-model and its effect on human empathy | 2022-11-18 | Paper |
| You feel so familiar, you feel so different: a controlled adaptive network model for attachment patterns as adaptive mental models | 2022-11-18 | Paper |
| Taking control of your bonding: controlled social network adaptation using mental models | 2022-11-18 | Paper |
| Are we on the same page: a controlled adaptive network model for shared mental models in hospital teamwork | 2022-11-18 | Paper |
| How do mental models actually exist in the brain: on context-dependent neural correlates of mental models | 2022-11-18 | Paper |
| How the brain creates emergent information by the development of mental models: an analysis from the perspective of temporal factorisation and criterial causation | 2022-11-18 | Paper |
| With a little help: a modeling environment for self-modeling network models | 2022-11-18 | Paper |
| Where is this leading me: stationary point and equilibrium analysis for self-modeling network models | 2022-11-18 | Paper |
| Does this suit me? Validation of self-modeling network models by parameter tuning | 2022-11-18 | Paper |
| How far do self-modeling networks reach: relating them to adaptive dynamical systems | 2022-11-18 | Paper |
| Dynamics, adaptation, and control for mental models analysed from a self-modeling network viewpoint | 2022-11-18 | Paper |
| Context-sensitive mental model aggregation in a second-order adaptive network model for organisational learning | 2022-10-25 | Paper |
| An adaptive mental network model for reactions to social pain | 2022-10-25 | Paper |
| Infinitary default logic for specification of nonmonotonic reasoning | 2019-10-08 | Paper |
| Specification of nonmonotonic reasoning | 2019-04-29 | Paper |
| Nonmonotonic reasoning with multiple belief sets | 2019-04-29 | Paper |
| BDI-modelling of complex intracellular dynamics | 2018-10-08 | Paper |
| Network-oriented modeling. Addressing complexity of cognitive, affective and social interactions | 2016-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2912584 | 2012-09-14 | Paper |
| A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems | 2010-11-11 | Paper |
| Verifying Context-Dependent Reduction Relations for Knowledge Specifications | 2010-10-06 | Paper |
| Past–future separation and normal forms in temporal predicate logic specifications | 2009-07-24 | Paper |
| A PHILOSOPHICAL FOUNDATION FOR UNIFICATION OF DYNAMIC MODELING METHODS BASED ON HIGHER-ORDER POTENTIALITIES AND THEIR REDUCERS | 2009-04-03 | Paper |
| Automated formal analysis of human multi-issue negotiation processes | 2008-11-24 | Paper |
| SIMULATION AND ANALYSIS OF ADAPTIVE AGENTS: AN INTEGRATIVE MODELING APPROACH | 2008-05-28 | Paper |
| Analysis of meeting protocols by formalisation, simulation, and verification | 2007-12-06 | Paper |
| On the use of organisation modelling techniques to address biological organisation | 2007-11-05 | Paper |
| Trust Management | 2007-09-25 | Paper |
| Agent-oriented modeling of the dynamics of biological organisms | 2007-09-20 | Paper |
| Compositional verification of a multi-agent system for one-to-many negotiation | 2005-01-19 | Paper |
| Formal semantics of meta-level architectures: Temporal epistemic reflection | 2005-01-12 | Paper |
| A requirement specification language for configuration dynamics of multiagent systems | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738133 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738134 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473423 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473435 | 2004-08-04 | Paper |
| Specification of nonmonotonic reasoning | 2004-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535124 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535110 | 2003-08-25 | Paper |
| A compositional reasoning system for executing nonmonotonic theories of reasoning | 2003-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413460 | 2003-07-20 | Paper |
| Multi-interpretation operators and approximate classification. | 2003-07-01 | Paper |
| Dynamics and control in component-based agent models | 2003-05-08 | Paper |
| Default logic and specification of nonmonotonic reasoning | 2003-04-07 | Paper |
| An agent-based architecture for multimodal interaction | 2003-04-03 | Paper |
| Linear, branching time and joint closure semantics for temporal logic | 2003-03-12 | Paper |
| Formal semantics of meta-level architectures: Dynamic control of reasoning | 2002-12-17 | Paper |
| Semantic formalization of interactive reasoning functionality | 2002-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535117 | 2002-11-04 | Paper |
| Compositional verification of multi-agent systems in temporal multi-epistemic logic | 2002-08-20 | Paper |
| On centralizer-related intermediate fields of a skew field extension | 2002-08-07 | Paper |
| Principles of component-based design of intelligent agents | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535114 | 2002-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535122 | 2002-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537444 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535112 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535113 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535123 | 2002-06-12 | Paper |
| Modelling a society of simple agents: From conceptual specification to experimentation | 2002-05-14 | Paper |
| A semantical perspective on verification of knowledge | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728953 | 2001-10-23 | Paper |
| A reusable multi-agent architecture for active intelligent websites | 2001-10-10 | Paper |
| Agent-based simulation of animal behaviour | 2001-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535111 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535118 | 2001-01-01 | Paper |
| Temporalizing epistemic default logic | 1999-09-29 | Paper |
| An interpretation of default logic in minimal temporal epistemic logic | 1999-09-29 | Paper |
| Nonmonotonic reasoning with multiple belief sets | 1999-06-20 | Paper |
| Temporal semantics of compositional task models and problem solving methods | 1999-01-12 | Paper |
| Executable temporal logic for non-monotonic reasoning | 1998-06-23 | Paper |
| Representation theory for default logic | 1998-01-21 | Paper |
| Temporal theories of reasoning | 1996-03-05 | Paper |
| Heuristic reasoning and relative incompleteness | 1993-05-16 | Paper |
| Polynomial extensions of skew fields | 1990-01-01 | Paper |
| Noncommutative splitting fields | 1990-01-01 | Paper |
| Separate zeros and Galois extensions of skew fields | 1989-01-01 | Paper |
| On duality for skew field extensions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143471 | 1977-01-01 | Paper |
