-
1
-
-
51149086600
-
Verifiable agent interaction in abductive logic programming: The SCIFF framework
-
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics 9(4) (2008)
-
(2008)
ACM Transactions on Computational Logics
, vol.9
, Issue.4
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
2
-
-
34247564760
-
Verification of medical guidelines using background knowledge in task networks
-
Hommersom, A., Groot, P., Lucas, P.J.F., Balser, M., Schmitt, J.: Verification of medical guidelines using background knowledge in task networks. IEEE Transactions on Knowledge and Data Engineering 19(6), 832-846 (2007)
-
(2007)
IEEE Transactions on Knowledge and Data Engineering
, vol.19
, Issue.6
, pp. 832-846
-
-
Hommersom, A.1
Groot, P.2
Lucas, P.J.F.3
Balser, M.4
Schmitt, J.5
-
3
-
-
36049040272
-
Integration and verification of semantic constraints in adaptive process management systems
-
Ly, L.T., Rinderle, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data Knowl. Eng. 64(1), 3-23 (2008)
-
(2008)
Data Knowl. Eng
, vol.64
, Issue.1
, pp. 3-23
-
-
Ly, L.T.1
Rinderle, S.2
Dadam, P.3
-
4
-
-
70350224852
-
-
Field, M.J., Lohr, K.N. (eds.): Clinical Practice Guidelines: Directions for a New Program, Institute of Medicine, Washington, DC. National Academy Press (1990)
-
Field, M.J., Lohr, K.N. (eds.): Clinical Practice Guidelines: Directions for a New Program, Institute of Medicine, Washington, DC. National Academy Press (1990)
-
-
-
-
5
-
-
40549132197
-
Declarative and procedural approaches for modelling clinical guidelines: Addressing flexibility issues
-
ter Hofstede, A.H.M, Benatallah, B, Paik, H.-Y, eds, BPM Workshops 2007, Springer, Heidelberg
-
Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and procedural approaches for modelling clinical guidelines: Addressing flexibility issues. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 335-346. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4928
, pp. 335-346
-
-
Mulyar, N.1
Pesic, M.2
van der Aalst, W.M.P.3
Peleg, M.4
-
6
-
-
0037246265
-
Comparing computer-interpretable guideline models: A case-study approach
-
Peleg, M., Tu, S., Bury, J., Ciccarese, P., Jones, N., Fox, J., Greenes, R.A., Hall, R., Johnson, P.D., Jones, N., Kumar, A., Miksch, S., Quaglini, S., Seyfang, A., Shortliffe, E.H., Stefanelli, M.: Comparing computer-interpretable guideline models: A case-study approach. JAMIA 10(1) (2003)
-
(2003)
JAMIA
, vol.10
, Issue.1
-
-
Peleg, M.1
Tu, S.2
Bury, J.3
Ciccarese, P.4
Jones, N.5
Fox, J.6
Greenes, R.A.7
Hall, R.8
Johnson, P.D.9
Jones, N.10
Kumar, A.11
Miksch, S.12
Quaglini, S.13
Seyfang, A.14
Shortliffe, E.H.15
Stefanelli, M.16
-
7
-
-
0031226273
-
Representation of clinical practice guidelines in conventional and augmented decision tables
-
Shiffman, R.N.: Representation of clinical practice guidelines in conventional and augmented decision tables. J. Am. Med. Inform. Assoc. 4(5), 382-393 (1997)
-
(1997)
J. Am. Med. Inform. Assoc
, vol.4
, Issue.5
, pp. 382-393
-
-
Shiffman, R.N.1
-
8
-
-
71549161496
-
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
-
Ten Teije, A, Miksch, S, Lucas, P, eds, IOS Press, Amsterdam
-
Ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol. 139. IOS Press, Amsterdam (2008)
-
(2008)
Studies in Health Technology and Informatics
, vol.139
-
-
-
9
-
-
70350240645
-
-
Teije, et al, eds, July
-
Terenziani, P., Montani, S., Bottrighi, A., Molino, G., Torchio, M.: Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach. In: Teije, et al. (eds.) [8], vol. 139 (July 2008)
-
(2008)
Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach
, vol.139
, pp. 8
-
-
Terenziani, P.1
Montani, S.2
Bottrighi, A.3
Molino, G.4
Torchio, M.5
|