Jan Treur

According to our database1, Jan Treur
  • authored at least 390 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
An Adaptive Temporal-Causal Network Model for Enabling Learning of Social Interaction.
Proceedings of the Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems, 2017

A Neurologically Inspired Network Model for Graziano's Attention Schema Theory for Consciousness.
Proceedings of the Natural and Artificial Computation for Biomedicine and Neuroscience, 2017

2016
Verification of temporal-causal network models by mathematical analysis.
Vietnam J. Computer Science, 2016

What Is It that Drives Dynamics: We Don't Believe in Ghosts, Do We?
Trans. Computational Collective Intelligence, 2016

Network-Oriented Modeling and Its Conceptual Foundations.
Proceedings of the Social Informatics - 8th International Conference, 2016

Doubting What to Eat: A Computational Model for Food Choice Using Different Valuing Perspectives.
Proceedings of the Neural Information Processing - 23rd International Conference, 2016

Modelling a Mutual Support Network for Coping with Stress.
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

Modeling Internalizing and Externalizing Behaviour in Autism Spectrum Disorders.
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

Analysis and Refinement of a Temporal-Causal Network Model for Absorption of Emotions.
Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Monitoring the Impact of Negative Events and Deciding About Emotion Regulation Strategies.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

A Cognitive Agent Model for Desire Regulation Applied to Food Desires.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Agent-Based Modeling of Emotion Contagion in Groups.
Cognitive Computation, 2015

Computational cognitive modelling of action awareness: prior and retrospective.
Brain Informatics, 2015

Modelling the Role of Cognitive Metaphors in Joint Decision Making.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

A Computational Cognitive Model Integrating Different Emotion Regulation Strategies.
Proceedings of the 6th Annual International Conference on Biologically Inspired Cognitive Architectures, 2015

2014
Design and validation of a relative trust model.
Knowl.-Based Syst., 2014

Modelling and analysis of social contagion in dynamic networks.
Neurocomputing, 2014

Displaying and Regulating Different Social Response Patterns: A Computational Agent Model.
Cognitive Computation, 2014

Towards virtual training of emotion regulation.
Brain Informatics, 2014

Effect of Changes in the Structure of a Social Network on Emotion Contagion.
Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014

Agent-Based Simulation of Complex Aviation Incidents by Integrating Different Cognitive Agent Models.
Proceedings of the Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, 2014

Agent-Based Analysis of Annual Energy Usages for Domestic Heating based on a Heat Pump.
Proceedings of the ICT for Sustainability 2014 (ICT4S-14), 2014

A Computational Model of the Relation between Regulation of Negative Emotions and Mood.
Proceedings of the Neural Information Processing - 21st International Conference, 2014

Modelling Mediator Assistance in Joint Decision Making Processes Involving Mutual Empathic Understanding.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2014

Modelling the Dynamics of Emotional Awareness.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
An agent model for analysis of human performance quality.
Web Intelligence and Agent Systems, 2013

Modelling biased human trust dynamics.
Web Intelligence and Agent Systems, 2013

Agent-Based and Population-Based Modeling of Trust Dynamics.
Trans. Computational Collective Intelligence, 2013

Agent-based simulation of episodic criminal behaviour\m{1}.
Multiagent and Grid Systems, 2013

An ambient agent system assisting humans in complex tasks by analysis of a human's state and performance.
IJIIDS, 2013

Formal specification and analysis of intelligent agents for model-based medicine usage management.
Comp. in Bio. and Med., 2013

Modelling collective decision making in groups and crowds: Integrating social contagion and interacting emotions, beliefs and intentions.
Autonomous Agents and Multi-Agent Systems, 2013

Dynamic Allocation of a Domestic Heating Task to Gas-Based and Heatpump-Based Heating Agents.
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Analysis of Configurations for Photovoltaic Solar Energy Production Using Agent-Based Simulation.
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Modelling Prior and Retrospective Awareness of Actions.
Proceedings of the Natural and Artificial Models in Computation and Biology, 2013

Modelling and Analysis of Social Contagion Processes with Dynamic Networks.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2013

Learning Emotion Regulation Strategies: A Cognitive Agent Model.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Effects of Virtual Training on Emotional Response - A Comparison between Different Emotion Regulation Strategies.
Proceedings of the Brain and Health Informatics - International Conference, 2013

2012
Rationality for Temporal Discounting, Memory Traces and Hebbian Learning.
Proceedings of the Modern Advances in Intelligent Systems and Tools, 2012

An Adaptive Agent Model for the Emergence of Recurring Dream Scripts Based on Hebbian Learning.
Proceedings of the Modern Advances in Intelligent Systems and Tools, 2012

Rationality for Adaptive Collective Decision Making Based on Emotion-Related Valuing and Contagion.
Proceedings of the Modern Advances in Intelligent Systems and Tools, 2012

Ambient Support for Group Emotion: an Agent-Based Model.
Proceedings of the Agents and Ambient Intelligence, 2012

Abstraction relations between internal and behavioural agent models for collective decision making.
Web Intelligence and Agent Systems, 2012

A system to support attention allocation: Development and application.
Web Intelligence and Agent Systems, 2012

Biological and Computational Perspectives on the Emergence of Social Phenomena: Shared Understanding and Collective Power.
Trans. Computational Collective Intelligence, 2012

An Agent Model for Cognitive and Affective Empathic Understanding of Other Agents.
Trans. Computational Collective Intelligence, 2012

Comparative analysis of agent-based and population-based modelling in epidemics and economics.
Multiagent and Grid Systems, 2012

Formal framework to support organizational design.
Knowl.-Based Syst., 2012

Methods for model-based reasoning within agent-based Ambient Intelligence applications.
Knowl.-Based Syst., 2012

An ambient agent architecture exploiting automated cognitive analysis.
J. Ambient Intelligence and Humanized Computing, 2012

Cognitive and neural modeling of dynamics of trust in competitive trustees.
Cognitive Systems Research, 2012

A cognitive and neural model for adaptive emotion reading by mirroring preparation states and Hebbian learning.
Cognitive Systems Research, 2012

A computational model for dynamics of desiring and feeling.
Cognitive Systems Research, 2012

An intelligent agent model with awareness of workflow progress.
Appl. Intell., 2012

A Computational Analysis of Joint Decision Making Processes.
Proceedings of the Social Informatics, 2012

Analysis and Support of Lifestyle via Emotions Using Social Media.
Proceedings of the Social Informatics, 2012

Contagion of Habitual Behaviour in Social Networks: An Agent-Based Model.
Proceedings of the 2012 International Conference on Privacy, 2012

A Human-Like Agent Model for Attribution of Actions Using Ownership States and Inverse Mirroring.
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

An Integrated Agent Model for Attention and Functional State.
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

An Ambient Agent Model for Support of Informal Caregivers during Stress.
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

A Computational Model for Development of Post-Traumatic Stress Disorders by Hebbian Learning.
Proceedings of the Neural Information Processing - 19th International Conference, 2012

Modelling Temporal Aspects of Situation Awareness.
Proceedings of the Neural Information Processing - 19th International Conference, 2012

Measuring Stress-Reducing Effects of Virtual Training Based on Subjective Response.
Proceedings of the Neural Information Processing - 19th International Conference, 2012

Computational Analysis of the Impacts of Emotion on Learning in a Social Context.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Integrating Situation Awareness and Surprise: A Computational Agent Model.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Intertemporal Decision Making: A Mental Load Perspective.
Proceedings of the Biologically Inspired Cognitive Architectures 2012 - Proceedings of the Third Annual Meeting of the BICA Society, Palermo, Sicily, Italy, October 31, 2012

An Adaptive Affective Social Decision Making Model.
Proceedings of the Biologically Inspired Cognitive Architectures 2012 - Proceedings of the Third Annual Meeting of the BICA Society, Palermo, Sicily, Italy, October 31, 2012

2011
On the use of reduction relations to relate different types of agent models.
Web Intelligence and Agent Systems, 2011

Agent-based vs. population-based simulation of displacement of crime: A comparative study.
Web Intelligence and Agent Systems, 2011

Agent-Based Modelling of the Emergence of Collective States Based on Contagion of Individual States in Groups.
Trans. Computational Collective Intelligence, 2011

Patterns in World Dynamics Indicating Agency.
Trans. Computational Collective Intelligence, 2011

An ambient agent model for monitoring and analysing dynamics of complex human behaviour.
JAISE, 2011

An agent model integrating an adaptive model for environmental dynamics.
IJIIDS, 2011

A Software Environment for an Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks.
International Journal on Artificial Intelligence Tools, 2011

A generic architecture for redesign of organizations triggered by changing environmental circumstances.
Computational & Mathematical Organization Theory, 2011

On the relation between cognitive and biological modelling of criminal behaviour.
Computers in Human Behavior, 2011

A virtual human agent model with behaviour based on feeling exhaustion.
Appl. Intell., 2011

Combining rational and biological factors in virtual agent decision making.
Appl. Intell., 2011

A Recursive BDI Agent Model for Theory of Mind and its Applications.
Applied Artificial Intelligence, 2011

Group Abstraction for Large-Scale Agent-Based Social Diffusion Models.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains.
Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2011

Modelling Joint Decision Making Processes Involving Emotion-Related Valuing and Empathic Understanding.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

Group Abstraction for Large-Scale Agent-Based Social Diffusion Models with Unaffected Agents.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

An Integrated Agent Model Addressing Situation Awareness and Functional State in Decision Making.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

An Agent-Based Model for Integrated Contagion and Regulation of Negative Mood.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions.
Proceedings of the IJCAI 2011, 2011

A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns.
Proceedings of the IJCAI 2011, 2011

Modeling Situation Awareness in Human-Like Agents Using Mental Models.
Proceedings of the IJCAI 2011, 2011

A Cognitive Agent Model Using Inverse Mirroring for False Attribution of Own Actions to Other Agents.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

A Computational Model of Habit Learning to Enable Ambient Support for Lifestyle Change.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Agent-Based Analysis of Patterns in Crowd Behaviour Involving Contagion of Mental States.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

On Rationality of Decision Models Incorporating Emotion-Related Valuing and Hebbian Learning.
Proceedings of the Neural Information Processing - 18th International Conference, 2011

Dreaming Your Fear Away: A Computational Model for Fear Extinction Learning during Dreaming.
Proceedings of the Neural Information Processing - 18th International Conference, 2011

A Computational Agent Model for Hebbian Learning of Social Interaction.
Proceedings of the Neural Information Processing - 18th International Conference, 2011

From Mirroring to the Emergence of Shared Understanding and Collective Power.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

Modelling Trust for Communicating Agents: Agent-Based and Population-Based Perspectives.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

Modeling and Validation of Biased Human Trust.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Physiological Model-Based Decision Making on Distribution of Effort over Time.
Proceedings of the Biologically Inspired Cognitive Architectures 2011, 2011

A Computational Agent Model Using Internal Simulation to Generate Emotional Dream Episodes.
Proceedings of the Biologically Inspired Cognitive Architectures 2011, 2011

A Computational Agent Model for Post-Traumatic Stress Disorders.
Proceedings of the Biologically Inspired Cognitive Architectures 2011, 2011

Intelligent Configuration of Social Support Networks Around Depressed Persons.
Proceedings of the Artificial Intelligence in Medicine, 2011

2010
The Living Cell as a Multi-agent Organisation: A Compositional Organisation Model of Intracellular Dynamics.
Trans. Computational Collective Intelligence, 2010

A software environment for a human-aware ambient agent supporting attention-demanding tasks.
Proceedings of the International Conference on Computational Science, 2010

An integrative ambient agent model for unipolar depression relapse prevention.
JAISE, 2010

Automated analysis of compositional multi-agent systems.
IJAOSE, 2010

A computational model based on Gross' emotion regulation theory.
Cognitive Systems Research, 2010

Formal analysis of design process dynamics.
AI EDAM, 2010

A Model-Based Ambient Agent Providing Support in Handling Desire and Temptation.
Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010

An Intelligent Virtual Agent to Increase Involvement in Financial Services.
Proceedings of the Intelligent Virtual Agents, 10th International Conference, 2010

Learning to Believe by Feeling: An Agent Model for an Emergent Effect of Feelings on Beliefs.
Proceedings of the Advances in Neural Networks, 2010

Incorporating Interdependency of Trust Values in Existing Trust Models for Trust Dynamics.
Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010

An Ambient Intelligent Agent Model Based on Behavioural Monitoring and Cognitive Analysis.
Proceedings of the Trends in Applied Intelligent Systems, 2010

Modelling Greed of Agents in Economical Context.
Proceedings of the Trends in Applied Intelligent Systems, 2010

Modelling the Interplay of Emotions, Beliefs and Intentions within Collective Decision Making Based on Insights from Social Neuroscience.
Proceedings of the Neural Information Processing. Theory and Algorithms, 2010

Computational Modeling and Analysis of the Role of Physical Activity in Mood Regulation and Depression.
Proceedings of the Neural Information Processing. Theory and Algorithms, 2010

Adaptive Modelling of Social Decision Making by Agents Integrating Simulated Behaviour and Perception Chains.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

Abstraction Relations between Internal and Behavioural Agent Models for Collective Decision Making.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

Modeling Super Mirroring Functionality in Action Execution, Imagination, Mirroring, and Imitation.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

An Agent Model for Analysis of Human Performance Quality.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

An Agent-Based Model for the Interplay of Information and Emotion in Social Diffusion.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

An Agent Model for Decision Making Based upon Experiences Applied in the Domain of Fighter Pilots.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Exploration and Exploitation in Adaptive Trust-Based Decision Making in Dynamic Environments.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Supporting Financial Decision Making by an Intelligent Agent Estimating Greed and Risk.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

Behavioural Abstraction of Agent Models Addressing Mutual Interaction of Cognitive and Affective Processes.
Proceedings of the Brain Informatics, International Conference, 2010

Modelling the Emergence of Group Decisions Based on Mirroring and Somatic Marking.
Proceedings of the Brain Informatics, International Conference, 2010

Computational Modeling and Analysis of Therapeutical Interventions for Depression.
Proceedings of the Brain Informatics, International Conference, 2010

An Adaptive Model for Dynamics of Desiring and Feeling Based on Hebbian Learning.
Proceedings of the Brain Informatics, International Conference, 2010

Modelling Caregiving Interactions during Stress.
Proceedings of the Brain Informatics, International Conference, 2010

An Ambient Agent Model Incorporating an Adaptive Model for Environmental Dynamics.
Proceedings of the Intelligent Information and Database Systems, 2010

2009
Simulation and formal analysis of visual attention.
Web Intelligence and Agent Systems, 2009

Towards Integration of Biological, Psychological and Social Aspects in Agent-Based Simulation of Violent Offenders.
Simulation, 2009

Formal Analysis of Dynamics within Philosophy of Mind by Computer Simulation.
Minds and Machines, 2009

An adaptive multi-agent organization model based on dynamic role allocation.
KES Journal, 2009

Agent-based analysis and simulation of meta-reasoning processes in strategic naval planning.
Knowl.-Based Syst., 2009

Past-future separation and normal forms in temporal predicate logic specifications.
J. Algorithms, 2009

Specification and Verification of Dynamics in Agent Models.
Int. J. Cooperative Inf. Syst., 2009

Representation for reciprocal agent-environment interaction.
Cognitive Systems Research, 2009

Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

An Adaptive Agent Model for Emotion Reading by Mirroring Body States and Hebbian Learning.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

A Multi-agent Model for Emotion Contagion Spirals Integrated within a Supporting Ambient Agent Model.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion.
Proceedings of the Next-Generation Applied Intelligence, 2009

An Ecological Model-Based Reasoning Model to Support Nature Park Managers.
Proceedings of the Next-Generation Applied Intelligence, 2009

An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression.
Proceedings of the Next-Generation Applied Intelligence, 2009

Comparing a Cognitive and a Neural Model for Relative Trust Dynamics.
Proceedings of the Neural Information Processing, 16th International Conference, 2009

Designing Social Agents with Empathic Understanding.
Proceedings of the Computational Collective Intelligence. Semantic Web, 2009

Modelling Dynamics of Social Support Networks for Mutual Support in Coping with Stress.
Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009

Verifying Context-Dependent Reduction Relations for Knowledge Specifications.
Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Relating Knowledge Specifications by Reduction Mappings.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

An Adaptive Agent Model Estimating Human Trust in Information Sources.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Attention Manipulation for Naval Tactical Picture Compilation.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

An Agent Model for Personal Development Support.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Modeling an Ambient Agent to Support Depression Relapse Prevention.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

An Agent Model for a Human's Social Support Network Tie Preference during Depression.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

A Generic Personal Assistant Agent Model for Support in Demanding Tasks.
Proceedings of the Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience, 2009

Multi-Agent Model For Mutual Absorption Of Emotions.
Proceedings of the European Conference on Modelling and Simulation, 2009

Modelling the Reciprocal Interaction between Believing and Feeling from a Neurological Perspective.
Proceedings of the Brain Informatics, International Conference, BI 2009, 2009

Design and Analysis of an Ambient Intelligent System Supporting Depression Therapy.
Proceedings of the Second International Conference on Health Informatics, 2009

An interface agent for attention manipulation.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks.
Proceedings of the Active Media Technology, 5th International Conference, 2009

An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression.
Proceedings of the Artificial Intelligence in Medicine, 2009

An ambient agent model for group emotion support.
Proceedings of the Affective Computing and Intelligent Interaction, 2009

2008
Automated formal analysis of human multi-issue negotiation processes.
Multiagent and Grid Systems, 2008

Formal modeling and analysis of cognitive agent behavior.
Cognitive Processing, 2008

A Philosophical Foundation for Unification of Dynamic Modeling Methods Based on Higher-Order potentialities and their Reducers.
Advances in Complex Systems, 2008

Automated Visual Attention Manipulation.
Proceedings of the Attention in Cognitive Systems, 2008

A Component-Based Ambient Agent Model for Assessment of Driving Behaviour.
Proceedings of the Ubiquitous Intelligence and Computing, 5th International Conference, 2008

An ambient agent model for automated mindreading by identifying and monitoring representation relations.
Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, 2008

Model-based ambient analysis of human task execution.
Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, 2008

Reduction Relations for Agent Models.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Relating Cognitive Process Models to Behavioural Models of Agents.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Cognitive and Biological Agent Models for Emotion Reading.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

An Agent Memory Model Enabling Rational and Biased Reasoning.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

An Ambient Intelligent Agent Model Using Controlled Model-Based Reasoning to Determine Causes and Remedies for Monitored Problems.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

An Agent Model for a Human's Functional State and Performance.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Modeling the Dynamics of Mood and Depression.
Proceedings of the ECAI 2008, 2008

Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract).
Proceedings of the ECAI 2008, 2008

Modeling Dynamics of Relative Trust of Competitive Information Agents.
Proceedings of the Cooperative Information Agents XII, 12th International Workshop, 2008

A Formal Approach to Aggregated Belief Formation.
Proceedings of the Cooperative Information Agents XII, 12th International Workshop, 2008

Formal Verification of an Agent-Based Support System for Medicine Intake.
Proceedings of the Biomedical Engineering Systems and Technologies, 2008

Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management.
Proceedings of the First International Conference on Health Informatics, 2008

An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress.
Proceedings of the Ambient Intelligence, European Conference, 2008

Adaptive Estimation of Emotion Generation for an Ambient Agent Model.
Proceedings of the Ambient Intelligence, European Conference, 2008

2007
On the use of organisation modelling techniques to address biological organisation.
Multiagent and Grid Systems, 2007

A Language and Environment for Analysis of Dynamics by Simulation.
International Journal on Artificial Intelligence Tools, 2007

Temporal factorisation: Realisation of mediating state properties for dynamics.
Cognitive Systems Research, 2007

Temporal factorisation: A unifying principle for dynamics of the world and of mental states.
Cognitive Systems Research, 2007

Formal analysis of trace conditioning.
Cognitive Systems Research, 2007

Analysis of meeting protocols by formalisation, simulation, and verification.
Computational & Mathematical Organization Theory, 2007

Modeling centralized organization of organizational change.
Computational & Mathematical Organization Theory, 2007

A specification language for organisational performance indicators.
Appl. Intell., 2007

Specification, analysis and simulation of the dynamics within an organisation.
Appl. Intell., 2007

Agent-oriented modeling of the dynamics of biological organisms.
Appl. Intell., 2007

A framework for formal modeling and analysis of organizations.
Appl. Intell., 2007

Simulation and Analysis of Adaptive Agents: an Integrative Modeling Approach.
Advances in Complex Systems, 2007

An agent architecture for multi-attribute negotiation using incomplete preference information.
Autonomous Agents and Multi-Agent Systems, 2007

Simulation and Analysis of Controlled Multi-Representational Reasoning Processes.
Applied Artificial Intelligence, 2007

Simulation and Formal Analysis of Visual Attention in Cognitive Systems.
Proceedings of the Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint, 2007

Trust-Based Inter-temporal Decision Making: Emergence of Altruism in a Simulated Society.
Proceedings of the Multi-Agent-Based Simulation VIII, International Workshop, 2007

Incorporating Emotion Regulation into Virtual Stories.
Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods.
Proceedings of the IJCAI 2007, 2007

Case Analysis of Criminal Behaviour.
Proceedings of the New Trends in Applied Artificial Intelligence, 2007

Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

A Computational Model for Adaptive Emotion Regulation.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

Emergent Storylines Based on Autonomous Characters with Mindreading Capabilities.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

A Specification Language for Coordination in Agent Systems.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

Augmented Metacognition Addressing Dynamic Allocation of Tasks Requiring Visual Attention.
Proceedings of the Foundations of Augmented Cognition, 2007

Modeling Decentralized Organizational Change in Honeybee Societies.
Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Integrating Agent Models and Dynamical Systems.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Formal Analysis of Trust Dynamics in Human and Software Agent Experiments.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

On Human Aspects in Ambient Intelligence.
Proceedings of the Constructing Ambient Intelligence, 2007

Formal Design and Simulation of an Ambient Multi-agent System Model for Medicine Usage Management.
Proceedings of the Constructing Ambient Intelligence, 2007

Model-Based Default Refinement of Partial Information within an Ambient Agent.
Proceedings of the Constructing Ambient Intelligence, 2007

An Agent-Based Generic Model for Human-Like Ambience.
Proceedings of the Constructing Ambient Intelligence, 2007

First International Workshop on Human Aspects in Ambient Intelligence: Preface.
Proceedings of the Constructing Ambient Intelligence, 2007

Model-Based Reasoning Methods within an Ambient Intelligent Agent Model.
Proceedings of the Constructing Ambient Intelligence, 2007

Specification of Adaptive Client-Tailored Product Models.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006
Modeling Adaptive Dynamical Systems to Analyze Eating Regulation Disorders.
Simulation, 2006

Formal Interpretation of a Multi-Agent Society As a Single Agent.
J. Artificial Societies and Social Simulation, 2006

Collective representational content for shared extended mind.
Cognitive Systems Research, 2006

Formalization and Analysis of Reasoning by Assumption.
Cognitive Science, 2006

A Labeled Graph Approach to Analyze Organizational Performance.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

A Cognitive Model for Visual Attention and Its Application.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Specification and Verification of Dynamics in Cognitive Agent Models.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Verifying Interlevel Relations Within Multi-Agent Systems.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Automated Evaluation of Coordination Approaches.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Agent-Based Analysis and Support for Incident Management.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

Redesign of Organizations as a Basis for Organizational Change.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

Modelling dynamics of cognitive agents by higher-order potentialities.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005
Simulation and Analysis of a Shared Extended Mind.
Simulation, 2005

Mapping visual to textual knowledge representation.
Knowl.-Based Syst., 2005

Modelling user preferences and mediating agents in electronic commerce.
Knowl.-Based Syst., 2005

Integration of behavioural requirements specification within compositional knowledge engineering.
Knowl.-Based Syst., 2005

LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn.
Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence.
Proceedings of the Multi-Agent-Based Simulation VI, International Workshop, 2005

A Unified Perspective on Explaining Dynamics by Anticipatory State Properties.
Proceedings of the Mechanisms, 2005

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces.
Proceedings of the Mechanisms, 2005

A Specification Language for Organisational Performance Indicators.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

A Meta-level Architecture for Strategic Reasoning in Naval Planning.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

A Labeled Graph Approach to Support Analysis of Organizational Performance.
Proceedings of the BNAIC 2005, 2005

A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract).
Proceedings of the BNAIC 2005, 2005

Formal Modeling and Analysis of Organizations.
Proceedings of the BNAIC 2005, 2005

Formal Modeling and Analysis of Organizations.
Proceedings of the Coordination, 2005

Formalisation and Analysis of the Temporal Dynamics of Conditioning.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning.
Proceedings of the Agent-Oriented Information Systems III, 2005

Requirements Analysis of an Agent's Reasoning Capability.
Proceedings of the Agent-Oriented Information Systems III, 2005

2004
Agent Models and Different User Ontologies for an Electronic Market Place.
Knowl. Inf. Syst., 2004

A requirement specification language for configuration dynamics of multiagent systems.
Int. J. Intell. Syst., 2004

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.
Appl. Intell., 2004

Modelling Shared Extended Mind and Collective Representational Content.
Proceedings of the Research and Development in Intelligent Systems XXI, 2004

Formal Analysis of Meeting Protocols.
Proceedings of the Multi-Agent and Multi-Agent-Based Simulation, 2004

Simulation and Analysis of Shared Extended Mind.
Proceedings of the Multi-Agent and Multi-Agent-Based Simulation, 2004

Human Experiments in Trust Dynamics.
Proceedings of the Trust Management, Second International Conference, 2004

Analysis of Design Process Dynamics.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Representational Content and the Reciprocal Interplay of Agent and Environment.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

Experiments in Human Multi-Issue Negotiation: Analysis and Support.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Representational Content and the Reciprocal Interplay of Agent and Environment.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

A Formal Reuse-Based Approach for Interactively Designing Organizations.
Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

2003
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.
Knowl. Inf. Syst., 2003

Formal semantics of meta-level architectures: Temporal epistemic reflection.
Int. J. Intell. Syst., 2003

A compositional reasoning system for executing nonmonotonic theories of reasoning.
Int. J. Intell. Syst., 2003

Multi-interpretation operators and approximate classification.
Int. J. Approx. Reasoning, 2003

A temporal modelling environment for internally grounded beliefs, desires and intentions.
Cognitive Systems Research, 2003

A temporal-interactivist perspective on the dynamics of mental states.
Cognitive Systems Research, 2003

Modelling the dynamics of reasoning processes: Reasoning by assumption.
Cognitive Systems Research, 2003

Temporal and Spatial Analysis to Personalise an Agent's Dynamic Belief, Desire, and Intention Profiles.
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

Organisational Change: Deliberation and Modification.
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

2002
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.
Journal of Logic, Language and Information, 2002

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
Journal of Logic, Language and Information, 2002

A Compositional Knowledge Level Process Model of Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering, 2002

Modelling multiple mind-matter interaction.
Int. J. Hum.-Comput. Stud., 2002

Semantic formalization of interactive reasoning functionality.
Int. J. Intell. Syst., 2002

Formal semantics of meta-level architectures: Dynamic control of reasoning.
Int. J. Intell. Syst., 2002

Dynamics and control in component-based agent models.
Int. J. Intell. Syst., 2002

Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.
Int. J. Cooperative Inf. Syst., 2002

A multi-agent system performing one-to-many negotiation for load balancing of electricity use.
Electronic Commerce Research and Applications, 2002

A semantical perspective on verification of knowledge.
Data Knowl. Eng., 2002

Principles of component-based design of intelligent agents.
Data Knowl. Eng., 2002

A Compositional Process Control Model and its Application to Biochemical Processes.
Applied Artificial Intelligence, 2002

Analysis of Multi-Interpretable Ecological Monitoring Information.
Applied Artificial Intelligence, 2002

Organisation Modelling for the Dynamics of Complex Biological Processes.
Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

Relating Structure and Dynamics in Organisation Models.
Proceedings of the Multi-Agent-Based Simulation, Third International Workshop, 2002

A dynamic perspective on an agent's mental states and interaction with its environment.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Embodied intentional dynamics of bacterial behaviour.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Default logic and specification of nonmonotonic reasoning.
J. Exp. Theor. Artif. Intell., 2001

Deliberative Evolution in Multi-Agent Systems.
International Journal of Software Engineering and Knowledge Engineering, 2001

An agent-based architecture for multimodal interaction.
Int. J. Hum.-Comput. Stud., 2001

Agent-Based Simulation of Animal Behaviour.
Appl. Intell., 2001

A Reusable Multi-Agent Architecture for Active Intelligent Websites.
Appl. Intell., 2001

Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation.
Appl. Intell., 2001

An Agent Architecture for Multi-Attribute Negotiation.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

A Modelling Environment for Mind and Matter Aspects of Intentional Behaviour.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

External attribution of intentional notions to explain and predict agent behaviour.
Agents, 2001

Modeling User Preferences and Mediating Agents in Electronic Commerce.
Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

2000
Specification of nonmonotonic reasoning.
Journal of Applied Non-Classical Logics, 2000

On the use of shared task models in knowledge acquistion, strategic user interaction and clarification agents.
Int. J. Hum.-Comput. Stud., 2000

Compositional Specification and Reuse of a Generic Cooperative Agent Model.
Int. J. Cooperative Inf. Syst., 2000

Compositional Design and Reuse of a Generic Agent Model.
Applied Artificial Intelligence, 2000

Knowledge-Intensive Gathering and Integration of Statistical Information on European Fisheries.
Proceedings of the Intelligent Problem Solving, 2000

Organization Models and Behavioral Requirements Specification for Multi-Agent Systems.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Design of Collaborative Information Agents.
Proceedings of the Cooperative Information Agents IV, 2000

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

An Executable Modal of the Interaction between Verbal and Non-verbal Communication.
Proceedings of the Issues in Agent Communication, 2000

Managing Conflicts in Reflective Agents.
Proceedings of the Computational Conflicts, 2000

1999
Compositional modelling of reflective agents.
Int. J. Hum.-Comput. Stud., 1999

Temporal Semantics of Compositional Task Models and Problem Solving Methods.
Data Knowl. Eng., 1999

Representation Theory for Default Logic
CoRR, 1999

Distributed Scheduling to Support a Call Center: A Cooperative Multiagent Approach.
Applied Artificial Intelligence, 1999

Formal Analysis of Models for the Dynamics of Trust Based on Experiences.
Proceedings of the MultiAgent System Engineering, 1999

Specification of Bahavioural Requirements within Compositional Multi-agent System Design.
Proceedings of the MultiAgent System Engineering, 1999

Inforamtion Broker Agents in Intelligent Websites.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

A Compositional Process Control Model and Its Application to Biochemical Processes.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Visual and Textual Knowledge Representation in DESIRE.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

A Formal Knowledge Level Process Model of Requirements Engineering.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Integration of Behavioural Requirements Specification within Knowledge Engineering.
Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

A Multi-agent Architecture for an Intelligent Website in Insurance.
Proceedings of the Cooperative Information Agents III, Third International Workshop, 1999

Deliberative Normative Agents: Principles and Architecture.
Proceedings of the Intelligent Agents VI, 1999

A Re-Usable Broker Agent Architecture with Dynamic Maintenance Capabilities.
Agents, 1999

Deliberate Evolution in Multi-Agent Systems (extended abstract).
Agents, 1999

1998
Strategic knowledge in design: a compositional approach.
Knowl.-Based Syst., 1998

Temporalizing Epistemic Default Logic.
Journal of Logic, Language and Information, 1998

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.
Journal of Logic, Language and Information, 1998

Nonmonotonic Reasoning with Multiple Belief Sets.
Ann. Math. Artif. Intell., 1998

Agent-Based Simulation of Reactive, Pro-active and Social animal Behaviour.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Development of an Ecological Decision Support System.
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

An Agent Architecture for Dynamic Re-Design of Agents.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Agents Negotiating for Load Balancing of Electricity Use.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Analysis of multi-interpretable ecological monitoring information.
Proceedings of the Applications of Uncertainty Formalisms, 1998

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
Proceedings of the Intelligent Agents V, 1998

1997
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework.
Int. J. Cooperative Inf. Syst., 1997

Representation Theory for Default Logic.
Ann. Math. Artif. Intell., 1997

A compositional approach to modelling design rationale.
AI EDAM, 1997

Modelling Internal Dynamic Behaviour of BDI Agents.
Proceedings of the Formal Models of Agents, 1997

Modelling an Agent's Mind and Matter.
Proceedings of the Multi-Agent Rationality, 1997

Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning.
Proceedings of the Knowledge Acquisition, Modeling and Management, 10th European Workshop, 1997

Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework.
Proceedings of the Knowledge Acquisition, Modeling and Management, 10th European Workshop, 1997

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Agent Modelling in METATEM and DESIRE.
Proceedings of the Intelligent Agents IV, 1997

Panel: Methodologies for Multi-Agent Systems.
Proceedings of the Intelligent Agents IV, 1997

1996
Redesign and reuse in compositional knowledge-based systems.
Knowl.-Based Syst., 1996

Executable Temporal Logic for Non-Monotonic Reasoning.
J. Symb. Comput., 1996

Modelling an elevator design task in DESIRE: the VT example.
Int. J. Hum.-Comput. Stud., 1996

Meta-level selection techniques for the control of default reasoning.
Future Generation Comp. Syst., 1996

Modelling project coordination in a multi-agent framework.
Proceedings of the 5th Workshop on Enabling Technologies, 1996

Infinitary Default Logic for Specification of Nonmonotonic Reasoning.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Specification of Nonmonotonic Reasonong.
Proceedings of the Practical Reasoning, 1996

Nonmonotonic Reasoning with Multiple Belief Sets.
Proceedings of the Practical Reasoning, 1996

The Acquisition of a Shared Task Model.
Proceedings of the Advances in Knowledge Acquisition, 1996

The REVISE Project: A Purpose Driven Method for Language Comparison.
Proceedings of the Advances in Knowledge Acquisition, 1996

Semantics for Default Logic based on Specific Branching Time Models.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Modelling Interaction with Experts: The Role of a Shared Task Model.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Formalization of a Cooperation Model Based on Joint Intentions.
Proceedings of the Intelligent Agents III, 1996

1995
Temporal Theories of Reasoning.
Journal of Applied Non-Classical Logics, 1995

Temporal Theories of Reasoning.
Journal of Applied Non-Classical Logics, 1995

Modelling conflict management in design: An explicit approach.
AI EDAM, 1995

Formal Specification of Multi-Agent Systems: A Real-World Case.
Proceedings of the First International Conference on Multiagent Systems, 1995

Formal Notions for Verification of Dynamics of Knowledge-Based Systems.
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Formal Semantics of Temporal Epistemic Reflection.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Temporal Theories of Reasoning.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

User Centered Knowledge-Based System Design: a Formal Modelling Approach.
Proceedings of the A Future for Knowledge Acquisition, 1994

Compositional Formal Specification of Multi-Agent Systems.
Proceedings of the Intelligent Agents, 1994

A Logical Foundation for Verification.
ECAI, 1994

A Formal Model for the Dynamics of Compositional Reasoning Systems.
ECAI, 1994

1993
Heuristic reasoning and relative incompleteness.
Int. J. Approx. Reasoning, 1993

1992
Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications.
Proceedings of the Current Developments in Knowledge Acquisition, 1992

Constructive Default Logic and the Control of defeasible reasoning.
ECAI, 1992

Formal Specification of Compositional Architectures.
ECAI, 1992

1991
On the use of reflection principles in modelling complex reasoning.
Int. J. Intell. Syst., 1991

Declarative Functionality Descriptions of Interactive Reasoning Modules.
Proceedings of the Processing Declarative Knowledge, 1991

1988
Completeness and Definability in Diagnostic Expert Systems.
ECAI, 1988


  Loading...