Research Output 1976 2019

Filter
Article
2009

Formal Analysis of Dynamics Within Philosophy of Mind by Computer Simulation

Bosse, T., Schut, M. C. & Treur, J., 2009, In : Minds and Machines. 19, 4, p. 543-555

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Specifications
Computer simulation
Agglomeration
Decision making
Philosophy of Mind

Incorporating BDI agents into human-agent decision making research

Kamphorst, B. A., van Wissen, A. & Dignum, V., 2009, In : Lecture Notes in Computer Science. 5881, p. 94-97

Research output: Contribution to JournalArticleAcademicpeer-review

Modelling Social Learning Of Adolescence-Limited Criminal Behaviour

Bosse, T., Gerritsen, C. & Klein, M. C. A., 2009, In : Belgian/Netherlands Artificial Intelligence Conference. p. 295-296 2 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Past-Future Separation and Normal Forms in Temporal Predicate Logic Specifications

Treur, J., 2009, In : Journal of Algorithms. 64, p. 106-124 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Predicate Logic
Temporal logic
Temporal Logic
Normal Form
Specification

Preferences of Agents in Decentralized Task Allocation

Hoogendoorn, M. & Gini, M. L., 2009, In : AI Communications. 22, p. 143-152

Research output: Contribution to JournalArticleAcademicpeer-review

Logistics
Industry

Relating Knowledge Specifications by Reduction Mappings

Sharpanskykh, O. & Treur, J., 2009, In : Communications in Computer and Information Science. 67, p. 56-69

Research output: Contribution to JournalArticleAcademicpeer-review

Representation for Reciprocal Agent-Environment Interaction

Bosse, T., Jonker, C. M. & Treur, J., 2009, In : Cognitive Systems Research. 10, p. 366-376

Research output: Contribution to JournalArticleAcademicpeer-review

Cognitive Science
Specifications

Simulation and Formal Analysis of Visual Attention

Bosse, T., van Maanen, P. & Treur, J., 2009, In : Web Intelligence and Agent Systems: An International Journal. 7, 1, p. 89-105

Research output: Contribution to JournalArticleAcademicpeer-review

Specification and Verification of Dynamics in Agent Models

Bosse, T., Jonker, C. M., van der Meij, L., Sharpanskykh, O. & Treur, J., 2009, In : International Journal of Cooperative Information Systems. 18, p. 167-193

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Specification languages
Multi agent systems
Differential equations
Industry

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

Bosse, T., Gerritsen, C. & Treur, J., 2009, In : Simulation. 85, 10, p. 635-660

Research output: Contribution to JournalArticleAcademicpeer-review

Social aspects
Agent-based Simulation
Dynamical systems
Crime
Dynamical system
2008

A Component-Based Agent Model for Assessment of Driving Behaviour

Bosse, T., Hoogendoorn, M., Klein, M. C. A. & Treur, J., 2008, In : Lecture Notes in Computer Science. 5061, p. 229-243

Research output: Contribution to JournalArticleAcademicpeer-review

Adaptive Estimation of Emotion Generation for an Ambient Agent Model

Bosse, T., Memon, Z. A. & Treur, J., 2008, In : Lecture Notes in Computer Science. 5355, p. 141-156

Research output: Contribution to JournalArticleAcademicpeer-review

A Formal Approach to Aggregated Belief Formation

Heuvelink, A., Klein, M. C. A. & Treur, J., 2008, In : Lecture Notes in Computer Science. 5180, p. 71-85

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

A Formal Method to Analyze Human Reasoning and Interpretation in Incident Management

Bosse, T., Hoogendoorn, M., Jonker, C. M. & Treur, J., 2008, In : International Journal of Emergency Management. 5, 1/2, p. 164-192

Research output: Contribution to JournalArticleAcademicpeer-review

Cognitive Science

An Agent-Based Generic Model for Human-Like Ambience

Bosse, T., Hoogendoorn, M., Klein, M. C. A. & Treur, J., 2008, In : Communications in Computer and Information Science. 11, p. 93-103

Research output: Contribution to JournalArticleAcademicpeer-review

An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress

Both, F., Hoogendoorn, M. & Treur, J., 2008, In : Lecture Notes in Computer Science. 5355, p. 222-239

Research output: Contribution to JournalArticleAcademicpeer-review

Association of ADHD with genetic variants in the 5prime-region of the dopamine transporter gene: Evidence for allelic heterogenity

Brookes, K. J., Xu, X., Anney, R. J., Franke, B., Zhou, K., Chen, X., Banaschewski, T., Buitelaar, J., Ebstein, J., Eisenberg, M., Gill, A., Miranda, A., Oades, R. D., Roeyers, H., Rothenberger, A., Sergeant, J. A., Steinhausen, H. C., Faraone, S. V., Asherson, P. & Sonuga-Barke, E. J. S., 2008, In : American Journal of Medical Genetics Part B: Neuropsychiatric Genetics. 147B, 8, p. 1519-1523 5 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Dopamine Plasma Membrane Transport Proteins
Attention Deficit Disorder with Hyperactivity
Haplotypes
Genes
Single Nucleotide Polymorphism

Authority and its Implementation in Enterprise Information Systems

Sharpanskykh, O., 2008, In : Enterprise Information Systems. 4, 3, p. 66-79

Research output: Contribution to JournalArticleAcademicpeer-review

Automated Formal Analysis of Human Multi-Issue Negotiation Processes

Bosse, T., Jonker, C. M., van der Meij, L. & Treur, J., 2008, In : Multi-Agent and Grid Systems Journal. 4, 2, p. 213-233

Research output: Contribution to JournalArticleAcademicpeer-review

Automated Verification of Disaster Plans in Incident Management

Hoogendoorn, M., Jonker, C. M., Popova, V. & Sharpanskykh, O., 2008, In : Disaster prevention and management. 17, p. 16-32

Research output: Contribution to JournalArticleAcademicpeer-review

Disasters
disaster
incident
management
plan

communication - human contact with androids.

Hoorn, J. F. & Pontier, M. A., 2008, In : Information Design Journal. 16, 3, p. 236-241

Research output: Contribution to JournalArticleAcademicpeer-review

Design and Validation of HABTA: Human Attention-Based Task Allocator

van Maanen, P., Koning, L. & Dongen, K. V., 2008, In : Communications in Computer and Information Science. 11, p. 286-300

Research output: Contribution to JournalArticleAcademicpeer-review

Differential dopamine receptor D4 allele association with ADHD dependent of proband season of birth

Brookes, K., Neale, B., Xu, X., Thapar, A., Gill, M., Langley, K., Hawi, Z., van Mil, J., Taylor, E., Franke, B., Chen, B., Ebstein, R., Buitelaar, J., Banaschewski, T., Sonuga-Barke, E. J. S., Eisenberg, J., Manor, I., Miranda, A., Oades, R. D., Roeyers, H. & 5 othersRothenberger, A., Sergeant, J. A., Steinhausen, H. C., Faraone, S. V. & Asherson, P., 2008, In : American Journal of Medical Genetics Part B: Neuropsychiatric Genetics. 147B, 1, p. 94-99 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Dopamine D4 Receptors
Attention Deficit Disorder with Hyperactivity
Alleles
Parturition
Minisatellite Repeats

First International Workshop on Human Aspects in Ambient Intelligence: Preface

Bosse, T., Castelfranchi, C., Neerincx, M., Sadri, F. & Treur, J., 2008, In : Communications in Computer and Information Science. 11, p. 261

Research output: Contribution to JournalArticleAcademicpeer-review

Formal analysis of empirical traces in incident management

Hoogendoorn, M., Jonker, C. M., van Maanen, P. & Sharpanskykh, O., 2008, In : Reliability Engineering and System Safety. 93, p. 1422-1433.

Research output: Contribution to JournalArticleAcademicpeer-review

Disasters
Automation

Formalisation of Damasio's Theory of Emotion, Feeling and Core Consciousness

Bosse, T., Jonker, C. M. & Treur, J., 2008, In : Consciousness and Cognition. 17, p. 94-113

Research output: Contribution to JournalArticleAcademicpeer-review

Consciousness
Emotions

Formal Modeling and Analysis of Cognitive Agent Behavior.

Sharpanskykh, O. & Treur, J., 2008, In : Cognitive Processing. 9, p. 189-208

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications

Genetic heterogeneity in ADHD: DAT1 gene only affects probands without CD

Zhou, K., Chen, W., Buitelaar, J. K., Banaschewski, T., Oades, R. D., Franke, B., Sonuga-Barke, E., Ebstein, R., Eisenberg, J., Gill, M., Manor, I., Miranda, A., Mulas, F., Roeyers, H., Rothenberger, A., Sergeant, J. A., Steinhausen, H. C., Lasky-Su, J., Taylor, E., Brookes, K. J. & 6 othersXu, X., Neale, B., Rijsdijk, F., Thompson, M., Asherson, P. & Faraone, S. V., 2008, In : American Journal of Medical Genetics Part B: Neuropsychiatric Genetics. 147B, 8, p. 1481-1487 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Conduct Disorder
Genetic Heterogeneity
Attention Deficit Disorder with Hyperactivity
Genes
Twin Studies

Integrating Agent Models and Dynamical Systems

Bosse, T., Sharpanskykh, O. & Treur, J., 2008, In : Lecture Notes in Computer Science. 4897, p. 50-68

Research output: Contribution to JournalArticleAcademicpeer-review

Model-Based Default Refinement of Partial Information within an Ambient Agent

Both, F., Gerritsen, C., Hoogendoorn, M. & Treur, J., 2008, In : Communications in Computer and Information Science. 11, p. 34-43

Research output: Contribution to JournalArticleAcademicpeer-review

Model-Based Reasoning Methods within an Ambient Intelligent Agent Model

Bosse, T., Both, F., Gerritsen, C., Hoogendoorn, M. & Treur, J., 2008, In : Communications in Computer and Information Science. 11, p. 352-370

Research output: Contribution to JournalArticleAcademicpeer-review

Modeling Dynamics of Relative Trust of Competitive Information Agents

Hoogendoorn, M., Jaffry, S. W. & Treur, J., 2008, In : Lecture Notes in Computer Science. 5180, p. 55-70

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

No association between two polymorphisms of the serotonin transporter gene and combined type attention deficit hyperactivity disorder

Xu, X., Aysimi, E., Anney, R. J., Brookes, K., Franke, B., Zhou, K., Buschgens, C. J. M., Chen, W., Christiansen, H., Eisenberg, J., Gabriëls, I., Manor, I., Marco, R., Müller, U., Mulligan, A., Rommelse, N. N. J., Thompson, M., Uebel, H., Banaschewski, T., Buitelaar, J. K. & 13 othersEbstein, R., Gill, M., Miranda, A., Mulas, F., Oades, R. D., Roeyers, H., Rothenberger, A., Sergeant, J. A., Sonuga-Barke, E., Steinhausen, H. C., Taylor, E., Faraone, S. V. & Asherson, P., 2008, In : American Journal of Medical Genetics Part B: Neuropsychiatric Genetics. 147B, 7, p. 1306-1309 4 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Serotonin Plasma Membrane Transport Proteins
Attention Deficit Disorder with Hyperactivity
Genes
Alleles
Minisatellite Repeats

On Human Aspects in Ambient Intelligence

Treur, J., 2008, In : Communications in Computer and Information Science. 11, p. 262-267 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Ambient Intelligence
Social sciences
Sensors
Neuroscience
Social Sciences

On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition

Bosse, T., Sharpanskykh, O. & Treur, J., 2008, In : Lecture Notes in Computer Science. 4897, p. 175-192

Research output: Contribution to JournalArticleAcademicpeer-review

Parent of origin effects in attention/deficit hyperacticvity disorder (ADHD): Analysis of data from the international multicenter ADHD genetics (IMAGE) program

Anney, R. J., Hawi, Z., Sheehan, K., Mulligan, A., Pinto, C., Brookes, K., Xu, X., Zhou, K., Franke, B., Buitelaar, J., Vermeulen, S. H., Banaschewski, T., Sonuga-Barke, E. J. S., Thompson, M., Sergeant, J. A., Asherson, P. & Faraone, S. V., 2008, In : American Journal of Medical Genetics Part B: Neuropsychiatric Genetics. 147B, 8, p. 1369-1378 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Attention Deficit Disorder with Hyperactivity
Conduct Disorder
Attention Deficit and Disruptive Behavior Disorders
Impulsive Behavior
Anxiety Disorders

Process-oriented organisation modelling and analysis

Popova, V. & Sharpanskykh, O., 2008, In : Enterprise Information Systems. 2, 2, p. 157-176

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Modeling
Resources
Logic
Language

Tools for Analyzing Intelligent Agent Systems

Bosse, T., Lam, D. N. & Barber, K. S., 2008, In : Web Intelligence and Agent Systems: An International Journal. 6, 4, p. 355-371

Research output: Contribution to JournalArticleAcademicpeer-review

Trust-Based Inter-Temporal Decision Making: Emergence of Altruism in a Simulated Society

Bosse, T., Schut, M. C., Treur, J. & Wendt, D., 2008, In : Lecture Notes in Computer Science. 5003, p. 96-111

Research output: Contribution to JournalArticleAcademicpeer-review

2007

A Framework for Formal Modeling and Analysis of Organizations

Jonker, C. M., Sharpanskykh, O., Treur, J. & P., Y., 2007, In : Applied Intelligence. 27, p. 49-66

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Industry

Agent-Oriented Modeling of the Dynamics of Biological Organisms

Jonker, C. M. & Treur, J., 2007, In : Applied Intelligence. 27, p. 1-20

Research output: Contribution to JournalArticleAcademicpeer-review

Animals
Specifications
Industry

A Language and Environment for Analysis of Dynamics by SimulaTiOn

Bosse, T., Jonker, C. M., van der Meij, L. & Treur, J., 2007, In : International Journal on Artificial Intelligence Tools. 16, 3, p. 435-464

Research output: Contribution to JournalArticleAcademicpeer-review

Specifications
Industry

An Agent Architecture for Multi-Attribute Negotiation Using Incomplete Preference Information

Jonker, C. M., Robu, V. & Treur, J., 2007, In : Autonomous Agents and Multi-Agent Systems. 15, p. 221-252

Research output: Contribution to JournalArticleAcademicpeer-review

Railroad cars
Industry

Analysis of Meeting Protocols by Formalisation, Simulation and Verification

Jonker, C. M., Schut, M. C., Treur, J. & Yolum, P., 2007, In : Computational and Mathematical Organization Theory. 13, 3, p. 283-314

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Formalization
Network protocols
Simulation
Exception Handling
Exception

A Specification Language for Organisational Performance Indicators

Popova, V. N. & Treur, J., 2007, In : Applied Intelligence. 27, p. 291-301

Research output: Contribution to JournalArticleAcademicpeer-review

Specification languages
Logistics
Specifications
Industry

Augmented Metacognition Addressing Dynamic Allocation of Tasks Requiring Visual Attention

Bosse, T., van Doesburg, W., van Maanen, P. & Treur, J., 2007, In : Lecture Notes in Computer Science. 4565, p. 166-175

Research output: Contribution to JournalArticleAcademicpeer-review

Case Analysis of Criminal Behaviour

Bosse, T., Gerritsen, C. & Treur, J., 2007, In : Lecture Notes in Computer Science. 4570, p. 166-175

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Analysis of Trace Conditioning

Bosse, T., Jonker, C. M., Los, S. A., van der Torre, L. W. N. & Treur, J., 2007, In : Cognitive Systems Research. 8, 1, p. 36-47

Research output: Contribution to JournalArticleAcademicpeer-review

2-(4-(4-fluorobenzoyl)piperidin-1-yl)-2'-acetonaphthone
Experimental Psychology
Specifications
Classical Conditioning
Differential equations