| 2007 |
|---|
| 110 | | 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 |
| 109 | EE | 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 |
| 108 | EE | Wouter van Atteveldt,
Stefan Schlobach,
Frank van Harmelen:
Media, Politics and the Semantic Web.
ESWC 2007: 205-219 |
| 107 | EE | 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 |
| 106 | EE | 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 |
| 105 | EE | Ronny Siebes,
Dave 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 |
| 104 | EE | Risto Gligorov,
Warner ten Kate,
Zharko Aleksovski,
Frank van Harmelen:
Using Google distance to weight approximate ontology matches.
WWW 2007: 767-776 |
| 103 | EE | 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) |
| 102 | EE | Dieter Fensel,
Frank van Harmelen:
Unifying Reasoning and Search to Web Scale.
IEEE Internet Computing 11(2): 94-96 (2007) |
| 101 | EE | Stefan Schlobach,
Zhisheng Huang,
Ronald Cornet,
Frank van Harmelen:
Debugging Incoherent Terminologies.
J. Autom. Reasoning 39(3): 317-349 (2007) |
| 100 | EE | Frank van Harmelen,
Michael Uschold:
Where is the Web in the Semantic Web?
J. Web Sem. 5(4): 225-226 (2007) |
| 2006 |
|---|
| 99 | EE | Frank van Harmelen:
Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges.
CIA 2006: 1-7 |
| 98 | EE | Zharko Aleksovski,
Michel C. A. Klein,
Warner ten Kate,
Frank van Harmelen:
Matching Unstructured Vocabularies Using a Background Ontology.
EKAW 2006: 182-197 |
| 97 | EE | Ruud Stegers,
Annette ten Teije,
Frank van Harmelen:
From Natural Language to Formal Proof Goal.
EKAW 2006: 51-58 |
| 96 | EE | Frank van Harmelen:
Where Does It Break? or: Why the Semantic Web Is Not Just "Research as Usual".
ESWC 2006: 1 |
| 95 | EE | Frank van Harmelen:
Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation.
IAT 2006: 11 |
| 94 | EE | Zharko Aleksovski,
Warner ten Kate,
Frank van Harmelen:
Exploiting the Structure of Background Knowledge Used in Ontology Matching.
Ontology Matching 2006 |
| 93 | EE | Ron Brachman,
Dan Connolly,
Rohit Khare,
Frank Smadja,
Frank van Harmelen:
Meaning on the web: evolution vs intelligent design?
WWW 2006: 745 |
| 92 | EE | 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) |
| 2005 |
|---|
| 91 | EE | 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 |
| 90 | EE | Marjolein van Gendt,
Annette ten Teije,
Radu Serban,
Frank van Harmelen:
Formalising Medical Quality Indicators to Improve Guidelines.
AIME 2005: 201-210 |
| 89 | EE | Frank van Harmelen:
Ontology Mapping: A Way Out of the Medical Tower of Babel?
AIME 2005: 3-6 |
| 88 | | Zhisheng Huang,
Frank van Harmelen,
Annette ten Teije:
Reasoning with Inconsistent Ontologies.
BNAIC 2005: 349-350 |
| 87 | | 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 |
| 86 | EE | Zhisheng Huang,
Frank van Harmelen,
Annette ten Teije:
Reasoning with Inconsistent Ontologies.
IJCAI 2005: 454-459 |
| 85 | EE | 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 |
| 84 | EE | Grigoris Antoniou,
Enrico Franconi,
Frank van Harmelen:
Introduction to Semantic Web Ontology Languages.
Reasoning Web 2005: 1-21 |
| 83 | EE | 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) |
| 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 |
| 80 | EE | Annette ten Teije,
Frank van Harmelen,
Bob J. Wielinga:
Configuration of Web Services as Parametric Design.
EKAW 2004: 321-336 |
| 79 | EE | 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 |
| 78 | EE | Peter 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 |
| 76 | EE | 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 |
| 75 | EE | 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 |
| 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 |
| 72 | EE | 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) |
| 71 | EE | Frank van Harmelen:
The Semantic Web: What, Why, How, and When.
IEEE Distributed Systems Online 5(3): (2004) |
| 70 | EE | 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) |
| 69 | EE | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
Contextualizing ontologies.
J. Web Sem. 1(4): 325-343 (2004) |
| 68 | EE | 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) |
| 67 | EE | Heiner Stuckenschmidt,
Frank van Harmelen:
Generating and managing metadata for Web-based information systems.
Knowl.-Based Syst. 17(5-6): 201-206 (2004) |
| 2003 |
|---|
| 66 | EE | 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 |
| 65 | EE | Marije Geldof,
Annette ten Teije,
Frank van Harmelen,
Mar Marcos,
Peter Votruba:
Informal and Formal Medical Guidelines: Bridging the Gap.
AIME 2003: 173-178 |
| 64 | EE | Paolo 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 |
| 61 | EE | 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 |
| 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 |
| 59 | EE | 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) |
| 58 | EE | 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) |
| 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 |
| 55 | EE | 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 |
| 54 | | Heiner Stuckenschmidt,
Jens Hartmann,
Frank van Harmelen:
Learning Structural Classification Rules for Web-Page Categorization.
FLAIRS Conference 2002: 440-444 |
| 53 | EE | Heiner Stuckenschmidt,
Frank van Harmelen:
Approximating Terminological Queries.
FQAS 2002: 329-343 |
| 52 | EE | 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 |
| 51 | | Christiaan Fluit,
Marta Sabou,
Frank van Harmelen:
Ontology-based Information Visualization.
Visualizing the Semantic Web 2002: 36-48 |
| 50 | EE | 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) |
| 2001 |
|---|
| 49 | EE | 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 |
| 48 | EE | 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 |
| 47 | EE | Heiner Stuckenschmidt,
Frank van Harmelen:
Ontology-based metadata generation from semi-structured information.
K-CAP 2001: 163-170 |
| 46 | EE | 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 |
| 45 | EE | 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 |
| 44 | EE | 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) |
| 43 | EE | 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) |
| 2000 |
|---|
| 42 | EE | 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 |
| 41 | | Annette ten Teije,
Frank van Harmelen:
Describing Problem Solving Methods using Anytime Performance Profiles.
ECAI 2000: 181-185 |
| 40 | EE | Dieter Fensel,
Ian Horrocks,
Frank van Harmelen,
Stefan Decker,
Michael Erdmann,
Michel C. A. Klein:
OIL in a Nutshell.
EKAW 2000: 1-16 |
| 39 | EE | Perry Groot,
Frank van Harmelen,
Annette ten Teije:
Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems.
EKAW 2000: 403-418 |
| 38 | EE | Arne 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 |
| 36 | EE | 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) |
| 1999 |
|---|
| 35 | EE | Perry 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 |
| 33 | EE | Frank 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) |
| 31 | EE | Tim 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 |
| 29 | EE | 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 |
| 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) |
| 27 | EE | 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) |
| 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 |
| 20 | EE | Frank van Harmelen,
Manfred Aben,
Fidel Ruiz,
Joke van de Plassche:
Evaluating a Formal KBS Specification Language.
IEEE Expert 11(1): 56-62 (1996) |
| 19 | EE | Frank 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 |
|---|
| 7 | | Alan Bundy,
Frank van Harmelen,
Alan Smaill,
Andrew Ireland:
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.
CADE 1990: 132-146 |
| 6 | | Alan 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 |
|---|
| 3 | | Frank 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) |
