This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo

Treur, J.    

Firstname:J. 
Surname:Treur 
Email: 
Institute: 
Homepage: 
IIDS Author:No 

57 publications (0 read)





Publications as Author



2004

Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation, in: Journal of Applied Intelligence, volume 20, pages 95-117, 2004.    
 

2002

Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., A Multi-Agent System Performing One-to-Many Negotiation for Load Balancing of Electricity Use, in: Electronic Commerce Research and Applications Journal, volume 1, pages 208-224, 2002.    
 
Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., Compositional Verification of a Multi-Agent System for One-to-Many Negotiation, Defeasible Reasoning and Uncertainty Management Systems, volume 7, pages 455-476, Kluwer Academic Publishers, 2002.  
 
Herlea, D. E., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., A Compositional Knowledge Level Process Model of Requirements Engineering, in: International Journal of Software Engineering and Knowledge Engineering, volume 12, number 1, pages 41-75, 2002.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Dynamics and Control in Component-Based Agent Models, in: International Journal of Intelligent Systems, volume 17, number 11, pages 1007-1047, 2002.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Principles of Component-Based Design of Intelligent Agents, in: Data and Knowledge Engineering, volume 41, pages 1-28, 2002.    
 
Brazier, F. M. T., Engelfriet, J. and Treur, J., Analysis of Multi-Interpretable Ecological Monitoring Information, in: Applied Artificial Intelligence Journal, volume 16, pages 51-71, 2002.    
 
Brazier, F. M. T., van Langen, P. H. G., Treur, J. and Wijngaards, N. J. E., Model-Based Development of Design Process Models, in: Notes AID '02 Workshop on Design Process Modelling, Cambridge University, 2002.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control, Handbook of Defeasible Reasoning and Uncertainty Management Syst, volume 7, pages 19-64, Kluwer Academic Publishers, ISBN 978-1-4020-0834-4, 2002.  
 
Brazier, F. M. T., van Eck, P. A. T. and Treur, J., Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems, Defeasible Reasoning and Uncertainty Management Systems, volume 7, pages 169-196, Kluwer Academic Publishers, 2002.  
 
Brazier, F. M. T., Jonker, P. P. and Treur, J., Compositional Design and Reuse of a Generic Agent Model, Defeasible Reasoning and Uncertainty Management Systems, volume 7, pages 113-166, Kluwer Academic Publishers, 2002.  
 

2001

Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Deliberative Evolution in Multi-Agent Systems, in: International Journal of Software Engineering and Knowledge Engineering, volume 11, number 5, pages 559-581, 2001.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Compositional Design of a Generic Design Agent, in: Design Studies journal, volume 22, number 5, pages 439-471, 2001.    
 
Brazier, F. M. T., van Eck, P. A. T. and Treur, J., Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation, in: Journal of Applied Intelligence, volume 14, pages 161-178, 2001.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Deliberate Evolution in Multi-Agent Systems, Series in Defeasible Reasoning and Uncertainty Management System, volume 6, pages 363-380, Kluwer Academic Publishers, 2001.    
 
Brazier, F. M. T., Dunin-Keplicz, B. M., Treur, J. and Verbrugge, R., Modelling Internal Dynamic Behaviour of BDI Agents, Series in Defeasible Reasoning and Uncertainty Management System, volume 6, pages 339-361, Kluwer Academic Publishers, 2001.    
 

2000

Brazier, F. M. T., Cornelissen, F., Jonker, C. M. and Treur, J., Compositional Specification of a Reusable Co-operative Agent Model, in: International Journal of Cooperative Information Systems, volume 9, pages 171-207, 2000.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Compositional Design and Reuse of a Generic Agent Model, in: Applied Artificial Intelligence Journal, volume 14, number 5, pages 491-538, 2000.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., On the use of shared task models in knowledge acquisition, strategic user interaction and clarification agents, in: International journal of human-computer studies, volume 52, number 1, pages 77-110, 2000.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Deliberate Evolution in Multi-Agent Systems, in: Proceedings of the Sixth International Conference on AI in Design, AID'2000, pages 633-650, Kluwer Academic Publishers, 2000.    
 
Brazier, F. M. T. and Treur, J., Managing Conflicts in Reflective Agents, in: Computational Conflicts: Conflict Modeling as a Primary Design Technique for Distributed Systems, pages 63-81, Springer Verlag, 2000.    
 

1999

Brazier, F. M. T., Jonker, C. M., Jungen, F. J. and Treur, J., Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach, in: Applied Artificial Intelligence Journal, volume 13, pages 65-90, 1999.    
 
Herlea, D. E., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., A Formal Knowledge Level Process Model of Requirements Engineering, in: Multiple approaches to intelligent systems Proceedings of the 12th International Conference on Industrial and EngineeringApplications of AI and Expert Systems, IEA/AIE'99, pages 869-878, Springer Verlag, 1999.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Deliberate Evolution in Multi-Agent Systems, in: Proceedings of the Third Annual Conference on Autonomous Agents, Agents'99, pages 356-357, ACM Press, 1999.    
 
Herlea, D. E., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Integration of Behavioural Requirements Specification within a Knowledge Engineering Methodology, in: Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW'99, pages 173-190, Springer Verlag, 1999.    
 
Brazier, F. M. T., Dunin-Keplicz, B. M., Treur, J. and Verbrugge, R., Modelling Internal Dynamic Behaviour of BDI agents, in: Formal Models of Agents: ESPRIT project MogelAge final workshop, pages 36-56, Springer Verlag, 1999.    
 
Herlea, D. E., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Specification of Behavioural Requirements within Compositional Multi-Agent System Design, in: Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99, pages 8-27, Springer Verlag, Berlin, 1999.    
 
Brazier, F. M. T., Treur, J., Wijngaards, N. J. E. and Willems, M., Temporal semantics of compositional task models and problem solving methods, in: Data and Knowledge Engineering, volume 29, number 1, pages 17-42, 1999.    
 
Brazier, F. M. T. and Treur, J., Compositional Modelling of Reflective Agents, in: International Journal of Human-Computer Studies, volume 50, pages 407-431, 1999.    
 

1998

Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., Agents Negotiating for Load Balancing of Electricity Use, in: Proceedings of the 18th International Conference on Distributed Computing Systems, ICDCS'98, IEEE, pages 622-629, Computer Society Press, 1998.    
 
Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation, in: Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98, pages 49-56, IEEE Computer Society Press, 1998.    
 
Brazier, F. M. T., van Langen, P. H. G. and Treur, J., Strategic Knowledge in Design: a Compositional Approach, in: Knowledge-based Systems, volume 11, pages 405-416, 1998.    
 
Brazier, F. M. T., Engelfriet, J. and Treur, J., Analysis of multi-interpretable ecological monitoring information, in: Applications of Uncertainty Formalisms, pages 303-324, Springer Verlag, 1998.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., An Agent Architecture for Dynamic Re-design of Agents, in: Proc. of the AID'98 Workshop on Distributed Web-based Design Tools, 1998.    
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., On the role of abilities of agents in redesign, in: Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98, pages 16, SRDG Publications, Department of Computer Science, University of Calgary, 1998.  
 
Brazier, F. M. T., Jonker, C. M., Treur, J. and Wijngaards, N. J. E., Compositional Design of a Generic Design Agent, in: Proc. Of the AAAI Workshop on Artificial Intelligence and Manufacturing, pages 30-39, AAAI Press, Menlo Park CA, 1998.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Principles of Compositional Multi-agent System Development, in: Proceedings of the 15th IFIP World Computer Congress, WCC98, Conference on Information Technology and Knowledge Systems, IT and KNOWS98, pages 347-360, 1998.    
 
Brazier, F. M. T., van Langen, P. H. G. and Treur, J., Strategic Knowledge in Compositional Design Models, in: Proceedings of the Fifth International Conference on Artificial Intelligence in Design, AID'98, pages 129-147, Kluwer Academic Publishers, 1998.    
 

1997

Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R. and Treur, J., DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework, in: International Journal of Cooperative Information Systems, volume 6, pages 67-94, 1997.    
 
Brazier, F. M. T., van Langen, P. H. G. and Treur, J., A compositional approach to modelling design rationale., in: Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM ), volume 11 (2), pages 125-139, 1997.  
 
Eliens, A., de Bra, P., Treur, J., Brazier, F. M. T. and van Vliet, H., Web Agent Support Program, in: Proceedings of the Workshop on Logic Programming and the Web, Sixth International WWW Conference, 1997.  
 
Brazier, F. M. T., van Eck, P. A. T. and Treur, J., Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation, in: Simulating Social Phenomena, Proc. of the International Conference on Computer Simulations and Social Sciences, ICCS&SS'97,, pages 103-107, Springer-Verlag, 1997.    
 
Brazier, F. M. T., van Eck, P. A. T. and Treur, J., Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework, in: Knowledge Acquisition, Modelling and Management, Proc. of the 10th European Knowledge Acquisition Workshop, EKAW'97,, pages 317-322, Springer-Verlag, 1997.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Formalization of a cooperation model based on joint intentions, in: Intelligent Agents III, Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, ATAL'96,, pages 141-155, Springer Verlag, 1997.    
 

1996

Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R. and Treur, J., Modelling Distributed Industrial Processes in a Multi-Agent Framework, Computer Supported Cooperative Work Series, pages 212-229, Springer Verlag, 1996.    
 
Brazier, F. M. T., van Harmelen, F., Straatman, R., Treur, J., Wijngaards, N. J. E. and Willems, M., A Purpose Driven Method for Language Comparison, in: Advances in Knowledge Acquisition. Proc. of the 9th European Knowledge Acquisition Workshop, EKAW'96, pages 66-81, 1996.    
 
Brazier, F. M. T., van Langen, P. H. G., Treur, J. and Wijngaards, N. J. E., Redesign and reuse in compositional knowledge-based systems, in: Knowledge Based Systems, volume 9, pages 105-118, 1996.    
 
Brazier, F. M. T., van Langen, P. H. G., Treur, J., Wijngaards, N. J. E. and Willems, M., Modelling an elevator design task in DESIRE: the VT example, in: International Journal of Human-Computer Studies, volume 44, pages 469-520, 1996.    
 
Brazier, F. M. T., van Langen, P. H. G. and Treur, J., A logical theory of design, in: Advances in Formal Design Methods for CAD, Proc. of the Second International Workshop on Formal Methods in Design, pages 243-266, Chapman Hall, 1996.    
 
Brazier, F. M. T., Jonker, C. M. and Treur, J., Modelling Project Coordination in a Multi-Agent Framework, in: Proc. of the Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE'96, pages 148-155, IEEE Computer Society Press, 1996.    
 
Brazier, F. M. T., Treur, J. and Wijngaards, N. J. E., Modelling interaction with experts: the role of a shared task model, in: Proc. of the 12th European Conference on AI, ECAI'96,, pages 241-245, Wiley and Sons, Chichester, 1996.  
 
Brazier, F. M. T., Treur, J. and Wijngaards, N. J. E., The acquisition of a shared task model, in: Advances in Knowledge Acquisition, Proc. of the 9th European Knowledge Acquisition, Workshop, EKAW'96, pages 278-289, 1996.    
 
Brazier, F. M. T. and Treur, J., Compositional modelling of reflective agents, in: Proc. of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, pages 23/1-23/12, SRDG Publications, Department of Computer Science, University of Calgary, 1996.  
 

1995

Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R. and Treur, J., Formal Specification of Multi-Agent Systems: a Real World Case, in: Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95, pages 25-32, MIT Press, 1995.    
 
Brazier, F. M. T., van Langen, P. H. G. and Treur, J., Modelling conflict management in design: an explicit approach, in: Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM ), volume 9, number 4, pages 353-366, 1995.    
 
Brazier, F. M. T. and Treur, J., A Research Programme for AI and Design: a Design Task, in: Proc. of the Fourth Workshop on Future Directions for Artificial Intelligence in Design, pages 9-16, 1995.  
 

1994

Brazier, F. M. T., van Langen, P. H. G., Ruttkay, Z. S. and Treur, J., On formal specification of design tasks, in: Proceedings Artificial Intelligence in Design (AID'94), pages 535-552, Kluwer Academic Publishers, 1994.  
 

Publications as Editor

2002

Brazier, F. M. T., Jonker, C. M. and Treur, J., Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control, Handbook of Defeasible Reasoning and Uncertainty Management Syst, volume 7, pages 19-64, Kluwer Academic Publishers, ISBN 978-1-4020-0834-4, 2002.  
 
Brazier, F. M. T., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. and Treur, J., Compositional Verification of a Multi-Agent System for One-to-Many Negotiation, Defeasible Reasoning and Uncertainty Management Systems, volume 7, pages 455-476, Kluwer Academic Publishers, 2002.  
 
Brazier, F. M. T., van Eck, P. A. T. and Treur, J., Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems, Defeasible Reasoning and Uncertainty Management Systems, volume 7, pages 169-196, Kluwer Academic Publishers, 2002.  
 
Brazier, F. M. T., Jonker, P. P. and Treur, J., Compositional Design and Reuse of a Generic Agent Model, Defeasible Reasoning and Uncertainty Management Systems, volume 7, pages 113-166, Kluwer Academic Publishers, 2002.