Frank van Harmelen

Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, Henri E. Bal: WebPIE: A Web-scale Parallel Inference Engine using MapReduce. J. Web Sem. 10: 59-75 (2012)

Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, Henri E. Bal: Reply to comment on "WebPIE: A Web-scale parallel inference engine using MapReduce". J. Web Sem. 15: 71-72 (2012)

Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, Henri E. Bal: Corrigendum to "WebPIE: A Web-scale Parallel Inference Engine using MapReduce" [Web Semant. Sci. Serv. Agents World Wide Web 10 (2012) 59-75]. J. Web Sem. 17: 44 (2012)

Krystyna Milian, Anca I. D. Bucur, Frank van Harmelen: Building a Library of Eligibility Criteria to Support Design of Clinical Trials. EKAW 2012: 327-336

Frank van Harmelen, George Kampis, Katy Börner, Peter Van den Besselaar, Erik Schultes, Carole A. Goble, Paul T. Groth, Barend Mons, Stuart Anderson, Stefan Decker, Conor Hayes, Thierry Buecheler, Dirk Helbing: Theoretical And Technological Building Blocks For An Innovation Accelerator. CoRR abs/1210.1480 (2012)

Dedre Gentner, Frank van Harmelen, Pascal Hitzler, Krzysztof Janowicz, Kai-Uwe Kühnberger: Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221). Dagstuhl Reports 2(5): 93-116 (2012)

Yi Zeng, Ning Zhong, Yan Wang, Yulin Qin, Zhisheng Huang, Haiyan Zhou, Yiyu Yao, Frank van Harmelen: User-centric query refinement and processing using granularity-based strategies. Knowl. Inf. Syst. 27(3): 419-450 (2011)

Krystyna Milian, Annette ten Teije, Anca I. D. Bucur, Frank van Harmelen: Patterns of Clinical Trial Eligibility Criteria. KR4HC 2011: 145-157

Jun Fang, Zhisheng Huang, Frank van Harmelen: A Method of Contrastive Reasoning with Inconsistent Ontologies. JIST 2011: 1-16

Frank van Harmelen, Annette ten Teije, Holger Wache: Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web. Foundations for the Web of Information and Services 2011: 57-75

Arjon Buikstra, Hansjörg Neth, Lael Schooler, Annette ten Teije, Frank van Harmelen: Ranking Query Results from Linked Open Data using a simple cognitive heuristic. LDH 2011: 55-60

Frank van Harmelen: Keynote: 10 Years of Semantic Web Research: Searching for Universal Patterns. International Semantic Web Conference (2) 2011: 389

Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, Henri E. Bal: QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases. International Semantic Web Conference (1) 2011: 730-745

Yan Wang, Zhisheng Huang, Yi Zeng, Ning Zhong, Frank van Harmelen: Interleaving Reasoning and Selection with Knowledge Summarization. SKG 2011: 122-129

Jun Fang, Zhisheng Huang, Frank van Harmelen: Contrastive Reasoning with Inconsistent Ontologies. Web Intelligence 2011: 191-194

Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi: Preface - Special issue on commonsense reasoning for the semantic web. Ann. Math. Artif. Intell. 58(1-2): 1-2 (2010)

Pascal Hitzler, Frank van Harmelen: A reasonable Semantic Web. Semantic Web 1(1-2): 39-44 (2010)

Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, Henri E. Bal: OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples. ESWC (1) 2010: 213-227

Rinke Hoekstra, Arno R. Lodder, Frank van Harmelen: Case Frames as Contextual Mappings to Case Law in BestPortal. JURIX 2010: 77-86

Christophe Guéret, Paul T. Groth, Frank van Harmelen, Stefan Schlobach: Finding the Achilles Heel of the Web of Data: Using Network Analysis for Link-Recommendation. International Semantic Web Conference (1) 2010: 289-304

Gaston Tagni, Stefan Schlobach, Annette ten Teije, Frank van Harmelen, Giorgios Karafotias: A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval. STAIRS 2010: 328-340

Spyros Kotoulas, Eyal Oren, Frank van Harmelen: Mind the data skew: distributed inferencing by speeddating in elastic regions. WWW 2010: 531-540

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Robbert-Jan Merk, Annette ten Teije, Frank van Harmelen, Radu Serban: Using model checking for critiquing based on clinical guidelines. Artificial Intelligence in Medicine 46(1): 19-36 (2009)

Emanuele Della Valle, Stefano Ceri, Frank van Harmelen, Dieter Fensel: It's a Streaming World! Reasoning upon Rapidly Changing Information. IEEE Intelligent Systems 24(6): 83-89 (2009)

Eyal Oren, Spyros Kotoulas, George Anadiotis, Ronny Siebes, Annette ten Teije, Frank van Harmelen: Marvin: Distributed reasoning over large-scale Semantic Web data. J. Web Sem. 7(4): 305-316 (2009)

Krystyna Milian, Zharko Aleksovski, Richard Vdovjak, Annette ten Teije, Frank van Harmelen: Identifying Disease-Centric Subdomains in Very Large Medical Ontologies: A Case-Study on Breast Cancer Concepts in SNOMED CT. Or: Finding 2500 Out of 300.000. KR4HC 2009: 50-63

Frank van Harmelen: Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem. AMT 2009: 3

Frank van Harmelen: Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem. Brain Informatics 2009: 3

Frank van Harmelen, Annette ten Teije, Holger Wache: Knowledge engineering rediscovered: towards reasoning patterns for the semantic web. K-CAP 2009: 81-88

Jacopo Urbani, Spyros Kotoulas, Eyal Oren, Frank van Harmelen: Scalable Distributed Reasoning Using MapReduce. International Semantic Web Conference 2009: 634-649

Ruud Stegers, Frank van Harmelen, Annette ten Teije: The Free Speech Engine: Conversational Web Service Compatibility for Free. SWWS 2009: 53-59

Peter Haase, Ronny Siebes, Frank van Harmelen: Expertise-based peer selection in Peer-to-Peer networks. Knowl. Inf. Syst. 15(1): 75-107 (2008)

Gaston Tagni, Annette ten Teije, Frank van Harmelen: Reasoning about Repairability of Workflows at Design Time. Business Process Management Workshops 2008: 455-467

Frank van Harmelen: Semantic Web Meets ILP: Unconsumated Love, or No Love Lost?. ILP 2008: 3

Dieter Fensel, Frank van Harmelen, Bo Andersson, Paul Brennan, Hamish Cunningham, Emanuele Della Valle, Florian Fischer, Zhisheng Huang, Atanas Kiryakov, Tony Kyung-il Lee, Lael Schooler, Volker Tresp, Stefan Wesner, Michael Witbrock, Ning Zhong: Towards LarKC: A Platform for Web-Scale Reasoning. ICSC 2008: 524-529

Zhisheng Huang, Frank van Harmelen: Using Semantic Distances for Reasoning with Inconsistent Ontologies. International Semantic Web Conference 2008: 178-194

Zhisheng Huang, Stefan Schlobach, Frank van Harmelen, Nuria Casellas, Pompeu Casanovas: Dynamic Aspects of OPJK Legal Ontology. Computable Models of the Law, Languages, Dialogues, Games, Ontologies 2008: 113-129

Elisabeth M. Uijttenbroek, Arno R. Lodder, Michel C. A. Klein, Gwen R. Wildeboer, Wouter Van Steenbergen, Rory L. L. Sie, Paul E. M. Huygen, Frank van Harmelen: Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project. Computable Models of the Law, Languages, Dialogues, Games, Ontologies 2008: 291-311

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde: Extraction and use of linguistic patterns for modelling medical guidelines. Artificial Intelligence in Medicine 39(2): 137-149 (2007)

Dieter Fensel, Frank van Harmelen: Unifying Reasoning and Search to Web Scale. IEEE Internet Computing 11(2): 94-96 (2007)

Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen: Debugging Incoherent Terminologies. J. Autom. Reasoning 39(3): 317-349 (2007)

Frank van Harmelen, Michael Uschold: Where is the Web in the Semantic Web? J. Web Sem. 5(4): 225-226 (2007)

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen: The Role of Model Checking in Critiquing Based on Clinical Guidelines. AIME 2007: 411-420

Wouter van Atteveldt, Stefan Schlobach, Frank van Harmelen: Media, Politics and the Semantic Web. ESWC 2007: 205-219

Elisabeth M. Uijttenbroek, Michel C. A. Klein, Arno R. Lodder, Frank van Harmelen: Case law retrieval by concept search and visualization. ICAIL 2007: 95-96

David Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Christopher Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou: Open Knowledge. LADS 2007: 1-18

Ronny Siebes, David Dupplaw, Spyros Kotoulas, Adrian Perreau de Pinninck, Frank van Harmelen, David Robertson: The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing. OTM Conferences (1) 2007: 381-390

Stefan Schlobach, E. Blaauw, M. El Kebir, Annette ten Teije, Frank van Harmelen, S. Bortoli, M. C. Hobbelman, K. Millian, Y. Ren, S. Stam, P. Thomassen, R. C. van het Schip, W. van Willigem: Anytime Classification by Ontology Approximation. New Forms of Reasoning for the Semantic Web 2007

Risto Gligorov, Warner ten Kate, Zharko Aleksovski, Frank van Harmelen: Using Google distance to weight approximate ontology matches. WWW 2007: 767-776

Ruzica Piskac, Frank van Harmelen, Ning Zhong (Eds.): Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007. CEUR Workshop Proceedings 291, CEUR-WS.org 2007

Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter J. F. Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang: Improving medical protocols by formal methods. Artificial Intelligence in Medicine 36(3): 193-209 (2006)

Frank van Harmelen: Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges. CIA 2006: 1-7

Ruud Stegers, Annette ten Teije, Frank van Harmelen: From Natural Language to Formal Proof Goal. EKAW 2006: 51-58

Zharko Aleksovski, Michel C. A. Klein, Warner ten Kate, Frank van Harmelen: Matching Unstructured Vocabularies Using a Background Ontology. EKAW 2006: 182-197

Frank van Harmelen: Where Does It Break? or: Why the Semantic Web Is Not Just "Research as Usual". ESWC 2006: 1

Frank van Harmelen: Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation. IAT 2006: 11

Michel C. A. Klein, Wouter Van Steenbergen, Elisabeth M. Uijttenbroek, Arno R. Lodder, Frank van Harmelen: Thesaurus-based Retrieval of Case Law. JURIX 2006: 61-70

Zharko Aleksovski, Warner ten Kate, Frank van Harmelen: Exploiting the Structure of Background Knowledge Used in Ontology Matching. Ontology Matching 2006

Ron Brachman, Dan Connolly, Rohit Khare, Frank Smadja, Frank van Harmelen: Meaning on the web: evolution vs intelligent design? WWW 2006: 745

Perry Groot, Annette ten Teije, Frank van Harmelen: A quantitative analysis of the robustness of knowledge-based systems through degradation studies. Knowl. Inf. Syst. 7(2): 224-245 (2005)

Frank van Harmelen: Ontology Mapping: A Way Out of the Medical Tower of Babel? AIME 2005: 3-6

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde: Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. AIME 2005: 191-200

Marjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen: Formalising Medical Quality Indicators to Improve Guidelines. AIME 2005: 201-210

Zhisheng Huang, Frank van Harmelen, Annette ten Teije: Reasoning with Inconsistent Ontologies. BNAIC 2005: 349-350

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde: Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. BNAIC 2005: 381-382

Zhisheng Huang, Frank van Harmelen, Annette ten Teije: Reasoning with Inconsistent Ontologies. IJCAI 2005: 454-459

Ronny van Laarschot, Wouter Van Steenbergen, Heiner Stuckenschmidt, Arno R. Lodder, Frank van Harmelen: The Legal Concepts and the Layman's Terms - Bridging the Gap through Ontology-Based Reasoning about Liability. JURIX 2005: 115-125

Grigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21

Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, York Sure: A Framework for Handling Inconsistency in Changing Ontologies. International Semantic Web Conference 2005: 353-367

Grigoris Antoniou, Frank van Harmelen: A semantic web primer. MIT Press 2004, isbn 978-0-262-01210-2, pp. I-XX, 1-238

Maksym Korotkiy, Rutger Middelburg, Henk Dekker, Frank van Harmelen, Jan Lankelma: A tool for gene expression based PubMed search through combining data sources. Bioinformatics 20(12): 1980-1982 (2004)

Frank van Harmelen: The Semantic Web: What, Why, How, and When. IEEE Distributed Systems Online 5(3) (2004)

Heiner Stuckenschmidt, Frank van Harmelen, Anita de Waard, Tony Scerri, Ravinder Bhogal, Jan van Buel, Ian Crowlesmith, Christiaan Fluit, Arjohn Kampman, Jeen Broekstra, Erik M. van Mulligen: Exploring Large Document Repositories with RDF Technology: The DOPE Project. IEEE Intelligent Systems 19(3): 34-40 (2004)

Heiner Stuckenschmidt, Frank van Harmelen: Generating and managing metadata for Web-based information systems. Knowl.-Based Syst. 17(5-6): 201-206 (2004)

Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: Contextualizing ontologies. J. Web Sem. 1(4): 325-343 (2004)

Peter Haase, Björn Schnizler, Jeen Broekstra, Marc Ehrig, Frank van Harmelen, Maarten Menken, Peter Mika, Michal Plechawski, Pawel Pyszlak, Ronny Siebes, Steffen Staab, Christoph Tempich: Bibster - a semantics-based bibliographic Peer-to-Peer system. J. Web Sem. 2(1): 99-103 (2004)

Grigoris Antoniou, Frank van Harmelen: Web Ontology Language: OWL. Handbook on Ontologies 2004: 67-92

Christiaan Fluit, Marta Sabou, Frank van Harmelen: Supporting User Tasks through Visualisation of Light-weight Ontologies. Handbook on Ontologies 2004: 415-434

Annette ten Teije, Frank van Harmelen, Bob J. Wielinga: Configuration of Web Services as Parametric Design. ECAI 2004: 1097-1098

Annette ten Teije, Frank van Harmelen, Bob J. Wielinga: Configuration of Web Services as Parametric Design. EKAW 2004: 321-336

Heiner Stuckenschmidt, Anita de Waard, Ravinder Bhogal, Christiaan Fluit, Arjohn Kampman, Jan van Buel, Erik M. van Mulligen, Jeen Broekstra, Ian Crowlesmith, Frank van Harmelen, Tony Scerri: A Topic-Based Browser for Large Online Resources. EKAW 2004: 433-448

Peter Haase, Ronny Siebes, Frank van Harmelen: Peer Selection in Peer-to-Peer Networks with Semantic Topologies. ICSNW 2004: 108-125

Perry Groot, Annette ten Teije, Frank van Harmelen: Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. KR 2004: 399-406

Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini: Using C-OWL for the alignment and merging of medical ontologies. KR-MED 2004: 88-101

Jeen Broekstra, Christiaan Fluit, Arjohn Kampman, Frank van Harmelen, Heiner Stuckenschmidt, Ravinder Bhogal, A. Scerri, Anita de Waard, Erik M. van Mulligen: The Drug Ontology Project for Elsevier - An RDF Architecture Enabling Thesaurus-Driven Data Integration. WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web 2004

Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen (Eds.): The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings. Lecture Notes in Computer Science 3298, Springer 2004, isbn 3-540-23798-4

Dieter Fensel, Enrico Motta, Frank van Harmelen, V. Richard Benjamins, Monica Crubézy, Stefan Decker, Mauro Gaspari, Rix Groenboom, William E. Grosso, Mark A. Musen, Enric Plaza, Guus Schreiber, Rudi Studer, Bob J. Wielinga: The Unified Problem-Solving Method Development Language UPML. Knowl. Inf. Syst. 5(1): 83-131 (2003)

Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen: From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Sem. 1(1): 7-26 (2003)

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli: Experiences in the Formalisation and Verification of Medical Protocols. AIME 2003: 132-141

Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba: Informal and Formal Medical Guidelines: Bridging the Gap. AIME 2003: 173-178

Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Ontologies and Schema Languages on the Web. Spinning the Semantic Web 2003: 95-139

Jeen Broekstra, Arjohn Kampman, Frank van Harmelen: Sesame: An Architecture for Storin gand Querying RDF Data and Schema Information. Spinning the Semantic Web 2003: 197-222

Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: C-OWL: Contextualizing Ontologies. International Semantic Web Conference 2003: 164-179

Marc Ehrig, Christoph Tempich, Jeen Broekstra, Frank van Harmelen, Marta Sabou, Ronny Siebes, Steffen Staab, Heiner Stuckenschmidt: SWAP: Ontology-based Knowledge Management with Peer-to-Peer Technology. Wissensmanagement 2003: 17-20

Marc Ehrig, Christoph Tempich, Jeen Broekstra, Frank van Harmelen, Marta Sabou, Ronny Siebes, Steffen Staab, Heiner Stuckenschmidt: SWAP - Ontology-based Knowledge Management with Peer-to-Peer Technology. WOW 2003

Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Enabling knowledge representation on the Web by extending RDF Schema. Computer Networks 39(5): 609-634 (2002)

Frank van Harmelen: How the semantic web will change KR: challenges and opportunities for a new research agenda. Knowledge Eng. Review 17(1): 93-96 (2002)

Christiaan Fluit, Marta Sabou, Frank van Harmelen: Ontology-based Information Visualization. Visualizing the Semantic Web 2002: 36-48

Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen: Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002: 792-797

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen: From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. EKAW 2002: 49-64

Heiner Stuckenschmidt, Jens Hartmann, Frank van Harmelen: Learning Structural Classification Rules for Web-Page Categorization. FLAIRS Conference 2002: 440-444

Heiner Stuckenschmidt, Frank van Harmelen: Approximating Terminological Queries. FQAS 2002: 329-343

Jeen Broekstra, Arjohn Kampman, Frank van Harmelen: Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. International Semantic Web Conference 2002: 54-68

Frank van Harmelen (Ed.): Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002. IOS Press 2002

Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems 16(2): 38-45 (2001)

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems: A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Trans. Knowl. Data Eng. 13(3): 462-496 (2001)

Mar Marcos, Geert Berger, Frank van Harmelen, Annette ten Teije, Hugo Roomans, Silvia Miksch: Using Critiquing for Improving Medical Protocols: Harder than It Seems. AIME 2001: 431-441

Frank van Harmelen, Jeen Broekstra, Christiaan Fluit, Herko ter Horst, Arjohn Kampman, Jos van der Meer, Marta Sabou: Ontology-Based Information Visualisation. IV 2001: 546-554

Heiner Stuckenschmidt, Frank van Harmelen: Ontology-based metadata generation from semi-structured information. K-CAP 2001: 163-170

Heiner Stuckenschmidt, Frank van Harmelen: Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System. Web Intelligence 2001: 217-226

Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Enabling knowledge representation on the Web by extending RDF schema. WWW 2001: 467-478

Stefan Decker, Sergey Melnik, Frank van Harmelen, Dieter Fensel, Michel C. A. Klein, Jeen Broekstra, Michael Erdmann, Ian Horrocks: The Semantic Web: The Roles of XML and RDF. IEEE Internet Computing 4(5): 63-74 (2000)

Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra: Knowledge Representation on the Web. Description Logics 2000: 89-97

Annette ten Teije, Frank van Harmelen: Describing Problem Solving Methods using Anytime Performance Profiles. ECAI 2000: 181-185

Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein: OIL in a Nutshell. EKAW 2000: 1-16

Perry Groot, Frank van Harmelen, Annette ten Teije: Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems. EKAW 2000: 403-418

Arne Bultmann, Joris Kuipers, Frank van Harmelen: Maintenance of KBS's by Domain Experts: The Holy Grail in Practice. IEA/AIE 2000: 139-148

Alan Verberne, Frank van Harmelen, Annette ten Teije: Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. KR 2000: 323-332

Arjen Vollebregt, Annette ten Teije, Frank van Harmelen, Johan van der Lei, Mees Mosseveld: A study of PROforma, a development methodology for clinical procedures. Artificial Intelligence in Medicine 17(2): 195-221 (1999)

Tim Menzies, Frank van Harmelen: Editorial: Evaluating knowledge engineering techniques. Int. J. Hum.-Comput. Stud. 51(4): 715-727 (1999)

Perry Groot, Annette ten Teije, Frank van Harmelen: Formally Verifying Dynamic Properties of Knowledge Based Systems. EKAW 1999: 157-171

Frank van Harmelen, Jos van der Meer: WebMaster: Knowledge-Based Verification of Web-Pages. IEA/AIE 1999: 256-265

Frank van Harmelen, Dieter Fensel: Practical Knowledge Representation for the Web. Intelligent Information Integration 1999

Grigoris Antoniou, Frank van Harmelen, Robert Plant, Jan Vanthienen: Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AI Magazine 19(3): 123-126 (1998)

Annette ten Teije, Frank van Harmelen, A. Th. Schreiber, Bob J. Wielinga: Construction of problem-solving methods as parametric design. Int. J. Hum.-Comput. Stud. 49(4): 363-389 (1998)

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems: Specification of Dynamics for Knowledge-Based Systems. Transactions and Change in Logic Databases 1998: 37-68

Annette ten Teije, Frank van Harmelen: Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. ECAI 1998: 78-82

Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus: Formalisation for decision support in anaesthesiology. Artificial Intelligence in Medicine 11(3): 189-214 (1997)

Frank van Harmelen, Annette ten Teije: Validation and Verification of Conceptual Models of Diagnosis. EUROVAV 1997: 117-128

Annette ten Teije, Frank van Harmelen: Exploiting Domain Knowledge for Approximate Diagnosis. IJCAI (1) 1997: 454-459

Jan Vanthienen, Frank van Harmelen (Eds.): Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium. Katholieke Universiteit Leuven, Belgium 1997

Frank van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche: Evaluating a Formal KBS Specification Language. IEEE Expert 11(1): 56-62 (1996)

Frank van Harmelen, Manfred Aben: Structure-preserving specification languages for knowledge-based systems. Int. J. Hum.-Comput. Stud. 44(2): 187-212 (1996)

Frances M. T. Brazier, Frank van Harmelen, Remco Straatman, Jan Treur, Niek J. E. Wijngaards, Mark Willems: The REVISE Project: A Purpose Driven Method for Language Comparison. EKAW 1996: 66-81

Annette ten Teije, Frank van Harmelen: Computing Approximate Diagnoses By Using Approximate Entailment. KR 1996: 256-265

John van den Elst, Monique Thonnat, Frank van Harmelen: Modelling software components for reuse. SEKE 1995: 350-357

Frank van Harmelen, Annette ten Teije: Using Domain Knowledge to Select Solutions in Abductive Diagnosis. ECAI 1994: 652-656

Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke van de Plassche: Evaluating a Formal Modelling Language. EKAW 1994: 26-45

Frank van Harmelen: A Model of Costs and Benefits of Meta-Level Computation. META 1994: 248-261

John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat: A functional specification of reusing software components. SEKE 1994: 374-381

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill: Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993)

Frank van Harmelen, John Balder: (ML)2: A Formal Language for KADS Models. ECAI 1992: 582-586

Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß: Controlling Generate & Test in Any Time. GWAI 1992: 110-121

Frank van Harmelen: Definable Naming Relations in Meta-level Systems. META 1992: 89-104

Martin Reinders, Erik Vinkhuyzen, Angi Voß, Hans Akkermans, John Balder, Brigitte Bartsch-Spörl, Bert Bredeweg, Uwe Drouven, Frank van Harmelen, Werner Karbach, Zeger Karssen, Guus Schreiber, Bob J. Wielinga: A Conceptual Modelling Framework for Knowledge-level Reflection. AI Commun. 4(2/3): 74-87 (1991)

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill: Experiments with Proof Plans for Induction. J. Autom. Reasoning 7(3): 303-324 (1991)

Frank van Harmelen: META'90: A Workshop on Meta-programming in Logic-programmingK.U. Leuven, Belgium, april 4-6, 1990. AI Commun. 3(2): 80-81 (1990)

Frank van Harmelen: Truth and Modality for Knowledge Representation. AI Commun. 3(2): 82 (1990)

Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146

Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill: The Oyster-Clam System. CADE 1990: 647-648

Frank van Harmelen: An Overview of Metal-level Architectures for Control in Experts Systems. Elektronische Informationsverarbeitung und Kybernetik 25(1/2): 21-35 (1989)

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365

Frank van Harmelen, Alan Bundy: Explanation-Based Generalisation = Partial Evaluation. Artif. Intell. 36(3): 401-412 (1988)

Frank van Harmelen: The Limitations of Partial Evaluation. IMYCS 1988: 170-187

Frank van Harmelen: A Classification of Meta-level Architectures. META 1988: 103-122