1

1. SIKS Activities in 1998 and 1999

1.1. Activities in 1998

13 may 1998: Themadag Natural Language and IKS, Tilburg (in Dutch)

Organized in cooperation with the Katholieke Universiteit Brabant. Lectures:

Taal en Informatiesystemen: een overzicht Hans Weigand (KUB)

EuroWordNet: een multilinguale database met wordnets voor de Europese talen, Piek Vossen (UvA)

Lazy Language Learning Walter Daelemans (KUB)

Natural Language Generation Emiel Krahmer (IPO/TUE)

Dialogen in een virtuele omgeving, Anton Nijholt (UT)

Modelling the origins of language, Bart de Boer (VUB)

25-28 may 1998: Basic course: Databases en Multimedia, Zeist

Scientific directors

Lynda Hardman (CWI),

Anton Eliëns (VU)

Peter Apers (UT).

Lectures were given on the following topics:

Multimedia (by John Buford, Warner ten Kate, Eddy de Boer)

Web and Retrieval (by Peter Apers , Marcel Worring, Arjen de Vries, Theo Gevers, Massimo Marchiori)

Hypermedia (Jacco van Ossenbruggen and Lloyd Rutledge, Lynda Hardman, Paul de Bra )

Multimedia and Networking (by Niels den Otter, Egon Verharen)

In-Progress (by Bastiaan Schonhage - Martijn van Welie -: Jeroen Vendrig)

User Interfaces (by Gerrit van der Veer, Roel Vertegaal)

Applications and Business (by Edwin Hautus – Sybar, Paul Evans Jack van der Hoeven)

30 september 1998 : SION Databasedag

(organized by the section Information Retrieval and Information Systems of the Katholieke Universiteit Nijmegen, in cooperation with SIKS)

Lectures:

Condorcet - kennis-gebaseerd indexeren van wetenschappelijke documenten

Bas van Bakel

On the Suitability of Genetic-Based Algorithms for Data Mining

Sunil Choenni

On the integration of IR and databases

Arjen P. de Vries

Three types of redundancy in integrity checking; an optimal solution

Harrie (H.C.M.) de Swart en Ron (R.R.) Seljée

AMIS, de visie van de UT database groep

Henk Ernst Blok

30 nov. - 4 dec. 1998 Basic Course: Interactieve Systemen & Multi-Agent Systemen, Zeist

No details available

1.2. Activities in 1999

31 mei- 4 juni Basic course Combinatory Methods and Intelligent Systems Zeist

Scientific Directors:

dr. Nico Roos (UM),

dr. Frank van Harmelen (VU) and

dr. Wiebe van der Hoek (UU)

Machine Learning: Hans Zantema (UU)

Model based reasoning and diagnosis: Peter Lucas (UU) and Frank van Harmelen (UM)

Reasoning with uncertainty: Linda van der Gaag (UU)

Belief revision: Hans Rott

1 oktober SIKS-dag 1999 in Krasnapolsky Amsterdam

The program:

Requirements for Ontologies, by prof. dr. R. Meersman (VUB)

SIKS: Activities and Prospects by prof dr. R.P. van de Riet (VU)

Designing Virtual Systems: Software Engineering and Social System Design prof. dr. R.J. Wieringa (UT)

Why you should care about agents dr. M.Wooldridge

SIKS-masterclasses on November 1 and 2 2001 in Maastricht

On November 1 and 2 SIKS organized two Masterclasses

Monday November 1. "Heuristic Search: Tools of the Trade"

by Jonathan Schaeffer (University of Alberta)

"An overview of Machine Learning"

Thuesday November 2.

by Tom Mitchell (Carnegie Mellon University)

Doctoral consortium on November 2 in Maastricht

On November 2, SIKS organizes a so called "doctoraalconsortium" in addition to the masterclass of prof. Mitchell in Maastricht. The idea is that 3 or 4 Ph.D.-students give a concise presentation of the results of their current work. A "forum" of SIKS-staffmembers gives comments.

Lecturers: Peter Andras (UM)

Koen Hindriks (UU)

Bart-Jan Hommes (TUD)

Pascal van Eck (VU)

29 nov-3 dec Basic course Systeem- en Kennismodelleren Apeldoorn

From 29 nov- 3 dec SIKS organized 2 Basic courses System modeling and knowledge modeling. The following topics were treated:

Modelling: an introduction

Arie de Bruin (EUR)

Workflow theory

Paul Grefen (UT)

Context modelling

Robert de Hoog (UVA)

Softwaremodelling

Roel Wieringa (UT)

Communication modelling

Hans Akkermans (VU)

Knowledge modelling

Guus Schreiber (UVA)

Validation & verification

Frank van Harmelen (VU)

Information architecture

Leo Hermans & Guido van Humbeeck

Enterprise modelling

Kraaijenzank

Workflow practice

Kees van Hee (TUE)

Administrative Processes

Unknown

2. SIKS Doctoral dissertations in 1998 and 1999

Doctoral dissertations 1n 1998

98-1 Johan van den Akker (CWI)

DEGAS - An Active, Temporal Database of Autonomous Objects

promotor: Prof.dr. M.L. Kersten (CWI/UvA)

co-promotor: dr. A.P.J.M. Siebes (CWI)

promotie: 30 maart 1998

98-2 Floris Wiesman (UM)

Information Retrieval by Graphically Browsing Meta-Information

promotores: Prof.dr.ir. A. Hasman (UM)

Prof.dr. H.J. van den Herik (UM/RUL)

Prof.dr.ir. J.L.G. Dietz (TUD)

promotie: 7 mei 1998

98-3 Ans Steuten (TUD)

A Contribution to the Linguistic Analysis of Business Conversations

within the Language/Action Perspective

promotores: Prof.dr.ir. J.L.G. Dietz (TUD)

prof.dr. P.C. Hengeveld (UvA)

promotie: 22 juni 1998

98-4 Dennis Breuker (UM)

Memory versus Search in Games

promotor: Prof.dr. H.J. van den Herik (UM/RUL)

promotie: 16 oktober 1998

98-5 E.W.Oskamp (RUL)

Computerondersteuning bij Straftoemeting

Promotores: Prof.mr. H. Franken

Prof.dr. H.J. van den Herik

Promotie: 13 mei 1998

Doctoral dissertations in 1999

99-1 Mark Sloof (VU)

Physiology of Quality Change Modelling; Automated modelling of

Quality Change of Agricultural Products

Promotor: prof.dr. J. Treur

Co-promotor: Dr.ir. M. Willems

Promotie: 11 mei 1999

99-2 Rob Potharst (EUR)

Classification using decision trees and neural nets

Promotor: prof. dr. A. de Bruin

Co-promotor: Dr. J.C. Bioch

Promotie: 4 juni 1999

99-3 Don Beal (Queen Mary and Westfield College)

The Nature of Minimax Search

Promotor: Prof.dr. H.J.van den Herik

Promotie: 11 juni 1999

99-4 Jacques Penders (KPN Research)

The practical Art of Moving Physical Objects

Promotor: Prof.dr. H.J. van den Herik

Co-promotor: Dr. P.J. Braspenning

Promotie: 11 juni 1999

99-5 Aldo de Moor (KUB)

Empowering Communities: A Method for the Legitimate User-Driven

Specification of Network Information Systems

Promotor: Prof.Dr. R.A. Meersman

Co-promotor: Dr. H. Weigand

Promotie: 1 oktober 1999

99-6 Niek J.E. Wijngaards (VU)

Re-design of compositional systems

Promotor: prof.dr. J. Treur

Copromotor: Dr. F.M.T. Brazier

Promotie: 30 september 1999

99-7 David Spelt (UT)

Verification support for object database design

Promotor: Prof. Dr. P.M.G. Apers

Assistent promotor: Dr. H. Balsters

Promotie: 10 september 1999

99-8 Jacques H.J. Lenting (UM)

Informed Gambling: Conception and Analysis of a Multi-Agent Mechanism

for Discrete Reallocation.

Promotor: Prof. dr. H.J. van den Herik

Co-promotor: Dr. P.J. Braspenning

Promotie: 3 december 1999

3. SIKS publications 1998

Vrije Universiteit Amsterdam

IMSE

Publications

J.F.M. Burg, and R.P. van de Riet (1998). Enhancing CASE Environments by using Linguistics. International Journal on Software Engineering and Knowledge Engineering (IJSEKE), vol. 8(4): pp. 435- 448.

J.F.M. Burg, and R.P. van de Riet (1998). COLOR-X: Using Knowledge from WordNet for Conceptual Modeling. In C. Fellbaum, editor, WordNet, An Electronic Reference System and Some of its Applications, pp. 353-377. MIT Press, Cambridge, MA.

M.W.A. Caminada, R.P. van de Riet, A. van Zanten, and L. van Doorn (1998). Internet security incidents, a survey within Dutch organisations. In H. Maurer, and R.G.Olson, editors, Proc. of WebNet98, 8 pp. Orlando, Florida, Association for the Advancement of Computing in Education (AACE), Charlottesville, USA.

M.W.A. Caminada, R.P. van de Riet, A. van Zanten, and L. van Doorn (1998). Internet security incidents, a survey within Dutch organisations. Computers & Security, vol. 17(5): pp. 417-433. Elsevier Science Limited.

Ph. I. Elsas, P.M. Ott de Vries, and R.P. van de Riet (1998). Computing Conspiracies. In R. Wagner, editor, Database and Expert Systems Applications, pp. 256-266. IEEE Computer Society.

M.O. Frohlich, and R.P. van de Riet (1998). Using Multiple Ontologies in a Framework for Natural Language Generation. Proc. of the Workshop on Applications of Ontologies and Problem-Solving Methods at ECAI'98, pp. 67-72. Brighton, UK.

E. Gudes, R.P. van de Riet, J.F.M. Burg, and M.S. Olivier (1998). Alter-egos and Roles-Supporting Workflow Security in Cyberspace. In T.Y. Lin and X. Qian, editors, Proc. IFIP WG11.3 Work. Conf. on Database Security, pp. 182-198. Chapman and Hall.

M.S. Olivier, E. Gudes, R.P. van de Riet, and J.F.M. Burg (1998). Specifying Application-level Security in Workflow Systems. In R. Wagner, editor, Database and Expert Systems Applications, pp. 346-354. IEEE Computer Society.

R.P. van de Riet, J.F.M. Burg, and F. Dehne. Linguistic Instruments in Information Systems Design. In N. Guarino, editor, Formal Ontology in Information Systems, Procs. of the first Intl Conf. (FOIS'98), pp. 39-60. IOS Press, Amsterdam.

R.P. van de Riet (1998). Complex Objects: Theory and Practice from a Data- and Knowledge Engineering perspective as seen in and from Yellowstone Park. Data and Knowledge Engineering, vol. 25(1-2): pp. 217-238. North Holland, Amsterdam.

R.P. van de Riet, and P.P. Chen (1998). Introduction to the special issue celebrating the 25th volume of Data & Knowledge Engineering. DKE Data and Knowledge Engineering, vol 25(1-2): pp. 1-10. North Holland, Amsterdam.

R.P. van de Riet, W. Janssen, and P. de Gruijter (1998). Security moving from Database Systems to ERP Systems. In R. Wagner, editor, Database and Expert Systems Applications, pp. 273-280. IEEE Computer Society.

AI

Publicaties

G. Antoniou, F. van Harmelen, J. Vanthienen, and R. Plant (1998). Verification and validation of Knowledge-Based Systems -- Report on two 1997 events. AI Magazine, vol. 19(3): pp. 123-126.

F. van Beusekom, F.M.T. Brazier, P. Schipper, and J. Treur (1998). Development of an ecological decision support system. In A.P. del Pobil, J. Mira, and M. Ali, editors, Tasks and Methods in Applied Artificial Intelligence (Proc. of the 11th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE'98, vol. II), Lecture Notes in AI, vol. 1416: pp. 815-825. Springer Verlag, Berlin Heidelberg.

F.M.T. Brazier, F. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, and J. Treur (1998). Agents Negotiating for Load Balancing of Electricity Use (extended abstract). In H.S. Nwana, and D.T. Ndumu, editors, Proc. of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent, Technology, PAAM'98, pp. 551-554. The Practical Application Company Ltd, Blackpool.

F.M.T. Brazier, F. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, and J. Treur (1998). Agents Negotiating for Load Balancing of Electricity Use. In M.P. Papazoglou, M. Takizawa, B. Kramer, and S. Chanson, editors, Proc. of the 18th International Conference on Distributed Computing Systems, ICDCS'98, pp. 622-629. IEEE Computer Society Press, Los Alamitos, CA.

F.M.T. Brazier, F. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, and J. Treur (1998). Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. In Proc. of the Third International Conference on Multi-Agent Systems, ICMAS'98. IEEE Computer Society Press, Los Alamitos, CA.

F.M.T. Brazier, F. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, and J. Treur (1998). Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation (extended abstract). Proc. of the Tenth Netherlands/Belgium Conference on Artificial Intelligence, pp. 309-310. Amsterdam.

F.M.T. Brazier, J. Engelfriet, and J. Treur (1998). Analysis of multi-interpretable ecological monitoring information. In A. Hunter, and S. Parsons, editors, Applications of Uncertainty Formalisms, Lecture Notes in AI, vol. 1455: pp. 303-324. Springer Verlag, Berlin Heidelberg.

F.M.T. Brazier, C.M. Jonker, F.J. Jungen, and J. Treur (1998). Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In H.S. Nwana, and D.T. Ndumu, editors, Proc. of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'98, pp. 555-576. The Practical Application Company Ltd, Blackpool.

F.M.T. Brazier, C.M. Jonker, F.J. Jungen, and J. Treur (1998). Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach (extended abstract). Proc. of the Tenth Netherlands/Belgium Conference on Artificial Intelligence, pp. 313-314. Amsterdam.

F.M.T. Brazier, C.M. Jonker, and J. Treur (1998). Principles of Compositional Multi-agent System Development. In J. Cuena, editor, Proc. of the 15th IFIP World Computer Congress, WCC'98, Conference of Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 347-360.

F.M.T. Brazier, C.M. Jonker, J. Treur, and N.J.E. Wijngaards (1998). An Agent Architecture for Dynamic Re-design of Agents (extended abstract). In Y. Demazeau, editor, Proc. of the Third International Conference on Multi-Agent Systems, ICMAS'98, pp. 401-402. IEEE Computer Society Press, Los Alamitos, CA.

F.M.T. Brazier, C.M. Jonker, J. Treur, and N.J.E. Wijngaards (1998). Compositional Design of a Generic Design Agent. In G. Luger, and L. Interrante, editors, Proc. of the AAAI Workshop on Artificial Intelligence and Manufacturing: State of the Art and State of Practice, pp. 30-39. AAAI Press, Menlo Park, CA.

F.M.T. Brazier, C.M. Jonker, J. Treur, and N.J.E. Wijngaards (1998). On the role of abilities of agents in redesign. In B.R. Gaines, and M.A. Musen, editors, Proc. of the 11th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW'98, pp. 16. SRDG Publications, Department of Computer Science, University of Calgary, Calgary.

F.M.T. Brazier, C.M. Jonker, J. Treur, and N.J.E. Wijngaards (1998). An Agent Architecture for Dynamic Re-design of Agents. In P. Rodgers, and A. Huxor, editors, Proc. of the AID'98 Workshop on Distributed Web-based Design Tools, pp. 16. Key Centre of Design Computing, University of Sydney, Sydney.

F.M.T. Brazier, C.M. Jonker, J. Treur, and N.J.E. Wijngaards (1998). Compositional Design of a Generic Design Agent (extended abstract). Proc. of the Tenth Netherlands/Belgium Conference on Artificial Intelligence, pp. 305-306. Amsterdam.

F.M.T. Brazier, P.H.G. Langen, and J. van Treur (1998). Strategic Knowledge in Design: a Compositional Approach. In K. Hori, editor, Knowledge-based Systems, Special Issue on Strategic Knowledge and Concept Formation, vol. 11: pp. 405-416.

F.M.T. Brazier, P.H.G. van Langen, and J. Treur (1998). Strategic Knowledge in Compositional Design Models. In J.S. Gero, and F. Sudweeks, editors, Proc. of the Fifth International Conference on Artificial Intelligence in Design, AID'98, pp. 129-147. Kluwer Academic Publishers, Dordrecht.

F.M.T. Brazier, and N.J.E. Wijngaards (1998). An Instrument for a Purpose Driven Comparison of Modelling Frameworks. In B.R. Gaines, and M.A. Musen, editors, Proc. of the 11th Banff Knowledge, Acquisition for Knowledge-based Systems Workshop, KAW'98, pp. 18. SRDG Publications, Department of Computer Science, University of Calgary.

P. van Eck, J. Engelfriet, D. Fensel, F. van Harmelen, Y. Venema, and M. Willems (1998). Specification of Dynamics for Knowledge-Based Systems. Proc. of the Workshop on Transactions and Change in Logic Databases Lecture Notes in Computer Science, vol. 1472: pp. 37-68. Springer Verlag.

J. Engelfriet (1998). Monotonicity and Persistence in Preferential Logics. Journal of Artificial Intellligence Research vol. 8: pp. 1-21.

J. Engelfriet, H. Herre, and J. Treur (1998). Nonmonotonic reasoning with multiple belief sets. Annals of Mathematics and Artificial Intelligence, vol. 24: pp. 225-248.

J. Engelfriet, C.M. Jonker, and J. Treur (1998). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In J.P. Mueller, M.P. Singh, and A.S. Rao, editors, Pre-proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL'98, pp. 91-106. Agent World, Paris.

J. Engelfriet, and J. Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information, vol. 7: pp. 369-388.

J. Engelfriet, and Y. Venema (1998). A modal logic of information change. In I. Gilboa, editor, Theoretical Aspects of Rationality and Knowledge, Proc. of the Seventh Conference (TARK 1998), pp. 125-131. Morgan Kaufman.

D. Fensel, F. van Harmelen, W. Reif, and A. ten Teije (1998). Formal Support for Development of Knowledge-Based Systems. Information Technology Management, vol. 2(4): pp. 173-182.

F. van Harmelen (1998). Applying rule-base anomalies to KADS inference structures. Decision Support Systems, vol. 21(4): 271-280.

F. van Harmelen, and A. ten Teije (1998). Characterising Problem Solving Methods by gradual requirements: overcoming the yes/no distinction. Proc. of Knowledge Engineering Methods and Language KEML98, 15 pp. Institute AIFB, University of Karlsruhe.

F. van Harmelen, and A. ten Teije (1998). Characterising Approximate problem-solving by partially fulfilled pre- and postconditions. Proc. of the Workshop on Validation and Verification of Knowledge-Based Systems at KR'98, 11 pp. IRST.

F. van Harmelen, and A. ten Teije (1998). Characterising approximate problem-solving. In H. Prade, editor, Proc. of the Thirteenth European Conference on AI, ECAI'98, pp. 78-82. John Wiley.

F. van Harmelen, and A. ten Teije (1998). Characterising approximate problem-solving by partially fulfilled pre- and postconditions. Proc. Xth Netherlands/Belgium Conference on Artificial Intelligence, pp. 289. CWI, Amsterdam.

W. van der Hoek, J.-J.Ch. Meyer, and J. Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information, vol. 7: pp. 341-367.

G. Jahns, W. Kowalczyk, and K. Walter (1998). Sound Analysis to Recognize Individuals and Animal Conditions. 13th International Congress on Agricultural Engineering, pp. 69-76. Rabat, Marokko.

C.M. Jonker, R. Kremer, P. van Leeuwen, D. Pan, and J. Treur (1998). Mapping Visual to Textual Representation of Knowledge in DESIRE. In B.R. Gaines, and M.A. Musen, editors, Proc. of the 11th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW'98, p. 20. SRDG Publications, Department of Computer Science, University of Calgary, Calgary.

C.M. Jonker, and J. Treur (1998). A Generic Architecture for Broker Agents. In H. S. Nwana, and D.T. Ndumu, editors, Proc. of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'98, pp. 623-624. The Practical Application Company Ltd, Blackpool.

C.M. Jonker, and J. Treur (1998). A generic multi-agent architecture for interactive diagnostic tasks with clarification. In J. Cuena, editor, Proc. of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 361-374. IFIP.

C.M. Jonker, and J. Treur (1998). Agent-based Simulation of Reactive, Pro-active, and Social Animal Behaviour. In J. Mira, A.P. del Pobil, and M. Ali, editors, Methodology and Tools in Knowledge-Based Systems (Proc. of the 11th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE'98, vol. I), Lecture Notes in AI, vol. 1415: pp. 584-595. Springer Verlag, Berlin Heidelberg.

C.M. Jonker, and J. Treur (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In W.P. de Roever, H. Langmaack, and A. Pnueli, editors, Proc. of the International Workshop on Compositionality, COMPOS'97, Lecture Notes in Computer Science, vol. 1536: pp. 350-380. Springer Verlag, Berlin Heidelberg.

C.M. Jonker, and J.Treur (1998). Compositional design and maintenance of broker agents. In J. Cuena, editor, Proc. of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, pp. 319-332. IFIP.

C.M. Jonker, J. Treur, and W. de Vries (1998). Compositional Verification of Agents in Dynamic Environments: a Case Study. In F. van Harmelen, editor, Proc. of the KR98 Workshop on Verification and Validation of KBS, 10 pp. VU, Amsterdam.

C.M. Jonker, J. Treur, and W.C.A. Wijngaards (1998). Process models for combined verbal and non-verbal communication. In S. Prevost, and E. Churchill, editors, Proc. of the First International Workshop on Embodied Conversational Characters, WECC'98, 12 pp. Lake Tahoe.

F.J. Jungen, and W. Kowalczyk (1998). Approximate algorithms for generalized maximum utility problems. Journal of Experimental and Theoretical Artificial Intelligence, vol. 10: pp. 49-62.

D. Kinny, J. Treur, L. Gasser, S. Clark, and J. Muller (1998). Methodologies for Multi-Agent Systems; In M.P. Singh, A.S. Rao, and M.J. Wooldridge, editors, Intelligent Agents IV, Proc. Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97, Lecture Notes in AI, vol. 1365: pp. 1-2. Springer Verlag, Berlin Heidelberg.

W. Kowalczyk (1998). An Empirical Evaluation of the Accuracy of Rough Data Models. Proc. of the 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU'98, pp. 1534-1538. Paris, La Sorbonne.

W. Kowalczyk (1998). Rough Data Modeling: a new technique for analyzing data. In L. Polkowski, and A. Skowron, editors, Rough Sets in Knowledge Discovery, pp. 400-421. Physica--Verlag.

W. Kowalczy, and Z. Piasta (1998). Rough sets-inspired approach to knowledge discovery in business databases. In Proc. of The Second Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD-98, Lecture Notes in Artificial Intelligence, vol. 1394: pp. 186-197. Melbourne. Springer-Verlag.

M. Mulder, J. Treur, and M. Fisher (1998). Agent Modelling in MetateM and DESIRE. In M.P. Singh, A.S. Rao, and M.J. Wooldridge, editors, Intelligent Agents IV, Proc. Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97, Lecture Notes in AI, vol. 1365: pp. 193-207. Springer Verlag, Berlin Heidelberg.

G. Renardel de Lavalette, R. Groenboom, E. Rotterdam, F. van Harmelen, A. ten Teije, and F. de Geus (1998). Formalisation for decision support in anaesthesiology. AI in Medicine, vol. 11: pp. 189-214.

A. ten Teije, and F. van Harmelen (1998). Characterising Problem Solving Methods by gradual requirements: overcoming the yes/no distinction. Proc. of the Eleventh Workshop on Knowledge Acquisition for Knowledge-Based Systems, KAW'98, 22 pp. University of Alberta.

A. ten Teije, F. van Harmelen, G. Schreiber, and B. Wielinga (1998). Construction of problem-solving methods as parametric design. International Journal of Human Computer Studies, vol 49(4): pp. 363-389.

A. ten Teije, and E. Rotterdam (1998). Diagnostic Reasoning with anaesthesia knowledge. Systems analysis, modelling, simulation: journal of mathematical modelling and simulation in systems analysis, vol 33: pp. 327-345.

Andere vakpublicaties

F.M.T. Brazier, C.M. Jonker, and J. Treur (1998). Multi-agent Systemen Compositioneel Ontwerpen. Informatie, jaargang 40, themanummer Intelligent Agents, pp. 24-31.

P.A.T. van Eck (1998). AI and Computer Simulation in the Social Sciences - A Mutually Beneficial Relationship? NVKI Nieuwsbrief 15, vol. 1: pp. 9-10.

BI

Dissertaties

I.S. Gavrila (1998). Automating Process Design: A Knowledge-Based Approach, 221 pp. Promotoren prof.dr. P.D. Iedema, and prof.dr. J.M. Akkermans. Amsterdam.

R. Vertegaal (1998). Look who's talking to whom - mediating joint attention in multiparty communication and collaboration, 183 pp. Promotoren prof.dr.ir. A. Nijholt, and prof.dr. B.M. Velichkovsky, copromotor dr. G.C. van der Veer, Enschede.

F. Ygge (1998). Market-Oriented Programming and its Application to Power Load Management, 224 pp. Promotoren. Prof.dr. R. Gustavsson, prof.dr. J.M. Akkermans, Lund, Zweden.

Publicaties

J.M. Akkermans, R. Gustavsson, and F. Ygge (1998). An Integrated Structured Analysis Approach to Intelligent Agent Communication. In J. Cuena, editor, Proc. XVth IFIP World Computer Congress, Information Technologies and Knowledge Systems Conference, pp. 30-318. Austrian Computer Society/IFIP, Vienna.

J.M. Akkermans, D. Healey, and H. Ottosson (1998). The Transmission of Data over the Electricity Power Lines. Advisory Report to the European Commission, June 1998. Also in H. Ottosson, J.M. Akkermans, and F. Ygge, editors, The ISES Project - Information Society Energy System 1996-1998, vol. 10: pp. 175-216. EnerSearch AB, Malmo, Sweden.

J.M. Akkermans, F. Ygge, and A. Andersson (1998). Smart Solutions - Energy Management through Electronic Markets. In H. Ottosson, J.M. Akkermans, and F. Ygge, editors, The ISES Project - Information Society Energy System 1996-1998, vol. 5: pp. 81-106. EnerSearch AB, Malmo, Sweden.

A.P.J. Breunese, J.L. Top, J.F. Broenink, and J.M. Akkermans (1998). Libraries of Reusable Models: Theory and Application. Simulation 71, vol. 1: pp. 7-22.

J. Gordijn, and F. Niessink (1998). Balancing Freedom and Supervision in a Real-life Educational Project. Proc. of the Software Engineering Education Symposium, pp. 77-84.

N.H. Lassing, D.B.B. Rijsenbrij, and J.C. van Vliet (1998). A View on Components. Proc. 9th International Workshop on Database and Expert Systems Applications (DEXA98), pp. 768-778. IEEE.

F. Niessink (1998). Software Maintenance from a Service Perspective. Proc. of the Annual Workshop on Empirical Studies of Software Maintenance, pp. 25-26. IEEE.

F. Niessink, and H. van Vliet (1998). Towards Mature Measurement Programs. In P. Nesi, and F. Lehner, editors, Proc. 2nd Euromicro Conference on Software Maintenance and Reengineering, pp. 82-88. IEEE.

F. Niessink, and H. van Vliet (1998). Two Case Studies in Measuring Software Maintenance Effort. Proc. 1998 International Conference on Software Maintenance, pp. 76-85. IEEE.

F. Niessink, and J.C. van Vliet (1998). A Pastry Cook's View on Software Measurement. In Dumke, and Abran, editors, Proc. 8th International Workshop on Software Measurement, pp. 109-126. Deutsche Universitatsverlag.

J. van Ossenbruggen, A. Eliens, and L. Rutledge (1998). The Role of XML in Open Hypermedia Systems. Proc. of the 4th Workshop on Open Hypermedia Systems. Technical Report CS-98-01 of Aalborg University, Denmark.

J. van Ossenbruggen, A. Eliens, L. Rutledge, and L. Hardman (1998). Requirements for Multimedia Markup and Style Sheets on the World Wide Web. Proc. of the Seventh International World Wide Web Conference (WWW7=), in Computer Networks and ISDN Systems, vol. 30: pp. 694-696. Elsevier Science B.V.

H. Ottosson, J.M. Akkermans, and F. Ygge, editors (1998). The ISES Project - Information Society Energy System 1996-1998. EnerSearch AB, pp. 14. Malmo, Sweden.

A. Pos, J.M. Akkermans, and J.L. Top (1998). Automatic Revision of Simulation Models. IEEE Intelligent Systems, vol. 13(2): pp. 75-81.

L. Rutledge, L. Hardman, J. van Ossenbruggen, and D.C.A. Bulterman (1998). Implementing Adaptability in the Standard Reference Model for Intelligent Multimedia Presentation Systems. Proc. of the International Conference on Multimedia Modeling 1998, pp. 12-20.

L. Rutledge, J. van Ossenbruggen, L. Hardman, and D.C.A. Bulterman (1998). Addressing Publishing Issues with Hypermedia Distributed on the Web. ICCC/IFIP Conference on Electronic Publishing '98, pp 78-93.

L. Rutledge, J. van Ossenbruggen, L. Hardman, and D.C.A. Bulterman (1998). Practical Application of Existing Hypermedia Standards and Tools. Proc. of ACM Digital Libraries (DL'98), pp. 191-199.

L. Rutledge, J. van Ossenbruggen, L. Hardman, and D.C.A. Bulterman (1998). Structural Distinctions Between Hypermedia Storage and Presentation. Proc. of ACM Multimedia '98, pp. 145-150. ACM Press.

S.P.C. Schonhage, P.P. Bakker, and A. Eliens (1998). So Many Users - So Many Perspectives. Designing Effective and Usable Multimedia Systems, pp. 159-172. Kluwer Academic.

S.P.C. Schonhage, and A. Eliens (1998). A Flexible Architecture for User adaptable Visualization. New Paradigms in Information Visualization and Manipulation, pp. 8-10. ACM Press.

S.P.C. Schonhage, and A. Eliens (1998). Multi-User Visualization: a CORBA/Web-based Approach. Proc. of International Conference on Digital Convergence: the Future of the Internet and WWW, 9 pp. Bradford United Kingdom.

G.C. van der Veer (1998). Analyzing Complex Systems: Only a Complex of Techniques Can Do The Job. In R. Traunmuller, and E. Csuhaj-Varju, editors, Telecooperation, Oesterreichische Computer Gesellschaf (OCG), pp. 151-164. Schriftenreihe der OCG 121, Vienna.

H. Vons, R. Vertegaal, and G.C. van der Veer (1998). Mediating human interaction with video: the fallacy of the talking heads. Displays, vol. 18: pp. 199-206.

A.P. de Vries, G.C. van der Veer, and H.M. Blanken (1998). Let's talk about it: Dialogues with multimedia databases. Database support for human activity. Displays, vol. 18: pp. 215-220.

M. van Welie, G.C. van der Veer, and A. Eliens (1998). An Ontology for Task World Models. 5th International Eurographics Workshop on Design Specification and Verification of Interactive Systems DSV-IS98, pp. 57-70. Springer-Verlag.

M. van Welie, G.C. van der Veer, and A. Eliens (1998). Euterpe - Tool support for analyzing cooperative environments. Nineth European Conference on Cognitive Ergonomics, pp. 25-30. University of Limerick.

B.J. Wielinga, J.M. Akkermans, and A.Th. Schreiber (1998). A Competence Theory Approach to Problem Solving Method Construction. International Journal of Human-Computer Studies vol. 49: pp. 315-338.

F. Ygge, and J.M. Akkermans (1998). On Resource-Oriented Multi-Commodity Market Computations. In Y. Demazeau, editor, Proc. Third International Conference on Multi-Agent Systems ICMAS'98, pp. 365-371. IEEE Computer Society, Los Alamitos, CA.

Andere vakpublicaties

A. Eliens (1998). Agents - technologie of metafoor? Informatie, jaargang 40, april, pp. 14-17.

F. Niessink, and J.C. van Vliet (1998). Ontwikkelingen rond Kwaliteit en Kwaliteitsverbetering. Congresbundel Software-Ontwikkeling '98.

F. Niessink, and J.C. van Vliet (1998). Maintenance Measurement. Congresbundel Software Benchmarking, NESMA.

G.C. van der Veer (1998). Ontwerpen van interactieve systemen - cognitief ergonomische technieken en ontwerpactiviteiten. Tijdschrift voor Ergonomie, vol. 23 (2): pp. 30-36.

G.C. van der Veer (1998). Task analysis in industrial settings: merging ethnography and knowledge; Transferring usability engineering to industry. In M. Sikorski, and M. Rauterberg, editors, International workshop proc., pp. 18-23. Technical University of Gdansk.

A.E. Voiskousky, and G.C. van der Veer (1998). Informational technologies and new trends in human development; Abstracts XVth Biennial ISSBD meetings. In F.D. Alsaker, and P. Perrig-Chiello, and W. Koops, editors, International Society for the Study of Behavioural Development, pp. 518-519. Amsterdam.

Nieuwe PhD. projecten

Drs. M.W. Carminada. "Secure Protocols for Electronic Commerce (SPEC)" (i.s.m. TUE en KUN)

Drs. R. Serban. "Security, Privacy and Cyberspace"

Tokens of international recognition

prof.dr. J. Treur

Recent and current Programme Committee memberships

Third International Conference on Multi-Agent Systems (ICMAS'98)=20

International Conference on Autonomous Agents (Agents'98)=20

Fourth International Conference on the Practical Application of

Intelligent Agents and Multi-Agent Technology (PAAM'99)=20

European Workshop on Modelling Autonomous Agents in a Multi-Agent World

(MAAMAW'99)=20

International Workshop on Agent Theories, Architectures and Languages (ATAL'98)=20

Third International Workshop on Cooperative Information Agents (CIA'=99)=20

Fourth World Conference of the WWW, Internet and Intranet (WebNet'99=)=20

Genetic and Evolutionary Computation Conference (GECCO'99)=20

ESPRIT Network of Excellence AgentLink; management committee member, co-ordinator of the Special Interest Group on Methodologies and Software Engineering for Agent Systems=20

International Conference on Industrial and Engineering Applications = of AI and Expert Systems (IEA/AIE'99)

International IFIP World Computer Congress, WCC'98, Conference on Information Technology and KNOWledge Systems (IT&KNOWS'98)=20

Second International Conference on Cooperative Multimodal Communication, Theory and Applications (CMC'98)=20

International Conference on AI in Design (AID'98) (vice-chair)=20

European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW'99)=20

Knowledge Acquisition Workshop (KAW'98), (co-chair of the track Agent-Oriented Approaches to Knowledge Engineering)=20

Dutch/German Workshop on Nonmonotonic Reasoning (DGNMR'99)=20

Dutch AI Conference (NAIC'98)

dr. F.A.H. van Harmelen

Member of programme committee for \uc{AAAI'98}, Fifteenth National Conference of the Americal Association for Artificial Intelligence

Chair of track on Evaluation of KE Techniques during the 11th Knowledge Acquisition Workshop \uc{KAW}'98.

Chair of the workshop Validation and Verification of KBS during \uc{KR}'98

Member of the editorial board of the Journal of AI Research (\uc{JAIR}) (since 1996)

Member of the editorial board for the Knowledge Engineering Review (since 1992).

Prof.dr. R.P. van de Riet Editor for Europe Data and Knowledge Engineering (North Holland)

Member

- NATO Computer Networking panel

- IFIP WG11.3 on Database Security

- Editorial Board Information Systems

Program committee member

- DEXA98, Vienna

- Workshop on Security and Databse, DEXA, Vienna

Universiteit van Amsterdam, SWI

1. Academic Publications

1.a. Books

1.b. Book chapters

P. van den Besselaar, and D. Beckers (1998). Demographics and Etnographics of the Digital City. In T. Ishida, editor, Community Computing and Support Systems; Lecture Notes in Computer Science 1519, pp. 109-125. Springer, Berlin.

P. van den Besselaar (1998). Is S&T policy research transdisciplinay? In Leydesdorff & Etzkowitz, editors, A Triple Helix of University-Government-Industry Relations, The future location of research?, pp. 106-107. Purchase: SPI/SUNY.

R. de Hoog (1998). Methodologies for Building Knowledge Based Systems: Achievements and Prospects. In J. Liebowitz, editor, The Handbook of Applied Expert Systems, pp 1-1 - 1-14. CRC Press.

Leydesdorff, Loet, and P. van den Besselaar (1998). Competing Technologies: Disturbance, Selection, and the Possibilities of Lock-In. In G.E. Lasker, editor, Advances in Support Systems Research, Vol. III: Decision Support Systems and Intelligent Information Systems, pp. 54-58. Windsor: IIAS.

Leydesdorff, Loet, and P. van den Besselaar (1998). Competing Technologies: Disturbance, Selection, and the Possibilities of Lock-In. In G.E. Lasker, D. Dubois, and B. Teiling, ediotors, Advances in Modeling of Anticipative Systems, pp. 68-72. Windsor: IIAS.

Nishida, Toyoaki, G. Bowker, P. van den Besselaar, et al. (1998). Methodology for large-scale experimentation. In T. Ishida, Community Computing and Support Systems; Lecture Notes in Computer Science 1519, pp. 11-15. Berlin, Springer.

1.c. Articles in international refereed journals

V.R. Benjamins, and D. Fensel (1998). Editorial: Problem-Solving Methods. International Journal of Human Computer Studies. Special issue on Problem-Solving Methods, vol. 49(4): pp. 305-313.

V.R. Benjamins, and N. Shadbolt (1998). Preface: Knowledge Acquisition for Planning. International Journal of Human Computer Studies. Special issue on Knowledge Acquisition for Planning, vol. 48(4): pp. 409-416.

B. Bredeweg, and R. Winkels (1998). Qualitative Models in Interactive Learning Environments: an Introduction. Interactive Learning Environments, vol. 5: pp. 1-18.

J. Breuker, and A. Boer (1998). Verifying and validating the Common KADS Library of reusable problem solving components. La Lettre de l'IA, vol. 30: pp. 78-86.

D. Fensel, and V.R. Benjamins (1998). The Role of Assumptions in Knowledge Engineering. International Journal on Intelligent Systems (IJIS), vol. 13(7): pp. 715-748.

K. de Koning, and B. Bredeweg (1998). Qualitative Reasoning in Tutoring Interactions. Interactive Learning Environments, vol. 5: pp. 65-80.

G. Renardel de Lavalette, R. Groenboom, E. Rotterdam, F. van Harmelen, A. ten Teije, and F. de Geus (1998). Formalisation for decision support in anaesthesiology. AI in Medicine, vol. 11: pp. 189-214.

R. Studer, V. R. Benjamins, and D. Fensel (1998). Knowledge Engineering, Principles and Methods. Data and Knowledge Engineering, vol. 25(1-2): pp. 161-197.

A. ten Teije, and E. Rotterdam (1998). Diagnostic Reasoning with anaesthesia knowledge. Systems analysis, modelling, simulation. Journal of mathematical modelling and simulation in systems analysis, vol. 33: pp. 327-345.

A. ten Teije, F. van Harmelen, G. Schreiber, and B. Wielinga (1998). Construction of problem-solving methods as parametric design. International Journal of Human Computer Studies, vol. 49(4): pp. 363-389.

A. Valente, J. Breuker, and W. van de Velde (1998). The Common KADS Library in perspective. International Journal of Human Computer Studies, vol. 49: pp.: 391-416.

A. Valente, V. R. Benjamins, L. Barros, and A. de Nunes (1998). Library of System-Derived Problem-Solving Methods for Planning. International Journal of Human-Computer Studies. Special issue on Knowledge Acquisition for Planning, vol. 48(4): pp. 417-447.

B.J. Wielinga, J. M. Akkermans, and A. Th. Schreiber (1998). A Competence Theory Approach to Problem-Solving Method Construction. International Journal of Human Computer Studies. Special issue on Problem-Solving Methods, vol. 49: pp. 315-338.

1.d. Contributions to int. refereed conferences and workshop proceedings

? Barros, L. de Nunes, V. R. Benjamins, Y. Shahar, A. Tate, and A. Valente, editors (1998). Proceedings of Workshop on Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice. AAAI Press, WS-98-03, CMU, Pittsburgh, USA.

V.R. Benjamins, D. Fensel, and A. Gomez-Perez (1998). Knowledge Management through Ontologies". In U. Reimer, editor, Proceedings of the Second International Conference on Practical Aspects of Knowledge Management, vol. 13: pp. 5-1 - 5-12. Publ. CEUR-WS.

V.R. Benjamins, and D. Fensel (1998). Community is Knowledge! in (KA)2. In B.R. Gaines, and M.A. Musen, editors, Proceedings of the 11th Banff Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), pp. KM-2-1--KM-2-18. SRDG Publications, University of Calgary, Alberta, Canada.

V.R. Benjamins, D. Fensel, E. Motta, C. Pierret, and F. van Harmelen, editors (1998). Proceedings of Workshop on Knowledge Engineering: Methods and Languages (KEML-98). University of Karlsruhe.

V.R. Benjamins, D. Fensel, A. Gomez-Perez, S. Decker, M. Erdmann, E. Motta, and M. Musen (1998). The Knowledge Annotation Initiative of the Knowledge Acquisition Community (KA)2. In B.R. Gaines, and M.A. Musen, editors, Proceedings of the 11th Banff Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), pp. SIS-1-1--SIS-1-7. SRDG Publications, University of Calgary, Alberta, Canada.

V.R. Benjamins, E. Plaza, E. Motta, D. Fensel, R. Studer, B.J. Wielinga, A. Th. Schreiber, Z. Zdrahal, and S. Decker (1998). IBROW3 - An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web. In B.R. Gaines, and M.A. Musen, editors, Proceedings of the 11th Banff Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), pp. Share-2-1--Share-2-12. Also in proceedings of the Workshop on Applications of Ontologies and Problem-Solving Methods, held in conjunction with ECAI'98, Brighton, UK, pp. 25-30. Publ. SRDG Publications, University of Calgary, Alberta, Canada.

V.R. Benjamins, and D. Fensel (1998). The ontological engineering initiative (KA)2. In N. Guarino, editor, Formal Ontology in Information Systems (FOIS'98), pp. 287-301. Publ. IOS Press.

P. van den Besselaar (1998). Technology & democracy, the limits to steering. In S. Kuhn, and M. Muller, editors, Proc. 5th. Biannual Participation Design Conference, pp. 1-10. Seattle: CPSR.

A. Bouwer (1998). An ITS for Dutch Punctuation. In B.P. Goettl, H.M. Halff, C.L. Redfield, and V.J. Shute, editors, Intelligent Tutoring Systems. Proceedings of ITS '98, the Fourth International Conference on Intelligent Tutoring Systems, San Antonio, Texas, USA, August 16-19, 1998. Series: Lecture Notes in Computer Science, vol. 1452, pp. 224-233. Uitg. Springer-Verlag Berlin/Heidelberg.

J. Breuker (1998). What are intelligent coaching systems and why are they (in)evitable. In A. Bundy, and P. Brna, editors, Proceedings of Artificial Intelligence in Educational Software, pp. 11-16. London, IEE.

J. Breuker, and A. Boer (1998). So you want to valdiate your PSMs? In B. Gaines, and M. Musen, editors, Proceedings of the 11th Knowledge Acquisition Workshop, KAW-98, pp. 21-38. Calgary. SRDG Publications.

B. Chandrasekaran, J.R. Josephson, and V.R. Benjamins (1998). The ontology of tasks and methods. In B.R. Gaines, and M.A. Musen, editors, Proceedings of the 11th Banff Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), pp. Share-6-1--Share-6-21. Also in proceedings of the Workshop on Applications of Ontologies and Problem-Solving Methods, held in conjunction with ECAI'98, Brighton, UK, pp 31-43, SRDG Publications. University of Calgary, Alberta, Canada.

R. van Dael, and C. Metselaar (1998). The computing profession in the era of virtual organizing. In S. Munari, G. Krarup, and L.B. Rasmussen, editors, Computers and Networks in the age of globalization, preceedings of the Fifth World Conference 'Human Choice and Computers', pp. 131-142. HCC-5, IFIP TC9, Geneve, 25-28 augustus 1998. University of Lausanne.

D. Fensel, and V.R. Benjamins (1998). Key Issues for Automated Problem-Solving Methods Reuse. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 63-67. J. Wiley & Sons, Ltd.

A. Gomez-Perez, and V.R. Benjamins, editors (1998). Proceedings of the Workshop on Applications of Ontologies and Problem-Solving Methods, held in conjunction with ECAI'98. Uitg. ECCAI, Brighton, UK.

M.G. Jansen, A.Th. Schreiber, and B.J. Wielinga (1998). Rocky-II - Round I: A Progress Report. Proceedings of the 11th Knowledge Acquisition Workshop (Banff, Canada), pp. SIS-5.1 - SIS-5.15. Calgary, SRDG Publications.

M.G. Jansen, A.Th. Schreiber, and B.J. Wielinga (1998). Sisyphus - Round 1, A Progress Report. Proceedings of the 11th Banff Knowledge Acquisition For Knowledge Bases system Workshop, vol. 1. Banff, Alberta, Canada.

Leydesdorff, Loet, and P. van den Besselaar (1998). Competing technologies, Lock-ins and Lock-outs. In D. Dubois, editor, Computing Anticipative Systems. AIP Conference Proceedings 437, pp. 309-323. Woodbury, New York: American Institute of Physics.

R. Martinez-Bejar, V.R. Benjamins, P. Compton, P. Preston, and F. Martin-Rubio (1998). A formal framework to build domain knowledge ontologies for ripple-down rules-based systems. In B.R. Gaines, and M.A. Musen, editors, Proceedings of the 11th Banff Workshop on Knowledge Acquisition, Modeling and Management (KAW'98). SRDG Publications, University of Calgary, Alberta, Canada.

A.G.M. Nijbakker, and B.J. Wielinga (1998). Managing Logistics Knowledge in Corporate Control. In L. Lucardi, and R. Drogemuller, editors, The Practical Application of Knowledge Management. Proceedings of the First International Conference (PAKeM98), pp. 79-102. The Practical Application Company Ltd., Blackpool, UK.

A.Th. Schreiber, and B.J. Wielinga (1998). Knowledge Model Construction. Proceedings of the 11th Knowledge Acquisition Workshop (Banff, Canada), pp. PROC-3.1 - PROC-3.15. Calgary, SRDG Publications.

R. Winkels, A. Boer, D. Bosscher, and J. Breuker (1998). Assessment based legal information serving and cooperative dialogue in CLIME. In J. Hage, editor, Proceedings of JURIX-98, pp. 15-24. Vermande.

B.J. Wielinga, and A.Th. Schreiber (1998). Knowledge Technology: Moving into the next Millenium. In A.P. del Pobil, editor, Proceedings of the IEA-AIE-98 conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer Verlag.

1.e. Technical reports

W. Appelt, M. Jarke, M. Gebhardt, M.A. Jeusfeld, M. Sprenger, M. Heard, M. Hdllstrvm, D. Beckers, W. Jansweijer, P. van den Besselaar, B. Wielinga, S. Shah, and D. Duce (1998). Interoperable Tools for Cooperation Support using the World Wide Web : Deliverable, final report. CoopWWW, Telematics Applications Project TE2003, Europese Commissie, pp. 27. Uitg. RWTH Aachen.

E. Armengol, V.R. Benjamins, S. Decker, D. Fensel, E. Motta, E. Plaza, R. Studer, and B. Wielinga (1998). State of the Art deliverable. Deliveralbe ESPRIT Project 27169, Ibrow3, nr. 1.4. University of Amsterdam.

B. Bredeweg, P. Koopman, J. Ruwaard, A. de Lange, B. Schrieken, J.P van Ven, and B. Roosen (1998). Designing Counselling Systems for the WWW. In H. Maurer, and R.G. Olson, editors, Webnet World Conference of the WWW, Internet & Intranet, pp. 86-91. Publisher: AACE: Association for the Advancement of Computing in Education, Charlottesville, USA.

B. Bredeweg (1998). The workshop on Model Based Reasoning for Intelligent Education Environments. MONET newsletter, vol. 1(2): pp. 9-10. Publisher: MONET - European Network of Excellence, University of Aberystwyth, Wales, UK.

J. Groothuismink (1998). Internet en Onderwijs, 9 voorbeelden van Internettoepassingen in het wetenschappelijk onderwijs. Rapport in opdracht van het Informatiseringscentrum en het Centrum voor Nascholing van de Universiteit van Amsterdam, 157 pp. Universiteit van Amsterdam.

G.J. van Heijst, R. de Hoog, R. van der Spek, J.S. Edwards, R. Mallis, B. van der Meij, F. Morath, and R.M. Taylor (1998). The knowledge management game: an experiment in managing intellectual capital, 46 pp. Uitg.: Kenniscentrum CIBIT, Utrecht.

R. de Hoog (1998). De COO pilot SEWACO: ervaringen en evaluatie. TNO-rapport FEL-98-A088, 22 pp.

W.N.H. Jansweijer (1998). A KBS system for the Mesh Size Regulations. Deliverable 2: Piscator project 96/C 75/08, DG-XIV,EEC. Uitg. Department of Social Science Informatics, University of Amsterdam.

W.N.H. Jansweijer (1998). The application of KBS technology in CFP. Deliverable 3: Piscator project 96/C 75/08, DG-XIV,EEC. Uitg.: Department of Social Science Informatics, University of Amsterdam.

M. Jarke, M. Gebhardt, P. van den Besselaar, W. Jansweijer, D. Beckers, and T. Koch (1998). Evaluation report of demonstration. Deliverable 8.3, Interoperable tools for cooperation support using the World Wide Web. Project TE 2003 – CoopWWW, 21 pp. GMD, Sankt Augustin, Duitsland.

W. van Joolingen, S. King, A. Alusse, J. Blankenburg, M. Celdran, T. Gamradth, M. Gellevij, D. Gureghian, H. Härtel, R. de Hoog, T. de Jong, M. Kuijper, R. Limbach, E. Martin, H. Martinez, J. van der Meij, S. Paulsen, D. Scott, J. Swaak, and K. Veermans (1998). The Simquest Authoring Environment. In T. de Jong, and W. van Joolingen, editors, SimQuest: An authoring system for integrated simulation learning environments, Deliverable nr. D 7.2 en D8, SERVIVE project (ET 1020), Europese Commissie, pp. 20-46. Uitg. Universiteit Twente.

K. de Koning, and B. Bredeweg (1998). Using GDE in Educational Systems. In K. Yip, and F. Zhao, editors, Twelfth International workshop on Qualitative Reasoning, QR'98, pp. 42-49. USA: American Association for Artificial Intelligence.

Kueppers, Guenter, and P. van den Besselaar, editors (1998). Design report. Deliverable D1, Self-organization of the European Information Society. SOEIS project – TSER programme – project PL97-1296.

M. Kuijper (1998). Methodological Support in SimQuest. In T. de Jong en W. van Joolingen, editors, SimQuest: An authoring system for integrated simulation learning environments, Deliverable nr. D 7.2 en D8, SERVIVE project (ET 1020), Europese Commissie, pp. 47-73. Uitg. Universiteit Twente.

M. Kuijper (1998). Methodology study: evaluation of the SimQuest wizerd environment. In T. de Jong, editor, Evaluation of the SimQuest authoring system and SymQuest applications, Deliverable, nr. D6 SERVIVE project (ET 1020) Europese Commissie, pp. 1-16. Uitg. Universiteit Twente.

1.f. Other publications

1.f.1 In refereed journals issued in Dutch

D. Beckers, and P. van den Besselaar (1998). Sociale interactie in een virtuele omgeving: De Digitale Stad. Informatie & Informatiebeleid, vol. 16(4): pp 31-37.

J. Breuker, and N. den Haan (1998). Kan wetsontwerpen wel zonder computer? Rechtshulp, vol. 8: pp. 75-87.

R. Winkels, and J.A. Breuker (1998). Informatie- en communicatietechnologie voor de juridische praktijk in Nederland. Rechtshulp, vol. 8: pp: 3-11.

A. Gomez-Perez, and V. R. Benjamins (1998). Applications of Ontologies and Problem-Solving Methods, Report on ECAI'98 Workshop. NVKI Nieuwsbrief, vol. 15(5): pp. 146-150.

1.f.2. Other academic publications

R. Winkels, and B. Bredeweg, editors (1998). Qualitative Models in Interactive Learning Environments. Interactive Learning Environment, vol. 5: pp. 1-134. Swets & Zeitlinger Publishers, Royersford, USA and Lisse, Netherlands, Editorial special issue.

1.f.3. Popular publications

1.f.4 Other products

B. Bredeweg (1998). Interactive CD-ROM of products developed in the Multimedia courses during the second and third trimester of academic year 95/96. (reference: multimedia 2e/3e trimester 95/96)

2. Ph.D. Thesis's and projects

2a. Ph.D. Thesis's finished in 1998

M.P. Kuyper (1998). Knowledge Engineering for usability, Model-mediated interaction Design of Authoring instructional Simulations. 324 pp. Faculteit der Psychologie, Universiteit van Amsterdam. ((co-) Promot.: Prof. dr. B.J. Wielinga, dr. R. de Hoog).

R. Jacobs (1998). A Knowledge-based System for Reactor selection. 123 pp. Faculteit der Scheikunde, Universiteit van Amsterdam. ((co-) Promot.: Prof. dr P.D. Iedema, dr W.N.H. Jansweijer).

2b. Ph.D. Projects started in 1998

Drs. A.J. Bouwer (1998) Constructing Articulate Explanations using Model-Based Techniques.

V. Bessa Machado, M.Sc. (1998) Learning by Building Knowledge Models (using Qualitative Models and Agent Technology).

3. Organisation of workshops, symposia and conferences

V.R. Benjamins

Co-chair/organizer of workshop on Applications of Ontologies and Problem-Solving Methods, held inconjunction with the 13th European Conference on Artificial Intelligence ECAI'98, Brighton, England August 23-28, 1998.

Co-chair/organizer of workshop on Knowledge Engineering and Acquisition for Planning - Bridging Theory and Practice, to be held in conjunction with the Fourth International Conference on Artificial Intelligence Planning Systems 1998 (AIPS-98) June 7-10, 1998 Carnegie Mellon University Pittsburgh Pennsylvania, USA.

Co-chair of the track on Shareable and Reusable Components for Knowledge Systems held during the 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW'98).

Co-organizer of the 8th workshop on Knowledge Engineering: Methods & Languages (KEML'98). January, 1998, Karlsruhe, Germany

P. van den Besselaar

Designing across borders, the community design of community networks Workshop CSCW98-conference, November 1998.

B. Bredeweg

Model Based Reasoning for Intelligent Education Environments. (International workshop at the European Conference of Artificial Intelligence, 25th August, 1998, Brighton, UK.). Workshop organiser and chair.

J. Breuker

International Society for AI in Education. Secretary.

European Conference on Artificial Intelligence (ECAI-98), august 1998, Brighton (UK) (Program Committee)

M. van Someren

Workshop Human Learning and Machine Learning, Chemnitz, April 1998.

4. Tokens of international Recognition

4.1 Editorships

P. van den Besselaar

Artificial Intelligence and Society (Associate editor)

J. Breuker

IOS boeken serie "Frontiers in Artificial Intelligence and Applications" (Chief-editor)

International Journal of Human Computer Studies (Associate Editor)

International Journal of Artificial Intelligence in Education (Editor)

B.J. Wielinga

International Journal of Human Computer Studies (Associate Editor)

4.2 Memberships of editorial boards

J. Breuker

Interactive Learning Environments AI Communications

4.3 Membership of scientific committees

B. Bredeweg

Chair of the Research Coordination Committee (RCC) for the European Network of Excellence in Model Based Systems and Qualitative Reasoning (MONET)

Member of the Artificial Intelligence in Education Executive Committee

J. Breuker

Member of the Artificial Intelligence in Education Executive Committee

5. Visiting professorships and invited lectures

V.R. Benjamins

Inginierie des Connaissances, 1998, Abbaye des Primontris, Pont Mousson, France.

J. Breuker

Invited Talk: Colloque AI du Sud sur "Reutilisation des Composants §Intelligents'' Nimes (F), ERI, 18-19 november 1998

Invited Talk: IEE Workshop on ''Artificial Intelligence in Educational Software'', London, Savoy Place, 11-12 June 1998

Universiteit Utrecht

Technical Reports

K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer (1998). A Formal Embedding of AgentSpeak(L) in 3APL. UU-CS-1998-07. University Utrecht, Department of Computer Science.

Inproceedings

A. Abu-Hanna, and P.J.F. Lucas (1998). Intelligent prognostic methods in medicine. In P. Borne, M. Ksouri, and A. El Kamel, editors, Proceedings of Computational Engineering in Systems Applications (CESA) '98, vol. IEEE-IMAC, pp. 312-317. Lille.

F.S. de Boer, N. Francez, M. van Hulst, and F.A. Stomp (1998). A proof theory of asynchronously communicating sequential processes. Proceedings IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'98). North-Holland.

F.S. de Boer (1998). Reasoning about asynchronous communication in dynamically evolving object structures. In D. Sangiorgi, and R. Simone, editors, Proceedings of the 9th International Conference on Concurrency Theory (CONCUR'98), Berlin. Springer-Verlag.

F.S. de Boer, and W.P. de Roever (1998). Compositional proof methods for concurrency: A semantic approach. In W.P de Roever, H. Langmaack, and A. Pnueli, editors, Compositionality: The Significant Differenc. Springer-Verlag, Berlin.

V.M.H. Coupé, and L.C. van der Gaag (1998). Exploiting properties of sensitivity analysis for belief networks. Proceedings of the Second International Symposium on Sensitivity Analysis of Model Output, pp. 75-78. Joint Research Centre of the European Commission.

V.M.H. Coupé, and L.C. van der Gaag (1998). Practicable sensitivity analysis of Bayesian belief networks. In M. Huvsková, P. Lachout, and J.A. Vívsek, editors, Prague Stochastics '98, Proceedings of the Joint Session of the 6th Prague Symposium of Asymptotic Statistics and the 13th Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, pp. 81-86. Prague, Union of Czech Mathematicians and Physicists.

F. Dignum, R. Kuiper, and J.-J. Ch. Meyer (1998). An Investigation into Deontics of Durative Actions. In P. McNamara, and H. Prakken, editors, Proceedings of Deontic Logic in Computer Science (DEON'98), pp. 179-195. University of Bologna.

R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). Information-Passing and Belief Revision in Multi-Agent Systems. Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS'98), pp. 473-474. IEEE Computer Society.

R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). Systems of Communicating Agents. In H. Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI-98), pp. 293-297. John Wiley & Sons, Ltd.

R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. In F. Giunchiglia, editor, Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA'98), series Lecture Notes in Artificial Intelligence, vol. 1480: pp. 240-253. Springer-Verlag, Heidelberg.

L.C. van der Gaag, and J-J.Ch. Meyer (1998). Informational independence: models and normal forms. International Journal of Intelligent Systems, vol. 13: pp. 83-109.

K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998).Formal Semantics for an Abstract Agent Programming Language. In M. P. Singh, A. Rao, and M.l J. Wooldridge, editors, Intelligent Agents IV (LNAI 1365), pp. 215-229, Berlin. Springer-Verlag.

K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). A Formal Embedding of AgentSpeak(L) in 3APL. In G. Antoniou, and J. Slaney, editors, Advanced Topics in Artificial Intelligence (LNAI 1501), pp. 155-166. Berlin, Springer-Verlag.

K.V. Hindriks, F.S. de Boer, W. van der Hoek, and John-Jules Ch. Meyer (1998). Formal Semantics of the Core of AGENT-0. In J. Bell, editor, ECAI'98 Workshop on Practical Reasoning and Rationality, pp. 20-29.

K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). Failure, Monitoring and Recovery in the Agent Language 3APL. In G. De Giacomo, editor, AAAI 1998 Fall Symposium on Cognitive Robotics, pp. 68-75.

W. van der Hoek, J. Jaspars, and E. Thijsse (1998). Persistence and Minimality in Epistemic Logic. In J. Dix, L. Farinas del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence (JELIA '98), series Lecture Notes in Artificial Intelligence, vol. 1489: pp. 62-76. Dagstuhl, Springer-Verlag.

J. Krabbendam, and J.-J.Ch. Meyer (1998). Contextual Deontic Logics. In P. McNamara, and H. Prakken, editors, Proceedings of Deontic Logic in Computer Science (DEON'98), pp. 271-290. Bologna, University of Bologna.

N.B. Peek (1998). Predictive probabilistic models for treatment planning in paediatric cardiology. In P. Borne, M. Ksouri, and A. El Kamel, editors, Proceedings of the IMACS Multiconference on Computational Engineering in Systems Applications (CESA-98).

S. Renooij, and L.C. van der Gaag (1998). Decision Making in Qualitative Influence Diagrams. In D.J. Cook, editor, Proceedings of the Eleventh International FLAIRS Conference, pp. 410-414. California, AAAI-press.

C.A.M. Schurink, N.C. de Bruijn, M.A. Pols, P.J.F. Lucas, and I.M. Hoepelman (1998). Development of a computer assisted decision support system for diagnosis and treatment of patients with pneumonia in the ICU. Proceedings of the American Conference on Infectious Disease. Denver.

F.J.M. van der Wel, L.C. van der Gaag, and B.G.H. Gorte (1998). Visual exploration of uncertainty in remote sensing classifications. Computers and GeoSciences, vol. 24: pp. 335-343.

H. Zantema (1998). Decision Trees: Equivalence and Propositional Operations. In H. La Poutré, and J. van den Herik, editors, Proceedings 10th Netherlands/Belgium Conference on Artificial Intelligence (NAIC'98), pp. 157-166.

Articles

W. van der Hoek, J.-J.Ch. Meyer, and J. Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information, vol. 7(3): pp. 341-367.

W. van der Hoek (1998). Book review of A. Nerode and A. Shore's book `Logic for Applications'. Journal of Logic, Language and Information, vol. 7(2): pp. 228-229.

B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer (1998). Formalizing Abilities and Opportunities of Agents. Fundameta Informaticae, vol. 34(1,2): pp. 53-101.

P.J.F. Lucas, H. Boot, and B.G. Taal (1998). A decision-theoretic network approach to treatment management and prognosis. Knowledge-based Systems, vol. 11: pp. 321-330.

P.J.F. Lucas, H. Boot, and B.G. Taal (1998). Computer-based decision-support in the management of primary gastric non-Hodgkin lymphoma. Methods of Information in Medicine, vol. 37: pp. 206-219.

P. J. F. Lucas (1998). Analysis of notions of diagnosis. Artificial Intelligence, vol. 105: pp. 293-341.

J.-J.Ch. Meyer, editor (1998). Themanummer Informatie. In Ten Hagen, and Stam, editors, Intelligent Agents, vol. 40.

J.-J.Ch. Meyer (1998). Informatie. Intelligent Agents, vol. 40: pp. 6-13.

C. Witteveen, and W. van der Hoek (1998). Recovery of (non)monotonic theories. Artificial Intelligence, vol. 106(1): pp. 139-159.

Unpublished

J.H. Verriet (1998). Scheduling with communication for multiprocessor computation. Department of Computer Science, Utrecht University.

Incollection

R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). A Language for Modular Information-passing Agents. In K.R. Apt, editor, CWI Quarterly, Special issue on Constraint Programming, pp. 273-297. Amsterdam. CWI.

R.M. van Eijk, F.S. de Boer,W. van der Hoek, and J.-J.Ch. Meyer (1998). Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. In H. La Poutré, and H.J. van den Herik, editors, Proceedings of the 10th Netherlands/Belgium Conference on Artificial Intelligence. Amsterdam. CWI.

R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998).Translations of Vocabularies in Systems of Communicating Agents. Second workshop on concurrent constraint programming for time critical applications and multi-agent systems (COTIC'98), Electronic Notes in Theoretical Computer Science, vol. 16(1).

R.M. van Eijk, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer (1998). Translations of Vocabularies in Systems of Communicating Agents. Workshop of UK Special Interest Group on Multi-Agent Systems (UKMAS'98) Working Notes. Manchester, Manchester Conference Centre.

J.-J.Ch. Meyer, and W. van der Hoek (1998). Modal Logics for Representing Incoherent Knowledge. Handbook of Defeasible Reasoning and Uncertainty Management Systems 2: Reasoning with Actual and Potential Contradiction, pp. 37-75. Kluwer, Boston/Dordrecht.

J.-J.Ch. Meyer, R.J. Wieringa, and F.P.M. Dignum (1998). The Role of Deontic Logic in the Specification of Information Systems. In J. Chomicki, and G. Saake, editors, Logics for Databases and Information Systems, pp. 71-115. Kluwer, Boston/Dordrecht.

Technische universiteit Delft

Publications

a) books

b) book chapters

c) articles in international refereed journals

d) contributions to international refereed conference and workshop proceedings

Inproceedings

A.N.W. Dahanayake (1998). Evaluation of the Strength of Computer Aided Method Engineering for product Development Process Modeling. In T.J.M. Bench-Capon, G. Quirchmayer, and E. Schweighofer, editors, Lecture Notes in Computer Science, Database and Expert Systems Applications – 9th international conference, DEXA ’98, vol. 1460: pp. 394-410. Springer-Verlag, Berlin.

A.N.W. Dahanayake (1998). Understanding Method Integration Issues to Improve the practice of Method Customization. International Conference on Information Technology (CIT’98). Tata McGraw Hill Publisher (TMH), New Delhi.

J.L.G. Dietz, and J.B.F. Mulder (1998). Organisational transformation requires constructional knowledge of business systems. In P. Storms, R. Sipple, and I. Torwick, editors, Proceedings of the 31st Annual Hawaii International Conference on System Sciences. IEEE Computer Societ, Piscataway.

J.L.G. Dietz, G. Goldkuhl, M. Lind, and V.E. van Reijswoud (1998). The Communicative Action Paradigm for Business Modelling – A Research Agenda. In G. Goldkuhl, M. Lind, and U. Seigerroth, editors, Proceedings of the 3rd International Workshop: The Language Action Perspective on Communication Modelling. Jonkoping International Business School.

J.L.G. Dietz (1998). The OER Paradigm for Designing and Engineering Global Business Systems. In R. Traunmuller, and E. Csuhaj-Varju, editors, Telecooperation. Proceedings of the XV.IFIP World Computer Congress, pp. 293-294. Austrian Computer Society, Wenen.

V.E. van Reijswoud, and W.J. van den Heuvel (1998). A comparison between Kiss and Demo: Two novel approaches to systems analysis in the Netherlands. In J.M. Larrasquet, T. Woodharper, N. Jayaratna, and B. Fitzgerald, editors, Training and Education of Methodology Practioners and Researchers, pp. 37-52. Springer-Verlag, London.

V.E. van Reijswoud, and M. Lind (1998). Comparing two Business Modelling Approaches in the Language Action Perspective. In G. Goldkuhl, M. Lind, U. Seigerroth, editors, Proceedings of the 3rd International Workshop: The language Action Perspective on Communication Modelling, pp. 71-88. Jonkoping International Business School.

V.E. van Reijswoud, and J.B.F. Mulder (1998). Speech Act Based Communication and Information modelling with DEMO. AJIS Australian Journal of Information Systems, vol. 6(1): pp. 89-102.

A.A.G. Steuten, and J.L.G. Dietz (1998). Guidelines for bridging the gap between literal sectence meaning and communicative intention. In G. Goldkuhl, M. Lind, U. Seigerroth, editors, Proceedings of the Third International Workshop. The Language Action Perspective on Communication Modelling. Jonkoping International Business School.

A.A.G. Steuten (1998). Structure and coherence in business conversations. In A.M. Bolkestein, and M. Hannay, editors, Functional Grammar and Verbal Interactions, pp. 59-75. John Benjamins BV, Amsterdam.

Technical reports

A.N.W. Dahanayake, and K. Karacayir (1998). Insight – Web Application. Rapport aan: Adeep Taneja, AIESEC International, Rotterdam, no. 98-5, 32 pp. Sectie Database Systemen, Delft.

A.N.W. Dahanayake, O. Tuncer, and I. Sarica (1998). Visual Query Tool. Rapport aan: ABT Software, Den Haag, no. 98-4. Sectie Database Systemen, Delft.

I. de Diana, E. Koua, C. van der Mast, and C. Slot (1998). D1.1.5.3: Approaches to Educationa Collaboratory, Visions, Design Issues & Field Trials. Telematica Instituut Enschede.

J.L.G. Dietz (1998). De informatie-architect op zijn plaats gezet. Informatie, vol. 40(11): pp. 22-28.

J.L.G. Dietz (1998). Financial Systems 98. Controllers Magazine, vol. 12(5): pp. 43-45.

J.L.G. Dietz (1998). Handelende computers: vertegenwoordigers of middelen? Computerrecht, tijdschrift voor inf. telecom. en recht, vol. 1: pp. 25-26.

J.L.G. Dietz (1998). Het jaar 2000 had automatisch geen probleem hoeven zijn! Controllers Magazine, vol. 2: pp. 57-59.

J.L.G. Dietz (1998). Mag het een kilo minder zijn. VRI Nieuwsbrief, vol. 13(2): pp. 18-19.

J.F. Hansen, V.E. van Reijswoud, and J.L.G. Dietz (1998). Modelleren van bedrijfsprocessen en informatiesystemen in het onderwijs (deel 1). TINFON: tijdschrift voor Informatica-onderwijs, vol. 2: pp. 42-45.

J.F. Hansen, V.E. van Reijswoud, and J.L.G. Dietz (1998). Modelleren van Bedrijfsprocessen en Informatiesystemen in het onderwijs (deel 2). TINFON: tijdschrift voor Informatica-onderwijs, vol. 3: pp. 80-85.

???M. Lind, V.E. van Reijswoud (1998). Modelling Business Communication Differently: A Comparison between Business Action Theory and Dynamic Essential Modelling of Organizations. Rapport aan: Hogskolan I Boras. Boras. Hogskolan i Boras. ??? 1985,

C.A.P.G. van der Mast, B.R. Sodoyer, and S. Kunst (1998). Multimedia-onderwijs aan de Technische Universiteit Delft. Tijdschrift voor informatica-onderwijs, vol. 7(3): pp. 86-91.

C.A.P.G. van der Mast, I. de Diana, C. Slot, and C. Verwijs (1998). Tele-education/cooperation pilot, D 2.1.3: Pilot Study Plan. Rapport aan: MESH-projectmanagement en SURFnet. 19 p. MESH-project Telematica Instituuut, Enschede.

C. van der Mast, and C. Verwijs, editors (1998). D.2.4.3 Evaluation, potential and validity of MESH, Tele-education/Co-Operation pilot. Telematica Instituut Enschede.

J.B.F. Mulder, and V.E. van Reijswoud (1998). Adviseurs doorgronden bedrijfsprocessen onvoldoende. Automatisering Gids, vol. 7: p. 19.

V.E. van Reijswoud, and J.B.F. Mulder (1998). Van Suspect naar Prospect: Een rapportage van een DEMO onderzoek bij Esprit Telecom Benelux B.V., 22 p. Amsterdam. TU-Delft, Subfac. Technische Wiskunde en Informatica, Delft.

e) other publications

A.N.W. Dahanayake (1998). A stand-alone Query Tool was developed for the ABT software. Omschrijving: This tool supports their bookkeeping programme “Multimax” (Automatiseringsbureau Van der Togt). TU-Delft, Subfac. Technische Wiskunde en Informatica, Delft.

A.N.W. Dahanayake (1998). A web-based information system. Omschrijving: This system is developed with the cooperation of AIESEC International for 87 member countries to improve the efficiency of the international exchange program and to help maintain the associations organizational knowledge. TU-Delft, Subfac. Technische Wiskunde en Informatica, Delft.

Doctoral theses

A.A.G. Steuten (1998). A contribution to the Linguistic Analysis of Business Conversations within the Language/Action Perspective. TU Delft.

Organization of workshops, conferences etc.

Tokens of international recognition

Prof. Dietz is the Dutch representative in IFIP TC8 (Technical Committee on Information Systems), and continuing member of several international conference program committees. He was invited lecturer in the EEC Tempus Structural Joint European project and guest editor of the journal AMIT. He was invited panel member at the IFIP World Computer Congres in Vienna.

Dr. van der Mast was program committee member of ACM/SIGCHI. He is participating in the organisation of the premier annual CHI conferences. CHI2000 is held in The Hague.

Universiteit Twente

Leerstoel Informatiesystemen, prof.dr. R.J. Wieringa

Book chapters

J. Broersen, and R.J. Wieringa (1998). A logic for the specification of multi-object systems. Formal Methods for Open Object-based Distributed Systems, pp. 387-398. Kluwer Academic Publishers.

J.J.C. Meyer, R.J. Wieringa, and F.P.M. Dignum (1998). The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems, pp. 71-115. Kluwer.

R.J. Wieringa (1998). Postmodern Software Design with NYAM: Not Yet Another Method. Requirements Targeting Software and Systems Engineering, pp. 69-94. Springer.

Articles in international refereed journals

P.W.P.J. Grefen, and R. Remmerts De Vries (1998). A Reference Architecture For Workflow Management Systems. Data and knowledge engineering, vol. 27(1): pp. 31-57.

N. Sikkel (1998). Parsing Schemata and Correctness of Parsing algorithms. Theoretical computer science, vol. 199: pp. 87-103.

Contributions to international refereed conferences and workshop proceedings

E.M. Boertjes, P.W.P.J. Grefen, J. Vonk, and P.M.G. Apers (1998). An Architecture for Nested Transaction Support on Standard Database Systems. 9th. International Conference on Database and Expert System Applications (DEXA'98), pp. 448-459. Vienna, Austria.

E.M. Boertjes (1998). An Architecture for Nested Transaction Support on Standard Database Systems. 9th. International Conference on Database and Expert Systems Applications (DEXA'98). Vienna, Austria.

J. Broersen, and R.J. Wieringa (1998). Preferential semantics for action specification in first-order modal action logic. ECAI-98 Workshop on Practical Reasoning and Rationality, 12 pp. Brighton, U.K.

D.K.C. Chan, J. Vonk, G. Sanchez, P.W.P.J. Grefen, and P.M.G. Apers (1998). A Specification Language for the WIDE Workflow Model. ACM Symposium on Applied Computing, pp. 197-199. Atlanta, U.S.A.

R.G.R. Engmann, R.L.W. van de Weg, and R.J. Wieringa (1998). Domain- Oriented architecture design for production control software. ECOOP98 Workshop on Object-Oriented Software Architectures, 8 pp. Brussels, Belgium.

P.W.P.J. Grefen, and R.J. Wieringa (1998). Subsystem Design Guidelines for Extensible General-Purpose Software. 3rd. International Software Architecture Workshop, pp. 49-52. Orlando, U.S.A.

N. Sikkel, O. Neumann, and S. Sachweh (1998). Process Support for Cooperative Work on the World Wide Web. 6th EuroMicro workshop on Parallel and Distributed Programming, pp. 325-331. Madrid, Spain.

N. Sikkel, and O. Stiemerling (1998). User-Oriented Authorization in Collaborative Environments. Proc. 3rd. International Conference on the Design of Cooperative Systems (COOP'98), pp. 175-183. Cannes, France.

N. Sikkel (1998). Groupware Technology and Software Reuse. Position papers European Reuse Workshop (ERW'98), pp. 45-48. Madrid, Spain.

R.L.W. van de Weg, and R.G.L. Engmann (1998). Coordination in Information Systems Based on an Object-Oriented Framework. Proceedings of the 1998 ACM Symposium on Applied Computing, pp. 200-202. Atlanta, U.S.A.

R.J. Wieringa, and J. Broersen (1998). A Minimal Transition System Semantics for Lightweight Class- and Behavior Diagrams. ICSE98 Workshop on Precise Semantics for Software Modeling techniques, pp. 129-151. Kyoto, Japan.

R.J. Wieringa (1998). A toolkit for requirements and design engineering. Workshop on the integration of formal And semiformal techniques. Dagstuhl, Germany.

R.J. Wieringa, and J. Broersen (1998). Advanced Methods for Software Specification and Design: YSM, UML and Beyond. International Conference on Software Engineering (ICSE98). Kyoto, Japan.

R.J. Wieringa (1998). Advanced structured and object-oriented requirements specification methods. International Conference on Requirements Engineering (ICRE98). Colorado Springs, U.S.A.

R.J. Wieringa (1998). Formalizing the UML in a Systems Engineering Approach. (Second ECOOP Workshop on Precise Behavioral semantics), pp. 254-266. Brussels, Belgium.

R.J. Wieringa, and E. Dubois (1998). Integrating Semi-formal and Formal Software Specification Techniques. Information systems, vol. 23: pp. 33-52.

R.J. Wieringa (1998). Traceability and Modularity in Software Design. Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9), 10 pp. Ise-Shima, Japan.

R.J. Wieringa (1998). Traceability and Modularity in Software Design. International Workshop on Software Specification and Design (IWSSD98). Ise-Shima, Japan.

Technical reports

E.M. Boertjes, P.W.P.J. Grefen, J. Vonk, and P.M.G. Apers (1998). An Architecture for Nested Transaction Support on Standard Database Systems. CTIT technical reports series, vol. 6: 22 pp.

P.W.P.J. Grefen, J. Vonk, E.M. Boertjes, and P.M.G. Apers (1998). Global Transaction Support: Formal Specification and Practical Application. CTIT technical reports series, vol. 10: 25 pp.

P.W.P.J. Grefen, S. Ceri, and G. Sanchez (1998). Transaction and Rule Support for Workflow Management - A Retrospective on the WIDE Architecture. CTIT technical reports series, vol. 16: 9 pp.

P.W.P.J. Grefen, N. Sikkel, and R.J. Wieringa (1998). Two Case Studies of Subsystem Design for Extensible General-Purpose Software. CTIT technical reports series, vol. 14: 16 pp.

W. Jonker, and P.W.P.J. Grefen (1998). Koppeling Workflow-Systemen Essentieel voor Virtuele Organisaties. CTIT technical reports series, vol. 29/30: p. 19.

R.J. Wieringa (1998). Advanced object-oriented requirements specification methods. CTIT technical reports series, vol. 4: 91 pp.

Other publications

E.M. Boertjes, P.W.P.J. Grefen, and J. Vonk (1998). WIDE-Symposium over database-ondersteuning voor WFM: integratie, uitbreiding en bruikbaarheid van WFM-systemen. Workflow magazine, vol. 4 (5): pp. 9-13.

P.W.P.J. Grefen (1998). Transaction and Rule Support for WFM - A Retrospective on the WIDE Architecture. Zürich, Switserland, [Talk, WPM'98].

N. Sikkel (1998). Basic Support voor Cooperative Work, Organisation tutorial at the conference "Bringing Information Technology To Education". Maastricht, The Netherlands.

N. Sikkel (1998). Basic Support voor Cooperative Work. Conference "Bringing Information Technology to Education". Maastricht, The Netherlands.

R.J. Wieringa (1998). A toolkit for requirements and design engineering: Not Yet Another Method. Colloquium Fraunhofer Instituut, Techn.Univ. Berlin. Berlin, Germany.

R.J. Wieringa (1998). De onzichtbare wereld van de informaticus: Conceptuele modellen en virtuele objecten (Inaugural oath), 39 pp. Enschede: Universiteit Twente.

R.J. Wieringa (1998). Overheid moet stabiliteit opleidingen garanderen. Automatisering gids, vol. 17: 17 pp.

Leerstoel Databases, prof.dr. P.M.G. Apers

Dissertations

Dr.ir. D.D. Velthausz (1998). Cost-effective network-based multimedia information retrieval. UT, 225 pp. Promotor(en): Prof.dr. P.M.G. Apers. Referent(en): Dr.ir. E.H. Eertink.

Book chapters

H. Balsters (1998). De ODMG standaard. Handboek Database Systemen, 32 pp. Array Publications bv, Alphen a.d. Rijn.

Articles in international refereed journals

W.W.M. Vermeer, and P.M.G. Apers (1998). Specifying global behaviour in database federations. Information systems, vol. 23(3-4): pp. 217-233.

A.P. de Vries, G.C. van der Veer, and H.M. Blanken (1998). Let's talk about it: Dialogues with multimedia databases. Database support for human activity. Displays, vol. 18(4): pp. 215-220.

Contributions to international refereed conferences and workshop proceedings

P.M.G. Apers, and M.L. Kersten (1998). Content-based Retrieval in Multimedia Based on Feature Models. Proceedings 1st International Conference on Advanced Multimedia Content Processing, pp. 122-133. Osaka, Japan.

P. Boncz, A.N. Wilschut, and M.L. Kersten (1998). Flattening an object algebra to provide performance. Proceedings International Conference on Data Engineering '98, pp. 568-577. Orlando, USA.

R. Choenni (1998). On the Suitability of Genetic-Based Algorithms for Data Mining. Proceedings DWDM98 International Workshop on Data Warehousing and Data Mining, pp. 55-67. Singapore.

W. Derks, and W. Jonker (1998). Practical Experiences with Materialized Views in a Very Large Data Store for Telecommunications Service Management. Proceedings DEXA 98, 6 pp. Vienna, Austria.

F.J. Faase, S.J. Even, R.A. de By, and P.M.G. Apers (1998). Integrating organisational and transactional aspects of cooperative activities. Proceedings 6th Workshop on Database Programming Languages (DBPL), pp.336-354. Estes Park, Co, USA.

D. Spelt, and H. Balsters (1998). Automatic verification of transactions on object-oriented databases. Proceedings 6th Workshop on Database Programming Languages (DBPL) 1998, pp. 396-412. Estes Park, CO, USA.

A.P. de Vries, and H.M. Blanken (1998). Database technology and the management of multimedia data in Mirror. Multimedia Storage and Archiving Systems III, Proceedings of SPIE, vol. 3527: pp. 443-455. Boston, USA.

A.P. de Vries (1998). Mirror: Multimedia Query Processing in Extensible Databases. Proceedings 14th Twente Workshop on Language Technology (TWLT). Language Technology in Multimedia Information Retrieval, pp. 37-48. Enschede, The Netherlands.

A.P. de Vries, and H.M. Blanken (1998). The Relationship between IR and Multimedia Databases Proceedings of the 20th BCS IRSG Colloquium: Discovering new worlds of IR. Grenoble, France.

A.P. de Vries, B. Eberman, and D.E. Kovalcin (1998). The design and implementation of an infrastructure for multimedia digital libraries. Proceedings of the 1998 International Database Engineering & Applications Symposium, pp. 103-110. Cardiff, UK.

A.P. de Vries (1998). The role of evaluation in the development of content-based retrieval techniques. Mira “Photograph Retrieval Workgroup”meeting. Tampere, Finland.

A.N. Wilschut, R. van Zwol, N. Brasa, and J. Flokstra (1998). Road Collapse in Magnum. Proceedings 6th ACM on GIS, pp. 20-28. Washington DC.

A. Woudstra, D. Velthausz, H.J.G. de Poot, F. Moelaert, W. Jonker, M.A.W. Houtsma, R.G. Heller, and J.H.N. Heemskerk (1998). Modelling and Retrieving Audiovisual Information - A Soccer Video Retrieval System. Proceedings 4th International Workshop on Multimedia Information Systems, 12 pp. Istanbul, Turkey.

Technical reports

S.J. Even, and D. Spelt (1998). Verification of Compensation Requirements for the SEPIA Cooperative Authoring System. CTIT technical reports series, vol. 25: 15 pp.

H. van Rein, and M.M. Fokkinga (1998). Protocol Assuring Universal Language. CTIT technical reports series, vol. 21: 18 pp.

D. Spelt, and S.J. Even (1998). A theorem prover-based analysis tool for object-oriented databases. CTIT technical reports series, vol. 22: 16 pp.

D. Spelt, and S.J. Even (1998). An Engineering Approach to Atomic Transaction Verification: Use of a Simple Object Model to Achieve Semantics-based Reasoning at Compile-time. CTIT technical reports series, vol. 17 :16 pp.

D. Spelt, and S.J. Even (1998). Theorem Prover-based Analysis of Transactions on Object-Oriented Databases (Extended Abstract). CTIT technical reports series, vol. 13: 17 pp.

Other publications

P.M.G. Apers (1998). Multimedia Information Retrieval. Talk IFIP wg 2.6. New York, USA.

P.M.G. Apers (1998). Understanding large scale parallelism for data management. Talk Universiteit Trondheim. Trondheim, Norway.

P.M.G. Apers (1998). Web-based information systems. Talk Autumn School of the Berlin-Brandenburg Graduate School on Distributed Information Systems. Berlin, Germany.

P.M.G. Apers (1998). Web-based information systems. Talk SIKS-course. Zeist.

R. Choenni (1998). On the Suitability of Genetic-Based Algorithms for Data Mining. Talk. Singapore.

W. Derks (1998). Practical Experiences with Materialized Views in a Very Large Data Store for Telecommunications Service Management. Talk. Vienna, Austria.

F.J. Faase (1998). Integrating organisational and transactional aspects of cooperative activities. Talk. Estes Park, CO, USA.

E. van het Hof (1998). Een architectuur voor multimedia databases. Talk Informatiewetenschap ’98. Antwerpen, Belgium.

W. Jonker (1998). Het begrip van de samenwerking. Inaugural oath, 23 pp. Enschede: Universiteit Twente.

F. Moelaert (1998). Modelling and Retrieving Audiovisual Information – A Soccer Video Retrieval System. Talk. Instanbul, Turkey.

D. Spelt (1998). Automatic verification of transactions on object-oriented databases. Talk. Estes Park, CO, USA.

A.P. de Vries (1998). Content-Based Retrieval. SIKS course multimedia and Databases. Zeist.

A.P. de Vries (1998). Database technology and the management of multimedia data in Mirror. Talk. Boston, USA.

A.P. de Vries (1998). Mirror: Multimedia Query Processing in Extensible Databases. Talk. Enschede, The Netherlands.

A.P. de Vries (1998). On the integration of IR and databases. Talk Databasedag. Nieuwegein, The Netherlands.

A.P. de Vries (1998). The Relationship between IR and Multimedia Databases. Talk. Grenoble, France.

A.P. de Vries (1998). The design and implementation of an infrastructure for multimedia digital libraries. Talk. Cardiff, UK.

A.N. Wilschut (1998). Flattening an object algebra to provide performance. Talk. Orlando.

R. van Zwol (1998). Road Collapse in Magnum. Talk. Washington DC, USA,

Tokens of international recognition

P.M.G. Apers

· Coordinating Editor-in-Chief of VLDB Journal

· Editor of Distributed and Parallel Databases

· Editor of Data- and Knowledge Engineering

· Vice-chair of ICDCS’98 PC for subcommittee: Interoperable systems

Invited speech (with M.L. Kersten) “Content-based retrieval in multi-media databases based on future

models”, AMCP Conference, Japan, November 1998.

Universiteit Maastricht

Publicaties:

(a) Books

H.J. van den Herik, and E. Roos Lindgreen, editors (1998). Bewaar Me. Liber amicorum voor Prof.dr. I.S. Herschberg. Drukkerij Van Spijk, Venlo.

J.A. La Poutré, and H.J. van den Herik, editors (1998). Proceedings of the Tenth Belgian-Dutch Conference on Artificial Intelligence. CWI, Amsterdam.

(b) Book Chapters

H. Visser (1998). Information Technology and the Sense of Unity in Humanity. In D.V. Razis, editor, The Human Predicament, pp. 183-191. Amherst, New York.

(c) Refereed Journal Publications

S. Etalle (1998). A Semantics for Modular General Logic Programs. Theoretical Computer Science, vol. 206(1-2): pp. 51-80.

S. Etalle, and M. Gabbrielli (1998). Partial Evaluation of Concurrent Constraints Languages. ACMComputing Surveys, vol. 30 (3es, electronic section).

E.O. Postma, H.J. van den Herik, and P.T.W. Hudson (1998). Attentional dynamics and a chorus of geons. The Behavioral and Brain Sciences (Commentary), vol. 21(4): 479 pp.

J. van Reek, J.W.H.M. Uiterwijk, and H.J. van den Herik (1998). Planning a Strategy in Chess. ICCA Journal, vol. 21(3): pp. 183-192.

N. Roos (1998). Reasoning by Cases in Default Logic. Artificial Intelligence, vol. 99: pp. 165-183.

E.N. Smirnov, and J. Neves (1998). A Parametric Generalised Version Space Approach. International Journal of Computer and Systems Sciences, vol. 5.

B. Verheij, J.C. Hage, and H.J. van den Herik (1998). An Integrated View on Rules and Principles.

Artificial Intelligence and Law, vol. 6(1): pp. 3-26.

(d) Contributions to international refereed conferences and workshop proceedings

P. András (1998). Neural Network Design Using Spectral Analysis. In S. Usuis, and T. Omori, editors, Proceedings of ICONIP’98, vol. 3: pp. 1228-1231. Ohmsha Press.

P.J. Braspenning (1998). Learning Disjunctive Concepts Irrespective of the Example Ordering. The Workshop Learning’98. Madrid. The paper has been published on the following html address:

http://alcaudon.tsc.uc3m.es/~learn98/papers/papers/paper011/.

D.M. Breuker, H.J. van den Herik, J.W.H.M. Uiterwijk, and L.V.