dblp.uni-trier.dewww.uni-trier.de

Frank van Harmelen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
123EEFrank van Harmelen: Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem. AMT 2009: 3
122EEFrank van Harmelen: Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem. Brain Informatics 2009: 3
121 Ruud Stegers, Frank van Harmelen, Annette ten Teije: The Free Speech Engine: Conversational Web Service Compatibility for Free. SWWS 2009: 53-59
2008
120EEGaston Tagni, Annette ten Teije, Frank van Harmelen: Reasoning about Repairability of Workflows at Design Time. Business Process Management Workshops 2008: 455-467
119EEDieter 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
118EEFrank van Harmelen: Semantic Web Meets ILP: Unconsumated Love, or No Love Lost?. ILP 2008: 3
117EEZhisheng Huang, Frank van Harmelen: Using Semantic Distances for Reasoning with Inconsistent Ontologies. International Semantic Web Conference 2008: 178-194
116EEZhisheng 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
115EEElisabeth 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
114EEPeter Haase, Ronny Siebes, Frank van Harmelen: Expertise-based peer selection in Peer-to-Peer networks. Knowl. Inf. Syst. 15(1): 75-107 (2008)
2007
113 Ruzica Piskac, Frank van Harmelen, Ning Zhong: 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-WS.org 2007
112EEPerry 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
111EEWouter van Atteveldt, Stefan Schlobach, Frank van Harmelen: Media, Politics and the Semantic Web. ESWC 2007: 205-219
110EEElisabeth M. Uijttenbroek, Michel C. A. Klein, Arno R. Lodder, Frank van Harmelen: Case law retrieval by concept search and visualization. ICAIL 2007: 95-96
109EEDavid Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Chris Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou: Open Knowledge. LADS 2007: 1-18
108EEStefan 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
107EERonny 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
106EERisto Gligorov, Warner ten Kate, Zharko Aleksovski, Frank van Harmelen: Using Google distance to weight approximate ontology matches. WWW 2007: 767-776
105EERadu 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)
104EEDieter Fensel, Frank van Harmelen: Unifying Reasoning and Search to Web Scale. IEEE Internet Computing 11(2): 94-96 (2007)
103EEStefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen: Debugging Incoherent Terminologies. J. Autom. Reasoning 39(3): 317-349 (2007)
102EEFrank van Harmelen, Michael Uschold: Where is the Web in the Semantic Web? J. Web Sem. 5(4): 225-226 (2007)
2006
101EEFrank van Harmelen: Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges. CIA 2006: 1-7
100EEZharko Aleksovski, Michel C. A. Klein, Warner ten Kate, Frank van Harmelen: Matching Unstructured Vocabularies Using a Background Ontology. EKAW 2006: 182-197
99EERuud Stegers, Annette ten Teije, Frank van Harmelen: From Natural Language to Formal Proof Goal. EKAW 2006: 51-58
98EEFrank van Harmelen: Where Does It Break? or: Why the Semantic Web Is Not Just "Research as Usual". ESWC 2006: 1
97EEFrank van Harmelen: Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation. IAT 2006: 11
96 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
95EEZharko Aleksovski, Warner ten Kate, Frank van Harmelen: Exploiting the Structure of Background Knowledge Used in Ontology Matching. Ontology Matching 2006
94EERon Brachman, Dan Connolly, Rohit Khare, Frank Smadja, Frank van Harmelen: Meaning on the web: evolution vs intelligent design? WWW 2006: 745
93EEAnnette 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)
2005
92EERadu 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
91EEMarjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen: Formalising Medical Quality Indicators to Improve Guidelines. AIME 2005: 201-210
90EEFrank van Harmelen: Ontology Mapping: A Way Out of the Medical Tower of Babel? AIME 2005: 3-6
89 Zhisheng Huang, Frank van Harmelen, Annette ten Teije: Reasoning with Inconsistent Ontologies. BNAIC 2005: 349-350
88 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
87EEZhisheng Huang, Frank van Harmelen, Annette ten Teije: Reasoning with Inconsistent Ontologies. IJCAI 2005: 454-459
86EEPeter 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
85 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
84EEGrigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21
83EEPerry 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)
2004
82 Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen: The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings Springer 2004
81 Annette ten Teije, Frank van Harmelen, Bob J. Wielinga: Configuration of Web Services as Parametric Design. ECAI 2004: 1097-1098
80EEAnnette ten Teije, Frank van Harmelen, Bob J. Wielinga: Configuration of Web Services as Parametric Design. EKAW 2004: 321-336
79EEHeiner 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
78EEPeter Haase, Ronny Siebes, Frank van Harmelen: Peer Selection in Peer-to-Peer Networks with Semantic Topologies. ICSNW 2004: 108-125
77 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
76EEHeiner 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
75EEJeen 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
74 Christiaan Fluit, Marta Sabou, Frank van Harmelen: Supporting User Tasks through Visualisation of Light-weight Ontologies. Handbook on Ontologies 2004: 415-434
73 Grigoris Antoniou, Frank van Harmelen: Web Ontology Language: OWL. Handbook on Ontologies 2004: 67-92
72EEMaksym 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)
71EEFrank van Harmelen: The Semantic Web: What, Why, How, and When. IEEE Distributed Systems Online 5(3): (2004)
70EEHeiner 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)
69EEPaolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: Contextualizing ontologies. J. Web Sem. 1(4): 325-343 (2004)
68EEPeter 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)
67EEHeiner Stuckenschmidt, Frank van Harmelen: Generating and managing metadata for Web-based information systems. Knowl.-Based Syst. 17(5-6): 201-206 (2004)
2003
66EEMar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli: Experiences in the Formalisation and Verification of Medical Protocols. AIME 2003: 132-141
65EEMarije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba: Informal and Formal Medical Guidelines: Bridging the Gap. AIME 2003: 173-178
64EEPaolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: C-OWL: Contextualizing Ontologies. International Semantic Web Conference 2003: 164-179
63 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
62 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
61EEMarc 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
60 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
59EEIan 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)
58EEDieter 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)
2002
57 Frank van Harmelen: Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002 IOS Press 2002
56 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
55EEMar 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
54 Heiner Stuckenschmidt, Jens Hartmann, Frank van Harmelen: Learning Structural Classification Rules for Web-Page Categorization. FLAIRS Conference 2002: 440-444
53EEHeiner Stuckenschmidt, Frank van Harmelen: Approximating Terminological Queries. FQAS 2002: 329-343
52EEJeen 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
51 Christiaan Fluit, Marta Sabou, Frank van Harmelen: Ontology-based Information Visualization. Visualizing the Semantic Web 2002: 36-48
50EEJeen 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)
2001
49EEMar 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
48EEFrank 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
47EEHeiner Stuckenschmidt, Frank van Harmelen: Ontology-based metadata generation from semi-structured information. K-CAP 2001: 163-170
46EEJeen 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
45EEHeiner Stuckenschmidt, Frank van Harmelen: Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System. Web Intelligence 2001: 217-226
44EEDieter 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)
43EEPascal 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)
2000
42EEStefan 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
41 Annette ten Teije, Frank van Harmelen: Describing Problem Solving Methods using Anytime Performance Profiles. ECAI 2000: 181-185
40EEDieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein: OIL in a Nutshell. EKAW 2000: 1-16
39EEPerry Groot, Frank van Harmelen, Annette ten Teije: Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems. EKAW 2000: 403-418
38EEArne Bultmann, Joris Kuipers, Frank van Harmelen: Maintenance of KBS's by Domain Experts: The Holy Grail in Practice. IEA/AIE 2000: 139-148
37 Alan Verberne, Frank van Harmelen, Annette ten Teije: Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. KR 2000: 323-332
36EEStefan 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)
1999
35EEPerry Groot, Annette ten Teije, Frank van Harmelen: Formally Verifying Dynamic Properties of Knowledge Based Systems. EKAW 1999: 157-171
34 Frank van Harmelen, Jos van der Meer: WebMaster: Knowledge-Based Verification of Web-Pages. IEA/AIE 1999: 256-265
33EEFrank van Harmelen, Dieter Fensel: Practical Knowledge Representation for the Web. Intelligent Information Integration 1999
32 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)
31EETim Menzies, Frank van Harmelen: Editorial: Evaluating knowledge engineering techniques. Int. J. Hum.-Comput. Stud. 51(4): 715-727 (1999)
1998
30 Annette ten Teije, Frank van Harmelen: Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. ECAI 1998: 78-82
29EEPascal 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
28 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)
27EEAnnette 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)
1997
26 Jan Vanthienen, Frank van Harmelen: 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
25 Frank van Harmelen, Annette ten Teije: Validation and Verification of Conceptual Models of Diagnosis. EUROVAV 1997: 117-128
24 Annette ten Teije, Frank van Harmelen: Exploiting Domain Knowledge for Approximate Diagnosis. IJCAI (1) 1997: 454-459
23 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)
1996
22 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
21 Annette ten Teije, Frank van Harmelen: Computing Approximate Diagnoses By Using Approximate Entailment. KR 1996: 256-265
20EEFrank van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche: Evaluating a Formal KBS Specification Language. IEEE Expert 11(1): 56-62 (1996)
19EEFrank van Harmelen, Manfred Aben: Structure-preserving specification languages for knowledge-based systems. Int. J. Hum.-Comput. Stud. 44(2): 187-212 (1996)
1995
18 John van den Elst, Monique Thonnat, Frank van Harmelen: Modelling software components for reuse. SEKE 1995: 350-357
1994
17 Frank van Harmelen, Annette ten Teije: Using Domain Knowledge to Select Solutions in Abductive Diagnosis. ECAI 1994: 652-656
16 Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke van de Plassche: Evaluating a Formal Modelling Language. EKAW 1994: 26-45
15 Frank van Harmelen: A Model of Costs and Benefits of Meta-Level Computation. META 1994: 248-261
14 John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat: A functional specification of reusing software components. SEKE 1994: 374-381
1993
13 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)
1992
12 Frank van Harmelen, John Balder: (ML)2: A Formal Language for KADS Models. ECAI 1992: 582-586
11 Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß: Controlling Generate & Test in Any Time. GWAI 1992: 110-121
10 Frank van Harmelen: Definable Naming Relations in Meta-level Systems. META 1992: 89-104
1991
9 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)
8 Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill: Experiments with Proof Plans for Induction. J. Autom. Reasoning 7(3): 303-324 (1991)
1990
7EEAlan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146
6EEAlan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill: The Oyster-Clam System. CADE 1990: 647-648
1989
5 Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365
4 Frank van Harmelen: An Overview of Metal-level Architectures for Control in Experts Systems. Elektronische Informationsverarbeitung und Kybernetik 25(1/2): 21-35 (1989)
1988
3EEFrank van Harmelen: The Limitations of Partial Evaluation. IMYCS 1988: 170-187
2 Frank van Harmelen: A Classification of Meta-level Architectures. META 1988: 103-122
1 Frank van Harmelen, Alan Bundy: Explanation-Based Generalisation = Partial Evaluation. Artif. Intell. 36(3): 401-412 (1988)

Coauthor Index

1Manfred Aben [16] [19] [20]
2Hans Akkermans (J. M. Akkermans) [9]
3Zharko Aleksovski [95] [100] [106]
4Bo Andersson [119]
5Grigoris Antoniou [28] [73] [84]
6Wouter van Atteveldt [111]
7John Balder [9] [12]
8Michael Balser [55] [66] [93]
9Brigitte Bartsch-Spörl [9]
10V. Richard Benjamins [58]
11Geert Berger [49]
12Ravinder Bhogal [70] [75] [79]
13E. Blaauw [108]
14S. Bortoli [108]
15Paolo Bouquet [64] [69] [76]
16Ronald J. Brachman (Ron Brachman) [94]
17Frances M. T. Brazier [22]
18Bert Bredeweg [9]
19Paul Brennan [119]
20Jeen Broekstra [36] [42] [46] [48] [50] [52] [60] [61] [62] [63] [68] [70] [75] [79]
21Jan van Buel [70] [79]
22Arne Bultmann [38]
23Alan Bundy [1] [5] [6] [7] [8] [13]
24Pompeu Casanovas [116]
25Nuria Casellas [116]
26Dan Connolly [94]
27Ronald Cornet [103]
28Carl-Helmut Coulon [11]
29Joyce van Croonenborg [93]
30Ian Crowlesmith [70] [79]
31Monica Crubézy [58]
32Hamish Cunningham [119]
33Srinandan Dasmahapatra [109]
34Stefan Decker [36] [40] [42] [46] [50] [58]
35Henk Dekker [72]
36Uwe Drouven [9]
37Christoph Duelli [66] [93]
38David Dupplaw [107] [109]
39Pascal van Eck [29] [43]
40Marc Ehrig [60] [61] [68]
41John van den Elst [14] [18]
42Joeri Engelfriet [29] [43]
43Michael Erdmann [36] [40]
44Dieter Fensel [29] [33] [36] [40] [42] [43] [44] [46] [50] [58] [62] [104] [119]
45Florian Fischer [119]
46Christiaan Fluit [48] [51] [70] [74] [75] [79]
47Enrico Franconi [84]
48Mauro Gaspari [58]
49Marije Geldof [65]
50Marjolein van Gendt [91]
51Fred de Geus [23]
52Fausto Giunchiglia [64] [69] [76] [109]
53Risto Gligorov [106]
54Rix Groenboom [23] [58]
55Perry Groot [35] [39] [77] [83] [112]
56William E. Grosso [58]
57Peter Haase [68] [78] [86] [114]
58Jens Hartmann [54]
59Jane Hesketh [5] [8]
60M. C. Hobbelman [108]
61Arjen Hommersom [112]
62Christian Horn [6]
63Ian Horrocks [36] [40] [42] [44] [46] [50] [56] [59] [62]
64Herko ter Horst [48]
65Zhisheng Huang [86] [87] [89] [103] [116] [117] [119]
66Paul E. M. Huygen [115]
67Andrew Ireland [7] [13]
68Arjohn Kampman [48] [52] [63] [70] [75] [79]
69Werner Karbach [9] [11]
70Zeger Karssen [9]
71Warner ten Kate [95] [100] [106]
72M. El Kebir [108]
73Rohit Khare [94]
74Atanas Kiryakov [119]
75Michel C. A. Klein [36] [40] [42] [46] [50] [62] [96] [100] [110] [115]
76Maksym Korotkiy [72]
77Spyros Kotoulas [107] [109]
78Joris Kuipers [38]
79Ronny van Laarschot [85]
80Jan Lankelma [72]
81Gerard R. Renardel de Lavalette [23]
82Tony Kyung-il Lee [119]
83Johan van der Lei [32]
84Paul H. Lewis [109]
85Arno R. Lodder [85] [96] [110] [115]
86Antonis Loizou [109]
87Peter J. F. Lucas [93] [112]
88Maurizio Marchese [109]
89Mar Marcos [49] [55] [65] [66] [88] [92] [93] [105]
90Deborah L. McGuinness [44]
91Sheila A. McIlraith [82]
92Jos van der Meer [34] [48]
93Sergey Melnik [36] [42]
94Maarten Menken [68]
95Tim Menzies [31]
96Rutger Middelburg [72]
97Peter Mika [68]
98Silvia Miksch [49] [93]
99K. Millian [108]
100Mees Mosseveld [32]
101Enrico Motta [58]
102Erik M. van Mulligen [70] [75] [79]
103Mark A. Musen [58]
104Peter F. Patel-Schneider [44] [56] [59]
105Adrian Perreau de Pinninck [107] [109]
106Ruzica Piskac [113]
107Robert Plant [28]
108Joke van de Plassche [16] [20]
109Enric Plaza [58]
110Michal Plechawski [68]
111Dimitris Plexousakis [82]
112Cristina Polo-Conde [88] [92] [105]
113Pawel Pyszlak [68]
114Wolfgang Reif [93]
115Martin Reinders [9]
116Y. Ren [108]
117David Stuart Robertson (David Robertson) [107] [109]
118Hugo Roomans [49]
119Kitty Rosenbrand [93]
120Ernest Rotterdam [23]
121Fidel Ruiz [16] [20]
122Marta Sabou [48] [51] [60] [61] [74] [109]
123A. Scerri [75]
124Tony Scerri [70] [79]
125R. C. van het Schip [108]
126Stefan Schlobach [103] [108] [111] [116]
127Björn Schnizler [68]
128Lael Schooler [119]
129W. Marco Schorlemmer [109]
130Guus Schreiber (A. Th. Schreiber) [9] [14] [27] [58]
131Luciano Serafini [64] [69] [76]
132Radu Serban [88] [91] [92] [105] [112]
133Andreas Seyfang [93]
134Nigel Shadbolt (Nigel R. Shadbolt) [109]
135Rory L. L. Sie [115]
136Ronny Siebes [60] [61] [68] [78] [107] [109] [114]
137Carles Sierra [109]
138Frank Smadja (Frank A. Smadja) [94]
139Alan Smaill [5] [6] [7] [8] [13]
140Steffen Staab [60] [61] [68]
141S. Stam [108]
142Wouter Van Steenbergen [85] [96] [115]
143Ruud Stegers [99] [121]
144Andrew Stevens [5] [13]
145Remco Straatman [22]
146Heiner Stuckenschmidt [45] [47] [53] [54] [60] [61] [64] [67] [69] [70] [75] [76] [79] [85] [86]
147Rudi Studer [58]
148York Sure [86]
149Gaston Tagni [120]
150Annette ten Teije [17] [21] [23] [24] [25] [27] [30] [32] [35] [37] [39] [41] [49] [55] [65] [66] [77] [80] [81] [83] [87] [88] [89] [91] [92] [93] [99] [105] [108] [112] [120] [121]
151Christoph Tempich [60] [61] [68]
152P. Thomassen [108]
153Monique Thonnat [14] [18]
154Volker Tresp [119]
155Jan Treur [22]
156Elisabeth M. Uijttenbroek [96] [110] [115]
157Michael Uschold [102]
158Emanuele Della Valle [119]
159Jan Vanthienen [26] [28]
160Yde Venema [29] [43]
161Alan Verberne [37]
162Erik Vinkhuyzen [9]
163Arjen Vollebregt [32]
164Angi Voß (Angi Voss) [9] [11]
165Peter Votruba [65]
166Anita de Waard [70] [75] [79]
167Chris Walton [109]
168Stefan Wesner [119]
169Bob J. Wielinga [9] [27] [58] [80] [81]
170Niek J. E. Wijngaards [22]
171Gwen R. Wildeboer [115]
172Mark Willems [22] [29] [43]
173W. van Willigem [108]
174Michael Witbrock [119]
175Mikalai Yatskevich [109]
176Ning Zhong [113] [119]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)