- Characterising approximate problemsolving by partially fulfilled pre and postconditions
- The Free Speech Engine Conversational web service compatibility for free
- To appear 2003 in Knowledge and Information Systems A quantitative analysis of the robustness of
- From informal knowledge to formal logic: a realistic case study in medical protocols
- Using reflection techniques for flexible problem solving (with examples from diagnosis)
- Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
- Validation and verification of conceptual models of diagnosis Frank van Harmelen
- Protocure: Supporting the Development of Medical Protocols through Formal Methods
- Reasoning with Inconsistent Ontologies Zhisheng Huang a
- Extraction and use of linguistic patterns for modelling medical guidelines
- Approximations in diagnosis: motivations and techniques
- AI in Medicine, vol. 11, pgs. 189214, 1998 Formalisation for decision support in
- Formal support for Development of KnowledgeBased Dieter Fensel 1 , Frank van Harmelen 2 , Wolfgang Reif 3 , Annette ten Teije 2
- Using domain knowledge to select solutions in abductive diagnosis
- Web Service Composition for Deductive Web Mining: A Knowledge Modelling Approach
- Informal and formal medical guidelines: Bridging the gap
- Reaching diagnostic agreement in Multi-Agent Diagnosis Universiteit Maastricht
- Using critiquing for improving medical protocols: harder than it seems
- Construction of problemsolving methods as parametric design
- Using reflection techniques for flexible problem solving with examples from diagnosis
- Describing Problem Solving Methods using Anytime Performance profiles
- Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web
- Identifying Disease-centric Subdomains in Very Large Medical Ontologies,
- Computing and Informatics, Vol. 22, 2003, 10011024, V 2006-Nov-24 MODELLING WEB SERVICE COMPOSITION
- Improving medical protocols by formal methods Annette ten Teije 1
- Incremental guideline formalization with tool support Radu Serban1, Anna Puig-Centelles2, Annette ten Teije 1
- Ontology-driven extraction of linguistic patterns for modelling clinical guidelines
- Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
- Experiences in the formalisation and verification of medical protocols
- An extended spectrum of logical definitions for diagnostic systems
- An analysis of MultiAgent Diagnosis tracking number: 104
- Characterising Problem Solving Methods by gradual requirements
- Examples of approximations in diagnosis based on approximate entailment
- Multi-Agent Diagnosis with semantically distributed knowledge
- 9 WS-DIAMOND: Web Services--DIAgnosability, MONitoring, and Luca Console, Danilo Ardagna, Liliana Ardissono, Stefano Bocconi, Cinzia Cappiello, Marie Odile
- Formalising medical quality indicators to improve guidelines
- Configuration of Web Services as Parametric Design Annette ten Teije 1 and Frank van Harmelen2 and Bob Wielinga3
- Computing approximate diagnoses by using approximate Annette ten Teije
- Multi Agent Diagnosis: an analysis Nico Roos b Annette ten Teije c Andre Bos a
- Reasoning about Repairability of Workflows at Design Time
- Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines
- Configuration of Web Services as Parametric Design Annette ten Teije1
- Identifying disease-centric subdomains in very large medical ontologies,
- Knowledge Engineering rediscovered: Towards Reasoning Patterns for the Semantic Web
- Diagnostic Reasoning with Anaesthesia Knowledge Annette ten Teije,
- Automated Configuration of Problem Solving Methods
- Construction of problemsolving methods as parametric design
- Exploiting domain knowledge for approximate diagnosis Annette ten Teije
- Describing Problem Solving Methods using Anytime Performance Profiles
- Design patterns for modelling guidelines Radu Serban1
- Exploiting thesauri knowledge in medical guideline formalization
- Diagnostic Reasoning Anaesthesia Knowledge
- From Natural Language to Formal Proof Goal Structured Goal Formalisation Applied to
- MARVIN: A platform for large-scale analysis of Semantic Web data
- Towards the Automated Calculation of Clinical Quality Indicators
- Patterns of Clinical Trial Eligibility Criteria Krystyna Milian1
- Semantic Web 1 (2011) 15 1 Comparison of Reasoners for large
- Careflow Planning: From Time-Annotated Clinical Guidelines to Temporal Hierarchical
