From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formally Verifying Dynamic Properties of Knowledge Based Systems.

P. Groot, A. ten Teije, и F. van Harmelen. EKAW, том 1621 из Lecture Notes in Computer Science, стр. 157-171. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hans Günter Teijerling

José Teijeira Martinez

Julia Teijerling

Ten Tenev

Willem ten Boom

Другие публикации лиц с тем же именем

The Role of Model Checking in Critiquing Based on Clinical Guidelines.P. Groot, A. Hommersom, P. Lucas, R. Serban, A. ten Teije, и F. van Harmelen. AIME, том 4594 из Lecture Notes in Computer Science, стр. 411-420. Springer, (2007)Towards Automatic Patient Eligibility Assessment: From Free-Text Criteria to Queries.K. Milian, и A. ten Teije. AIME, том 7885 из Lecture Notes in Computer Science, стр. 78-83. Springer, (2013)From Natural Language to Formal Proof Goal.R. Stegers, A. ten Teije, и F. van Harmelen. EKAW, том 4248 из Lecture Notes in Computer Science, стр. 51-58. Springer, (2006)Generalizing the Detection of Internal and External Interactions in Clinical Guidelines.V. Zamborlini, R. Hoekstra, M. Silveira, C. Pruski, A. ten Teije, и F. van Harmelen. HEALTHINF, стр. 105-116. SciTePress, (2016)Formalisation for decision support in anaesthesiology.G. de Lavalette, R. Groenboom, E. Rotterdam, F. van Harmelen, A. ten Teije, и F. de Geus. Artif. Intell. Medicine, 11 (3): 189-214 (1997)Using model checking for critiquing based on clinical guidelines.P. Groot, A. Hommersom, P. Lucas, R. Merk, A. ten Teije, F. van Harmelen, и R. Serban. Artif. Intell. Medicine, 46 (1): 19-36 (2009)Enhancing reuse of structured eligibility criteria and supporting their relaxation.K. Milian, R. Hoekstra, A. Bucur, A. ten Teije, F. van Harmelen, и J. Paulissen. J. Biomed. Informatics, (2015)Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks.A. González-Ferrer, A. ten Teije, J. Fernández-Olivares, и K. Milian. Artif. Intell. Medicine, 57 (2): 91-109 (2013)Analyzing interactions on combining multiple clinical guidelines.V. Zamborlini, M. Silveira, C. Pruski, A. ten Teije, E. Geleijn, M. van der Leeden, M. Stuiver, и F. van Harmelen. Artif. Intell. Medicine, (2017)A Local Non-Additive Framework for Explaining Black-Box Predictive Models.M. Mohammadi, I. Tiddi, и A. ten Teije. ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 1728-1738. IOS Press, (2023)

BibSonomy

Disambiguation