If you made any changes in Pure these will be visible here soon.

Research Output 1988 2020

1988

Explanation Based Generalisation = Partial Evaluation

van Harmelen, F. A. H. & Bundy, A., Oct 1988, In : Artificial Intelligence. 36, 3, p. 401-412 12 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Functional programming
Logic programming
Learning systems
logic
equivalence
1991

Experiments with proof plans for induction

van Harmelen, F. A. H., Hesketh, J., Bundy, A. & Smaill, A., 1991, In : Journal of Automated Reasoning. 7, p. 303-324

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
1992

(ML)2: a formal language for KADS models of expertise

van Harmelen, F. A. H. & Balder, J. R., 1992, KADS: A Principled Approach to Knowledge-Based System Development. p. 127-161

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Formal languages

(ML)2: a formal language for KADS models of expertise (short version)

van Harmelen, F. A. H. & Balder, J., 1992, Proceedings of the Tenth European Conference on AI (ECAI'92). p. 582-586

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File

Definable naming relations in meta-level systems

van Harmelen, F. A. H., 1992, Proceedings of the Third Workshop on Meta-programming in Logic ({META'92}). Springer-Verlag, p. 89-104

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Syntactics
Semantics

Knowledge-Level Reflection

van Harmelen, F. A. H., Wielinga, B. J., Bredeweg, B., Schreiber, G., Karbach, W., Reinders, M., Voss, A., Akkermans, H., Bartsch-Spoerl, B. & Vinkhuyzen, E., 1992.

Research output: Working paperAcademic

Open Access
File
Reflective
Experiment
1993

A KADS/(ML)2 model of a scheduling task

Balder, J., van Harmelen, F. A. H. & Aben, M., 1993, Formal Specification of Complex Reasoning Systems. Ellis Horwood, p. 15-44

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

Open Access
File
Knowledge engineering
Scheduling

Comparing Formal Specification Languages for Complex Reasoning Systems

van Harmelen, F., Lopez de Mantaras, R., Malec, J. & Treur, J., 1993, Formal Specification of Complex Reasoning Systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 257-282 26 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Controlling generate & test in any time

Coulon, C., van Harmelen, F. A. H., Karbach, W. & Voss, A., 1993, Proceedings of the German Workshop on AI (GWAI'92). Springer-Verlag, p. 304-306

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Managers
1994

A comparison of languages which operationalise and formalise {KADS} models of expertise

Fensel, D. & van Harmelen, F. A. H., Jun 1994, In : Knowledge Engineering Review. 9, 2, p. 105-146 42 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Rapid prototyping
Knowledge engineering
Formal languages
Specification languages
Bibliographies

A model of costs and benefits of meta-level computation

van Harmelen, F. A. H., 1994, Proceedings of the Fourth Workshop on Meta-programming in Logic ({META'94}). Springer-Verlag, p. 248-261

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Costs

An extended spectrum of logical definitions for diagnostic sytems

ten Teije, A. & van Harmelen, F. A. H., 1994, Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
consoles

Evaluating a Formal Specification Language

Ruiz, F., van Harmelen, F. A. H., Aben, M. & van de Plassche, J., 1994, A Future for Knowledge Acquisition Proc. 8th EKAW. Springer-Verlag, p. 26-45

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Specification languages
Formal languages
Formal specification
Modeling languages

Using domain knowledge to select solutions in abductive diagnosis

van Harmelen, F. A. H. & ten Teije, A., 1994, Proceedings of {ECAI}'94. p. 652-656

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
1995

Approximations in diagnosis: motivations and techniques

van Harmelen, F. A. H. & ten Teije, A., 1995, Proceedings of the Symposium on Abstraction, Reformulation and Approximation, (\uc{SARA}'95).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Motivation

Formal Methods in Knowledge Engineering

van Harmelen, F. A. H. & Fensel, D., Dec 1995, In : Knowledge Engineering Review. 10, 4, p. 345-360 16 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Knowledge engineering
Formal methods
1996

A Purpose Driven Method for Language Comparison

Brazier, F. M., van Harmelen, F. A. H., Straatman, R., Treur, J., Wijngaards, N. J. E. & Willems, M., 1996, Advances in Knowledge Acquisition - 9th European Knowledge Acquisition Workshop, EKAW 1996, Proceedings. Shadbolt, N., O'Hara, K. & Schreiber, A. T. (eds.). Springer/Verlag, Vol. 1076. p. 66-81 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1076).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Knowledge engineering
Linguistics
Decomposition
Knowledge Engineering
Comparison Method

Computing approximate diagnoses by using approximate entailment

ten Teije, A. & van Harmelen, F. A. H., 1996, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'96}). p. 265-256

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Computing
Approximation
Parameterise
Diagnostics
Efficient Algorithms

Evaluating a formal KBS specification language

van Harmelen, F. A. H., Aben, M., Ruiz, F. & van de Plassche, J., Feb 1996, In : IEEE expert. 11, 1, p. 56-62 7 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Specification languages
Knowledge based systems
Formal languages

Structure preserving specification languages for knowledge-based systems

van Harmelen, F. A. H. & Aben, M., Feb 1996, In : International Journal of Human-computer Studies. 44, 2, p. 187-212 26 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Specification languages
knowledge-based system
Knowledge based systems
Language
system development

Summary of the KEML'96 workshop

Benjamins, R., van Harmelen, F. A. H. & Wijngaards, N. J. E., 1996, In : Knowledge Engineering Review. 11, 2, p. 193-195 3 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Using reflection techniques for flexible problem solving (with examples from diagnosis)

ten Teije, A. & van Harmelen, F. A. H., Sep 1996, In : Future Generation Computer Systems. 12, 2-3, p. 217-234 18 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
1997

Applying rule-base anomalies to KADS inference structures

Van Harmelen, F., Dec 1997, In : Decision Support Systems. 21, 4, p. 271-280 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Knowledge representation
Inference
Anomaly
Knowledge-based systems

Exploiting domain knowledge for approximate diagnosis

ten Teije, A. & van Harmelen, F. A. H., 1997, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence ({IJCAI}'97). p. 454-459

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Railroad cars

Formalisation for decision support in anaesthesiology

Renardel de Lavalette, G. R., Groenboom, R., Rotterdam, E., van Harmelen, F., ten Teije, A. & de Geus, F., Nov 1997, In : Artificial Intelligence in Medicine. 11, 3, p. 189-214 26 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Anesthesiology
Knowledge Bases
System program documentation
Specification languages
Documentation

Validation and verification of conceptual models of diagnosis

van Harmelen, F. A. H. & ten Teije, A., 1997, Validation and verification of conceptual models of diagnosis. p. 117-128

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
1998

Construction of problem-solving methods as parametric design

Ten Teije, A., Van Harmelen, F., Schreiber, A. T. & Wielinga, B. J., Oct 1998, In : International Journal of Human-computer Studies. 49, 4, p. 363-389 27 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge engineering
Knowledge acquisition
Railroad cars
Libraries
knowledge acquisition

Formal support for development of knowledge-based systems

Fensel, D., van Harmelen, F., Reif, W. & ten Teije, A., 1998, In : Failure and Lessons …. p. 1-18 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Specifications
Knowledge-based systems
Formal verification
Formal specification

Formal Support for Development of Knowledge-Based Systems

Fensel, D., Van Harmelen, F., Reif, W. & Ten Teije, A., 1998, In : Failure and Lessons …. 2, 4, p. 173-182 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Specifications
Knowledge-based systems
Formal verification
Formal specification

Specification of Dynamics for Knowledge-Based Systems

van Eck, P., Engelfriet, J., Fensel, D., van Harmelen, F. A. H., Venema, Y. & Willems, M., 1998, Transactions and Change in Logic Databases: Invited Surveys and Selected Papers. Freitag, B. (ed.). Springer, p. 37-68 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1472).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Knowledge-based Systems
Knowledge based systems
Specification
Specifications
Specification languages
1999

A study of PROforma, a development methodology for clinical procedures

Vollebregt, A., ten Teije, A. C. M., van Harmelen, F. A. H., Mosseveld, M. & van der Lei, J., 1999, In : Artificial Intelligence in Medicine. 17, p. 195-221

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Knowledge engineering
Decision support systems
Software engineering
Language

Describing Problem Solving Methods using Anytime Performance profiles

ten Teije, A. C. M. & van Harmelen, F. A. H., 1999, Proceedings of the IJCAI'99 Workshop on Ontologies and Problem Solving Methods, 1999.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Formally verifying dynamic properties of KBS

Groot, P., ten Teije, A. C. M. & van Harmelen, F. A. H., 1999, In : Lecture Notes in Computer Science. 1621, p. 157-172

Research output: Contribution to JournalArticleAcademicpeer-review

Practical Knowledge Representation for the Web.

van Harmelen, F. A. H. & Fensel, D. A., 1999, In Proceedings of the Workshop on Intelligent Information Integration (III99) during IJCAI-99, Stockholm, Sweden, August 1999..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Practical Knowledge Representation for the Web.

van Harmelen, F. A. H. & Fensel, D. A., 1999, Proceedings of the IJCAI'99 Workshop on Intelligent Information Integration", 1999.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

WebMaster: Knowledge-based Verification of Web-pages

van Harmelen, F. A. H. & van der Meer, J., 1999, In : Lecture Notes in Computer Science.

Research output: Contribution to JournalArticleAcademicpeer-review

2000

"Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.

Verberne, A. S., van Harmelen, F. A. H. & ten Teije, A. C. M., 2000, Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'00}).. Giunchiglia, F. & Selman, B. (eds.). Boulder, Colorado: KR Inc., 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Describing Problem Solving Methods using Anytime Performance profiles.

van Harmelen, F. A. H. & ten Teije, A. C. M., 2000, Proceedings of 14th European Conference on AI, ECAI'00.. Horn, W. (ed.). Amsterdam: IOS Press, 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Knowledge-Based Meta-Data Validation: Analyzing a Web-Based Information System.

van Harmelen, F. A. H., Kampman, A., Stuckenschmidt, H. & Vogele, T., 2000, Fourtheenth International Symposium Informatics for Environmental Protection.. Greve, K. (ed.). German Computer Society, 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge Representation on the Web

Decker, S., Fensel, D. A., van Harmelen, F. A. H., Horrocks, I., Melnik, S., Klein, M. & Broekstra, J., 2000, International Workshop on Description Logics ({DL}'00).. Baader, F. (ed.). Aachen: University of Aachen

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge Representation on the Web.

Fensel, D. A., van Harmelen, F. A. H., Horrocks, I., Melnik, S., Klein, M. C. A. & Broekstra, J., 2000, In Proceedings of the 2000 International Workshop on Description Logics (DL2000):89-97.. Aachen, Germany

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Maintenance of KBS's by Domain Experts: The Holy Grail in Practice.

van Harmelen, F. A. H., Kuipers, J. & Bultman, A., 2000, Thirtheenth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE'00. Logananthara, R., Palm, G. & Ali, M. (eds.). Springer Verlag, 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Maintenance of KBS’s by domain experts the holy grail in practice

Bultman, A., Kuipers, J. & Van Harmelen, F., 2000, Intelligent Problem Solving: Methodologies and Approaches - 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, Proceedings. Springer/Verlag, Vol. 1821. p. 139-149 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1821).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Maintenance
Task Model
Knowledge Engineering
Knowledge engineering
Domain Ontology

OIL & UPML: A Unifying Framework for the Knowledge Web.

Fensel, D. A., Crubezy, M., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 4.1-4.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OIL and UPML: a unifying framework for the Knowledge Web.

Fensel, D. A., Cruzeby, M., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the {ECAI}'00 workshop on application of ontologies and problem-solving methods.. Benjamins, R. (ed.). Berlijn: ECCAI, 15 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Springer-Verlag

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Knowledge Acquisition, Modeling, and Management, Proceedings of the European Knowledge Acquisition Conference (EKAW-2000).. Dieng, R. (ed.). Springer-Verlag, p. 1-16 (Lecture Notes in Artificial Intelligence, LNAI).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

File

On-To-Knowledge: Ontology-based Tools for Knowledge Management

Fensel, D. A., van Harmelen, F. A. H., Klein, M., Akkermans, J. M., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Hughes, J., Krohn, U., Davies, J., Engels, R., Bremdal, B., Ygge, F., Lau, T., Novotny, B., Reimer, U. & Horrocks, I., 2000, eBusiness and eWork.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

OnToKnowledge: Ontology-based Tools for Knowledge Management.

Fensel, D. A., van Harmelen, F. A. H., Akkermans, J. M., Klein, M. C. A., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Davies, J., Hughes, J., Krohn, U., Engels, R., Bremdahl, B., Ygge, F., Reimer, U. & Horrocks, I., 2000, Proceedings of the eBusiness and eWork 2000 (EMMSEC 2000) Conference.. Madrid, Spain

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Ontology-based Tools for Knowledge Management.

Fensel, D. A., van Harmelen, F. A. H., Akkermans, J. M., Klein, M., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Davies, J., Hughes, J., Krohn, U., Engels, R., Bremdahl, B., Ygge, F., Reimer, U. & Horrocks, I., 2000, Proceedings of the eBusiness and eWork 2000 (EMMSEC 2000) Conference.. Madrid, Spain, p. 1105-1110

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File