| 2026 | ICAART | Loosely Coupled Architectures for Neuro-symbolic Systems: Combining Learning and Reasoning. | Frank van Harmelen |
| 2025 | AIME | A Boxology-Based Analysis of Design Patterns for Neuro-Symbolic Medical Decision Making Systems. | Chi Him Ng, Annette ten Teije, Frank van Harmelen |
| 2025 | EUMAS | "Stop Replacing Salt with Sugar!": Towards Intuitive Human-Agent Teaching. | Nikolaos Kondylidis, Andrea Rafanelli, Ilaria Tiddi, Annette ten Teije, Frank van Harmelen |
| 2025 | EUMAS | Successful Misunderstandings: Learning to Coordinate Without Being Understood. | Nikolaos Kondylidis, Anil Yaman, Frank van Harmelen, Erman Acar, Annette ten Teije |
| 2024 | AIME | Evaluating the TMR Model for Multimorbidity Decision Support Using a Community-of-Practice Based Methodology. | Josip Grguric, Annette ten Teije, Frank van Harmelen |
| 2024 | EKAW | Structured Representations for Narratives. | Ins Blin, Annette ten Teije, Frank van Harmelen, Ilaria Tiddi |
| 2024 | EKAW | Updating Knowledge Graph Embeddings by Intermediate Estimations on Numerical Attributes. | Roderick van der Weerdt, Victor de Boer, Ronald Siebes, Frank van Harmelen |
| 2023 | NeSy | 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, Frank van Harmelen, Annette ten Teije |
| 2022 | IJCAI | Reinforcement Learning with Option Machines. | Floris den Hengst, Vincent Franois-Lavet, Mark Hoogendoorn, Frank van Harmelen |
| 2022 | KSEM | Scientific Item Recommendation Using a Citation Network. | Xu Wang, Frank van Harmelen, Michael Cochez, Zhisheng Huang |
| 2021 | DATA | Biomedical Dataset Recommendation. | Xu Wang, Frank van Harmelen, Zhisheng Huang |
| 2020 | IC3K | Hybrid Intelligence: AI Systems That Collaborate with People Instead of Replacing Them. | Frank van Harmelen |
| 2020 | IC3K | Ontology-based Methods for Classifying Scientific Datasets into Research Domains: Much Harder than Expected. | Xu Wang, Frank van Harmelen, Zhisheng Huang |
| 2020 | IC3K | Bottom-up Discovery of Context-aware Quality Constraints for Heterogeneous Knowledge Graphs. | Xander Wilcke, Maurice de Kleijn, Victor de Boer, Henk J. Scholten, Frank van Harmelen |
| 2020 | KR | Analyzing Differentiable Fuzzy Implications. | Emile van Krieken, Erman Acar, Frank van Harmelen |
| 2020 | WISE | Evaluating Similarity Measures for Dataset Search. | Xu Wang, Zhisheng Huang, Frank van Harmelen |
| 2020 | WEBIST | Hybrid Intelligence: AI Systems that Collaborate with People Instead of Replacing Them. | Frank van Harmelen |
| 2018 | EKAW | Network Metrics for Assessing the Quality of Entity Resolution Between Multiple Datasets. | Al Koudous Idrissou, Frank van Harmelen, Peter van den Besselaar |
| 2017 | AIME | Constructing Disease-Centric Knowledge Graphs: A Case Study for Depression (short Version). | Zhisheng Huang, Jie Yang, Frank van Harmelen, Qing Hu |
| 2015 | AIME | Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines. | Zhisheng Huang, Qing Hu, Annette ten Teije, Frank van Harmelen |
| 2015 | AIME | Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method. | Qing Hu, Zhisheng Huang, Annette ten Teije, Frank van Harmelen |
| 2015 | AIME | Analyzing Recommendations Interactions in Clinical Guidelines - Impact of Action Type Hierarchies and Causation Beliefs. | Veruska Zamborlini, Marcos Da Silveira, Cdric Pruski, Annette ten Teije, Frank van Harmelen |
| 2014 | EKAW | A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines - A Case-Study on Multimorbidity. | Veruska Zamborlini, Rinke Hoekstra, Marcos Da Silveira, Cdric Pruski, Annette ten Teije, Frank van Harmelen |
| 2014 | KR | Rough Set Semantics for Identity on the Web. | Wouter Beek, Stefan Schlobach, Frank van Harmelen |
| 2013 | AIME | Knowledge-Based Patient Data Generation. | Zhisheng Huang, Frank van Harmelen, Annette ten Teije, Kathrin Dentler |
| 2013 | AIME | Rule-Based Formalization of Eligibility Criteria for Clinical Trials. | Zhisheng Huang, Annette ten Teije, Frank van Harmelen |
| 2013 | AIME | SemanticCT: A Semantically-Enabled System for Clinical Trials. | Zhisheng Huang, Annette ten Teije, Frank van Harmelen |
| 2012 | EKAW | Building a Library of Eligibility Criteria to Support Design of Clinical Trials. | Krystyna Milian, Anca I. D. Bucur, Frank van Harmelen |
| 2011 | AIME | Patterns of Clinical Trial Eligibility Criteria. | Krystyna Milian, Annette ten Teije, Anca I. D. Bucur, Frank van Harmelen |
| 2011 | IJCAI | Ranking Query Results from Linked Open Data using a simple cognitive heuristic. | Arjon Buikstra, Hansjrg Neth, Lael Schooler, Annette ten Teije, Frank van Harmelen |
| 2010 | JURIX | Case Frames as Contextual Mappings to Case Law in BestPortal. | Rinke Hoekstra, Arno R. Lodder, Frank van Harmelen |
| 2010 | WWW | Mind the data skew: distributed inferencing by speeddating in elastic regions. | Spyros Kotoulas, Eyal Oren, Frank van Harmelen |
| 2009 | AIME | 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 |
| 2008 | BPM | Reasoning about Repairability of Workflows at Design Time. | Gaston Tagni, Annette ten Teije, Frank van Harmelen |
| 2008 | ILP | Semantic Web Meets ILP: Unconsumated Love, or No Love Lost?. | Frank van Harmelen |
| 2007 | AIME | 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 |
| 2007 | ICAIL | Case law retrieval by concept search and visualization. | Elisabeth M. Uijttenbroek, Michel C. A. Klein, Arno R. Lodder, Frank van Harmelen |
| 2007 | WWW | Using Google distance to weight approximate ontology matches. | Risto Gligorov, Warner ten Kate, Zharko Aleksovski, Frank van Harmelen |
| 2006 | EKAW | Matching Unstructured Vocabularies Using a Background Ontology. | Zharko Aleksovski, Michel C. A. Klein, Warner ten Kate, Frank van Harmelen |
| 2006 | EKAW | From Natural Language to Formal Proof Goal. | Ruud Stegers, Annette ten Teije, Frank van Harmelen |
| 2006 | JURIX | Thesaurus-based Retrieval of Case Law. | Michel C. A. Klein, Wouter Van Steenbergen, Elisabeth M. Uijttenbroek, Arno R. Lodder, Frank van Harmelen |
| 2006 | WWW | Meaning on the web: evolution vs intelligent design? | Ron Brachman, Dan Connolly, Rohit Khare, Frank Smadja, Frank van Harmelen |
| 2005 | AIME | Formalising Medical Quality Indicators to Improve Guidelines. | Marjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen |
| 2005 | AIME | Ontology Mapping: A Way Out of the Medical Tower of Babel? | Frank van Harmelen |
| 2005 | AIME | Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. | Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde |
| 2005 | IJCAI | Reasoning with Inconsistent Ontologies. | Zhisheng Huang, Frank van Harmelen, Annette ten Teije |
| 2005 | JURIX | The Legal Concepts and the Layman's Terms - Bridging the Gap through Ontology-Based Reasoning about Liability. | Ronny van Laarschot, Wouter Van Steenbergen, Heiner Stuckenschmidt, Arno R. Lodder, Frank van Harmelen |
| 2004 | ECAI | Configuration of Web Services as Parametric Design. | Annette ten Teije, Frank van Harmelen, Bob J. Wielinga |
| 2004 | EKAW | A Topic-Based Browser for Large Online Resources. | 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 |
| 2004 | EKAW | Configuration of Web Services as Parametric Design. | Annette ten Teije, Frank van Harmelen, Bob J. Wielinga |
| 2004 | KR | Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. | Perry Groot, Annette ten Teije, Frank van Harmelen |
| 2004 | WWW | The Drug Ontology Project for Elsevier - An RDF Architecture Enabling Thesaurus-Driven Data Integration. | Jeen Broekstra, Christiaan Fluit, Arjohn Kampman, Frank van Harmelen, Heiner Stuckenschmidt, Ravinder Bhogal, Antony Scerri, Anita de Waard, Erik M. van Mulligen |
| 2003 | AIME | Informal and Formal Medical Guidelines: Bridging the Gap. | Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba |
| 2003 | AIME | Experiences in the Formalisation and Verification of Medical Protocols. | Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli |
| 2002 | AAAI | Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. | Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen |
| 2002 | EKAW | From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. | Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen |
| 2002 | FlAIRS | Learning Structural Classification Rules for Web-Page Categorization. | Heiner Stuckenschmidt, Jens Hartmann, Frank van Harmelen |
| 2002 | FQAS | Approximating Terminological Queries. | Heiner Stuckenschmidt, Frank van Harmelen |
| 2001 | AIME | Using Critiquing for Improving Medical Protocols: Harder than It Seems. | Mar Marcos, Geert Berger, Frank van Harmelen, Annette ten Teije, Hugo Roomans, Silvia Miksch |
| 2001 | IV | Ontology-Based Information Visualisation. | Frank van Harmelen, Jeen Broekstra, Christiaan Fluit, Herko ter Horst, Arjohn Kampman, Jos van der Meer, Marta Sabou |
| 2001 | WWW | Enabling knowledge representation on the Web by extending RDF schema. | Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks |
| 2000 | ECAI | Describing Problem Solving Methods using Anytime Performance Profiles. | Annette ten Teije, Frank van Harmelen |
| 2000 | EKAW | OIL in a Nutshell. | Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein |
| 2000 | EKAW | Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems. | Perry Groot, Frank van Harmelen, Annette ten Teije |
| 2000 | KR | Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. | Alan Verberne, Frank van Harmelen, Annette ten Teije |
| 1999 | EKAW | Formally Verifying Dynamic Properties of Knowledge Based Systems. | Perry Groot, Annette ten Teije, Frank van Harmelen |
| 1999 | IJCAI | Practical Knowledge Representation for the Web. | Frank van Harmelen, Dieter Fensel |
| 1998 | ECAI | Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. | Annette ten Teije, Frank van Harmelen |
| 1997 | IJCAI | Exploiting Domain Knowledge for Approximate Diagnosis. | Annette ten Teije, Frank van Harmelen |
| 1996 | EKAW | The REVISE Project: A Purpose Driven Method for Language Comparison. | Frances M. T. Brazier, Frank van Harmelen, Remco Straatman, Jan Treur, Niek J. E. Wijngaards, Mark Willems |
| 1996 | KR | Computing Approximate Diagnoses By Using Approximate Entailment. | Annette ten Teije, Frank van Harmelen |
| 1995 | SEKE | Modelling software components for reuse. | John van den Elst, Monique Thonnat, Frank van Harmelen |
| 1994 | ECAI | Using Domain Knowledge to Select Solutions in Abductive Diagnosis. | Frank van Harmelen, Annette ten Teije |
| 1994 | EKAW | Evaluating a Formal Modelling Language. | Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke van de Plassche |
| 1994 | LOPSTR | A Model of Costs and Benefits of Meta-Level Computation. | Frank van Harmelen |
| 1994 | SEKE | A functional specification of reusing software components. | John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat |
| 1992 | ECAI | (ML)2: A Formal Language for KADS Models. | Frank van Harmelen, John Balder |
| 1992 | KI | Controlling Generate & Test in Any Time. | Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Vo |
| 1990 | CADE | The Oyster-Clam System. | Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill |
| 1990 | CADE | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. | Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland |
| 1989 | IJCAI | A Rational Reconstruction and Extension of Recursion Analysis. | Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens |