Research Output per year
Research Output 1976 2019
- 1 - 50 out of 503 results
- Publication Year, Title (ascending)
1988
Completeness and definability in diagnostic expert systems
Treur, J., 1988, Proceedings of the 8th European Conference on Artificial Intelligence, ECAI'88. Kodratoff, Y. (ed.). Pitman Publishing, Pearson Professional, p. 619-624Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1990
On the use of a formalized generic task model in knowledge acquisition
Kowalczyk, W. J. & Treur, J., 1990, Current Trends in Knowledge Acquisition, Proc. of the European Knowledge Acquisition Worksop, EKAW'90. Wielinga, B. (ed.). IOS Press, p. 198-221 24 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1991
A bi-modular approach to nonmonotonic reasoning
Tan, Y. H. & Treur, J., 1991, Proc. of the World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91. de Glas, M. & Gabbay, D. (eds.). p. 461-476 16 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
A logical framework for design processes
Treur, J., 1991, Intelligent CAD Systems III. Proc. of the Third Eurographics Workshop on Intelligent CAD Systems. ten Hagen, P. & Veerkamp, P. (eds.). Springer Verlag, p. 3-20 18 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1992
A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks
Brumsen, H. A., Pannekeet, J. H. M. & Treur, J., 1992, Proceedings of the 12th International Avignon Conference on Artificial Intelligence, Expert systems and Natural Language, Avignon-92, vol. 1. p. 283-294 12 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Constructive Default Logic and the Control of Defeasible Reasoning
Tan, Y. H. & Treur, J., 1992, Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92. Neumann, B. (ed.). Wiley, p. 299-303Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Constructive Default Logic in a Meta-Level Architecture
Tan, Y. H. & Treur, J., 1992, Proceedings of the International Workshop on new Models in Software Architecture (IMSA), Reflection and Meta-level Architectures. Yonezawa, A. & Smith, B. C. (eds.). p. 184-189 6 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Explicit Representation of Design Process Knowledge
Treur, J. & Veerkamp, P. J., 1992, Artificial Intelligence in Design '92. Proceedings AID-92. Gero, J. (ed.). Kluwer Academic, p. 677-696 20 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Specifications
Formal Specification of Compositional Architectures
Langevelde, I. V., Philipsen, A. W. & Treur, J., 1992, Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92. Neumann, B. (ed.). Wiley, p. 272-276 5 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Interaction types and chemistry of generic task models
Treur, J., 1992, Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. Linster, M. & Gaines, B. (eds.). GMD, p. 390-414 25 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Logical Methods in Protocol Analysis
Langevelde, I. V. & Treur, J., 1992, Proceedings of the European Knowledge Acquisition Workshop, EKAW '91. Linster, M. (ed.). p. 162-183 12 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
On the (non-)brittleness of a DESIRE-model
Geelen, P. A., Ruttkay, Z. S. & Treur, J., 1992, Sisyphus'92: Models of Problem Solving, Sisyphus yearbook 1992. GMDResearch output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1993
A compositional architecture for simple design formally specified in DESIRE
Langevelde, I. V., Philipsen, A. W. & Treur, J., 1993, Formal specification of complex reasoning systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 143-172Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
An example reasoning task description
Langevelde, I. V., Philipsen, A. W. & Treur, J., 1993, Formal specification of complex reasoning systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 7-13 7 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
A Temporal Model Theory for Default Logic
Engelfriet, J. & Treur, J., 1993, Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93. Clarke, M. (ed.). Springer/Verlag, p. 91-96Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Default Logic
Model Theory
Logic
Semantic Theory
Comparing Formal Specification Languages for Complex Reasoning Systems
van Harmelen, F., Lopez de Mantaras, R., Malec, J. & Treur, J., 1993, Formal Specification of Complex Reasoning Systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 257-282 26 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
On the Role of Formal Specification in AI
Treur, J. & Wetter, T. C., 1993, Formal Specification of Complex Reasoning Systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 1-6Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1994
A formal model for the dynamics of compositional reasoning systems
Gavrila, I. & Treur, J., 1994, Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94. Cohn, A. G. (ed.). Wiley, p. 307-311 5 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
A logical foundation for verification
Treur, J. & Willems, M., 1994, Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94. Cohn, A. G. (ed.). Wiley, p. 745-749 5 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Formal semantics of temporal epistemic reflection
van der Hoek, W., Meyer, J. J. & Treur, J., 1994, Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings. Fribourg, L. (ed.). Springer/Verlag, Vol. 883 LNCS. p. 332-352 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 883 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Formal Semantics
Reasoning
Semantics
Epistemic Logic
Architecture
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
Treur, J., 1994, Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings. Springer/Verlag, Vol. 883 LNCS. p. 353-376 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 883 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Dynamic Control
Reasoning
Semantics
System Modeling
Model
Temporal Theories of Reasoning
Engelfriet, J. & Treur, J., 1994, Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA'94. MacNish, C. (ed.). Springer/Verlag, p. 279-299 21 p. (Lecture Notes in Artificial Intelligence; vol. 838).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
User centered knowledge-based system design: a formal modelling approach
Brazier, F. M. & Treur, J., 1994, Future for knowledge acquisition, Proceedings of the 8th European Knowledge Acquisition Workshop, EKAW'94. Steels, L., Schreiber, G. & van de Velde, W. (eds.). Springer/Verlag, p. 283-302 20 p. (Lecture Notes in Artificial Intelligence; vol. 867).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1995
Compositional formal specification of multi-agent systems
Dunin-Keplicz, B. M. & Treur, J., 1995, Intelligent Agents - ECAI 1994 Workshop on Agent Theories, Architectures, and Languages, Proceedings. Wooldridge, M. (ed.). Springer/Verlag, Vol. 890. p. 102-117 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 890 LNAI).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Formal Specification
Multi agent systems
Multi-agent Systems
Reasoning
Formal Semantics
Formal Notions for Verification of Dynamics of Knowledge-Based Systems
Treur, J. & Willems, M., 1995, Proceedings European Symposium on Validation and Verfication on KBSs, EUROVAV'5. Rousset, M. C. (ed.). p. 189-199 11 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Modelling Reasoning and Acting Agents
Dunin-Keplicz, B. M. & Treur, J., 1995, Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95. RDG Publications, p. 22/1-22/20 20 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Modeling languages
Formal specification
Nonmonotonic belief state frames and reasoning frames
Engelfriet, J., Herre, H. & Treur, J., 1995, Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings. Springer/Verlag, Vol. 946. p. 189-196 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 946).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Temporalizing Epistemic Default Logic
van der Hoek, W., Meyer, J. J. C. & Treur, J., 1995, Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop. World Scientific, p. 173-190 18 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1996
Compositional modelling of reflective agents
Brazier, F. M. & Treur, J., 1996, Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96. Gaines, B. R. (ed.). SRDG Publications, Department of Computer Science, University of Calgary, p. 23/1-23/12 12 p. 23Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Reflective
Modeling
Wise Men
Multi-agent Systems
Communication
Infinitary default logic for specification of nonmonotonic reasoning
Engelfriet, J., Marek, V. W., Treur, J. & Truszczynski, M., 1996, Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Springer/Verlag, Vol. 1126. p. 224-236 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1126).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Nonmonotonic Reasoning with Multiple Belief Sets
Engelfriet, J., Herre, H. & Treur, J., 1996, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer/Verlag, Vol. 1085. p. 331-344 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1085).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Nonmonotonic Reasoning
Operator
Beliefs
Monotonic
Congruence
Semantics for Default Logic Based on Specific Branching Time Models
Engelfriet, J. & Treur, J., 1996, Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96. Wahlster, W. (ed.). Wiley, p. 60-64 5 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Specification of Nonmonotonic Reasoning
Engelfriet, J. & Treur, J., 1996, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer/Verlag, Vol. 1085. p. 111-125 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1085).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Nonmonotonic Reasoning
Specification languages
Specification Languages
Specification
Specifications
1997
A compositional reasoning system for executing nonmonotonic theories of reasoning
Engelfriet, J. & Treur, J., 1997, Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Springer/Verlag, Vol. 1244. p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1244).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
Cornelissen, F. J., Jonker, C. M. & Treur, J., 1997, Knowledge Acquisition, Modeling and Management - 10th European Workshop, EKAW 1997, Proceedings. Springer/Verlag, Vol. 1319. p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1319).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic
Engelfriet, J., Jonker, C. M. & Treur, J., 1997, Verification, Model Checking and Abstract Interpretation. Bossi, A. (ed.). Dipartimento di Matematica Applicata ed Informatica, Universita Ca Foscari di Venezia, Venetie, Technical Report CS97-14, 10 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Modelling an Agent's Mind and Matter
Jonker, C. M. & Treur, J., 1997, Multi-Agent Rationality, Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi- Agent World, MAAMAW'97. Boman, M. (ed.). Springer/Verlag, Vol. 1237. p. 210-233 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1237).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Modeling
Brain
Physical Simulation
Model
Interaction
Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation
Brazier, F. M., van Eck, P. A. T. & Treur, J., 1997, Proceedings of the International Conference on Computer Simulations and Social Sciences, ICCS&SS'97. Springer/Verlag, p. 103-109 7 p. (Lecture Notes in Economics and Mathematical Systems; vol. 456).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Specifications
Experiments
1998
Agent-based Simulation of Reactive, Pro-active, and Social Animal Behaviour
Jonker, C. M. & Treur, J., 1998, Methodology and Tools in Knowledge-Based Systems - 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA-1998-AIE, Proceedings. Mira, J. (ed.). Springer/Verlag, Vol. 1415. p. 584-595 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1415).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Agent-based Simulation
Animals
Multi agent systems
Social Behavior
Multi-agent Systems
Agent modelling in METATEM and DESIRE
Mulder, M., Treur, J. & Fisher, M., 1998, Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Proceedings. Springer/Verlag, Vol. 1365. p. 193-207 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1365 LNAI).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Analysis of multi-interpretable ecological monitoring information
Brazier, F. M., Engelfriet, J. & Treur, J., 1998, Applications of Uncertainty Formalisms. Hunter, A. (ed.). Springer/Verlag, Vol. 1455. p. 303-324 22 p. (Lecture Notes in Artificial Intelligence; vol. 1455).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Decision support systems
Monitoring
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
Brazier, F. M., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B. & Treur, J., 1998, Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98. IEEE Computer Society Press, p. 49-56 8 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Compositional Design of a Generic Design Agent
Brazier, F. M., Jonker, C. M., Treur, J. & Wijngaards, N. J. E., 1998, Proc. of the AAAI Workshop on Artificial Intelligence and Manufacturing: State of the Art and State of Practice. Luger, G. (ed.). AAAI Press, p. 30-39 10 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness
Jonker, C. M. & Treur, J., 1998, Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. Springer/Verlag, Vol. 1536. p. 350-380 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1536).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Development of an ecological decision support system
van Beusekom, F., Brazier, F., Schipper, P. & Treur, J., 1998, Tasks and Methods in Applied Artificial Intelligence - 11 th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-1998-AIE, Proceedings. del Pobil, A. P. (ed.). Springer/Verlag, Vol. 1416. p. 815-825 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1416).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Nonmonotonic Reasoning
Multi-model
Knowledge-based
Decision Support Systems
Decision support systems
Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach
Brazier, F. M., Jonker, C. M., Jungen, F. J. & Treur, J., 1998, Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'98. Nwana, H. S. (ed.). The Practical Application Company Ltd, p. 555-576 22 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Multi agent systems
Scheduling
Personnel
Managers
Mapping Visual to Textual Representation of Knowledge in DESIRE
Jonker, C. M., Kremer, R., van Leeuwen, P., Pan, D. & Treur, J., 1998, Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98. Gaines, B. R. (ed.). SRDG Publications, Department of Computer Science, University of Calgary, 20 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Multi agent systems
Panel: Methodologies for multi-agent systems
Kinny, D., Treur, J., Gasser, L., Clark, S. & Müller, J., 1998, Intelligent Agents IV: Agent Theories, Architectures, and Languages - 4th International Workshop, ATAL 1997, Proceedings. Springer/Verlag, Vol. 1365. p. 1-1 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1365).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
1999
A Multi-Agent Architecture for an Intelligent Website in Insurance
Jonker, C. M., Lam, R. A. & Treur, J., 1999, Cooperative Information Agents III - 3rd International Workshop, CIA 1999, Proceedings. Springer/Verlag, Vol. 1652. p. 86-100 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1652).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Agent Architecture
Insurance
Websites
Multi agent systems
Multi-agent Systems
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Engelfriet, J., Jonker, C. M. & Treur, J., 1999, Intelligent Agents V: Agents Theories, Architectures, and Languages - 5th International Workshop, ATAL 1998, Proceedings. Springer/Verlag, Vol. 1555. p. 177-194 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1555).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Compositional Verification
Epistemic Logic
Temporal Logic
Multi agent systems
Multi-agent Systems