Frank van Harmelen

According to our database1, Frank van Harmelen authored at least 216 papers between 1984 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Detecting Erroneous Identity Links on the Web Using Network Metrics.
Proceedings of the Semantic Web - ISWC 2018, 2018

sameAs.cc: The Closure of 500M owl: sameAs Statements.
Proceedings of the Semantic Web - 15th International Conference, 2018

2017
Analyzing interactions on combining multiple clinical guidelines.
Artificial Intelligence in Medicine, 2017

An Ontology Model for Narrative Image Annotation in the Field of Cultural Heritage.
Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

Semantically Mapping Science (SMS) Platform.
Proceedings of the First Workshop on Enabling Open Semantic Science co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

An Empirical Study on How the Distribution of Ontologies Affects Reasoning on the Web.
Proceedings of the Semantic Web - ISWC 2017, 2017

Is my: sameAs the same as your: sameAs?: Lenticular Lenses for Context-Specific Identity.
Proceedings of the Knowledge Capture Conference, 2017

Constructing Knowledge Graphs of Depression.
Proceedings of the Health Information Science - 6th International Conference, 2017

Constructing Disease-Centric Knowledge Graphs: A Case Study for Depression (short Version).
Proceedings of the Artificial Intelligence in Medicine, 2017

2016
Inferring recommendation interactions in clinical guidelines.
Semantic Web, 2016

LOD Laundromat: Why the Semantic Web Needs Centralization (Even If We Don't Like It).
IEEE Internet Computing, 2016

SWISH for Prototyping Clinical Guideline Interactions Theory.
Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

SCRY: Extending SPARQL with Custom Data Processing Methods for the Life Sciences.
Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

Are Names Meaningful? Quantifying Social Meaning on the Semantic Web.
Proceedings of the Semantic Web - ISWC 2016, 2016

Knowledge-Driven Paper Retrieval to Support Updating of Clinical Guidelines - A Use Case on PubMed.
Proceedings of the Knowledge Representation for Health Care, 2016

Detecting New Evidences for Evidence-Based Medical Guidelines with Journal Filtering.
Proceedings of the Knowledge Representation for Health Care, 2016

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials.
Proceedings of the Health Information Science - 5th International Conference, 2016

A Task-based Comparison of Linguistic and Semantic Document Retrieval Methods in the Medical Domain.
Proceedings of the Joint Proceedings of the 2th Workshop on Emotions, 2016

Adaptive Linked Data-Driven Web Components: Building Flexible and Reusable Semantic Web Interfaces - Building Flexible and Reusable Semantic Web Interfaces.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

A Contextualised Semantics for owl: sameAs.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

A Topic-centric Approach to Detecting New Evidences for Evidence-based Medical Guidelines.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

2015
Semantic technologies for historical research: A survey.
Semantic Web, 2015

Enhancing reuse of structured eligibility criteria and supporting their relaxation.
Journal of Biomedical Informatics, 2015

Why the Data Train Needs Semantic Rails.
AI Magazine, 2015

Semantics for Big Data.
AI Magazine, 2015

A Compact In-Memory Dictionary for RDF Data.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Analyzing Recommendations Interactions in Clinical Guidelines - Impact of Action Type Hierarchies and Causation Beliefs.
Proceedings of the Artificial Intelligence in Medicine, 2015

Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines.
Proceedings of the Knowledge Representation for Health Care, 2015

Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method.
Proceedings of the Artificial Intelligence in Medicine, 2015

2014
Streaming the Web: Reasoning over dynamic data.
J. Web Sem., 2014

Hybrid reasoning on OWL RL.
Semantic Web, 2014

Reports on the 2013 AAAI Fall Symposium Series.
AI Magazine, 2014

Towards a Conceptual Model for Enhancing Reasoning About Clinical Guidelines - A Case-Study on Comorbidity.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Semantic Representation of Evidence-Based Clinical Guidelines.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Rough Set Semantics for Identity on the Web.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines - A Case-Study on Multimorbidity.
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Evidence-Based Clinical Guidelines in SemanticCT.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

Feasibility Estimation for Clinical Trials.
Proceedings of the HEALTHINF 2014, 2014

2013
DynamiTE: Parallel Materialization of Dynamic RDF Data.
Proceedings of the Semantic Web - ISWC 2013, 2013

Identifying Most Relevant Concepts to Describe Clinical Trial Eligibility Criteria.
Proceedings of the HEALTHINF 2013, 2013

SemanticCT: A Semantically-Enabled System for Clinical Trials.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

Rule-Based Formalization of Eligibility Criteria for Clinical Trials.
Proceedings of the Artificial Intelligence in Medicine, 2013

Knowledge-Based Patient Data Generation.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

2012
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., 2012

Reply to comment on "WebPIE: A Web-scale parallel inference engine using MapReduce".
J. Web Sem., 2012

WebPIE: A Web-scale Parallel Inference Engine using MapReduce.
J. Web Sem., 2012

Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221).
Dagstuhl Reports, 2012

Theoretical And Technological Building Blocks For An Innovation Accelerator
CoRR, 2012

Building a Library of Eligibility Criteria to Support Design of Clinical Trials.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

A Semantic Web Primer, 3rd Edition.
MIT Press, ISBN: 978-0-262-01828-9, 2012

2011
KR and Reasoning on the Semantic Web: Web-Scale Reasoning.
Proceedings of the Handbook of Semantic Web Technologies, 2011

User-centric query refinement and processing using granularity-based strategies.
Knowl. Inf. Syst., 2011

Contrastive Reasoning with Inconsistent Ontologies.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011

Interleaving Reasoning and Selection with Knowledge Summarization.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2011, 2011

Keynote: 10 Years of Semantic Web Research: Searching for Universal Patterns.
Proceedings of the Semantic Web - ISWC 2011, 2011

Ranking Query Results from Linked Open Data using a simple cognitive heuristic.
Proceedings of the Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), 2011

Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web.
Proceedings of the Foundations for the Web of Information and Services, 2011

A Method of Contrastive Reasoning with Inconsistent Ontologies.
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

Patterns of Clinical Trial Eligibility Criteria.
Proceedings of the Knowledge Representation for Health-Care, 2011

2010
A reasonable Semantic Web.
Semantic Web, 2010

Preface - Special issue on commonsense reasoning for the semantic web.
Ann. Math. Artif. Intell., 2010

Mind the data skew: distributed inferencing by speeddating in elastic regions.
Proceedings of the 19th International Conference on World Wide Web, 2010

A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval.
Proceedings of the STAIRS 2010, 2010

Finding the Achilles Heel of the Web of Data: Using Network Analysis for Link-Recommendation.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Case Frames as Contextual Mappings to Case Law in BestPortal.
Proceedings of the Legal Knowledge and Information Systems, 2010

OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples.
Proceedings of the Semantic Web: Research and Applications, 2010

Towards Expressive Stream Reasoning.
Proceedings of the Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010, 2010

2009

Web Ontology Language: OWL.
Proceedings of the Handbook on Ontologies, 2009

Marvin: Distributed reasoning over large-scale Semantic Web data.
J. Web Sem., 2009

It's a Streaming World! Reasoning upon Rapidly Changing Information.
IEEE Intelligent Systems, 2009

Using model checking for critiquing based on clinical guidelines.
Artificial Intelligence in Medicine, 2009

The Free Speech Engine: Conversational Web Service Compatibility for Free.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

Scalable Distributed Reasoning Using MapReduce.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Knowledge engineering rediscovered: towards reasoning patterns for the semantic web.
Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), 2009

09161 Summary - Generalization of spatial information.
Proceedings of the Generalization of spatial information, 13.04. - 17.04.2009, 2009

09161 Abstracts Collection - Generalization of spatial information.
Proceedings of the Generalization of spatial information, 13.04. - 17.04.2009, 2009

Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem.
Proceedings of the Brain Informatics, International Conference, BI 2009, 2009

Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem.
Proceedings of the Active Media Technology, 5th International Conference, 2009

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.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

2008
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project.
Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

Dynamic Aspects of OPJK Legal Ontology.
Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

The Semantic Web: Webizing Knowledge Representation.
Proceedings of the Handbook of Knowledge Representation, 2008

Expertise-based peer selection in Peer-to-Peer networks.
Knowl. Inf. Syst., 2008

Using Semantic Distances for Reasoning with Inconsistent Ontologies.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Towards LarKC: A Platform for Web-Scale Reasoning.
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Semantic Web Meets ILP: Unconsumated Love, or No Love Lost?.
Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

Reasoning about Repairability of Workflows at Design Time.
Proceedings of the Business Process Management Workshops, 2008

2007
Where is the Web in the Semantic Web?
J. Web Sem., 2007

Debugging Incoherent Terminologies.
J. Autom. Reasoning, 2007

Unifying Reasoning and Search to Web Scale.
IEEE Internet Computing, 2007

Extraction and use of linguistic patterns for modelling medical guidelines.
Artificial Intelligence in Medicine, 2007

Using Google distance to weight approximate ontology matches.
Proceedings of the 16th International Conference on World Wide Web, 2007

Anytime Classification by Ontology Approximation.
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007

The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007


Case law retrieval by concept search and visualization.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Media, Politics and the Semantic Web.
Proceedings of the Semantic Web: Research and Applications, 2007

The Role of Model Checking in Critiquing Based on Clinical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Improving medical protocols by formal methods.
Artificial Intelligence in Medicine, 2006

Meaning on the web: evolution vs intelligent design?
Proceedings of the 15th international conference on World Wide Web, 2006

Exploiting the Structure of Background Knowledge Used in Ontology Matching.
Proceedings of the 1st International Workshop on Ontology Matching (OM-2006) Collocated with the 5th International Semantic Web Conference (ISWC-2006), 2006

Thesaurus-based Retrieval of Case Law.
Proceedings of the Legal Knowledge and Information Systems, 2006

Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Where Does It Break? or: Why the Semantic Web Is Not Just "Research as Usual".
Proceedings of the Semantic Web: Research and Applications, 2006

From Natural Language to Formal Proof Goal.
Proceedings of the Managing Knowledge in a World of Networks, 2006

Matching Unstructured Vocabularies Using a Background Ontology.
Proceedings of the Managing Knowledge in a World of Networks, 2006

Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

Peer-to-Peer and Semantic Web.
Semantic Web and Peer-to-Peer, 2006

Expertise-Based Peer Selection.
Semantic Web and Peer-to-Peer, 2006

Bibster - A Semantics-Based Bibliographic Peer-to-Peer System.
Semantic Web and Peer-to-Peer, 2006

2005
Information Sharing on the Semantic Web.
Advanced Information and Knowledge Processing, Springer, ISBN: 978-3-540-26907-6, 2005

A quantitative analysis of the robustness of knowledge-based systems through degradation studies.
Knowl. Inf. Syst., 2005

A Framework for Handling Inconsistency in Changing Ontologies.
Proceedings of the Semantic Web, 2005

Introduction to Semantic Web Ontology Languages.
Proceedings of the Reasoning Web, 2005

The Legal Concepts and the Layman's Terms - Bridging the Gap through Ontology-Based Reasoning about Liability.
Proceedings of the Legal Knowledge and Information Systems, 2005

Reasoning with Inconsistent Ontologies.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.
Proceedings of the BNAIC 2005, 2005

Reasoning with Inconsistent Ontologies.
Proceedings of the BNAIC 2005, 2005

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

Ontology Mapping: A Way Out of the Medical Tower of Babel?
Proceedings of the Artificial Intelligence in Medicine, 2005

Formalising Medical Quality Indicators to Improve Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

2004
Bibster - a semantics-based bibliographic Peer-to-Peer system.
J. Web Sem., 2004

Contextualizing ontologies.
J. Web Sem., 2004

Generating and managing metadata for Web-based information systems.
Knowl.-Based Syst., 2004

Exploring Large Document Repositories with RDF Technology: The DOPE Project.
IEEE Intelligent Systems, 2004

The Semantic Web: What, Why, How, and When.
IEEE Distributed Systems Online, 2004

A tool for gene expression based PubMed search through combining data sources.
Bioinformatics, 2004

The Drug Ontology Project for Elsevier - An RDF Architecture Enabling Thesaurus-Driven Data Integration.
Proceedings of the WWW2004 Workshop on Application Design, 2004

Using C-OWL for the alignment and merging of medical ontologies.
Proceedings of the KR-MED 2004, 2004

Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Peer Selection in Peer-to-Peer Networks with Semantic Topologies.
Proceedings of the Semantics for Grid Databases, 2004

Configuration of Web Services as Parametric Design.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

A Topic-Based Browser for Large Online Resources.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

Configuration of Web Services as Parametric Design.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Protocure: Supporting the Development of Medical Protocols through Formal Methods.
Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

Supporting User Tasks through Visualisation of Light-weight Ontologies.
Proceedings of the Handbook on Ontologies, 2004

Web Ontology Language: OWL.
Proceedings of the Handbook on Ontologies, 2004

A semantic web primer.
MIT Press, ISBN: 978-0-262-01210-2, 2004

2003
From SHIQ and RDF to OWL: the making of a Web Ontology Language.
J. Web Sem., 2003

The Unified Problem-Solving Method Development Language UPML.
Knowl. Inf. Syst., 2003

SWAP - Ontology-based Knowledge Management with Peer-to-Peer Technology.
Proceedings of the WOW2003, 2003

SWAP: Ontology-based Knowledge Management with Peer-to-Peer Technology.
Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

C-OWL: Contextualizing Ontologies.
Proceedings of the Semantic Web, 2003

Ontologies and Schema Languages on the Web.
Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

Sesame: An Architecture for Storin gand Querying RDF Data and Schema Information.
Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

Experiences in the Formalisation and Verification of Medical Protocols.
Proceedings of the Artificial Intelligence in Medicine, 2003

Informal and Formal Medical Guidelines: Bridging the Gap.
Proceedings of the Artificial Intelligence in Medicine, 2003

2002
How the semantic web will change KR: challenges and opportunities for a new research agenda.
Knowledge Eng. Review, 2002

Enabling knowledge representation on the Web by extending RDF Schema.
Computer Networks, 2002

Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema.
Proceedings of the Semantic Web, 2002

Approximating Terminological Queries.
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

Learning Structural Classification Rules for Web-Page Categorization.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Ontology-based Information Visualization.
Visualizing the Semantic Web, 2002

2001
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Trans. Knowl. Data Eng., 2001

OIL: An Ontology Infrastructure for the Semantic Web.
IEEE Intelligent Systems, 2001

Enabling knowledge representation on the Web by extending RDF schema.
Proceedings of the Tenth International World Wide Web Conference, 2001

Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System.
Proceedings of the Web Intelligence: Research and Development, 2001

Ontology-based metadata generation from semi-structured information.
Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), 2001

Ontology-Based Information Visualisation.
Proceedings of the International Conference on Information Visualisation, 2001

Using Critiquing for Improving Medical Protocols: Harder than It Seems.
Proceedings of the Artificial Intelligence Medicine, 2001

2000
The Semantic Web: The Roles of XML and RDF.
IEEE Internet Computing, 2000

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.
Proceedings of the KR 2000, 2000

Maintenance of KBS's by Domain Experts: The Holy Grail in Practice.
Proceedings of the Intelligent Problem Solving, 2000

Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems.
Proceedings of the Knowledge Acquisition, 2000

OIL in a Nutshell.
Proceedings of the Knowledge Acquisition, 2000

Describing Problem Solving Methods using Anytime Performance Profiles.
Proceedings of the ECAI 2000, 2000

Knowledge Representation on the Web.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
Editorial: Evaluating knowledge engineering techniques.
Int. J. Hum.-Comput. Stud., 1999

A study of PROforma, a development methodology for clinical procedures.
Artificial Intelligence in Medicine, 1999

Practical Knowledge Representation for the Web.
Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, 1999

WebMaster: Knowledge-Based Verification of Web-Pages.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Formally Verifying Dynamic Properties of Knowledge Based Systems.
Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1998
Construction of problem-solving methods as parametric design.
Int. J. Hum.-Comput. Stud., 1998

Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events.
AI Magazine, 1998

Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality.
ECAI, 1998

Specification of Dynamics for Knowledge-Based Systems.
Proceedings of the Transactions and Change in Logic Databases, 1998

1997
Applying rule-base anomalies to KADS inference structures.
Decision Support Systems, 1997

Formalisation for decision support in anaesthesiology.
Artificial Intelligence in Medicine, 1997

Exploiting Domain Knowledge for Approximate Diagnosis.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Validation and Verification of Conceptual Models of Diagnosis.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

1996
Summary of the KEML-96 workshop, Paris, January 15-16, 1996, CNRS, Gif sur Yvette (Paris).
Knowledge Eng. Review, 1996

Structure-preserving specification languages for knowledge-based systems.
Int. J. Hum.-Comput. Stud., 1996

Using reflection techniques for flexible problem solving (with examples from diagnosis).
Future Generation Comp. Syst., 1996

Evaluating a Formal KBS Specification Language.
IEEE Expert, 1996

Computing Approximate Diagnoses By Using Approximate Entailment.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

The REVISE Project: A Purpose Driven Method for Language Comparison.
Proceedings of the Advances in Knowledge Acquisition, 1996

1995
Formal methods in knowledge engineering.
Knowledge Eng. Review, 1995

Modelling software components for reuse.
Proceedings of the SEKE'95, 1995

1994
A comparison of languages which operationalize and formalize KADS models of expertise.
Knowledge Eng. Review, 1994

A functional specification of reusing software components.
Proceedings of the SEKE'94, 1994

A Model of Costs and Benefits of Meta-Level Computation.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Evaluating a Formal Modelling Language.
Proceedings of the A Future for Knowledge Acquisition, 1994

Using Domain Knowledge to Select Solutions in Abductive Diagnosis.
ECAI, 1994

1993
Rippling: A Heuristic for Guiding Inductive Proofs.
Artif. Intell., 1993

1992
Definable Naming Relations in Meta-level Systems.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Controlling Generate & Test in Any Time.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

(ML)2: A Formal Language for KADS Models.
ECAI, 1992

1991
Experiments with Proof Plans for Induction.
J. Autom. Reasoning, 1991

A Conceptual Modelling Framework for Knowledge-level Reflection.
AI Commun., 1991

1990
Truth and Modality for Knowledge Representation.
AI Commun., 1990

META'90: A Workshop on Meta-programming in Logic-programmingK.U. Leuven, Belgium, april 4-6, 1990.
AI Commun., 1990

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.
Proceedings of the 10th International Conference on Automated Deduction, 1990

The Oyster-Clam System.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
On the efficiency of meta-level inference.
PhD thesis, 1989

An Overview of Metal-level Architectures for Control in Experts Systems.
Elektronische Informationsverarbeitung und Kybernetik, 1989

A Rational Reconstruction and Extension of Recursion Analysis.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Socrates: a flexible toolkit for building logic-based expert systems.
Knowl.-Based Syst., 1988

Explanation-Based Generalisation = Partial Evaluation.
Artif. Intell., 1988

A Classification of Meta-level Architectures.
META, 1988

The Limitations of Partial Evaluation.
Proceedings of the Machines, 1988

1984
Criteria for Choosing Representation Languages and Control Regimes for Expert Systems.
Knowledge Eng. Review, 1984


  Loading...