Using Domain Knowledge to Select Solutions in Abductive Diagnosis. - Frank van Harmelen; Annette ten Teije (ECAI, 1994)

Computing Approximate Diagnoses By Using Approximate Entailment. - Annette ten Teije; Frank van Harmelen (KR, 1996)

Using reflection techniques for flexible problem solving (with examples from diagnosis). - Annette ten Teije; Frank van Harmelen (Future Gener. Comput. Syst., 1996)

Validation and Verification of Conceptual Models of Diagnosis. - Frank van Harmelen; Annette ten Teije (EUROVAV, 1997)

Exploiting Domain Knowledge for Approximate Diagnosis. - Annette ten Teije; Frank van Harmelen (IJCAI (1), 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)

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

Characterising approximate problem solving: by partially fulfilled pre- and postconditions. - Frank van Harmelen; Annette ten Teije (EUROVAV, 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)

Formally Verifying Dynamic Properties of Knowledge Based Systems. - Perry Groot; Annette ten Teije; Frank van Harmelen (EKAW, 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)

Describing Problem Solving Methods using Anytime Performance Profiles. - Annette ten Teije; Frank van Harmelen (ECAI, 2000)

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

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. - Alan Verberne; Frank van Harmelen; Annette ten Teije (KR, 2000)

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

An analysis of multi-agent diagnosis. - Nico Roos; Annette ten Teije; André Bos; Cees Witteveen (AAMAS, 2002)

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

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

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

A protocol for multi-agent diagnosis with spatially distributed knowledge. - Nico Roos; Annette ten Teije; Cees Witteveen (AAMAS, 2003)

Reaching Diagnostic Agreement in Multi-Agent Diagnosis. - Nico Roos; Annette ten Teije; Cees Witteveen (AAMAS, 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; et al. (CGP, 2004)

Configuration of Web Services as Parametric Design. - Annette ten Teije; Frank van Harmelen; Bob J. Wielinga (EKAW, 2004)

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

Formalising Medical Quality Indicators to Improve Guidelines. - Marjolein van Gendt; Annette ten Teije; Radu Serban; Frank van Harmelen (AIME, 2005)

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

Design Patterns for Modelling Guidelines. - Radu Serban; Annette ten Teije; Mar Marcos; Cristina Polo-Conde; Kitty Rosenbrand; Jolanda Wittenberg; Joyce van Croonenborg (AIME, 2005)

Reasoning with Inconsistent Ontologies. - Zhisheng Huang; Frank van Harmelen; Annette ten Teije (IJCAI, 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)

From Natural Language to Formal Proof Goal. - Ruud Stegers; Annette ten Teije; Frank van Harmelen (EKAW, 2006)

Incremental guideline formalization with tool support. - Radu Serban; Anna Puig-Centelles; Annette ten Teije (AIAI, 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)

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 (AIME, 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 (AIME, 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; et al. (New Forms of Reasoning for the Semantic Web, 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)

Modelling Web Service Composition for Deductive Web Mining. - Vojtech Svátek; Miroslav Vacura; Annette ten Teije (Comput. Informatics, 2007)

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

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 (KR4HC, 2009)

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

The Free Speech Engine: Conversational Web Service Compatibility for Free. - Ruud Stegers; Frank van Harmelen; Annette ten Teije (SWWS, 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)

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)

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 (STAIRS, 2010)

Towards the Automated Calculation of Clinical Quality Indicators. - Kathrin Dentler; Annette ten Teije; Ronald Cornet; Nicolette de Keizer (KR4HC, 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 (AIME, 2011)

Patterns of Clinical Trial Eligibility Criteria. - Krystyna Milian; Annette ten Teije; Anca I. D. Bucur; Frank van Harmelen (KR4HC, 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 (LDH, 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)

Formalization of clinical trial eligibility criteria: Evaluation of a pattern-based approach. - Krystyna Miliari; Anca I. D. Bucur; Annette ten Teije (BIBM, 2012)

Semantic Integration of Patient Data and Quality Indicators Based on openEHR Archetypes. - Kathrin Dentler; Annette ten Teije; Ronald Cornet; Nicolette de Keizer (ProHealth/KR4HC, 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 (MIE, 2012)

Knowledge-Based Patient Data Generation. - Zhisheng Huang; Frank van Harmelen; Annette ten Teije; Kathrin Dentler (KR4HC/ProHealth, 2013)

Rule-Based Formalization of Eligibility Criteria for Clinical Trials. - Zhisheng Huang; Annette ten Teije; Frank van Harmelen (AIME, 2013)

SemanticCT: A Semantically-Enabled System for Clinical Trials. - Zhisheng Huang; Annette ten Teije; Frank van Harmelen (KR4HC/ProHealth, 2013)

Towards Automatic Patient Eligibility Assessment: From Free-Text Criteria to Queries. - Krystyna Milian; Annette ten Teije (AIME, 2013)

Identifying Most Relevant Concepts to Describe Clinical Trial Eligibility Criteria. - Krystyna Milian; Anca I. D. Bucur; Frank van Harmelen; Annette ten Teije (HEALTHINF, 2013)

Barriers to the Reuse of Routinely Recorded Clinical Data: A Field Report. - Kathrin Dentler; Annette ten Teije; Nicolette de Keizer; Ronald Cornet (MedInfo, 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)

Feasibility Estimation for Clinical Trials. - Zhisheng Huang; Frank van Harmelen; Annette ten Teije; Andre Dekker (HEALTHINF, 2014)

Evidence-Based Clinical Guidelines in SemanticCT. - Qing Hu 002; Zhisheng Huang; Frank van Harmelen; Annette ten Teije; Jinguang Gu (CSWS, 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 (EKAW, 2014)

Semantic Representation of Evidence-Based Clinical Guidelines. - Zhisheng Huang; Annette ten Teije; Frank van Harmelen; Salah Aït-Mokhtar (KR4HC@VSL, 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 (KR4HC@VSL, 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)

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)

Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method. - Qing Hu 002; Zhisheng Huang; Annette ten Teije; Frank van Harmelen (AIME, 2015)

Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines. - Zhisheng Huang; Qing Hu 002; Annette ten Teije; Frank van Harmelen (KR4HC/ProHealth, 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 (AIME, 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 (AIME, 2015)

Finding Evidence for Updates in Medical Guidelines. - Roelof Reinders; Annette ten Teije; Zhisheng Huang (HEALTHINF, 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 (ESWC, 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 Topic-centric Approach to Detecting New Evidences for Evidence-based Medical Guidelines. - Qing Hu 002; Zhisheng Huang; Annette ten Teije; Frank van Harmelen; M. Scott Marshall; Andre Dekker (HEALTHINF, 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 (HEALTHINF, 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 (BIOSTEC (Selected Papers), 2016)

A Task-based Comparison of Linguistic and Semantic Document Retrieval Methods in the Medical Domain. - Mohammad Shafahi; Qing Hu 002; Hamideh Afsarmanesh; Zhisheng Huang; Annette ten Teije; Frank van Harmelen (EMSA-RMed@ESWC, 2016)

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials. - Zhisheng Huang; Qing Hu 002; Annette ten Teije; Frank van Harmelen; Salah Ait-Mokhtar (HIS, 2016)

Detecting New Evidences for Evidence-Based Medical Guidelines with Journal Filtering. - Qing Hu 002; Zhisheng Huang; Annette ten Teije; Frank van Harmelen (KR4HC/ProHealth@HEC, 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 (KR4HC/ProHealth@HEC, 2016)

Knowledge-Driven Paper Retrieval to Support Updating of Clinical Guidelines - A Use Case on PubMed. - Veruska Zamborlini; Qing Hu 002; Zhisheng Huang; Marcos Da Silveira; Cédric Pruski; Annette ten Teije; Frank van Harmelen (KR4HC/ProHealth@HEC, 2016)

SWISH for Prototyping Clinical Guideline Interactions Theory. - Veruska Zamborlini; Jan Wielemaker; Marcos Da Silveira; Cédric Pruski; Annette ten Teije; Frank van Harmelen (SWAT4LS, 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)

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)

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)

Filtering Clinical Guideline Interactions with Pre-Conditions: A Case Study on Diabetes Guideline. - Veruska Zamborlini; Roelof van der Heijden; Annette ten Teije (MedRACER+WOMoCoE@KR, 2018)

Preface: AIME 2017. - Annette ten Teije; Christian Popow; John H. Holmes; Lucia Sacchi (Artif. Intell. Medicine, 2018)

A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems. - Frank van Harmelen; Annette ten Teije (BNAIC/BENELEARN, 2019)

Ten years of knowledge representation for health care (2009-2018): Topics, trends, and challenges. - David Riaño 001; Mor Peleg; Annette ten Teije (Artif. Intell. Medicine, 2019)

A Boxology of Design Patterns forHybrid Learningand Reasoning Systems. - Frank van Harmelen; Annette ten Teije (J. Web Eng., 2019)

Fostering Scientific Meta-analyses with Knowledge Graphs: A Case-Study. - Ilaria Tiddi; Daniel Balliet; Annette ten Teije (ESWC, 2020)

Machine Learning Explainability in Breast Cancer Survival. - Tom Jansen; Gijs Geleijnse; Marissa Van Maaren; Mathijs P. Hendriks; Annette ten Teije; Arturo Moncada-Torres (MIE, 2020)

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 (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2021)

Storchastic: A Framework for General Stochastic Automatic Differentiation. - Emile van Krieken; Jakub M. Tomczak; Annette ten Teije (NeurIPS, 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)

Preface: AIME 2019. - David Riaño 001; Szymon Wilk; Annette ten Teije (Artif. Intell. Medicine, 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)

Local Explanations for Clinical Search Engine Results. - Edeline Contempré; Zoltán Szlávik; Majid Mohammadi; Erick Velazquez Godinez; Annette ten Teije; Ilaria Tiddi (HEALTHINF, 2022)

Establishing Shared Query Understanding in an Open Multi-Agent System. - Nikolaos Kondylidis; Ilaria Tiddi; Annette ten Teije (AAMAS, 2023)

A Local Non-Additive Framework for Explaining Black-Box Predictive Models. - Majid Mohammadi; Ilaria Tiddi; Annette ten Teije (ECAI, 2023)

Explainable Drug Repurposing in Context via Deep Reinforcement Learning. - Lise Stork; Ilaria Tiddi; René Spijker; Annette ten Teije (ESWC, 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 (NeurIPS, 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)

Architectural Patterns for Neuro-Symbolic AI. - Annette ten Teije; Frank van Harmelen (Compendium of Neurosymbolic Artificial Intelligence, 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 (Compendium of Neurosymbolic Artificial Intelligence, 2023)

In Memoriam David Riaño, 1968-2022. - Annette ten Teije; Mar Marcos; Jose M. Juarez (Artif. Intell. Medicine, 2023)

Preface: Special Issue on Knowledge Representation and Reasoning for Healthcare Processes. - Francesca Zerbato; Luise Pufahl; Annette ten Teije (Artif. Intell. Medicine, 2023)

Evaluating the TMR Model for Multimorbidity Decision Support Using a Community-of-Practice Based Methodology. - Josip Grguric; Annette ten Teije; Frank van Harmelen (AIME (1), 2024)

Structured Representations for Narratives. - Inès Blin; Annette ten Teije; Frank van Harmelen; Ilaria Tiddi (EKAW, 2024)

Living Meta-Review Generation for Social Scientists: An Interface and A Case Study on Human Cooperation. - Inès Blin; Ilaria Tiddi; Giuliana Spadaro; Annette ten Teije (EKAW (Companion), 2024)

Enabling Social Demography Research Using Semantic Technologies. - Lise Stork; Richard Zijdeman; Ilaria Tiddi; Annette ten Teije (ESWC (2), 2024)

Unlocking the Game: Estimating Games in Möbius Representation for Explanation and High-Order Interaction Detection. - Majid Mohammadi; Ilaria Tiddi; Annette ten Teije (AAAI, 2025)

Support Vector-based Estimation of Multilinear Games for Feature Selection and Explanation. - Majid Mohammadi; Ilaria Tiddi; Annette ten Teije (AAAI, 2025)

A Boxology-Based Analysis of Design Patterns for Neuro-Symbolic Medical Decision Making Systems. - Chi Him Ng; Annette ten Teije; Frank van Harmelen (AIME (1), 2025)

Can We Trust Explanation! Evaluation of Model-Agnostic Explanation Techniques on Highly Imbalanced, Multiclass-Multioutput Classification Problem. - Syed Ihtesham Hussain Shah; Annette ten Teije; José Volders (BIOSTEC (2): HEALTHINF, 2025)

A framework for establishing shared, task-oriented understanding in hybrid open multi-agent systems. - Nikolaos Kondylidis; Ilaria Tiddi; Annette ten Teije (Frontiers Artif. Intell., 2025)

Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes. - Majid Mohammadi; Krikamol Muandet; Ilaria Tiddi; Annette ten Teije; Siu Lun Chau (CoRR, 2025)