Search the dblp DataBase
Annette ten Teije :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Zhisheng Huang , Frank van Harmelen , Annette ten Teije Reasoning with Inconsistent Ontologies. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:349-350 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Zhisheng Huang , Frank van Harmelen , Annette ten Teije Reasoning with Inconsistent Ontologies. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:454-459 [Conf ] Annette ten Teije , Frank van Harmelen Exploiting Domain Knowledge for Approximate Diagnosis. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:454-459 [Conf ] 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 ] Annette ten Teije , Frank van Harmelen Computing Approximate Diagnoses By Using Approximate Entailment. [Citation Graph (0, 0)][DBLP ] KR, 1996, pp:256-265 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Reasoning about Repairability of Workflows at Design Time. [Citation Graph (, )][DBLP ] Knowledge engineering rediscovered: towards reasoning patterns for the semantic web. [Citation Graph (, )][DBLP ] Anytime Classification by Ontology Approximation. [Citation Graph (, )][DBLP ] The Free Speech Engine: Conversational Web Service Compatibility for Free. [Citation Graph (, )][DBLP ] Extraction and use of linguistic patterns for modelling medical guidelines. [Citation Graph (, )][DBLP ] Using model checking for critiquing based on clinical guidelines. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs