| 2007 |
|---|
| 11 | 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 |
| 10 | EE | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Verification of Medical Guidelines Using Background Knowledge in Task Networks.
IEEE Trans. Knowl. Data Eng. 19(6): 832-846 (2007) |
| 9 | EE | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Combining task execution and background knowledge for the verification of medical guidelines.
Knowl.-Based Syst. 20(2): 113-119 (2007) |
| 8 | EE | Perry Groot,
Christian Gilissen,
Michael Egmont-Petersen:
Error probabilities for local extrema in gene expression data.
Pattern Recognition Letters 28(15): 2133-2142 (2007) |
| 2006 |
|---|
| 7 | | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Verification of Medical Guidelines Using Task Execution with Background Knowledge.
ECAI 2006: 835-836 |
| 2005 |
|---|
| 6 | EE | Perry Groot,
Heiner Stuckenschmidt,
Holger Wache:
Approximating Description Logic Classification for Semantic Web Reasoning.
ESWC 2005: 318-332 |
| 5 | EE | Holger Wache,
Perry Groot,
Heiner Stuckenschmidt:
Scalable Instance Retrieval for the Semantic Web by Approximation.
WISE Workshops 2005: 245-254 |
| 4 | 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 |
|---|
| 3 | | 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 |
| 2000 |
|---|
| 2 | 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 |
| 1999 |
|---|
| 1 | EE | Perry Groot,
Annette ten Teije,
Frank van Harmelen:
Formally Verifying Dynamic Properties of Knowledge Based Systems.
EKAW 1999: 157-171 |
