Browse

ftp://swi.psy.uva.nl (190)

	ftp://swi.psy.uva.nl/pub/papers/avig.ps.Z, 19921005 Dynamic Method Selection in Diagnostic Reasoning V.R. Benjamins A. Abu-Hanna W.N.H. Jansweijer Dept. of Social Science Informatics University of Amsterdam Roetersstraat 15 1018 WB Amsterdam The Netherlands Tel: +-31-20-5256783 E-mail: richard@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/papers/ecai.ps.Z, 19921005 Suitability Criteria for Model Based Diagnostic Methods Richard Benjamins Ameen Abu-Hanna Wouter Jansweijer Dept. of Social Science Informatics, University of Amsterdam Roetersstraat 15, 1018 WB Amsterdam, The Netherlands E-mail: richard@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/papers/fki.ps.Z, 19921120 November 20, 1992 REFERENCES as abstract above5. References Manfred Aben. On the specification of knowledge model components. In B. Gaines, editor, Proceedings of the 7th Banff Knowledge Acquisition for Knowledgeased Systems Workshop, 1992. B. Bredeweg. Expertise in qualitative prediction of
	ftp://swi.psy.uva.nl/pub/keml/ML2-guidelines.ps.Z, 19921123 Guidelines for the Formal Specification of KADS Models of Expertise November 20, 1992 task{module assign input CT : component{type; Unit : component set; ResIn : resource set; AllocIn : allocation set; output ResOut : resource set; AllocOut : allocation set; control{terms Suit1, Suit2 : resource set;
	ftp://swi.psy.uva.nl/pub/xpce/doc/interface/interface.ps.Z, 19921214 University of Amsterdam Dept. of Social Science Informatics (SWI) Roeterstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 S SS IIIW WW Interfacing PCE to a Programming Language Jan Wielemaker Anjo Anjewierden fjan,anjog@swi.psy.uva.nl This document is part of the documentation of XPCE
	ftp://swi.psy.uva.nl/pub/papers/fta.ps.Z, 19930104 January 4, 1993 REFERENCES primary rate interpolation(oe1; oe2; ; ss; ; ; oe0) , (79) primary gradient interpolation(oe1; oe2; ss; oe00) ^ (80) assign(oe00; ssrate; ffirate(ss(oe1); ss(oe2); o(oe1); o(oe2)); oe0) (81) secondary state interpolation(oe1; oe2; ; ss; ; ; oe0) , (82) os(oe2) oe(oe1) <= (ss;
	ftp://swi.psy.uva.nl/pub/keml/biblio.ps.Z, 19930218 Bibliography to Specification Languages 6 17, no 3, 1991, pp. 212-225. Bibliography to Specification Languages 5 G. Schreiber: Pragmatics of the Knowledge Level, PhD Thesis, University of Amsterdam, 1992. R. N. Shutt: A Rigorous Development Strategy Using the OBJ Specification Language
	ftp://swi.psy.uva.nl/pub/xpce/doc/classes/classes-15-end.ps.Z, 19930331 \| '*' \| '\|' \| Integers and booleans are not (yet) objects; hence there special type declarations. The .. operator indicates a range of either integers or floating-point numbers. The fatom, ...g construct indicates One of these atoms".
	ftp://swi.psy.uva.nl/pub/xpce/doc/classes/classes-0-14.ps.Z, 19930331 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 PCE-4 User Defined Classes Manual Jan Wielemaker jan@swi.psy.uva.nl This document is part of the documentation of XPCE version 4 for X-windows. XPCE is an
	ftp://swi.psy.uva.nl/pub/keml/GCLA_II.ps.Z, 19930416 GCLA II A Definitional Approach to Control by Per Kreuger piak@sics.se Swedish Institute of Computer Science (SICS) Box 1263 S-164 28 Kista Sweden April 1993
	ftp://swi.psy.uva.nl/pub/keml/old/KARL.ps.gz, 19930421 - 1 - 1 Introduction During the last years there has been a paradigm shift in the development process of expert systems. The building process is no longer seen as a transfer process which assumes that the knowledge in the heads of the experts is structured in a similar way as in the system. Instead this
	ftp://swi.psy.uva.nl/pub/keml/old/KARL-design.ps.gz, 19930421 1 Development of Knowledge-Based Systems on the Basis of an Executable Specification Dieter Landes Institut f r Angewandte Informatik und Formale Beschreibungsverfahren Universit t Karlsruhe Postfach 6980 7500 Karlsruhe Email: landes@aifb.uni-karlsruhe.de In this paper, we discuss how the design of
	ftp://swi.psy.uva.nl/pub/keml/knowl-symb-level.ps.Z, 19930421 Date: 16.4.93 The Reconciliation of Symbol and Knowledge Level D. Fensel Institut f r Angewandte Informatik und Formale Beschreibungsverfahren University of Karlsruhe, P.O. Box 6980, 7500 Karlsruhe, Germany e-mail: fensel@aifb.uni-karlsruhe.de
	ftp://swi.psy.uva.nl/pub/keml/old/MIKE.ps.gz, 19930421 Model-Based and Incremental Knowledge Engineering: The MIKE Approach J. Angele, D. Fensel, D. Landes, S. Neubert, and R. Studer Institut f r Angewandte Informatik und Formale Beschreibungsverfahren University of Karlsruhe, P.O. Box 6980, 7500 Karlsruhe, Germany e-mail: {angele \| fensel \| landes \|
	ftp://swi.psy.uva.nl/pub/keml/old/2nd-workshop.ps.gz, 19930527 The 2nd KADS-languages workshop KARLsruhe, 17-19 May 1993 Frank van Harmelen with contributions from Manfred Aben and Peter Terpstra May 27, 1993 1 Introduction This workshop was the successor of the first kads languages workshop last year in Bonn. It is meant as a meeting point for people who work on
	ftp://swi.psy.uva.nl/pub/xpce/doc/lisp/pce-lisp.ps.gz, 19930702 PCE/Lisp PCE Common Lisp Interface Edition 2.2 (May, 1993) PCE 4.5.5 (May, 1993) Anjo Anjewierden This file documents the PCE/Lisp interface. Copyright c 1993 University of Amsterdam Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this
	ftp://swi.psy.uva.nl/pub/xpce/doc/overview/overview-30-end.ps.gz, 19930729 text entry field, 6 text,font, 14 text buffer class, 13, 16 text cursor class, 13 text image class, 13 text item class, 9 text margin class, 13 tile class, 5 time-stamp, 17 time-stamps, 24 timer class, 12 tracer,status, 24 tree class, 5, 9, 11 type (checking of input), 6 type class, 20 type, convert, 21
	ftp://swi.psy.uva.nl/pub/xpce/doc/overview/overview-15-29.ps.gz, 19930729 Chapter 3 Data storage PCE offers many classes that deal with data-storage: primitives (integers, floating-point numbers, booleans, atoms, strings, etc.), graphics support objects (point, area, region, etc.) and objects to organise data: linked lists, attribute-value-pairs, hash tables, etc. This
	ftp://swi.psy.uva.nl/pub/xpce/doc/overview/overview-0-14.ps.gz, 19930729 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 PCE-4 Functional Overview Jan Wielemaker Anjo Anjewierden fjan,anjog@swi.psy.uva.nl This document is part of the documentation of XPCE version 4 for X-windows. XPCE
	ftp://swi.psy.uva.nl/pub/keml/KADS-Inferences.ps.Z, 19930930 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development CommonKADS Inferences Manfred Aben UvA Copyright c 1993 University of Amsterdam Document Id. Date Distribution KADS-II/M2/TR/UvA/041/1.0 June 17, 1993 Consortium KADS-II Consortium This document
	ftp://swi.psy.uva.nl/pub/xpce/doc/pcedraw/pcedraw-0-14.ps.gz, 19931011 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 PceDraw An example of using PCE-4 Jan Wielemaker jan@swi.psy.uva.nl This document describes the design and implementation of PceDraw, a drawing tool written in
	ftp://swi.psy.uva.nl/pub/xpce/doc/pcedraw/pcedraw-75-end.ps.gz, 19931011 188 message(@fonts, for_all, 189 if(and(@arg2 family == F family, 190 @arg2 style == F style), 191 message(Menu, append, @arg2))), 192 message(Menu members, sort, 193 @arg1 value points < @arg2 value points), 194 message(Menu, send_class, selection, @arg1)))). 195 make_font_family_menu(Menu) :- 196
	ftp://swi.psy.uva.nl/pub/xpce/doc/pcedraw/pcedraw-15-29.ps.gz, 19931011 21 :- pce_autoload(draw_attribute_editor, attribute). 22 :- pce_autoload(finder, library(find_file)). 23 :- pce_global(@finder, new(finder)). 3.1.2 Entry point Toplevel goals: ffl draw Create a drawing tool and display it. ffl draw(+File) As draw/0, but immediately loads a file. One could choose not to
	ftp://swi.psy.uva.nl/pub/xpce/doc/pcedraw/pcedraw-60-74.ps.gz, 19931011 518 send(G line, texture, dotted), 519 send(G line, start, Pos), 520 send(G line, end, Pos), 521 send(Dev, display, G line), 522 send(G, indicate, Ev receiver, Pos, G from_indicator). Update the line, check whether the mouse points to a valid target and display a marker on it. Note how the target is
	ftp://swi.psy.uva.nl/pub/xpce/doc/pcedraw/pcedraw-30-44.ps.gz, 19931011 and get(Graphical, area, Area), send(Area, free). In the first example, `Pos' is a point created by the method, but not referred to by the `Graphical'. Using !free is correct. In the second case however the method area returns the area attribute of `Graphical' and destroying this would make `Graphical'
	ftp://swi.psy.uva.nl/pub/xpce/doc/pcedraw/pcedraw-45-59.ps.gz, 19931011 13 /* Create shapes */ 14 :- pce_global(@draw_create_resize_gesture, 15 new(draw_create_resize_gesture)). 16 :- pce_global(@draw_create_line_gesture, 17 new(draw_create_line_gesture)). 18 :- pce_global(@draw_create_path_gesture, 19 new(draw_create_path_gesture)). 20 :- pce_global(@draw_connect_gesture,
	ftp://swi.psy.uva.nl/pub/xpce/doc/CXX/pce-CXX.ps.gz, 19931215 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 A C++ interface for XPCE Jan Wielemaker Anjo Anjewierden fjan,anjog@swi.psy.uva.nl This document describes version 0.1 of a C++ interface for XPCE. The reader is
	ftp://swi.psy.uva.nl/pub/keml/old/KARL-semantics.ps.gz, 19940303 * The paper is submitted to AAAI-94 * The Declarative Semantics of KARL Dieter Fensel Institut AIFB, University of Karlsruhe 76128 Karlsruhe, Germany phone: 49-721-6084754, fax: 49-721-693717 e-mail: fensel@aifb.uni-karlsruhe.de Content areas: knowledge base technology, logic in AI, knowledge
	ftp://swi.psy.uva.nl/pub/xpce/doc/coursenotes/coursenotes.ps.gz, 19940311 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 XPCE/Prolog Course Notes Jan Wielemaker jan@swi.psy.uva.nl This document provides background reading material and exercises for a course in programming XPCE/Prolog.
	ftp://swi.psy.uva.nl/pub/ecai94/workshops/workshop.19.ps.gz, 19940317 Call for Participation to a Workshop on "Constraint satisfaction issues raised by practical applications" A one-day workshop to be held on Tuesday August 9, in conjunction with ECAI-94, Amsterdam, The Netherlands, August 8-12, 1994. A constraint satisfaction problem (CSP) involves finding values for
	ftp://swi.psy.uva.nl/pub/ecai94/ecai94-style/ecai94sp.ps.gz, 19940322 Guidelines for Preparing a Paper for the European Conference on Artificial Intelligence Geeti Granger1 and Jenny Smith2
	ftp://swi.psy.uva.nl/pub/ecai94/ecai94-style/ecaif01.ps.gz, 19940322 Buffers RoutingComputationGrid of Transputers012012301234567891011RowsColumnsStructure of processes running on each transputerProcesses:
	ftp://swi.psy.uva.nl/pub/games-papers/GAMES-UvA-11.ps.gz, 19940503 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems Methodological Foundations of Medical KBS Development Gertjan van Heijst y Giordano Lanzola x Guus Schreiber y Mario Stefanelli x y University of Amsterdam x University of Pavia Copyright c 1994 University of Amsterdam
	ftp://swi.psy.uva.nl/pub/games-papers/GAMES-UvA-19.ps.gz, 19940503 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems CUE: Ontology Based Knowledge Acquisition Gertjan van Heijst , Guus Schreiber University Of Amsterdam Synopsis This report contains an article submitted to EKAW'94. Copyright c 1994 University of Amsterdam Document Id.
	ftp://swi.psy.uva.nl/pub/games-papers/Schreiber:93i.ps.gz, 19940503 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems Knowledge Organisation in Medical KBS Construction A. Th. Schreiber , G. van Heijst University of Amsterdam G. Lanzola , M. Stefanelli University of Pavia Synopsis This document contains a paper presented at AIME'93 in
	ftp://swi.psy.uva.nl/pub/games-papers/vanHeijst:94a.ps.gz, 19940503 Knowledge Based Integration of Representation Formalisms G. van Heijst 1 and W. Post 1 and A. Th. Schreiber 1
	ftp://swi.psy.uva.nl/pub/games-papers/GAMES-UvA-18.ps.gz, 19940503 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems Principles for Modularizing Medical Domain Knowledge Gertjan van Heijst y , Sabina Falasconi x , Ameen Abu-Hanna y , Guus Schreiber y , Mario Stefanelli x y University of Amsterdam x University of Pavia Synopsis This
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-36.ps.gz, 19940511 Applying the Common KADS Organisation Model November 11, 1992 12 References Benus, B., P.van den Besselaar, R.de Hoog, C.Metselaar & M.Vogler (1992). An inventory of organisational analysis concepts and techniques. Deliverable ESPRIT project P5248, KADS-II/TII.3.1/D2.8/UvA/20/2.0, University of
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Schreiber:94b.ps.gz, 19940511 Applying KADS-I to the Sisyphus Domain July 29, 1992 ]]" (a structure( , list())) output: suitable resources " " (a set()) Working memory operation "select" on "suitable resources" with result: "C5-116" Working
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Wielinga:93e.ps.gz, 19940511 Reusable and Shareable Knowledge Bases: A European Perspective B. J. Wielinga A. Th. Schreiber University of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands E-mail: fwielinga,schreiberg@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Schreiber:93f.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development Comparing KADS-I to Conventional Software Engineering Guus Schreiber and Bob Wielinga Synopsis This report contains a paper concerning a comparison between KADS-I and two leading software
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Breuker:93d.ps.gz, 19940511 Reusable Components for Artificial Problem Solvers: the Common KADS library experience Joost Breuker University of Amsterdam Department of Social Science Informatics Roeterstraat 15 NL{1018 WB Amsterdam, the Netherlands email breukerswi.psy.uva.nl May 6, 1994 Short position paper for IJCAI '93 Workshop
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Schreiber:94a.ps.gz, 19940511 Analysing and Implementing VT Using CommonKADS A. Th. Schreiber P. Terpstra P. Magniy M. van Velzen University of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WNB Amsterdam, The Netherlands Tel: +31 20 525 6789; Fax: +31 20 5252 6896 E-mail: schreiber@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-43.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development CommonKADS specific design decisions and their notation Peter Terpstra University of Amsterdam with contributions from Ronald Schrooten Vrije Universiteit Brussel Copyright c 1994 University of
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/vanHarmelen:92d.ps.gz, 19940511 (ML)2: A formal language for KADS models (short version) Frank van Harmelen, SWI, University of Amsterdam e-mail: frankh@swi.psy.uva.nl John Balder, Netherlands Energy Research Foundation ECN, Petten June 4, 1992
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-26.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development Expertise Model Definition Document Bob Wielinga Walter Van de Velde z Guus Schreiber Hans Akkermans x University of Amsterdam z Free University of Brussels x Netherlands Energy Research
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-55.ps.gz, 19940511 A Suite of Problem Types Joost Breuker University of Amsterdam Department of Social Science Informatics Roeterstraat 15 NL{1018 WB Amsterdam, the Netherlands email breuker@swi.psy.uva.nl tel (31) 20 525 3494/6798/6789 fax (31) 20 525 6896 Content areas: knowledge acquisition, reuse of ontologies,
	ftp://swi.psy.uva.nl/pub/CommonKADS/KADSI-papers/Wielinga:92a.ps.gz, 19940511 KADS: A Modelling Approach to Knowledge Engineering B.J. Wielinga A.Th. Schreiber J.A. Breuker University of Amsterdam, Social Science Informatics Roetersstraat 15, 1018 WB Amsterdam, The Netherlands Tel: +31 20 525 6789; Fax: +31 20 525 6896 E-mail: schreiber@swi.psy.uva.nl This article will appear in
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-41b.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development The Common KADS Organisation Model Robert de Hoog Bart Benus Carolien Metselaar Michel Vogler c 1993 University of Amsterdam Document Id. Date Distribution KADS-II/T M6/DM6.2/UvA/041/1.0 November
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-16.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development The syntax of (ML)2 Frank van Harmelen UvA John Balder ECN Manfred Aben UvA Copyright c 1993 University of Amsterdam, Netherlands Energy Research Foundation ECN Document Id. Date Distribution
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-VUB-64.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development Design Model and Process Walter Van de Velde (editor) with contributions from Cuno Duursma Guus Schreiber y Vrije Universiteit Brussel y Universiteit van Amsterdam Copyright c 1993 VUB Document
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-18.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development The Common KADS model set Robert de Hoog , Rob Martily, Bob Wielinga , Rob Taylorx, Clive Brighty Walter van de Veldez University of Amsterdam Lloyd's Register y Free University of Brussels z
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-41.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development CommonKADS Inferences Manfred Aben UvA Copyright c 1993 University of Amsterdam Document Id. Date Distribution KADS-II/M2/TR/UvA/041/1.0 October 21, 1993 Consortium KADS-II Consortium This
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Wielinga:92c.ps.gz, 19940511 hofer, F., editors, Current Developments in Knowledge Acquisition - EKAW'92, pages 95{111, Berlin/Heidelberg. Springer Verlag. Schreiber, A. T., Wielinga, B. J., and Breuker, J. A., editors (1992b). KADS: A Principled Approach to Knowledge-Based System Development. Academic Press, London. Forthcoming.
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Aben:94b.ps.Z, 19940511 Temporal Abstraction Mechanisms as kads Inferences Manfred Abeny Yuval Shaharz Mark A. Musenz zDepartment of Social Science Informatics University of Amsterdam Roetersstraat 15, 1018 WB Amsterdam, The Netherlands e-mail: manfred@swi.psy.uva.nl zMedical Computer Science Group Knowledge Systems Laboratory
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Valente:93c.ps.gz, 19940511 Organization as Guidance: a Library of Assessment Models Andr e Valente1 and Christiane L ockenhoff2 1 University of Amsterdam, Dept. of Social Science Informatics (SWI) Roeterstraat 15, 1018 WB Amsterdam, the Netherlands E-mail: andre@swi.psy.uva.nl 2 Siemens AG, ZFE BT SE 21 Otto-Hahn-Ring 6, 8000
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Wielinga:93b.ps.gz, 19940511 Steps in Constructing Problem Solving Methods Hans Akkermans z Bob Wielinga x Guus Schreiber x zECN and University of Twente P.O. Box 1, NL-1755 ZG Petten (NH), The Netherlands E-mail: akkermans@ecn.nl; akkerman@cs.utwente.nl xUniversity of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Balder:93a.ps.gz, 19940511 NewObjDescr = Now the violation test succeeds because a3 is not scheduled before a2: test(; violation) leads to a conjunction containing : (DomainRequirement `
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Schreiber:91a.ps.gz, 19940511 On Problems with the Knowledge Level Perspective Guus Schreiber y Hans Akkermans x Bob Wielinga y yDepartment of Social Science Informatics, University of Amsterdam Herengracht 196, NL-1016 BS Amsterdam, The Netherlands Electronic mail: guussc/wielinga@swi.psy.uva.nl xNetherlands Energy Research
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/vanHarmelen:92a.ps.gz, 19940511 Chapter 4 (ML)2: A formal language for KADS models of expertise Frank van Harmelen Department of Social Science Informatics University of Amsterdam e-mail: frankh@swi.psy.uva.nl John Balder Software Engineering & Research Department Netherlands Energy Research Foundation ECN
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-VUB-04.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development Task Model definition and Task Analysis process Cuno Duursma Vrije Universiteit Brussel AI Laboratory Pleinlaan 2 B-1050 Brussels email: cuno@arti.vub.ac.be Copyright c 1993 V.U.B AI lab Document
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-69.ps.gz, 19940511 CML: The CommonKADS Conceptual Modelling Language Guus Schreiber z Bob Wielinga z Hans Akkermans { Walter Van de Velde x z University of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands x Free University of Brussels, AI Lab Lentestraat 50-54, B-1050 Brussels,
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-SICS-02.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development The Common KADS Agent Model Annika Waern Swedish Institute of Computer Science, Stockholm, Sweden Santiago Gala ERITEL, Madrid, Spain Synopsis This will be the second version of the agent model
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/vandenElst:94a.ps.gz, 19940511 A functional specification of reusing software components John van den Elst1y, Frank van Harmelen z, Guus Schreiber z, Monique Thonnat y y INRIA Sophia Antipolis z University of Amsterdam BP 93, F-06902 Sophia Antipolis CEDEX, France Faculty of Psychology, Social Science Informatics Tel.: (+33) 93 65 76
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Aben:93a.ps.Z, 19940511 Formally Specifying Re{usable Knowledge Model Components Manfred Aben Correspondence address: University of Amsterdam Department of Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands Tel: +31 20 525 6789; Telecopier: +31 20 525 6896 Electronic mail: manfred@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Valente:93a.ps.gz, 19940511 Integrating Modeling Approaches in the CommonKADS Library Andr e Valente, Joost Breuker and Bert Bredeweg Department of Social Science Informatics (SWI), University of Amsterdam Roetersstraat 15, 1018 WB Amsterdam, The Netherlands. E-mail:fandre,breuker,bertg@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-56.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development Planning Models for the CommonKADS Library Andr e Valente University of Amsterdam Synopsis This report contains a strutured description of planning models, intended for storage in the CommonKADS
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Breuker:93b.ps.gz, 19940511 Modelling Artificial Legal Reasoning Joost Breuker University of Amsterdam Department of Computer Science and Law Kloveniersburgwal 72 NL{1012 CZ Amsterdam, the Netherlands email breukerlri.jur.uva.nl May 6, 1994
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-63.ps.gz, 19940511 January 27, 1994 CHAPTER 10. GUIDELINE INDEX intermediate DKR predicate . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 intermediate DKR program . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 intermediate task imports . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-68.ps.gz, 19940511 KASIID ESPRIT Project P5248 KADS-II An Advanced and Comprehensive Methodology for Integrated KBS Development Risk management, project planning and effort estimation in CommonKADS Robert de Hoog Winifred Menezes Catherine Toussaint Bart Benus David Gottlieb Copyright c 1994 University of Amsterdam
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/beha-window.ps.gz, 19940610 Top Level Problem Solver Configure Calculate Order duties Design User Interface Display Design Edit Knowledge Enter Specification "What if" Questions Explain Explain Solution Explain Inconsistencies Storage Dynamic Storage Model Library Check Consistency method production system Marples calculation form
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/class-hierarchy.ps.gz, 19940610 project external_model external_layer external_req conceptual_model inference_layer inference_structure knowledge_source meta_class ksmc domain_layer lexicon lexicon_entry concept concept_tree task_layer goal task_structure iteration_node selection_node inference_node null_node cut_node data_layer
	ftp://swi.psy.uva.nl/pub/shelley-ug/shelley-ug.ps.gz, 19940610 144 E.8 Conclusions Launch" 53, 54, 67 Launch Physical View ..." 96 Layout" 24, 44, 46 Link to Fragment" 70 Link to Instance" 69 Load ..." 76 Load File ..." 34, 68, 115 Method" 82, 87 Move Before" 39, 115 Multiple Concepts ..." 25, 73 Multiple Design Elements ..." 95 Multiple Functional
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/complex-figure.ps.gz, 19940610 example gain knowledge magic solutionproblem
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/shelley-high.ps.gz, 19940610 Project LCM Generic KADS LCM Advice & Guidance Tool-1Tool-2Tool-n User read r/w invoke Context Switch control
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/uif-hierarchy.ps.gz, 19940610 display frame browser desktop dialog item popup menu entry button menu text item editor margin graphical icon tree node card confirmer informer
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/icons-tiny.ps.gz, 19940610 concept concept attribute constraint domain dynamic economic expertise external group inference structure information instantiated interface kads knowledge source life cycle link meta class modality modality system modality user objective operating performance political static task structure
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/icons-pso.ps.gz, 19940610 behavioural_view concept concept_attribute concept_tree conceptual_model data_layer design_element design_model document document_layer domain_layer external_layer func_block func_control func_data func_decomp func_io functional_layer goal inference_layer inference_structure knowledge_source ksmc lcm
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/cost-rule-tree.ps.gz, 19940610 cost-rule cost very cheap bicycle cheap bus tram fair ferry expensive plane (economy class) very expensive plane (business class) excessive plane (royal class)
	ftp://swi.psy.uva.nl/pub/shelley-ug/figs/icons-small.ps.gz, 19940610 func_data advice_guidance agp_advice agp_ast agp_document agp_error agp_glossary agp_object agp_section agp_task agp_technique agp_tool behavioural_view card card_sort card_tool case_study class_view concept concept_attribute concept_tree conceptual_model cse data_layer data_shape design design_element
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Wielinga:94a.ps.gz, 19940623 Conceptual Modelling of Large Reusable Knowledge Bases B.J. Wielinga A.Th. Schreiber University of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands E-mail: fwielinga,schreiberg@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/CommonKADS/theses/Schreiber:92c.ps.gz, 19940627 Pragmatics of the Knowledge Level A. Th. (Guus) Schreiber University of Amsterdam, Department of Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands Tel: +31 20 525 6792; Fax: +31 20 525 6896 E-mail: schreiber@swi.psy.uva.nl Pragmatics of the Knowledge Level
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/casnetosn.ps.gz, 19940804 W W W disease patho-physiological state start patho-state terminal patho-state observation symptom history sign lab-test a-priori frequency status path net Q event confidence measure cost i I F internal variable external variable variable evidence_for classifies begins thresholded_by summarizes costs
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/method-tree.ps.gz, 19940804 abduction of diseases from findings deduction of predictions from hypothesized diseases ranking hypothesized diseases abduction by direct associations between findings and diseases abduction by tracing causal pathways between findings and diseases medical diagnosis abduction by reasoning about structure
	ftp://swi.psy.uva.nl/pub/games-papers/AIM-95.ps.gz, 19940804 A Case Study in Ontology Library Construction Gertjan van Heijst y Sabina Falasconi x Ameen Abu-Hanna y Guus Schreiber y Mario Stefanelli x yUniversity of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands E-mail: fgertjan,ameen,schreiberg@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/st-model.ps.gz, 19940804 clinical features ranking request new data hypothesized diseases expected/ observed data abduction abstraction induction deduction
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/casnetpsm.ps.gz, 19940804 abduction by tracing causal pathways between findings and (eventually) diseases confidence measure abduce hypotheses Q rank hypotheses calculate state confidence according to confidence measure label states according to threshold weigh inverse evidence rank according to weight-to-cost ratio a-priori
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/causal-network.ps.gz, 19940804 decreased oxygen supply atherosclerosis ischemia necrosis increased oxygen demand causes causes causes causes angina pectoris myocardial infarction retrosternal pain effect of nytroglycerin evidence-for classifies evidence-for classifies pathophysiological-state pathophysiological-state
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/reusability-space.ps.gz, 19940804 evidence-for coronaryobliteration arteryobliteration domain-specificity methodspecificity internal medicine fundamental medical concepts generic concepts abduction by tracing causal pathways cardiology abduction of diseases from findings method independent definitions person time causes disease finding
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/onto-psm.ps.gz, 19940804 ObservationHypothesisSolution generate differentiate FindingDisease rash = present graft-versus-host disease Problem solving method ontology domain knowlege Manifestation-of
	ftp://swi.psy.uva.nl/pub/games-papers/TEMP/games-methodology.ps.gz, 19940804 epistemological model method library ontology library task model application ontology application knowledge computational model
	ftp://swi.psy.uva.nl/pub/CommonKADS/reports/CK-UvA-70.ps.gz, 19940902 CommonKADS A comprehensive methodology for KBS development Guus Schreiber Bob Wielinga Hans Akkermans z Walter Van de Velde x Robert de Hoog University of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands z University of Twente. Information Systems Department
	ftp://swi.psy.uva.nl/pub/keml/ML2-evaluation.ps.Z, 19940907 Evaluating a formal modelling language Fidel Ruiz1, Frank van Harmelen2, Manfred Aben2, Joke van de Plassche1, 1 NICI, University of Nijmegen, The Netherlands 2 SWI, University of Amsterdam, Roetersstraat 15 1018 WB Amsterdam, The Netherlands email: frankh@swi.psy.uva.nl.
	ftp://swi.psy.uva.nl/pub/keml/comparison.ps.Z, 19940907 Version: 10.2.94 A Comparison of Languages which Operationalize and Formalise KADS Models of Expertise Dieter Fensel () and Frank van Harmelen (+) () Institut f r Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) University of Karlsruhe , 76128 Karlsruhe, Germany tel: +49- 721/6084754,
	ftp://swi.psy.uva.nl/pub/keml/MOMO.ps.Z, 19941026 Concurrency constraints as control speciflcations for the MoMo language Friedrich Gebhardt, Eckehard Gro and Hans Vo Gesellschaft f ur Mathematik und Datenverarbeitung mbH (GMD)
	ftp://swi.psy.uva.nl/pub/CommonKADS/papers/Schreiber:94e.ps.gz, 19941028 CML: The CommonKADS Conceptual Modelling Language Guus Schreiber Bob Wielinga Hans Akkermansz Walter Van de Veldex Anjo Anjewierden University of Amsterdam, Social Science Informatics Roetersstraat 15, NL-1018 WB Amsterdam, The Netherlands zNetherlands Energy Research Foundation ECN P.O. Box 1, 1755 ZG
	ftp://swi.psy.uva.nl/pub/xpce/licence.ps.Z, 19941108 Software Release Agreement Licence No. ...... The undersigned, representing the institution identified below and hereafter referred to as the Licensee, accepts the software and associated documentation known under the name PCE version 4 hereafter called the work, and agrees to the following conditions
	ftp://swi.psy.uva.nl/pub/xpce/license.ps.gz, 19941108 Software Release Agreement Licence No. ...... The undersigned, representing the institution identified below and hereafter referred to as the Licensee, accepts the software and associated documentation known under the name PCE version 4 hereafter called the work, and agrees to the following conditions
	ftp://swi.psy.uva.nl/pub/games-papers/editorial.ps.gz, 19941201 Editorial Special Issue Artificial Intelligence in Medicine Architectures for Intelligent Systems Based on Reusable Components M. A. Musen A. Th. Schreiber y Section on Medical Informatics, Stanford University School of Medicine Stanford, California, 94305 5479 ySocial Science Informatics, University of
	ftp://swi.psy.uva.nl/pub/keml/KARL-design.ps.Z, 19941213 Current activities focus on the implementation of a support environment, which supports the recording of design decisions and their rationale, and which also allows to run the developed model as a hybrid prototype, consisting of parts specified with KARL interacting with parts operationalized in the
	ftp://swi.psy.uva.nl/pub/keml/KARL-MIKE.ps.Z, 19941213 Integrating Semiformal and Formal Methods in Knowledge-Based Systems Development Dieter Fensel, Dieter Landes, Susanne Neubert and Rudi Studer Institut AIFB, University of Karlsruhe, 76128 Karlsruhe, Germany e-mail: {fensel landes neubert studer}@aifb.uni-karlsruhe.de
	ftp://swi.psy.uva.nl/pub/keml/KARL-language.ps.Z, 19941213 1 The Specification Language KARL and Its Declarative Semantics Dieter Fensel, J rgen Angele, and Rudi Studer Institut AIFB, University of Karlsruhe 76128 Karlsruhe, Germany phone: 49-721-6084754, fax: 49-721-693717 e-mail: fensel@aifb.uni-karlsruhe.de
	ftp://swi.psy.uva.nl/pub/games-papers/galen.ps.gz, 19941215 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems GAMES-GALEN: A Mini-Experiment for Cooperation Ameen Abu-Hanna , Gertjan van Heijst , Guus Schreiber University of Amsterdam Synopsis There are mutual benefits for the cooperation between the GALEN and the GAMES-II
	ftp://swi.psy.uva.nl/pub/games-papers/GAMES-D31.ps.gz, 19950202 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems Manual KA Tools (including Knowledge Modeling Advisor 2.0) Ameen Abu Hanna Gertjan van Heijst Wilfried Post Guus Schreiber University of Amsterdam Sabina Falasconi Giordano Lanzola Mario Stefanelli University of Pavia
	ftp://swi.psy.uva.nl/pub/knowman/wiig.ps.Z, 19950224 On the management of Knowledge Karl M. Wiig The Wiig Group 5211 Vicksburg Drive Arlington, Texas 76017 Phone: (817) 572-6254 Fax: (817) 478-1048 Mail: 71117.1427@Compuserve.com Knowledge - the insights, understandings, and practical know-how that we all possess { is the fundamental resource that allows
	ftp://swi.psy.uva.nl/pub/knowman/flint.ps.Z, 19950224 Knowledge management: a position statement David Flint IT Management Programme Park House Wick Road Egham, Surrey TW20 0HW England Phone: (+44) (0)784 476371 Fax: (+44) (0) 784 476530 Knowledge management A position statement Knowledge is a kind of information. We divide information into three broad
	ftp://swi.psy.uva.nl/pub/knowman/fjellheim.ps.Z, 19950224 Position statement Computas Experts Systems Roar Fjellheim Computas Expert Systems a.s. P.O. Box 430 1301 Sandvika Norway Tel: +47 67 54 11 11 Fax: +47 67 54 10 11 E-mail: raf@cx.dnv.no Background Computas Expert Systems (CX) is a Norwegian knowledge engineering company, working for customers in
	ftp://swi.psy.uva.nl/pub/knowman/methodology.ps.Z, 19950224 Towards a methodology for knowledge management Rob van der Spek Centre for Knowledge Technology Utrecht Arthur van Schendellaan 570 PO Box 573 3500 AN Utrecht The Netherlands Phone: (+31) 30 308900 Fax: (+31) 30 308999 E-mail: rvdspek@cibit.hvu.nl Robert de Hoog Department of Social Science Informatics
	ftp://swi.psy.uva.nl/pub/knowman/grundstein.ps.Z, 19950224 Capitalizing Company Knowledge Michel Grundstein Framatome Tour Fiat, Cedex 16 92084 Paris La-D efense France Phone: (+33) 1 47 96 17 47 Fax: (+33) 1 47 964916 Besides the technical aspects of the problems related to preserving industrial knowledge, I would like to suggest three exis of reflexions based
	ftp://swi.psy.uva.nl/pub/knowman/zarri.ps.Z, 19950224 Conceptual Representation of Corporate Documents Gian Piero Zarri Centre National de la Recherche Scientifique, Paris EHESS - CAMS 54, boulevard Raspail 75270 Paris Cedex 06 France Phone: (+33) 1 49542033 Fax: (+33) 1 49 54 21 09 E-mail: zarii@cams.msh-paris.fr This short note - an adaptation of the
	ftp://swi.psy.uva.nl/pub/knowman/danzi.ps.Z, 19950224 Position statement on knowledge management Edoardo Danzi Magheti Marelli SpA Via Borletti 60 20011 Corbetta (Mi) Italy Phone: (+39) 2 97200511 Fax: (+39) 2 97200550 E-mail: edanzi@torino.maraut.it We consider knowledge to be a commodity or a business asset. As with any other business aspect we wold
	ftp://swi.psy.uva.nl/pub/knowman/bergeron.ps.Z, 19950224 Perception of knowledge management and the goals related to knowledge management activities Jean Bergeron Ecole Centrale Paris Grande Voie des Vignes 92295 Ch^atenay-Malabry Cedex France Tel: +33 1 41 13 12 85 Fax: +33 1 41 13 12 72 E-mail: jbergeron@cti.ecp.fr 1 Perception of knowledge management After
	ftp://swi.psy.uva.nl/pub/knowman/barr.ps.Z, 19950224 Automating Knowledge Distribution A Position Paper on Knowledge Asset Management Avron Barr Aldo Ventures, Inc. 447 Homer Ave. Palo Alto, CA 94301 415.725.3856 Fax: 415.725.5913 barr@cs.stanford.edu In every large organization, there is a set of departments whose job is to disseminate knowledge that the
	ftp://swi.psy.uva.nl/pub/knowman/stafford.ps.Z, 19950224 Position Statement Sue P. Stafford Simmons College 300 The Fenway Boston MA. 02115 United Stated Phone: 617 521 2210 Fax: 508 475 4377 E-mail: sstafford@vmsvax.simmons.edu Let us agree with Peter Drucker that we are in the midst of a transformation to a knowledge society in which the role of managers
	ftp://swi.psy.uva.nl/pub/knowman/siemens.ps.Z, 19950224 Position Paper Dr. Josef Hofer-Alfeid Sandra Bauer Siemens AG ZPL 1 MPP 3 D-81730 Munich Germany Phone: (+49) 89 636-47100 Fax: (+49) 89 636-40645 E-mail: josef.hofer-alfeis@zfe.siemens.de Our Knowledge Management team is part of the Siemens Corporate Production and Logistics Department which supports
	ftp://swi.psy.uva.nl/pub/usr/manfred/Aben-Thesis.ps.gz, 19950305 Formal Methods in Knowledge Engineering FORMAL METHODS IN KNOWLEDGE ENGINEERING ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr P.W.M. de Meijer ten overstaan van een door het college van dekanen ingestelde
	ftp://swi.psy.uva.nl/pub/usr/manfred/aim.ps.gz, 19950305 Temporal-Abstraction Mechanisms as KADS Inferences Manfred Abeny Yuval Shaharz Mark A. Musenz zDepartment of Social Science Informatics University of Amsterdam Roetersstraat 15, 1018 WB Amsterdam, The Netherlands e-mail: manfred@swi.psy.uva.nl zMedical Computer Science Group Knowledge Systems Laboratory
	ftp://swi.psy.uva.nl/pub/knowman/wilkins.ps.Z, 19950307 Understanding Knowledge Assets: Towards a New Framework Jeff Wilkins Information Systems Laboratory Department of Electrical Engineering Stanford University Stanford, California 94305 jeffw@simoon.stanford.edu 1 Overview Man's economic and social development has been marked by three waves of change,
	ftp://swi.psy.uva.nl/pub/knowman/macintosh.ps.Z, 19950307 Position Paper on Corporate Knowledge Management Ann Macintosh AIAI University of Edinburgh 80 South Bridge Edinburgh EH1 1HN, UK Tel: +44(0)131 650 2732 E-mail: A.Macintosh@ed.ac.uk World Wide Web: http://www.aiai.ed.ac.uk/ At the recent ISMICK'94 conference in Compiegne, I presented a paper that
	ftp://swi.psy.uva.nl/pub/keml/ECAI94WS.ps.Z, 19950310 ECAI 94 Workshop on Formal Methods 1 ECAI 94 Workshop on Formal Specification Methods for Knowledge-based Systems Dieter Fensel Institut AIFB, University of Karlsruhe, 76128 Karlsruhe, Germany email: fensel@aifb.uni-karlsruhe.de *** appeared in The Knowledge Engineering Review, vol 9:4, 1994, pp.
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/III.1.ps.Z, 19950405 Beyond the knowledge level: Behavior descriptions of machine learning systems Franz Schmalhofer1, J. Stuart Aitken2 1 German Research Center for Artificial Intelligence, P.O. Box 2080, D 67608 Kaiserslautern, Germany email: schmalho@dfki.uni-kl.de 2 Department of Computing Science, University of
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/II.2.ps.Z, 19950405 Automated model selection Dunja Mladeni c Artificial Intelligence Lab., J. Stefan Institute Jamova 39, 61000 Ljubljana, Slovenia Phone: (+38)(61) 1773 272, Fax: (+38)(61) 219-385 E-mail: dunja.mladenic@ijs.si http://www-ai.ijs.si/DunjaMladenic/home.html
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/I.1.ps.Z, 19950405 How to do things with data : exploiting knowledge-level redescription James Cupit and Nigel Shadbolt Arti cial Intelligence Group Department of Psychology Nottingham University Email jc@psyc.nott.ac.uk nrs@psyc.nott.ac.uk
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/I.4.ps.Z, 19950405 Object-oriented data modelling and rules: ILP meets databases Lubo Popel nsk Masaryk University, Brno Czech Republic
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/I.5.ps.Z, 19950405 speak(cow1,english). speak(cow2,japanese). speak(cow2,english). speak(taro,moo). speak(jiro,moo). speak(jack, japanese). speak(betty, english). speak(taro, english). speak(jiro, english). speak(goro, english). % background knowledge born(jack, america). grew_in(jack, america). born(betty, america).
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/II.1.ps.Z, 19950405 1 Modeling Identification Strategies Using the MCC Methodology Karine CAUSSE* & Jacques LEBBE * Laboratoire de Recherche en Informatique Universit de Paris Sud, CNRS URA. 410, B t 490, 91405 Orsay, France. causse@lri.fr Laboratoire de Phytologie Quantitative Universit Pierre et Marie Curie, 4, Place
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/III.2.ps.Z, 19950405 Towards a knowledge level formalization of learning Denis PIERRE and Jo el QUINQUETON LIRMM , 161 Rue ADA, 34392 Montpellier Cedex 5, FRANCE fpierre,jqg@lirmm.fr
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/0.intro.ps.Z, 19950405 Proceedings of the MLnet Sponsored Familiarization Workshop Knowledge Level Modelling and Machine Learning Heraklion, Crete, Greece April 28-29, 1995 i Content Introduction Workshop Program Invited talk: Knowledge-level Modelling and the New Knowledge Enineering Cycle A. Th. Schreiber Session I:
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/III.3.ps.Z, 19950405 - III.3.1 - Multi-Level Concept Modelling for Similarity-Based Learning Engelbert MEPHU NGUIFO Centre de Recherche en Informatique de Lens Universit d'Artois - IUT de Lens Rue de l'Universit SP 16 - 62307 Lens Cedex - France. E.mail: mephu@lens.lifl.fr
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/I.2.ps.Z, 19950407 Learning Control Knowledge in Models of Expertise ECML'95 Workshop on Knowledge-Level Modelling and Machine Learning Remco Straatman Department of Social Science Informatics (S.W.I.) University of Amsterdam Roetersstraat 15 1018 WB Amsterdam (the Netherlands) E-mail: remco@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/papers/fensel/klml/I.3.ps.Z, 19950410 Interactive Refinement for Structured Knowledge-Based Systems Eveline M. Helsper Maarten W. van Somereny Department of Social Science Informatics University of Amsterdam The Netherlands
	ftp://swi.psy.uva.nl/pub/knowman/edwards.ps.Z, 19950426 Knowledge Management and Management Knowledge Dr. John S. Edwards Aston Business School Aston University Aston Triangle BIRMINGHAM B4 7ET. U.K. Tel: +44 121-359 3611 x 5029 Fax: +44 121-359 5271 E-mail: j.s.edwards@aston.ac.uk
	ftp://swi.psy.uva.nl/pub/knowman/gordon.ps.Z, 19950426 North West Artificial Intelligence Applications Group Position Paper on Managing Knowledge in the Workplace John L. Gordon NWAIAG Blackburn College, Technology Centre Feilden Street Blackburn. BB2 1LH. UK Telephone (0) 1254 292357 Fax (0) 1254 681755 E-Mail j.gordon@blackburn.ac.uk The NWAIAG is a
	ftp://swi.psy.uva.nl/pub/xpce/doc/uims.uist89.ps.gz, 19950502 11 Conclusions We have described an object oriented UIMS that handles frame based data-representation in combination with binary relations. The UIMS handles simultaneous multiple (and different) visualisations of the same persistent object structure. It provides a full separation of user interface and
	ftp://swi.psy.uva.nl/pub/xpce/doc/releasenotes/rel-4811.ps.gz, 19950623 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 XPCE/Prolog Release notes version 4.8.11 Jan Wielemaker jan@swi.psy.uva.nl This document describes the most important changes to release 4.8.11 of XPCE. Copyright c
	ftp://swi.psy.uva.nl/pub/knowman/unpub.ps.Z, 19950706 Measuring the Economic Value of Information Systems Bert van Wegen, University of Amsterdam Dept. of Social Science Informatics June 27, 1995
	ftp://swi.psy.uva.nl/pub/papers/fensel/nebel-lli93-book.ps.gz, 19950709 Artificial Intelligence: A Computational Perspective This is a draft version of a paper to appear in G. Brewka, ed., Essentials in Knowledge Representation. Bernhard Nebel DFKI, Stuhlsatzenhausweg 3, D-66123 Saarbr ucken, Germany and Fakult at f ur Informatik, Universit at Ulm, D-89069 Ulm, Germany
	ftp://swi.psy.uva.nl/pub/GAMES-II/final-report.ps.gz, 19950721 AIM Project A2034 GAMES-II A General Architecture for Medical Knowledge-Based Systems GAMES-II Final Report Gertjan van Heijst, Marco Ramoni, Guus Schreiber and Mario Stefanelli (editors) Copyright c 1995 The GAMES-II Consortium Document Id. Date Distribution Final Report April, 1995 Consortium
	ftp://swi.psy.uva.nl/pub/papers/fensel/TSE-90.ps.gz, 19950725 to appear in IEEE Transactions on Software Engineering Special Issue on Formal Methods, September 1990 KIDS: A Semi-Automatic Program Development System Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 4 February 1994
	ftp://swi.psy.uva.nl/pub/papers/fensel/rix.ps.gz, 19950726 A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems Dieter Fensel Rix Groenboom y
	ftp://swi.psy.uva.nl/pub/papers/fensel/rix-bild.ps.gz, 19950726 26.7.95 1 symptom disease caused-by probability finding generate hypothesis select preferencecausality diagnosis Domain Layer Inference Layer hypothesis := generate(finding, causality); diagnosis := select(hypothesis, preference) Task Layer Goal: Find the diagnosis which explains the reported
	ftp://swi.psy.uva.nl/pub/isoprolog94.ps.Z, 19950801 ISO Prolog: A Summary of the Draft Proposed Standard (Revised) Michael A. Covington Artificial Intelligence Center The University of Georgia Athens, Georgia 30602{7415 U.S.A. mcovingt@ai.uga.edu Copyright c 1994 Michael A. Covington Preprint of Appendix A of: Prolog Programming in Depth by Michael A.
	ftp://swi.psy.uva.nl/pub/keml/VV-bib.ps.Z, 19950803 References on Verification and Validation of Knowledge-Based Systems Andreas Gartus, Hermann Kaindl and Stefan Kramer Siemens AG Osterreich, PSE Geusaugasse 17, A\|1030 Vienna, Austria August 3, 1995 References W. R. Adrion, M. A. Branstad, and J. C. Cherniavsky. Validation,
	ftp://swi.psy.uva.nl/pub/papers/fensel/ks.ps.gz, 19950908 8.9.95 1 Formal Specification Languages in Knowledge and Software Engineering Dieter Fensel University of Amsterdam, Department SWI, Roetersstraat 15, 1018 WB Amsterdam, the Netherlands. E-mail: fensel@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/papers/fensel/mincer.ps.gz, 19950922 The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems Dieter Fensel Remco Straatman Frank van Harmelen y University of Amsterdam Department of Social Science Informatics (SWI) Roetersstraat 15 1018 WB Amsterdam the Netherlands E-mail: fensel@swi.psy.uva.nl September 17,
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman002.ps.gz, 19950925 Class window 29 Send Methodt yped event id=event id, delegate= Refinement of: device->typed Handle accelerator bindings. This method is normally invoked from !event if no graphical object in the window accepted the typed key. The window will forward the typed key to the frame using `frame !typed.'
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman024.ps.gz, 19950925 Appendix E: Behaviour Index 689 initialise (! picture) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 137 initialise (! pixmap) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 186 initialise (! point) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 363 initialise (!
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman014.ps.gz, 19950925 Class image 389 Send Methodpixel x=int, y=int, value=bool\|colour Set pixel at x-y to bool or colour Send Methodset pixel x=int, y=int Set pixel at x-y (to 1 or foreground) 15.9.5 X \| X-window interaction Send Methodxclose display=display Closedown resources at server Send Methodxop en display=display
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman011.ps.gz, 19950925 Class text buffer 299 Send Methodc haracter at=int, character=char Change character at index to ASCII value Send Methodclear Delete all contents (and fragments) Send Methodcon tents char array=char array Set the contents (deletes fragments) Send Methoddelete at=int, characters= Delete characters
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman012.ps.gz, 19950925 Class text cursor 329 11.10 Class text cursor \| Caret in an editor Inheritance: ) text cursor ) graphical ) visual ) object A text cursor is used to visualise the `editor caret' in an editor object. Class text cursor is closely linked to class editor and not meant to be used outside the context of
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman003.ps.gz, 19950925 Class dialog 59 Chapter 4 Dialogs and Menus This chapter describes the PCE classes to build dialogue boxes. The classes used to build dialogue boxes are a specialisation of the generic graphics classes of XPCE. Class dialog and class dialog item add automatic layout and protocols to deal with keyboard
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman010.ps.gz, 19950925 Class timer 269 Instance Variables status status fidle,repeat,onceg Status of timer action message $ code* Code executed each time time interval real Interval between messages in seconds internal ws ref alien:WsRef Window System Reference Behaviour 10.1.1 Oms \| Object management operations Send
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman006.ps.gz, 19950925 Class graphical 149 Send Methodnorm alise Equivalent to `graphical !orientation: north west': Ensures width and height are positive, making the origin the top-left corner of the graphical. Get Methodorien tation ){north west,south east,north east,south east} Send Methodorien tation {north west,south
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman023.ps.gz, 19950925 Appendix A: Summary of Functional Groups 659 A.179 undo \| Undoing (edit) operations M undo (!editor) Undo last interactive command 289 A.180 update \| Update Dependant properties V bad bounding box (-device) Indicate bounding box is out-of-date 161 V bad format (-device) Format needs to be recomputed 161
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman019.ps.gz, 19950925 Class class 539 realised bool @on if class is realised version features - sheet* Defined features on this class rcs revision name* RCS revision of sourcefile internal boot - alien:int #PCE slots when booting; otherwise changed function - alien:SendFunc C function to trap slot changes clone function -
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman025.ps.gz, 19950925 xv 11 Text Processing : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 271 11.1 Class view \| Window version of an editor : : : : : : : : : : : : : : : 271 11.1.1 Oms \| Object management operations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 272
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman015.ps.gz, 19950925 Class bool 419 17.2 Class bool \| Boolean constant Inheritance: ) bool ) constant ) object Class bool defines represents PCE's two boolean constants: @on and @off. These objects are protected (see !protect). No other boolean constants can be created. Instance Variables Behaviour 17.2.1 Oms \| Object
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman005.ps.gz, 19950925 Class list browser 119 5.2 Class list browser \| Select object, visualisation of dict Inheritance: ) list browser ) device ) graphical ) visual ) object Delegation: dict (dict*) A list browser object is a visualisation of a dict object. It appears as a scrollable list of (textual) items. The user may
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman004.ps.gz, 19950925 Class slider 89 4.6.7 Update \| Update Dependant properties Send Methodcompu te Refinement of: graphical->compute Computes the layout and sets area and reference using the various attributes. 4.6.8 Event \| Event processing Variabledrag bool ($) When @on, message will be activated on each drag-event
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman013.ps.gz, 19950925 Class visual 359 Chapter 14 Organisation of Graphics 14.1 Class visual \| Superclass of everything that is visible Inheritance: ) visual ) object Class `visual' is a superclass of all classes who's instances normally causes a direct visual effect on the display. Of course this entails the classes
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman020.ps.gz, 19950925 Class syntax table 569 Chapter 25 Language Definition This chapter describes the classes that will be used in the future to support te definition of parsers. On the basis of these classes, future versions of PCE will define a syntax to create objects and send messages. If one is able to create objects
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman016.ps.gz, 19950925 Class object 449 18.1.9 File \| Saving and loading files, file operations Send Methodcon vert loaded object old version=int, current version=int Called by `file object' if the current save version is not the same as save version when the file was loaded. The two arguments are the old and the new save
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman001.ps.gz, 19950925 XPCE Reference Manual A High Level X11 interface for Symbolic languages Edition 3, for XPCE Version 4.8.13 Sep 1995 by Jan Wielemaker and Anjo Anjewierden This edition 3 of the XPCE Reference manual covers the entire functionality of the system. All material described in this document should be
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman009.ps.gz, 19950925 Class click gesture 239 Variablem ulticlick ($) The multiclick attribute determines whether the gesture reacts on single, double or triple click. 9.3.3 Action \| Associated action Variableexecute message code* ($) This message is sent when the user releases the button that
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman021.ps.gz, 19950925 Appendix A: Summary of Functional Groups 599 M bound send method (!class) Test if class defines send method `name' 547 V cache ($display) Scratch image to avoid flickering 44 M clear cache (!class) Clear method resolution cache 547 V convert method (-class) Type conversion 547 V fragment cache (-editor)
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman007.ps.gz, 19950925 Class text 179 6.9.7 Calculate \| Compute properties Get Methodc haracter position index= )point Convert index to position of character 6.9.8 Caret \| Moving the insertion point Send Methodbac kward char times= Move caret characters backward (C-f) Send Methodbac kward word times= Move
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman018.ps.gz, 19950925 Class assign 509 Variablev ar var ($) Var object to assign. See also value and `var !assign'. 20.2.4 Internal \| Private behaviour Send Methodexecute Refinement of: code-> execute The execution of an assign object implies 1. Evaluate value if this is a function object. 2. `var !assign' the var with the
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman008.ps.gz, 19950925 Class node 209 7.2 Class node \| Node in a tree Inheritance: ) node ) visual ) object Delegation: image (graphical) A `node' represents a node in a tree object. A node is a kind of `wrapper' around an arbitrary graphical representing the image of the node. A node maintains it's relations to the tree,
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman022.ps.gz, 19950925 Appendix A: Summary of Functional Groups 629 M man card class ( variable) Manual card type 556 M man create card ( object) Create manual card for object 456 M man creator ( class) Creator used by manual filters 546 M man creator ( error) For now, always returns built in 575 M man creator ( method)
	ftp://swi.psy.uva.nl/pub/xpce/doc/refman/refman017.ps.gz, 19950925 Class >= 479 19.13 Class >= \| Compare expressions on greater-or-equal Inheritance: ) >= ) binary condition ) code ) program object ) object Conditional expression. Evaluates both left and right sides and compare the result. See class binary condition for details. Instance Variables Behaviour 19.13.1
	ftp://swi.psy.uva.nl/pub/papers/fensel/bild2.ps.gz, 19951002 2.10.95 1 disease E-ID term probability healthy 0.5 influenca 0.1 pneumonia 0.05 caused-by effect cause no-fever healthy low-fever influenca low-fever pneumonia high-fever pneumonia symptom E-ID term no-fever low-fever high-fever disease symptom probability Real effect cause caused-by output data
	ftp://swi.psy.uva.nl/pub/papers/fensel/bild1.ps.gz, 19951002 2.10.95 1 symptom disease caused-by probability finding generate hypothesis select preferencecausality diagnosis Domain Layer Inference Layer hypothesis := generate(finding, causality); diagnosis := select(hypothesis, preference) Task Layer Goal: Find the diagnosis which explains the reported
	ftp://swi.psy.uva.nl/pub/papers/fensel/keml.ps.gz, 19951003 A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems Dieter Fensel Rix Groenboom
	ftp://swi.psy.uva.nl/pub/papers/fensel/bild3.ps.gz, 19951003 3.10.95 1 UPWARD MAPPING causality(cause:x, effect:y) caused-by(cause:x, effect:y). END; VIEW Causality DEFINITIONS hypothesis causality causeeffect finding VIEW Finding UPWARD MAPPING x finding x symptom. END; UPWARD MAPPING preference(low:x, high:y) x hypothesis x disease y hypothesis
	ftp://swi.psy.uva.nl/pub/papers/fensel/kese.ps.gz, 19951009 3.10.95 1 Formal Specification Languages in Knowledge and Software Engineering Dieter Fensel University of Amsterdam, Department SWI, Roetersstraat 15, 1018 WB Amsterdam, the Netherlands. E-mail: fensel@swi.psy.uva.nl
	ftp://swi.psy.uva.nl/pub/papers/fensel/bild.ps.gz, 19951023 23.10.95 1 symptom disease caused-by probability finding generate hypothesis select preferencecausality diagnosis Domain Layer Inference Layer hypothesis := generate(finding, causality); diagnosis := select(hypothesis, preference) Task Layer Goal: Find the diagnosis which explains the reported
	ftp://swi.psy.uva.nl/pub/papers/fensel/example.ps.gz, 19951031 1 version: 30.10.95 1 Hill Climbing 1.1 Task: Find the Optimal Node of a Graph The entire methods is depictered by Figure 5. 1.1.1 Task Find Optimum Sorts Node, Value Functions value: Node fi Value Variables X,Y: Node, V : Value Predicates output(Node) Formulas $X (output(X) node(X) $Y
	ftp://swi.psy.uva.nl/pub/papers/fensel/sfb.ps.gz, 19951107 6.10.95 1 Wiederverwendbare Bausteine in wissensbasierten Agentensystemen Projekt AIFB, Prof. Dr. R. Studer & Dr. D. Fensel 3.2 Zusammenfassung In dem Projekt werden Methoden und Werkzeuge f r die Entwicklung und den Gebrauch wiederverwendbarer Wissensbasen, wiederverwendbarer Probleml sern und
	ftp://swi.psy.uva.nl/pub/papers/fensel/karsten.ps.gz, 19951107 A framework for the different steps of a KBS life cycle. Xavier TALON and Christine PIERRET-GOLBREICH L.R.I., CNRS URA 410 University of Paris Sud 91405 ORSAY Cedex, France mail: talon, pierret@lri.fr
	ftp://swi.psy.uva.nl/pub/xpce/Windows/pclicense.ps.gz, 19951110 XPCE/SWI-Prolog for Windows-95 and Windows-NT XPCE/SWI-Prolog for Windows is distributed in executable format for non-commercial usage. A licence allows for running an unlimited number of copies on any machine owned by or in use by the licence holder. Employees of the licence holder may run
	ftp://swi.psy.uva.nl/pub/xpce/Windows/pclicence.ps.gz, 19951110 XPCE/SWI-Prolog for Windows-95 and Windows-NT XPCE/SWI-Prolog for Windows is distributed in executable format for non-commercial usage. A licence allows for running an unlimited number of copies on any machine owned by or in use by the licence holder. Employees of the licence holder may run
	ftp://swi.psy.uva.nl/pub/papers/fensel/mlcm/rix.ps, 19951120 A Formal Semantics and Axiomatization for Specifying the Dynamics of Knowledge-based Systems Dieter Fensel Rix Groenboom y Draft report, of:November 20, 1995
	ftp://swi.psy.uva.nl/pub/papers/fensel/example.bob.ps, 19951128 1 version: 14.11.95 Hill Climbing In the following, we discuss the task of finding a global optimum and the weak problemsolving method hill climbing which finds a local optimum. We also discuss some assumptions under which the problem-solving method find the global optimum, i.e., fulfils completely the
	ftp://swi.psy.uva.nl/pub/dehoog/report3.ps, 19951130 ESPRIT DELIVERABLE Project 8282 HUMAN HUMAN Decision Support System for Human Resources Management Validation of the CommonKADS methodology (3) Authors Jacobijn Sandberg Robert de Hoog University of Amsterdam Workpackage: WP 5 Deliverable: D5.1.3 Validation Report Month 16 Date November 30, 1995 Type
	ftp://swi.psy.uva.nl/pub/qr95/phd.ps.gz, 19961219 Model-Based Diagnosis of Student Behaviour Kees de Koning University of Amsterdam, Department of Social Science Informatics Roetersstraat 15, 1018 WB Amsterdam, The Netherlands December 19, 1996 Contents 1 Introduction 4 1.1 Overview : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://swi.psy.uva.nl/pub/xpce/doc/CXX/pce2cxx.ps.gz, 19970404 University of Amsterdam Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands Tel. (+31) 20 5256786 A C++ interface for XPCE Jan Wielemaker Anjo Anjewierden fjan,anjog@swi.psy.uva.nl XPCE is an object-management system and GUI toolkit designed for interactive,
	ftp://swi.psy.uva.nl/pub/SWI-Prolog/refman2.9/figs/swi.ps, 19970513 S SS IIIWWW
	ftp://swi.psy.uva.nl/pub/GAMES-II/vanHeijst:95a.ps.gz, 19970901 The Role of Ontologies in Knowledge Engineering Cover design: Natascha Theunissen THE ROLE OF ONTOLOGIES IN KNOWLEDGE ENGINEERING ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr P.W.M. de Meijer ten overstaan van
	ftp://swi.psy.uva.nl/pub/cml/cml2parser.ps, 19971104 CML2 parser version 2.0.8 Anjo Anjewierden SWI, University of Amsterdam Roetersstraat 15 1018 WB Amsterdam email: anjo@swi.psy.uva.nl November 4, 1997
	ftp://swi.psy.uva.nl/pub/cml/cml2.ps, 19980216 CML2 syntax (17th draft) Anjo Anjewierden and Guus Schreiber SWI, University of Amsterdam Roetersstraat 15 1018 WB Amsterdam email: anjo@swi.psy.uva.nl February 16, 1998