Annette ten Teije

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

Coauthor Index

1	Michael Balser	[14] [17] [30]
2	Geert Berger	[13]
3	E. Blaauw	[34]
4	S. Bortoli	[34]
5	André Bos	[15]
6	Joyce van Croonenborg	[29] [30]
7	Christoph Duelli	[17] [30]
8	Marije Geldof	[16]
9	Marjolein van Gendt	[27]
10	Fred de Geus	[3]
11	Rix Groenboom	[3]
12	Perry Groot	[9] [11] [19] [23] [36]
13	Frank van Harmelen	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [19] [20] [21] [23] [24] [25] [26] [27] [28] [30] [31] [33] [34] [36]
14	M. C. Hobbelman	[34]
15	Arjen Hommersom	[36]
16	Zhisheng Huang	[24] [26]
17	M. El Kebir	[34]
18	Gerard R. Renardel de Lavalette	[3]
19	Johan van der Lei	[8]
20	Peter J. F. Lucas	[30] [36]
21	Mar Marcos	[13] [14] [16] [17] [25] [28] [29] [30] [33] [35]
22	Begoña Martínez-Salvador	[35]
23	Silvia Miksch	[13] [30] [35]
24	K. Millian	[34]
25	Mees Mosseveld	[8]
26	Cristina Polo-Conde	[25] [28] [29] [33]
27	Anna Puig-Centelles	[32]
28	Wolfgang Reif	[30]
29	Y. Ren	[34]
30	Hugo Roomans	[13]
31	Nico Roos	[15] [18] [22]
32	Kitty Rosenbrand	[29] [30] [35]
33	Ernest Rotterdam	[3]
34	R. C. van het Schip	[34]
35	Stefan Schlobach	[34]
36	Guus Schreiber (A. Th. Schreiber)	[6]
37	Radu Serban	[25] [27] [28] [29] [32] [33] [35] [36]
38	Andreas Seyfang	[30] [35]
39	S. Stam	[34]
40	Ruud Stegers	[31]
41	P. Thomassen	[34]
42	Alan Verberne	[10]
43	Arjen Vollebregt	[8]
44	Peter Votruba	[16]
45	Bob J. Wielinga	[6] [20] [21]
46	W. van Willigem	[34]
47	Jolanda Wittenberg	[29] [35]
48	Cees Witteveen	[15] [18] [22]

Colors in the list of coauthors