Annette ten Teije

According to our database, Annette ten Teije authored at least 107 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Preface: Special Issue on Knowledge Representation and Reasoning for Healthcare Processes.

Francesca Zerbato, Luise Pufahl, Annette ten Teije

Artif. Intell. Medicine, September, 2023

In Memoriam David Riaño, 1968-2022.

Annette ten Teije, Mar Marcos, Jose M. Juarez

Artif. Intell. Medicine, September, 2023

Semantic Web Machine Learning Systems: An Analysis of System Patterns.

Laura Waltersdorfer, Anna Breit, Fajar J. Ekaputra, Marta Sabou, Andreas Ekelhart, Andreea Iana, Heiko Paulheim, Jan Portisch, Artem Revenko, Annette ten Teije, Frank van Harmelen

Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Architectural Patterns for Neuro-Symbolic AI.

Annette ten Teije, Frank van Harmelen

Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Combining Machine Learning and Semantic Web: A Systematic Mapping Study.

Anna Breit, Laura Waltersdorfer, Fajar J. Ekaputra, Marta Sabou, Andreas Ekelhart, Andreea Iana, Heiko Paulheim, Jan Portisch, Artem Revenko, Annette ten Teije, Frank van Harmelen

ACM Comput. Surv., 2023

A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference.

Emile van Krieken, Thiviyan Thanapalasingam, Jakub M. Tomczak, Frank van Harmelen, Annette ten Teije

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Explainable Drug Repurposing in Context via Deep Reinforcement Learning.

Lise Stork, Ilaria Tiddi, René Spijker, Annette ten Teije

Proceedings of the Semantic Web - 20th International Conference, 2023

A Local Non-Additive Framework for Explaining Black-Box Predictive Models.

Majid Mohammadi, Ilaria Tiddi, Annette ten Teije

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Establishing Shared Query Understanding in an Open Multi-Agent System.

Nikolaos Kondylidis, Ilaria Tiddi, Annette ten Teije

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Local Explanations for Clinical Search Engine Results.

Edeline Contempré, Zoltán Szlávik, Majid Mohammadi, Erick Velazquez Godinez, Annette ten Teije, Ilaria Tiddi

Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, 2022

2021

Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases.

Michael van Bekkum, Maaike de Boer, Frank van Harmelen, André Meyer-Vitali, Annette ten Teije

CoRR, 2021

Preface: AIME 2019.

David Riaño, Szymon Wilk, Annette ten Teije

Artif. Intell. Medicine, 2021

Modular design patterns for hybrid learning and reasoning systems.

Michael van Bekkum, Maaike de Boer, Frank van Harmelen, André Meyer-Vitali, Annette ten Teije

Appl. Intell., 2021

Storchastic: A Framework for General Stochastic Automatic Differentiation.

Emile van Krieken, Jakub M. Tomczak, Annette ten Teije

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Team Design Patterns for Moral Decisions in Hybrid Intelligent Systems: A Case Study of Bias Mitigation.

Jip J. van Stijn, Mark A. Neerincx, Annette ten Teije, Steven Vethman

Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2020

Machine Learning Explainability in Breast Cancer Survival.

Tom Jansen, Gijs Geleijnse, Marissa Van Maaren, Mathijs P. Hendriks, Annette ten Teije, Arturo Moncada-Torres

Proceedings of the Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28, 2020

Fostering Scientific Meta-analyses with Knowledge Graphs: A Case-Study.

Ilaria Tiddi, Daniel Balliet, Annette ten Teije

Proceedings of the Semantic Web - 17th International Conference, 2020

2019

A Boxology of Design Patterns forHybrid Learningand Reasoning Systems.

Frank van Harmelen, Annette ten Teije

J. Web Eng., 2019

Ten years of knowledge representation for health care (2009-2018): Topics, trends, and challenges.

David Riaño, Mor Peleg, Annette ten Teije

Artif. Intell. Medicine, 2019

A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems.

Frank van Harmelen, Annette ten Teije

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2018

Preface: AIME 2017.

Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi

Artif. Intell. Medicine, 2018

Filtering Clinical Guideline Interactions with Pre-Conditions: A Case Study on Diabetes Guideline.

Veruska Zamborlini, Roelof van der Heijden, Annette ten Teije

Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, 2018

2017

Analyzing interactions on combining multiple clinical guidelines.

Veruska Zamborlini, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Edwin Geleijn, Marike van der Leeden, Martijn Stuiver, Frank van Harmelen

Artif. Intell. Medicine, 2017

2016

Inferring recommendation interactions in clinical guidelines.

Veruska Zamborlini, Rinke Hoekstra, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Semantic Web, 2016

Predictive modeling of colorectal cancer using a dedicated pre-processing pipeline on routine electronic medical records.

Reinier Kop, Mark Hoogendoorn, Annette ten Teije, Frederike L. Büchner, Pauline Slottje, Leon M. G. Moons, Mattijs E. Numans

Comput. Biol. Medicine, 2016

SWISH for Prototyping Clinical Guideline Interactions Theory.

Veruska Zamborlini, Jan Wielemaker, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

Knowledge-Driven Paper Retrieval to Support Updating of Clinical Guidelines - A Use Case on PubMed.

Veruska Zamborlini, Qing Hu, Zhisheng Huang, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Representation for Health Care, 2016

Formalization and Computation of Diabetes Quality Indicators with Patient Data from a Chinese Hospital.

Haitong Liu, Annette ten Teije, Kathrin Dentler, Jingdong Ma, Shijing Zhang

Proceedings of the Knowledge Representation for Health Care, 2016

Detecting New Evidences for Evidence-Based Medical Guidelines with Journal Filtering.

Qing Hu, Zhisheng Huang, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Representation for Health Care, 2016

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials.

Zhisheng Huang, Qing Hu, Annette ten Teije, Frank van Harmelen, Salah Ait-Mokhtar

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.

Mohammad Shafahi, Qing Hu, Hamideh Afsarmanesh, Zhisheng Huang, Annette ten Teije, Frank van Harmelen

Proceedings of the Joint Proceedings of the 2th Workshop on Emotions, 2016

Generalizing the Detection of Clinical Guideline Interactions Enhanced with LOD.

Veruska Zamborlini, Rinke Hoekstra, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Proceedings of the Biomedical Engineering Systems and Technologies, 2016

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines.

Veruska Zamborlini, Rinke Hoekstra, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

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.

Qing Hu, Zhisheng Huang, Annette ten Teije, Frank van Harmelen, M. Scott Marshall, Andre Dekker

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

2015

Enhancing reuse of structured eligibility criteria and supporting their relaxation.

Krystyna Milian, Rinke Hoekstra, Anca I. D. Bucur, Annette ten Teije, Frank van Harmelen, John Paulissen

J. Biomed. Informatics, 2015

A Compact In-Memory Dictionary for RDF Data.

Hamid R. Bazoobandi, Steven de Rooij, Jacopo Urbani, Annette ten Teije, Frank van Harmelen, Henri E. Bal

Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Finding Evidence for Updates in Medical Guidelines.

Roelof Reinders, Annette ten Teije, Zhisheng Huang

Proceedings of the HEALTHINF 2015, 2015

Analyzing Recommendations Interactions in Clinical Guidelines - Impact of Action Type Hierarchies and Causation Beliefs.

Veruska Zamborlini, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Proceedings of the Artificial Intelligence in Medicine, 2015

On the Advantage of Using Dedicated Data Mining Techniques to Predict Colorectal Cancer.

Reinier Kop, Mark Hoogendoorn, Leon M. G. Moons, Mattijs E. Numans, Annette ten Teije

Proceedings of the Artificial Intelligence in Medicine, 2015

Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines.

Zhisheng Huang, Qing Hu, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Representation for Health Care, 2015

Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method.

Qing Hu, Zhisheng Huang, Annette ten Teije, Frank van Harmelen

Proceedings of the Artificial Intelligence in Medicine, 2015

2014

Influence of data quality on computed Dutch hospital quality indicators: a case study in colorectal cancer surgery.

Kathrin Dentler, Ronald Cornet, Annette ten Teije, Pieter Tanis, Jean Klinkenbijl, Kristien Tytgat, Nicolette de Keizer

BMC Medical Informatics Decis. Mak., 2014

Formalization and computation of quality measures based on electronic medical records.

Kathrin Dentler, Mattijs E. Numans, Annette ten Teije, Ronald Cornet, Nicolette de Keizer

J. Am. Medical Informatics Assoc., 2014

Towards a Conceptual Model for Enhancing Reasoning About Clinical Guidelines - A Case-Study on Comorbidity.

Veruska Zamborlini, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Semantic Representation of Evidence-Based Clinical Guidelines.

Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Salah Aït-Mokhtar

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines - A Case-Study on Multimorbidity.

Veruska Zamborlini, Rinke Hoekstra, Marcos Da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Evidence-Based Clinical Guidelines in SemanticCT.

Qing Hu, Zhisheng Huang, Frank van Harmelen, Annette ten Teije, Jinguang Gu

Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

Feasibility Estimation for Clinical Trials.

Zhisheng Huang, Frank van Harmelen, Annette ten Teije, Andre Dekker

Proceedings of the HEALTHINF 2014, 2014

2013

Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks.

Arturo González-Ferrer, Annette ten Teije, Juan Fernández-Olivares, Krystyna Milian

Artif. Intell. Medicine, 2013

Barriers to the Reuse of Routinely Recorded Clinical Data: A Field Report.

Kathrin Dentler, Annette ten Teije, Nicolette de Keizer, Ronald Cornet

Proceedings of the MEDINFO 2013, 2013

Identifying Most Relevant Concepts to Describe Clinical Trial Eligibility Criteria.

Krystyna Milian, Anca I. D. Bucur, Frank van Harmelen, Annette ten Teije

Proceedings of the HEALTHINF 2013, 2013

Towards Automatic Patient Eligibility Assessment: From Free-Text Criteria to Queries.

Krystyna Milian, Annette ten Teije

Proceedings of the Artificial Intelligence in Medicine, 2013

SemanticCT: A Semantically-Enabled System for Clinical Trials.

Zhisheng Huang, Annette ten Teije, Frank van Harmelen

Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

Rule-Based Formalization of Eligibility Criteria for Clinical Trials.

Zhisheng Huang, Annette ten Teije, Frank van Harmelen

Proceedings of the Artificial Intelligence in Medicine, 2013

Knowledge-Based Patient Data Generation.

Zhisheng Huang, Frank van Harmelen, Annette ten Teije, Kathrin Dentler

Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

2012

The Reproducibility of CLIF, a Method for Clinical Quality Indicator Formalisation.

Kathrin Dentler, Ronald Cornet, Annette ten Teije, Kristien Tytgat, Jean Klinkenbijl, Nicolette de Keizer

Proceedings of the Quality of Life through Quality of Information, 2012

Semantic Integration of Patient Data and Quality Indicators Based on openEHR Archetypes.

Kathrin Dentler, Annette ten Teije, Ronald Cornet, Nicolette de Keizer

Proceedings of the Process Support and Knowledge Representation in Health Care, 2012

Formalization of clinical trial eligibility criteria: Evaluation of a pattern-based approach.

Krystyna Miliari, Anca I. D. Bucur, Annette ten Teije

Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine, 2012

2011

Comparison of reasoners for large ontologies in the OWL 2 EL profile.

Kathrin Dentler, Ronald Cornet, Annette ten Teije, Nicolette de Keizer

Semantic Web, 2011

Ranking Query Results from Linked Open Data using a simple cognitive heuristic.

Arjon Buikstra, Hansjörg Neth, Lael Schooler, Annette ten Teije, Frank van Harmelen

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.

Frank van Harmelen, Annette ten Teije, Holger Wache

Proceedings of the Foundations for the Web of Information and Services, 2011

Patterns of Clinical Trial Eligibility Criteria.

Krystyna Milian, Annette ten Teije, Anca I. D. Bucur, Frank van Harmelen

Proceedings of the Knowledge Representation for Health-Care, 2011

Careflow Planning: From Time-Annotated Clinical Guidelines to Temporal Hierarchical Task Networks.

Arturo González-Ferrer, Annette ten Teije, Juan Fernández-Olivares, Krystyna Milian

Proceedings of the Artificial Intelligence in Medicine, 2011

Towards the Automated Calculation of Clinical Quality Indicators.

Kathrin Dentler, Annette ten Teije, Ronald Cornet, Nicolette de Keizer

Proceedings of the Knowledge Representation for Health-Care, 2011

2010

A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval.

Gaston Tagni, Stefan Schlobach, Annette ten Teije, Frank van Harmelen, Giorgios Karafotias

Proceedings of the STAIRS 2010, 2010

2009

Marvin: Distributed reasoning over large-scale Semantic Web data.

Eyal Oren, Spyros Kotoulas, George Anadiotis, Ronny Siebes, Annette ten Teije, Frank van Harmelen

J. Web Semant., 2009

Using model checking for critiquing based on clinical guidelines.

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Robbert-Jan Merk, Annette ten Teije, Frank van Harmelen, Radu Serban

Artif. Intell. Medicine, 2009

The Free Speech Engine: Conversational Web Service Compatibility for Free.

Ruud Stegers, Frank van Harmelen, Annette ten Teije

Proceedings of the 2009 International Conference on Semantic Web & Web Services, 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.

Krystyna Milian, Zharko Aleksovski, Richard Vdovjak, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Representation for Health-Care: Data, 2009

2008

Reasoning about Repairability of Workflows at Design Time.

Gaston Tagni, Annette ten Teije, Frank van Harmelen

Proceedings of the Business Process Management Workshops, 2008

2007

Modelling Web Service Composition for Deductive Web Mining.

Vojtech Svátek, Miroslav Vacura, Annette ten Teije

Comput. Informatics, 2007

Extraction and use of linguistic patterns for modelling medical guidelines.

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde

Artif. Intell. Medicine, 2007

Anytime Classification by Ontology Approximation.

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

Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007

Maintaining Formal Models of Living Guidelines Efficiently.

Andreas Seyfang, Begoña Martínez-Salvador, Radu Serban, Jolanda Wittenberg, Silvia Miksch, Mar Marcos, Annette ten Teije, Kitty Rosenbrand

Proceedings of the Artificial Intelligence in Medicine, 2007

The Role of Model Checking in Critiquing Based on Clinical Guidelines.

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen

Proceedings of the Artificial Intelligence in Medicine, 2007

2006

Improving medical protocols by formal methods.

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

Artif. Intell. Medicine, 2006

Incremental guideline formalization with tool support.

Radu Serban, Anna Puig-Centelles, Annette ten Teije

Proceedings of the Artificial Intelligence Applications and Innovations, 2006

From Natural Language to Formal Proof Goal.

Ruud Stegers, Annette ten Teije, Frank van Harmelen

Proceedings of the Managing Knowledge in a World of Networks, 2006

2005

A quantitative analysis of the robustness of knowledge-based systems through degradation studies.

Perry Groot, Annette ten Teije, Frank van Harmelen

Knowl. Inf. Syst., 2005

Reasoning with Inconsistent Ontologies.

Zhisheng Huang, Frank van Harmelen, Annette ten Teije

Proceedings of the BNAIC 2005, 2005

Design Patterns for Modelling Guidelines.

Radu Serban, Annette ten Teije, Mar Marcos, Cristina Polo-Conde, Kitty Rosenbrand, Jolanda Wittenberg, Joyce van Croonenborg

Proceedings of the Artificial Intelligence in Medicine, 2005

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde

Proceedings of the Artificial Intelligence in Medicine, 2005

Formalising Medical Quality Indicators to Improve Guidelines.

Marjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen

Proceedings of the Artificial Intelligence in Medicine, 2005

2004

Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification.

Perry Groot, Annette ten Teije, Frank van Harmelen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Configuration of Web Services as Parametric Design.

Annette ten Teije, Frank van Harmelen, Bob J. Wielinga

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Protocure: Supporting the Development of Medical Protocols through Formal Methods.

Michael Balser, Óscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter J. F. Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette ten Teije

Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

Reaching Diagnostic Agreement in Multi-Agent Diagnosis.

Nico Roos, Annette ten Teije, Cees Witteveen

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

A protocol for multi-agent diagnosis with spatially distributed knowledge.

Nico Roos, Annette ten Teije, Cees Witteveen

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Experiences in the Formalisation and Verification of Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli

Proceedings of the Artificial Intelligence in Medicine, 2003

Informal and Formal Medical Guidelines: Bridging the Gap.

Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba

Proceedings of the Artificial Intelligence in Medicine, 2003

2002

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

An analysis of multi-agent diagnosis.

Nico Roos, Annette ten Teije, André Bos, Cees Witteveen

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Using Critiquing for Improving Medical Protocols: Harder than It Seems.

Mar Marcos, Geert Berger, Frank van Harmelen, Annette ten Teije, Hugo Roomans, Silvia Miksch

Proceedings of the Artificial Intelligence Medicine, 2001

2000

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.

Alan Verberne, Frank van Harmelen, Annette ten Teije

Proceedings of the KR 2000, 2000

Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems.

Perry Groot, Frank van Harmelen, Annette ten Teije

Proceedings of the Knowledge Acquisition, 2000

Describing Problem Solving Methods using Anytime Performance Profiles.

Annette ten Teije, Frank van Harmelen

Proceedings of the ECAI 2000, 2000

1999

A study of PROforma, a development methodology for clinical procedures.

Arjen Vollebregt, Annette ten Teije, Frank van Harmelen, Johan van der Lei, Mees Mosseveld

Artif. Intell. Medicine, 1999

Formally Verifying Dynamic Properties of Knowledge Based Systems.

Perry Groot, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1998

Construction of problem-solving methods as parametric design.

Annette ten Teije, Frank van Harmelen, A. Th. Schreiber, Bob J. Wielinga

Int. J. Hum. Comput. Stud., 1998

Characterising approximate problem solving: by partially fulfilled pre- and postconditions.

Frank van Harmelen, Annette ten Teije

Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998

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

Annette ten Teije, Frank van Harmelen

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Formalisation for decision support in anaesthesiology.

Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus

Artif. Intell. Medicine, 1997

Exploiting Domain Knowledge for Approximate Diagnosis.

Annette ten Teije, Frank van Harmelen

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Validation and Verification of Conceptual Models of Diagnosis.

Frank van Harmelen, Annette ten Teije

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

1996

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

Annette ten Teije, Frank van Harmelen

Future Gener. Comput. Syst., 1996

Computing Approximate Diagnoses By Using Approximate Entailment.

Annette ten Teije, Frank van Harmelen

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1994

Using Domain Knowledge to Select Solutions in Abductive Diagnosis.

Frank van Harmelen, Annette ten Teije

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994