Annette ten Teije --- publications

Google Scholar Annette ten Teije

Towards the Automated Calculation of Clinical Quality Indicators
Kathrin Dentler, Annette ten Teije, Ronald Cornet, Nicolette de Keizer
The Third Knowledge Representation in Health-Care, KR4HC'11.
(reference , pdf paper)
 
Patterns of Clinical Trial Eligibility Criteria
Krystyna Milian, Annette ten Teije, Anca Bucur, and Frank van Harmelen
The Third Knowledge Representation in Health-Care, KR4HC'11.
(reference , pdf paper)
 
Careflow Planning: from Time-annotated Clinical Guidelines to Temporal Hierarchical Task Networks
Arturo González Ferrer, Annette Ten Teije, Juan Fdez-Olivares, Krystyna Milian and Frank Van Harmelen
The 13th European Conference on Artificial Intelligence in Medicine, AIME'11.
(reference , pdf paper)
 
Comparison of Reasoners for large Ontologies in the OWL 2 EL Profile
Kathrin Dentler, Ronald Cornet, Annette ten Teije and Nicolette de Keizer
Semantic Web Journal, 2011
(reference , pdf paper)
 
Knowledge Representation for Health-Care. Data, Processes and Guidelines (ECAI 2010 Workshop KR4HC 2010), Revised Selected Papers
Editors David Riaño, Annette ten Teije, Silvia Miksch and Mor Peleg
Lecture Notes in Computer Science, 2011, Volume 6512.
(reference)
 
The Semantic Web: Research and Applications 7th Extended Semantic Web Conference, ESWC 2010 Proceedings
Editors Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije and Heiner Stuckenschmidt
Lecture Notes in Computer Science, 2011, Volume 6088, Volume 6089.
(reference)
 
Knowledge Representation for Health-Care. Data, Processes and Guidelines (AIME 2009 Workshop KR4HC 2009), Revised Selected and Invited Papers
Editors David Riaño, Annette ten Teije, Silvia Miksch and Mor Peleg
Lecture Notes in Computer Science, 2010, Volume 5943.
(reference)
 
Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web
Frank van Harmelen, Annette ten Teije, Holger Wache
The Fifth International Conference on Knowledge Capture, KCAP'09.
(reference , pdf paper, pdf short paper)
 
Identifying Disease-centric Subdomains in Very Large Medical Ontologies, a case-study on breast-cancer concepts in SNOMED
Krystyna Milian, Zharko Aleksovski, Richard Vdovjak, Annette ten Teije, Frank van Harmelen
AIME'09 workshop on Knowledge Representation for Healthcare, KR4HC'09.
(reference , pdf paper, pdf short paper)
 
The Free Speech Engine: Conversational Web Service Compatibility for Free
Ruud Stegers, Annette ten Teije, Frank van Harmelen
International Conference on Semantic Web and Web Services, SWWS'09.
(reference , pdf paper, pdf short paper)
 
MARVIN: distributed reasoning over large-scale Semantic Web data
Eyal Oren, Spyros Kotoulas, George Anadiotis, Ronald Siebes, Annette Ten Teije, Frank van Harmelen
Journal of Web Semantics
(reference , pdf paper)
 
MARVIN: distributed reasoning over large-scale Semantic Web data
Eyal Oren, Spyros Kotoulas, George Anadiotis, Ronald Siebes, Annette Ten Teije, Frank van Harmelen
Proceedings of the WebSci'09: Society On-Line
(reference , pdf paper)
 
book computer-based medical guidelines and protocols Computer-based Medical Guidelines and Protocols:
A Primer and Current Trends

Volume 139 Studies in Health Technoloy and InformaticsStudies in Health Technology and Informatics
Edited by: A. Ten Teije, S. Miksch and P. Lucas
July 2008, approx. 282 pp., hardcover
ISBN: 978-1-58603-873-1 NEW
Price: US$165 / €115 / £86
IOS Press

Using Model Checking for Critiquing based on Clinical Guidelines
Perry Groot, Arjen Hommersom, Peter Lucas and Robert-Jan Merk, Annette ten Teije, Frank van Harmelen, Radu Serban
AI in Medicine, AIIM2008.
(reference , pdf paper)
 
WS-DIAMOND: Web Services - DIAgnosability, MONitoring, and Diagnosis
Luca Console et al.,
Book chapter in At your service: Service Engineering in the Information Society Technologies Program
(reference , pdf paper)
 
Reasoning about Repairability of Workflows at Design Time
Gaston Tagni, Annette ten Teije, Frank van Harmelen
1st International Workshop on QoS in Self-healing Web Services, QSWS2008.
(reference , pdf paper)
 
Exploiting thesauri knowledge in medical guideline formalization
Radu Serban, Annette ten Teije
Methods of Information in Medicine, MIM2009.
(reference , pdf paper)
 
Extraction and Use of Linguistic Patterns for Modeling Clinical Guidelines
Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo
Artificial Intelligence in Medicine, AIIM2007.
(reference , pdf paper)
 
Anytime Classification by Ontology Approximation
S. Schlobach and E. Blaauw and M. El Kebir and A. ten Teije and F. van Harmelen and S. Bortoli and M. Hobbelman and K. Millian and Y. Ren and S. Stam and P. Thomassen and R. van het Schip and W. van Willigem
ISWC 2007 workshop on new forms of reasoning for the Semantic Web: scalable, tolerant and dynamic,
(reference , pdf paper)
 
Modelling web-service composition for deductive web mining
Vojtech Svatek, Miroslav Vacura, Martin Labsky, Annette ten Teije
Computing and Informatics, CAI2007.
(reference , pdf paper)
 
The Role of Model Checking in Critiquing based on Clinical Guidelines
Perry Groot, Arjen Hommersom, Peter Lucas, Radu Serban, Annette ten Teije , Frank van Harmelen.
The Eleventh European Conference on Artificial Intelligence in Medicine, AIME'07, Amsterdam.
(reference , pdf paper)
 
Maintaining Formal Models of Living Guidelines Efficiently
Andreas Seyfang, Begona Martinez-Salvador, Radu Serban, Jolanda Wittenberg, Silvia Miksch, Mar Marcos, Annette ten Teije, Kitty Rosenbrand
The Eleventh European Conference on Artificial Intelligence in Medicine, AIME'07, Amsterdam.
(reference , pdf paper)
 
Extraction and Use of Linguistic Patterns for Modeling Clinical Guidelines
Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo.
Artificial Intelligence in Medicine, AIM2006.
(reference , pdf paper)
 
From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines
Ruud Stegers, Annette ten Teije, Frank van Harmelen
The 15th International Conference on Knowledge Engineering and Knowledge Management, EKAW2006, Prague.
(reference , pdf paper)
 
Formalization of medical guidelines exploiting medical thesauri
Radu Serban, Annette ten Teije
Integrating Biomedical Information: From eCell to ePatient. Proceedings of the European Federation for Medical Informatics Special Topic Conference, Workshop on Foundations of Clinical Terminologies and Classifications, FCTC2006, Romania.
(reference , pdf paper)
 
Incremental guideline formalization with tool support
Radu Serban, Anna Puig-Centelles, Annette ten Teije
The 3rd IFIP Conference on Artificial Intelligence Applications and Innovations, AIAI 2006, Greece.
(reference , pdf paper)
 
Improving Medical Protocols by Formal Methods
Annette ten Teije, Mar Marcos, Michel Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang
Artificial Intelligence in Medicine, AIM2006.
(reference , pdf paper)
 
Formalising medical quality indicators to improve guidelines
Marjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen
The Tenth European Conference on Artificial Intelligence in Medicine, AIME 2005, Scotland.
(reference , pdf paper)
 
Design patterns for modelling medical guidelines
Radu Serban, Annette ten Teije, Mar Marcos, Cristina Polo, Kitty Rosenbrand, Joyce van Croonenborg, Jolanda Wittenberg.
The 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Scotland.
(reference , pdf paper)
 
Ontology-driven extraction of linguistic patterns for modelling clinical guidelines
Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo
The 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Scotland
(reference , pdf paper)
2-page version, The Seventeenth Belgian/Dutch Conference on AI, BNAIC 2005, Brussel.
(reference , pdf paper)
Reasoning with Inconsistent Ontologies
Zhisheng Huang, Frank van Harmelen, Annette ten Teije
The Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, Scotland.
(reference , pdf paper)
2-page version, The Seventeenth Belgian/Dutch Conference on AI, BNAIC 2005, Brussel.
(reference , pdf paper)
Web Service Composition for Deductive Web Mining: A Knowledge Modelling Approach
Vojtech Svatek, Annette ten Teije, Miroslav Vacura
Znalosti 2005, Slovak Republic.
(reference , pdf paper)

Configuration of Web Services as Parametric Design
Annette ten Teije, Frank van Harmelen, Bob Wielinga
Int. Conference, EKAW 2004, Oct 2004, UK.
(reference , pdf paper)
2-page version, ECAI 2004, Spain.
(reference , pdf paper)
Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification
Perry Groot, Annette ten Teije, Frank van Harmelen
Int. Conference on Principles of Knowledge Representation and Reasoning (KR'04)
(reference , pdf paper)
Reaching Diagnostic Agreement in Multi-agent Diagnosis.
Nico Roos, Annette ten Teije, Cees Witteveen
Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'04),
(reference , pdf paper)
Protocure: Supporting the Development of Medical Protocols through Formal Methods
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch,Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette ten Teije
Symposium of Computerised Protocols and Guidelines (SCPG-04), Studies in Health Technology and Informatics, Vol. 101
(reference , pdf paper)
A quantitative analysis of the robustness of Knowledge-Based Systems through degradation studies
Perry Groot, Annette ten Teije, Frank van Harmelen
Knowledge and Information Systems (KAIS), 2003 (To appear)
(reference , pdf paper)
Experiences in the formalisation and verification of medical protocols
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
The 9th European Conference on Artificial Intelligence in Medicine (AIME-03), Oct '03, Cyprus
(reference , pdf paper)
Informal and formal medical guidelines: Bridging the gap
Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba
The 9th European Conference on Artificial Intelligence in Medicine (AIME-03), Oct '03, Cyprus
(reference , pdf paper)
A protocol for Multi-Agent Diagnosis with spatially distributed knowledge
Nico Roos, Annette ten Teije, Cees Witteveen
Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03), July '03, Australia
(reference , pdf paper)
Multi-Agent Diagnosis with semantically distributed knowledge
Nico Roos, Annette ten Teije, Cees Witteveen
The 15th Belgium-Dutch Conference on Artificial Intelligence (BNAIC'03), Nijmegen
(reference , pdf paper)
Task and Method Adaptation
Annette ten Teije, Frank van Harmelen
Deliverable WP4.1 and WP4.2, IBROW Project IST-1999-19005, An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web , Jan '03,
(pdf paper)
From informal knowledge to formal logic: a realistic case study in medical protocols
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen
European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW'02), Oct '02, Spain
(reference , pdf paper)
Multi-agent diagnosis with spatially distributed knowledge
Nico Roos, Annette ten Teije, Andre Bos, Cees Witteveen
the 14th Belgium-Dutch Conference on Artificial Intelligence (BNAIC'02) , Oct '02 Leuven
(reference , pdf)
Improving medical protocols through formalisation: a case study
Mar Marcos, Hugo Roomans, Annette ten Teije, Frank van Harmelen
6th World Conference on Integrated Design and Process Technoloy (IDPT'02), Jun '02, Carlifornia
(reference , pdf paper)
An Analysis of Multi-agent Diagnosis
Nico Roos, Annette ten Teije, Andre Bos, Cees Witteveen
First International Joint Conference on Autonomous Agents and Mult-Agent Systems (AAMAS'02), July '02 Bologna
(reference , postscript paper)
Using critiquing for improving medical protocols: harder than it seems
Mar Marcos, Geert Berger, Frank van Harmelen, Annette ten Teije, Hugo Roomans, Silvia Miksch
the 8th European Conference on Artificial Intelligence in Medicine (AIME'01), July '01, Dagstuhl, Germany
(reference , pdf paper)
Multi-agent diagnosis: an analysis
Nico Roos, Annette ten Teije, Andre Bos, Cees Witteveen
13th Belgium-Dutch Conference on Artificial Intelligence (BNAIC'01), Oct '01 Amsterdam
(reference , postscript paper)
Torture tests: a quantitative analysis for the robustness of Knowledge-Based Systems
Perry Groot, Frank van Harmelen, Annette ten Teije
European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW'00), Oct '00 France
(abstract, reference , postscript paper)
 
Describing Problem Solving Methods using Anytime Performance Profiles
Annette ten Teije & Frank van Harmelen
European Conference on AI 2000 (ECAI'00), Aug. 2000 Berlin, Germany.
(abstract, reference , pdf paper)
An earlier version of this paper appeared in the proceedings of the IJCAI'99 workshop on Ontologies and Problem Solving Methods.
Workshop on The International Joint Conference on Artificial Intelligence (IJCAI'99) Aug. '99 Stockholm, Sweden.
(abstract, reference , pdf paper)
 
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
Alan Verberne, Frank van Harmelen & Annette ten Teije
Int. Conference on Principles of Knowledge Representation and Reasoning (KR'00),Apr.'00 Colorado, USA.
(abstract, reference , pdf paper)
 
Formally verifying dynamic properties of Knowledge Based Systems
Perry Groot, Annette ten Teije, Frank van Harmelen
11th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW '99) Dagstuhl
(abstract, reference , pdf paper)
 
A study of PROforma, a development methodology for clinical procedures
Arjen Vollebregt, Annette ten Teije, Frank van Harmelen, Johan van der Lei, Mees Mosseveld
Artificial Intelligence in Medicine 1999
(abstract, reference , postscript paper)
 
Characterising approximate problem-solving by partial pre- and postconditions.
Frank van Harmelen, Annette ten Teije
The European Conference on Artificial Intelligence (ECAI98) Aug. '98 Brighton, U.K..
(abstract, reference , postscript paper)
 
Characterising Problem Solving Methods by gradual requirements: overcoming the yes/no distinction.
Annette ten Teije, Frank van Harmelen.
Workshop on Knowledge Acquisition for Knowledge-Based Systems (KAW'98) April '98 Banff, Canada.
(abstract, reference , postscript paper)
 
Formal support for Development of Knowledge-Based Systems.
Dieter Fensel, Frank van Harmelen, Wolfgang Reif, Annette ten Teije.
Information Technology Management.
(abstract, reference , postscript paper)
 
Automated Configuration of Problem Solving Methods in Diagnosis
Annette ten Teije
Phd. Thesis, University of Amsterdam (SWI), 1997.
(reference , postscript paper: 494Kb)
 
Exploiting domain knowledge for approximate diagnosis.
Annette ten Teije, Frank van Harmelen.
The Fifteenth International Joint Conference on Artificial Intelligence (IJCAI97) Aug. '97 Nagoya, Japan.
(abstract, reference , postscript paper: 67Kb)
 
Validation and verification of conceptual models of diagnosis.
Frank van Harmelen, Annette ten Teije.
IJCAI'97 workshop Validation and Verification, short version in EUROVAV '97.
(abstract, reference, postscript paper, 111Kb)
 
Formalisation for decision support in anaesthesiology
Gerard Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus
Artificial Intelligence in Medicine 1997.
(abstract, reference , postscript paper)
 
Computing approximate diagnoses by using approximate entailment.
Annette ten Teije, Frank van Harmelen.
Int. Conference on Principles of Knowledge Representation and Reasoning (KR'96),Nov.'96 Boston.
(abstract, reference, postscript paper, 112Kb)
 
Construction of problem-solving methods as parametric design.
Annette ten Teije, Frank van Harmelen, Guus Schreiber, Bob Wielinga
IJHCS Special Issue '98
(reference,postscript paper)
KAW'96 Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop, Nov.'96, Alberta
(abstract , reference, postscript paper, 174Kb)
 
Examples of approximations in diagnosis based on approximate entailment.
Annette ten Teije, Frank van Harmelen
Seventh International Workshop on Principles of Diagnosis (DX'96), Nov.'96, Quebec.
(abstract , reference , postscript paper, 125Kb)
 
Using reflection techniques for flexible problem solving (with examples from diagnosis)
Annette ten Teije, Frank van Harmelen
Future Generation, Special Issue: On reflection and meta-level architecture and their applications in AI
(abstract reference, postscript paper, 132Kb)
 
Approximations in diagnosis:motivations and techniques
Frank van Harmelen, Annette ten Teije
SARA-95, Symposium on Abstraction, Reformulation, Aug.'95, Quebec
(abstract , reference , postscript paper, 64Kb)
 
An extended spectrum of logical definitions for diagnostic systems
Annette ten Teije, Frank van Harmelen,
The Fifth International Workshop on Principles of Diagnosis (DX94), New Paltz, New York, October 1994
(abstract , reference , postscript paper, 67Kb)
 
Diagnostic Reasoning with Anaesthesia Knowledge
Annette ten Teije, Ernest Rotterdam
Short version: CESA--96 IMACS Multiconference Lille, France, July 1996
(abstract , reference, postscript paper, 43Kb)
Long version: Systems Analysis Modelling Simulation 1998
(reference,postscript paper)
 
Using domain knowledge to select solutions in abductive diagnosis
Frank van Harmelen and Annette ten Teije.
European Conference on AI'94, Amsterdam, August 1994.
(abstract , reference , postscript paper, 41Kb)
 
Using reflection techniques for flexible problem solving (with examples from diagnosis) (short version)
Annette ten Teije, Frank van Harmelen
IJCAI 95 workshop: On reflection and meta-level architecture and their applications in AI, Montreal,August 1995
(abstract , reference , postscript paper, 49Kb)

Back to home page of Annette ten Teije