The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Annette ten Teije: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba
    Informal and Formal Medical Guidelines: Bridging the Gap. [Citation Graph (0, 0)][DBLP]
    AIME, 2003, pp:173-178 [Conf]
  2. Marjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen
    Formalising Medical Quality Indicators to Improve Guidelines. [Citation Graph (0, 0)][DBLP]
    AIME, 2005, pp:201-210 [Conf]
  3. Mar Marcos, Geert Berger, Frank van Harmelen, Annette ten Teije, Hugo Roomans, Silvia Miksch
    Using Critiquing for Improving Medical Protocols: Harder than It Seems. [Citation Graph (0, 0)][DBLP]
    AIME, 2001, pp:431-441 [Conf]
  4. Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
    Experiences in the Formalisation and Verification of Medical Protocols. [Citation Graph (0, 0)][DBLP]
    AIME, 2003, pp:132-141 [Conf]
  5. Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde
    Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. [Citation Graph (0, 0)][DBLP]
    AIME, 2005, pp:191-200 [Conf]
  6. Radu Serban, Annette ten Teije, Mar Marcos, Cristina Polo-Conde, Kitty Rosenbrand, Jolanda Wittenberg, Joyce van Croonenborg
    Design Patterns for Modelling Guidelines. [Citation Graph (0, 0)][DBLP]
    AIME, 2005, pp:121-125 [Conf]
  7. Nico Roos, Annette ten Teije, André Bos, Cees Witteveen
    An analysis of multi-agent diagnosis. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:986-987 [Conf]
  8. Nico Roos, Annette ten Teije, Cees Witteveen
    A protocol for multi-agent diagnosis with spatially distributed knowledge. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:655-661 [Conf]
  9. Nico Roos, Annette ten Teije, Cees Witteveen
    Reaching Diagnostic Agreement in Multi-Agent Diagnosis. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1256-1257 [Conf]
  10. Zhisheng Huang, Frank van Harmelen, Annette ten Teije
    Reasoning with Inconsistent Ontologies. [Citation Graph (0, 0)][DBLP]
    BNAIC, 2005, pp:349-350 [Conf]
  11. Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde
    Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. [Citation Graph (0, 0)][DBLP]
    BNAIC, 2005, pp:381-382 [Conf]
  12. Frank van Harmelen, Annette ten Teije
    Using Domain Knowledge to Select Solutions in Abductive Diagnosis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:652-656 [Conf]
  13. Annette ten Teije, Frank van Harmelen
    Describing Problem Solving Methods using Anytime Performance Profiles. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:181-185 [Conf]
  14. Annette ten Teije, Frank van Harmelen
    Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:78-82 [Conf]
  15. Annette ten Teije, Frank van Harmelen, Bob J. Wielinga
    Configuration of Web Services as Parametric Design. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:1097-1098 [Conf]
  16. Perry Groot, Frank van Harmelen, Annette ten Teije
    Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    EKAW, 2000, pp:403-418 [Conf]
  17. Perry Groot, Annette ten Teije, Frank van Harmelen
    Formally Verifying Dynamic Properties of Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    EKAW, 1999, pp:157-171 [Conf]
  18. Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen
    From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. [Citation Graph (0, 0)][DBLP]
    EKAW, 2002, pp:49-64 [Conf]
  19. Ruud Stegers, Annette ten Teije, Frank van Harmelen
    From Natural Language to Formal Proof Goal. [Citation Graph (0, 0)][DBLP]
    EKAW, 2006, pp:51-58 [Conf]
  20. Annette ten Teije, Frank van Harmelen, Bob J. Wielinga
    Configuration of Web Services as Parametric Design. [Citation Graph (0, 0)][DBLP]
    EKAW, 2004, pp:321-336 [Conf]
  21. Frank van Harmelen, Annette ten Teije
    Validation and Verification of Conceptual Models of Diagnosis. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:117-128 [Conf]
  22. Radu Serban, Anna Puig-Centelles, Annette ten Teije
    Incremental guideline formalization with tool support. [Citation Graph (0, 0)][DBLP]
    AIAI, 2006, pp:106-118 [Conf]
  23. Zhisheng Huang, Frank van Harmelen, Annette ten Teije
    Reasoning with Inconsistent Ontologies. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:454-459 [Conf]
  24. Annette ten Teije, Frank van Harmelen
    Exploiting Domain Knowledge for Approximate Diagnosis. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:454-459 [Conf]
  25. Perry Groot, Annette ten Teije, Frank van Harmelen
    Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:399-406 [Conf]
  26. Annette ten Teije, Frank van Harmelen
    Computing Approximate Diagnoses By Using Approximate Entailment. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:256-265 [Conf]
  27. Alan Verberne, Frank van Harmelen, Annette ten Teije
    Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:323-332 [Conf]
  28. Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus
    Formalisation for decision support in anaesthesiology. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 1997, v:11, n:3, pp:189-214 [Journal]
  29. 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
    Improving medical protocols by formal methods. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2006, v:36, n:3, pp:193-209 [Journal]
  30. Arjen Vollebregt, Annette ten Teije, Frank van Harmelen, Johan van der Lei, Mees Mosseveld
    A study of PROforma, a development methodology for clinical procedures. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 1999, v:17, n:2, pp:195-221 [Journal]
  31. Annette ten Teije, Frank van Harmelen, A. Th. Schreiber, Bob J. Wielinga
    Construction of problem-solving methods as parametric design. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1998, v:49, n:4, pp:363-389 [Journal]
  32. Perry Groot, Annette ten Teije, Frank van Harmelen
    A quantitative analysis of the robustness of knowledge-based systems through degradation studies. [Citation Graph (0, 0)][DBLP]
    Knowl. Inf. Syst., 2005, v:7, n:2, pp:224-245 [Journal]
  33. Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen
    The Role of Model Checking in Critiquing Based on Clinical Guidelines. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:411-420 [Conf]
  34. Andreas Seyfang, Begoña Martínez-Salvador, Radu Serban, Jolanda Wittenberg, Silvia Miksch, Mar Marcos, Annette ten Teije, Kitty Rosenbrand
    Maintaining Formal Models of Living Guidelines Efficiently. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:441-445 [Conf]

  35. 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. [Citation Graph (, )][DBLP]


  36. Reasoning about Repairability of Workflows at Design Time. [Citation Graph (, )][DBLP]


  37. Knowledge engineering rediscovered: towards reasoning patterns for the semantic web. [Citation Graph (, )][DBLP]


  38. Anytime Classification by Ontology Approximation. [Citation Graph (, )][DBLP]


  39. The Free Speech Engine: Conversational Web Service Compatibility for Free. [Citation Graph (, )][DBLP]


  40. Extraction and use of linguistic patterns for modelling medical guidelines. [Citation Graph (, )][DBLP]


  41. Using model checking for critiquing based on clinical guidelines. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002