-
1
-
-
84902609284
-
-
Morgan Kaufmann, San Francisco, CA
-
D. Nau, M. Ghallab, P. Traverso, Automated planning: theory and practice, Morgan Kaufmann, San Francisco, CA, 2004.
-
(2004)
Automated planning: Theory and practice
-
-
Nau, D.1
Ghallab, M.2
Traverso, P.3
-
2
-
-
84860662839
-
-
Technical Report 101/07, Dipartimento di Informatica, Università di Torino, Italy , available at
-
L. Anselma, S. Montani, Planning, Technical Report 101/07, Dipartimento di Informatica, Università di Torino, Italy (2007) (available at http://www.di.unito.it/~anselma/pdf/Planning-TR101-07.pdf)
-
(2007)
-
-
Anselma, L.1
Montani, S.2
Planning3
-
3
-
-
2842560201
-
a new approach to the application of theorem proving to problem solving
-
STRIPS
-
R. Fikes, N. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971), 189-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.1
Nilsson, N.2
-
4
-
-
0031074857
-
Fast planning through planning graph analysis
-
A. Blum, M. Furst, Fast planning through planning graph analysis, Artificial Intelligence 90 (1997), 281-300.
-
(1997)
Artificial Intelligence
, vol.90
, pp. 281-300
-
-
Blum, A.1
Furst, M.2
-
5
-
-
0028750404
-
An introduction to least-commitment planning
-
D. Weld, An introduction to least-commitment planning, Artificial Intelligence Magazine (1994), 27-61.
-
(1994)
Artificial Intelligence Magazine
, pp. 27-61
-
-
Weld, D.1
-
8
-
-
85134633581
-
A sound and complete procedure for hierarchical task-network planning
-
UMCP:, AIPS
-
K. Erol, J. Hendler, D. S. Nau, UMCP: A sound and complete procedure for hierarchical task-network planning, in Proc. International Conference on AI Planning Systems (AIPS) (1994), 249-254.
-
(1994)
Proc. International Conference on AI Planning Systems
, pp. 249-254
-
-
Erol, K.1
Hendler, J.2
Nau, D.S.3
-
9
-
-
0028585769
-
Complexity and expressivity
-
K. Erol, J. Hendler, D. Nau, HTN Planning: Complexity and expressivity, in Proc. AAAI 1994 (1994), 1123-1128.
-
(1994)
Proc. AAAI
, pp. 1123-1128
-
-
Erol, K.1
Hendler, J.2
Nau, D.3
Planning, H.T.N.4
-
11
-
-
0026154176
-
Temporal constraint networks
-
R. Dechter, I. Meiri, J. Pearl, Temporal constraint networks, Artificial Intelligence, 49 (1991), 61-95.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 61-95
-
-
Dechter, R.1
Meiri, I.2
Pearl, J.3
-
12
-
-
0034155410
-
Bridging the gap between planning and scheduling
-
D. E. Smith, J. Frank, A. K. Jónsson, Bridging the gap between planning and scheduling, Knowledge Engineering Review 15(1) (2000), 47-83.
-
(2000)
Knowledge Engineering Review
, vol.15
, Issue.1
, pp. 47-83
-
-
Smith, D.E.1
Frank, J.2
Jónsson, A.K.3
-
13
-
-
0346942368
-
Decision-theoretic planning: Structural assumptions and computational leverage
-
C. Boutilier, T. Dean, S. Hanks, Decision-theoretic planning: structural assumptions and computational leverage, Journal of Artificial Intelligence Research 11 (1999), 1-94.
-
(1999)
Journal of Artificial Intelligence Research
, vol.11
, pp. 1-94
-
-
Boutilier, C.1
Dean, T.2
Hanks, S.3
-
14
-
-
0032073263
-
Planning and acting in partially observable stochastic domains
-
L. P. Kaelbling, M. L. Littman, A. R. Cassandra., Planning and acting in partially observable stochastic domains, Artificial Intelligence 101(1-2) (1998), 99-134.
-
(1998)
Artificial Intelligence
, vol.101
, Issue.1-2
, pp. 99-134
-
-
Kaelbling, L.P.1
Littman, M.L.2
Cassandra, A.R.3
-
15
-
-
84880854741
-
Planning under risk and knightian uncertainty, in Proc
-
F. W. Trevizan, F. Gagliardi Cozman, L. Nunes de Barros, Planning under risk and knightian uncertainty, in Proc. IJCAI 2007 (2007), 2023-2028.
-
(2007)
IJCAI 2007
, pp. 2023-2028
-
-
Trevizan, F.W.1
Gagliardi Cozman, F.2
Nunes de Barros, L.3
-
16
-
-
0033344255
-
a continuous planning and execution framework
-
CPEF
-
K. L. Myers, CPEF: a continuous planning and execution framework, AI Magazine, 20(4) (1999), 63-70.
-
(1999)
AI Magazine
, vol.20
, Issue.4
, pp. 63-70
-
-
Myers, K.L.1
-
17
-
-
0000102298
-
The concept and implementation of skeletal plans
-
P.E. Friedland, Y. Iwasaki, The concept and implementation of skeletal plans, Journal of Automated Reasoning 1(2) (1985), 161-208.
-
(1985)
Journal of Automated Reasoning
, vol.1
, Issue.2
, pp. 161-208
-
-
Friedland, P.E.1
Iwasaki, Y.2
-
18
-
-
33744496783
-
Exploiting decision theory concepts within clinical guideline systems: Towards a general approach
-
S. Montani, P. Terenziani, Exploiting decision theory concepts within clinical guideline systems: towards a general approach, International Journal of Intelligent Systems 21 (2006), 585-599.
-
(2006)
International Journal of Intelligent Systems
, vol.21
, pp. 585-599
-
-
Montani, S.1
Terenziani, P.2
-
19
-
-
0033324496
-
Plan management in the medical domain
-
S. Miksch, Plan management in the medical domain, AI Communications 12(4) (1999), 209-235.
-
(1999)
AI Communications
, vol.12
, Issue.4
, pp. 209-235
-
-
Miksch, S.1
-
20
-
-
0037246265
-
Comparing computer-interpretable guideline models: A case-study approach
-
M. Peleg, S. Tu, J. Bury, P. Ciccarese, J. Fox, R.A. Greenes, R. Hall, P.D. Johnson, N. Jones, A. Kumar, S. Miksch, S. Quaglini, A. Seyfang, E.H. Shortliffe, M. Stefanelli, Comparing computer-interpretable guideline models: a case-study approach, JAMIA 10 (2004), 52-68.
-
(2004)
JAMIA
, vol.10
, pp. 52-68
-
-
Peleg, M.1
Tu, S.2
Bury, J.3
Ciccarese, P.4
Fox, J.5
Greenes, R.A.6
Hall, R.7
Johnson, P.D.8
Jones, N.9
Kumar, A.10
Miksch, S.11
Quaglini, S.12
Seyfang, A.13
Shortliffe, E.H.14
Stefanelli, M.15
-
21
-
-
0346060891
-
Applying axiomatic design methodology to create guidelines that are locally adaptable
-
A.A. Boxwala, Applying axiomatic design methodology to create guidelines that are locally adaptable, in Proc. American Medical Informatics Annual Symposium (2002), 980.
-
(2002)
Proc. American Medical Informatics Annual Symposium
, pp. 980
-
-
Boxwala, A.A.1
-
22
-
-
0032721879
-
Why don't physicians follow clinical practice guidelines? A framework for impro vement
-
M.D. Cabana, C.S.N.R. Rand, C.S. Powe, A.W. Wu,. M.H. Wilson, , P.C. Abboud, H.R Rubin, Why don't physicians follow clinical practice guidelines? A framework for impro vement, JAMIA 282(15) (1999), 1458-1465.
-
(1999)
JAMIA
, vol.282
, Issue.15
, pp. 1458-1465
-
-
Cabana, M.D.1
Rand, C.S.N.R.2
Powe, C.S.3
Wu, A.W.4
Wilson, M.H.5
Abboud, P.C.6
Rubin, H.R.7
-
23
-
-
84857732762
-
A context-adaptable approach to clinical guidelines, in Proc
-
P. Terenziani, S. Montani, A. Bottrighi, M. Torchio, G. Molino, G. Correndo, A context-adaptable approach to clinical guidelines, in Proc. Medinfo (2004), 169-173.
-
(2004)
Medinfo
, pp. 169-173
-
-
Terenziani, P.1
Montani, S.2
Bottrighi, A.3
Torchio, M.4
Molino, G.5
Correndo, G.6
-
24
-
-
67349252225
-
Adaptation of practice guidelines for clinical decision support: A case study of diabetic foot care
-
M. Peleg, D. Wang, A. Fodor, S. Keren, E. Karnieli, Adaptation of practice guidelines for clinical decision support: a case study of diabetic foot care, in Proc. Workshop on AI techniques in healthcare: evidence-based guidelines and protocols, ECAI (2006).
-
(2006)
Proc. Workshop on AI techniques in healthcare: Evidence-based guidelines and protocols, ECAI
-
-
Peleg, M.1
Wang, D.2
Fodor, A.3
Keren, S.4
Karnieli, E.5
-
27
-
-
71549133000
-
Supporting cooperative updates of clinical guidelines
-
A. Bottrighi, L Anselma, S Montani, P. Terenziani, G. Molino, M. Torchio, Supporting cooperative updates of clinical guidelines, in Proc. Medinfo (2007).
-
(2007)
Proc. Medinfo
-
-
Bottrighi, A.1
Anselma, L.2
Montani, S.3
Terenziani, P.4
Molino, G.5
Torchio, M.6
-
28
-
-
0034778898
-
A modular approach for representing and executing clinical guidelines
-
P. Terenziani, G. Molino, M. Torchio, A modular approach for representing and executing clinical guidelines, Artificial Intelligence in Medicine 23 (2001), 249-276.
-
(2001)
Artificial Intelligence in Medicine
, vol.23
, pp. 249-276
-
-
Terenziani, P.1
Molino, G.2
Torchio, M.3
-
29
-
-
0035092879
-
Flexible guideline-based patient careflow systems
-
S. Quaglini, M. Stefanelli, G. Lanzola, V. Caporusso, S. Panzarasa, Flexible guideline-based patient careflow systems, Artificial Inteligence in Medicine 22(1) (2001), 65-80.
-
(2001)
Artificial Inteligence in Medicine
, vol.22
, Issue.1
, pp. 65-80
-
-
Quaglini, S.1
Stefanelli, M.2
Lanzola, G.3
Caporusso, V.4
Panzarasa, S.5
-
30
-
-
57349200753
-
Eon: A component-based approach to automation of protocol-directed therapy
-
M.A. Musen, S.W. Tu, A.K. Das, Y. Shahar, Eon: a component-based approach to automation of protocol-directed therapy, JAMIA 6(3) (1996), 367-388.
-
(1996)
JAMIA
, vol.6
, Issue.3
, pp. 367-388
-
-
Musen, M.A.1
Tu, S.W.2
Das, A.K.3
Shahar, Y.4
-
31
-
-
0032168022
-
Disseminating medical knowledge: The proforma approach
-
J. Fox, N. Johns, A. Rahmanzadeh, R.Thomson, Disseminating medical knowledge: the proforma approach, Artificial Intelligence in Medicine 14(1-2) (1998), 157-182.
-
(1998)
Artificial Intelligence in Medicine
, vol.14
, Issue.1-2
, pp. 157-182
-
-
Fox, J.1
Johns, N.2
Rahmanzadeh, A.3
Thomson, R.4
-
32
-
-
0032168169
-
a task-specific framework for the application and critiquing of time-oriented clinical guidelines
-
The Asgaard project
-
Y. Shahar, S. Miksch, P. Johnson, The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines, Artificial Intelligence in Medicine 14(1-2) (1998), 29-51.
-
(1998)
Artificial Intelligence in Medicine
, vol.14
, Issue.1-2
, pp. 29-51
-
-
Shahar, Y.1
Miksch, S.2
Johnson, P.3
-
33
-
-
0035098404
-
Knowledge-based verification of clinical guidelines by detection of anomalies
-
G. Duftschmid, S. Miksch, Knowledge-based verification of clinical guidelines by detection of anomalies, Artificial Intelligence in Medicine 22 (2001), 23-41.
-
(2001)
Artificial Intelligence in Medicine
, vol.22
, pp. 23-41
-
-
Duftschmid, G.1
Miksch, S.2
-
34
-
-
84872857947
-
A verification of medical guidelines by model checking - a case study
-
SPIN
-
S. Baumler, M. Balser, A. Dunets, W. Reif, J. Schmitt, A verification of medical guidelines by model checking - a case study, in Proc. Model Checking Software SPIN (2006).
-
(2006)
Proc. Model Checking Software
-
-
Baumler, S.1
Balser, M.2
Dunets, A.3
Reif, W.4
Schmitt, J.5
-
35
-
-
34748851864
-
Model checking for clinical guidelines: An agent-based approach
-
L. Giordano, P. Terenziani, A. Bottrighi, S. Montani, L. Donzella, Model checking for clinical guidelines: an agent-based approach, in Proc. American Medical Informatics Annual Symposium 2006
-
(2006)
Proc. American Medical Informatics Annual Symposium
-
-
Giordano, L.1
Terenziani, P.2
Bottrighi, A.3
Montani, S.4
Donzella, L.5
-
36
-
-
33644864400
-
-
A. tenTeije et al., Improving medical protocols by formal methods, Artificial Intelligence in Medicine 36 (2006), 193-209.
-
A. tenTeije et al., Improving medical protocols by formal methods, Artificial Intelligence in Medicine 36 (2006), 193-209.
-
-
-
-
38
-
-
33750737022
-
Adaptation knowledge acquisition: A case study for case-based decision support in oncology
-
M. d'Aquin, J. Lieber, A. Napoli, Adaptation knowledge acquisition: a case study for case-based decision support in oncology, Computational Intelligence 22 (2006), 161-176.
-
(2006)
Computational Intelligence
, vol.22
, pp. 161-176
-
-
d'Aquin, M.1
Lieber, J.2
Napoli, A.3
-
40
-
-
0242664599
-
Ten commandments for effective clinical decision support: Making the practice of evidence-based medicine a reality
-
D.W. Bates et al., Ten commandments for effective clinical decision support: making the practice of evidence-based medicine a reality, JAMIA 10 (2003), 523-530.
-
(2003)
JAMIA
, vol.10
, pp. 523-530
-
-
Bates, D.W.1
-
41
-
-
68249127746
-
Modeling and analyzing biomedical processes using workflow/petri net models and tools, in Proc
-
M. Peleg, S. Tu, A. Manindroo, R.B. Altman, Modeling and analyzing biomedical processes using workflow/petri net models and tools, in Proc. Medinfo (2004), 74-78.
-
(2004)
Medinfo
, pp. 74-78
-
-
Peleg, M.1
Tu, S.2
Manindroo, A.3
Altman, R.B.4
-
42
-
-
0346580272
-
A Patient workflow management system built on guidelines
-
L. Dazzi, C. Fassino, R. Saracco, S. Quaglini, & M. Stefanelli, A Patient workflow management system built on guidelines, in Proc. American Medical Informatics Annual Symposium (1997).
-
(1997)
Proc. American Medical Informatics Annual Symposium
-
-
Dazzi, L.1
Fassino, C.2
Saracco, R.3
Quaglini, S.4
Stefanelli, M.5
-
43
-
-
2642561000
-
Gesdor a generic execution model for sharing of computer-interpretable clinical practice guidelines
-
D.Wang, M.Peleg, D.Bu, M.Cantor, G. Landesberg, E. Lunenfeld, S.Tu, G.E.Kaiser, G.Hripcsak, V.Patel, E.H.Shortliffe, Gesdor a generic execution model for sharing of computer-interpretable clinical practice guidelines, in Proc. American Medical Informatics Annual Symposium (2003), 694-698.
-
(2003)
Proc. American Medical Informatics Annual Symposium
, pp. 694-698
-
-
Wang, D.1
Peleg, M.2
Bu, D.3
Cantor, M.4
Landesberg, G.5
Lunenfeld, E.6
Tu, S.7
Kaiser, G.E.8
Hripcsak, G.9
Patel, V.10
Shortliffe, E.H.11
-
44
-
-
35748964190
-
Supporting therapy selection in computerized clinical guidelines by means of decision theory, in Proc
-
S. Montani, P. Terenziani, A. Bottrighi, Supporting therapy selection in computerized clinical guidelines by means of decision theory, in Proc. Medinfo (2007), 855-860.
-
(2007)
Medinfo
, pp. 855-860
-
-
Montani, S.1
Terenziani, P.2
Bottrighi, A.3
-
45
-
-
0343081011
-
Guideline-based careflow systems
-
S. Quaglini, M. Stefanelli, A. Cavallini, G. Micieli, C. Fassino, C. Mossa, Guideline-based careflow systems, Artificial Inteligence in Medicine 20(1) (2000), 5-22.
-
(2000)
Artificial Inteligence in Medicine
, vol.20
, Issue.1
, pp. 5-22
-
-
Quaglini, S.1
Stefanelli, M.2
Cavallini, A.3
Micieli, G.4
Fassino, C.5
Mossa, C.6
-
46
-
-
0031869530
-
The GuideLine Interchange Format: A model for representing guidelines
-
L. Ohno-Machado, J.H. Gennari, S. Murphy, N.L. Jain, S.W. Tu, D.E. Oliver, et al., The GuideLine Interchange Format: a model for representing guidelines, JAMIA 5(4) (1998), 357-372.
-
(1998)
JAMIA
, vol.5
, Issue.4
, pp. 357-372
-
-
Ohno-Machado, L.1
Gennari, J.H.2
Murphy, S.3
Jain, N.L.4
Tu, S.W.5
Oliver, D.E.6
-
48
-
-
84887333251
-
Knowledge representation and clinical practice guidelines: The DILEMMA and PRESTIGE projects
-
C. Gordon, S.I. Herbert, P. Johnson, Knowledge representation and clinical practice guidelines: the DILEMMA and PRESTIGE projects, in Proc. Medical Informatics Europe (1996), 511-515.
-
(1996)
Proc. Medical Informatics Europe
, pp. 511-515
-
-
Gordon, C.1
Herbert, S.I.2
Johnson, P.3
-
49
-
-
0029443750
-
Using intermediate states to improve the ability of Arden Syntax to implement care plans and reuse knowledge
-
E. Sherman, G. Hripcsak, J. Starren, R. Jender, P. Clayton, Using intermediate states to improve the ability of Arden Syntax to implement care plans and reuse knowledge, in Proc. Annual Symposium on Computer Applications in Medical Care (1995), 238-242.
-
(1995)
Proc. Annual Symposium on Computer Applications in Medical Care
, pp. 238-242
-
-
Sherman, E.1
Hripcsak, G.2
Starren, J.3
Jender, R.4
Clayton, P.5
-
50
-
-
0036099874
-
Verification of temporal scheduling constraints in clinical practice guidelines
-
G. Duftschmid, S. Miksch, W. Gall, Verification of temporal scheduling constraints in clinical practice guidelines, Artificial Intelligence in Medicine 25(2) (2002), 93-121.
-
(2002)
Artificial Intelligence in Medicine
, vol.25
, Issue.2
, pp. 93-121
-
-
Duftschmid, G.1
Miksch, S.2
Gall, W.3
-
51
-
-
33750619423
-
Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines
-
L. Anselma, P. Terenziani, S. Montani A. Bottrighi, Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines, Artificial Intelligence in Medicine 38(2) (2006), 171-195.
-
(2006)
Artificial Intelligence in Medicine
, vol.38
, Issue.2
, pp. 171-195
-
-
Anselma, L.1
Terenziani, P.2
Montani, S.3
Bottrighi, A.4
-
52
-
-
0031069719
-
A framework for knowledge-based temporal abstraction in clinical domains
-
Y. Shahar, A framework for knowledge-based temporal abstraction in clinical domains, Artificial Intelligence 90(1) (1997), 79-133.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1
, pp. 79-133
-
-
Shahar, Y.1
-
53
-
-
0035038902
-
Metaphors of movement: A visualization and user interface for time-oriented, skeletal plans
-
R. Kosara, S. Miksch, Metaphors of movement: a visualization and user interface for time-oriented, skeletal plans, Artificial Intelligence in Medicine 22(2) (2001), 111-131.
-
(2001)
Artificial Intelligence in Medicine
, vol.22
, Issue.2
, pp. 111-131
-
-
Kosara, R.1
Miksch, S.2
-
54
-
-
11144288633
-
Temporal reasoning for decision support in medicine
-
J. C. Augusto, Temporal reasoning for decision support in medicine. Artificial Intelligence in Medicine 33(1) (2005), 1-24.
-
(2005)
Artificial Intelligence in Medicine
, vol.33
, Issue.1
, pp. 1-24
-
-
Augusto, J.C.1
-
60
-
-
26144450464
-
Medical quality assessment by scoring adherence to guideline intentions
-
A. Advani, Y. Shahar, M.A. Musen., Medical quality assessment by scoring adherence to guideline intentions, JAMIA 9 (2002), S9-S97.
-
(2002)
JAMIA
, vol.9
-
-
Advani, A.1
Shahar, Y.2
Musen, M.A.3
-
61
-
-
0012852981
-
Comparing models of decision and action for guideline-based decision support: A case-study approach, Stanford University
-
Report No, SMI-2002-0922
-
M. Peleg, S. Tu, Comparing models of decision and action for guideline-based decision support: a case-study approach, Stanford University, 2002, Report No.: SMI-2002-0922.
-
(2002)
-
-
Peleg, M.1
Tu, S.2
-
63
-
-
85008004976
-
Focus and context taken literally
-
R. Kosara, S. Miksch, H. Hauser, Focus and context taken literally, IEEE Computer Graphics and its Applications 22(1) (2002), 22-29.
-
(2002)
IEEE Computer Graphics and its Applications
, vol.22
, Issue.1
, pp. 22-29
-
-
Kosara, R.1
Miksch, S.2
Hauser, H.3
-
64
-
-
26944478154
-
Technology as a Component of Computerised Clinical Practice Guidelines
-
AIME
-
K. Bradbrook, G. Winstanley, D. Glasspool, J. Fox, R. Griffiths, AI Planning Technology as a Component of Computerised Clinical Practice Guidelines, AIME 2005, LNAI 3581 (2005), 171-180.
-
(2005)
LNAI
, vol.3581
, pp. 171-180
-
-
Bradbrook, K.1
Winstanley, G.2
Glasspool, D.3
Fox, J.4
Griffiths, R.5
Planning, A.I.6
|