-
1
-
-
0020141868
-
Validation, verification, and testing of computer software
-
Adrion WR, Branstad MA, and Cherniavsky JC. Validation, Verification, and Testing of Computer Software. Computing Review 1982;14(2):159-192.
-
(1982)
Computing Review
, vol.14
, Issue.2
, pp. 159-192
-
-
Adrion, W.R.1
Branstad, M.A.2
Cherniavsky, J.C.3
-
4
-
-
84888313116
-
Knowledge-based verification of clinical guidelines by detection of anomalies
-
to appear
-
Duftschmid G, Miksch S. Knowledge-Based Verification of Clinical Guidelines by Detection of Anomalies. Artificial Intelligence in Medicine, to appear; 2000.
-
(2000)
Artificial Intelligence in Medicine
-
-
Duftschmid, G.1
Miksch, S.2
-
5
-
-
1642635343
-
Multi-level verification of clinical protocols
-
Trento, Italy
-
Duftschmid G, Miksch S, Shahar Y, and Johnson P. Multi-Level Verification of Clinical Protocols, Proceedings of the Workshop on Validation & Verification of Knowledge-Based Systems (V&V98), in conjunction with the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Trento, Italy; 1998. 4:1-10.
-
(1998)
Proceedings of the Workshop on Validation & Verification of Knowledge-Based Systems (V&V98), in Conjunction with the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98)
, vol.4
, pp. 1-10
-
-
Duftschmid, G.1
Miksch, S.2
Shahar, Y.3
Johnson, P.4
-
8
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
Fikes RE, Nilsson NJ. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 1971;2(3/4):189-208.
-
(1971)
Artificial Intelligence
, vol.2
, Issue.3-4
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
9
-
-
0002540072
-
ISIS: A retrospective
-
In: Zweben M, Fox MS, editors. San Francisco, CA: Morgan Kaufmann
-
Fox MS. ISIS: A Retrospective. In: Zweben M, Fox MS, editors. Intelligent Scheduling. San Francisco, CA: Morgan Kaufmann; 1994. 3-28.
-
(1994)
Intelligent Scheduling
, pp. 3-28
-
-
Fox, M.S.1
-
10
-
-
0032247561
-
Representing the work of medical protocols for organizational simulation
-
In: Chute CG, editor. Orlando, FL
-
Fridsma DB. Representing the Work of Medical Protocols for Organizational Simulation, In: Chute CG, editor. Proceedings of the AMIA Annual Symposium. Orlando, FL; 1998. 305-309.
-
(1998)
Proceedings of the AMIA Annual Symposium
, pp. 305-309
-
-
Fridsma, D.B.1
-
11
-
-
0001990541
-
Representing medical protocols for organizational simulation: An information processing approach
-
Fridsma DB, Thomsen J. Representing Medical Protocols for Organizational Simulation: An Information Processing Approach. Computational and Mathematical Organization Theory 1998;4(1):71-95.
-
(1998)
Computational and Mathematical Organization Theory
, vol.4
, Issue.1
, pp. 71-95
-
-
Fridsma, D.B.1
Thomsen, J.2
-
14
-
-
0033340745
-
There's More to Life than Making Plans: Plan Management in Dynamic, Multi-Agent Environments
-
Horty JF, Pollack ME. There's More to Life than Making Plans: Plan Management in Dynamic, Multi-Agent Environments. Al Magazine 1999;4:71-83.
-
(1999)
Al Magazine
, vol.4
, pp. 71-83
-
-
Horty, J.F.1
Pollack, M.E.2
-
16
-
-
84956855387
-
Visualization techniques for time-oriented, skeletal plans in medical therapy planning
-
In: Horn W, Shahar Y, et al., editors.; 1999; Aalborg, Denmark. Berlin: Springer
-
Kosara R, Miksch S. Visualization Techniques for Time-Oriented, Skeletal Plans in Medical Therapy Planning. In: Horn W, Shahar Y, et al., editors. Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making (AIMDM'99); 1999; Aalborg, Denmark. Berlin: Springer; 1999. 291-300.
-
(1999)
Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making (AIMDM'99)
, pp. 291-300
-
-
Kosara, R.1
Miksch, S.2
-
17
-
-
84888317861
-
Metaphors of movement: A visualization and user interface for time-oriented, skeletal plans
-
Special Issue, to appear
-
Kosara R, Miksch S. Metaphors of Movement: A Visualization and User Interface for Time-Oriented, Skeletal Plans. Artificial Intelligence in Medicine, Special Issue, to appear, 2000.
-
(2000)
Artificial Intelligence in Medicine
-
-
Kosara, R.1
Miksch, S.2
-
19
-
-
0003479205
-
-
editor. Workflow Management Coalition. 1). New York, NY: Wiley, John & Sons
-
Lawrence P, editor. The Workflow Handbook 1997. Workflow Management Coalition. 1). New York, NY: Wiley, John & Sons; 1997.
-
(1997)
The Workflow Handbook 1997
-
-
Lawrence, P.1
-
20
-
-
0004083930
-
Information Integration for Concurrent Engineering (LICE)
-
Mayer RJ, Menzel CP, Painter MK, deWitte PS, Blinn T, Perakath B. Information Integration for Concurrent Engineering (LICE). IDEF3 Process Description Capture Method Report, Knowledge Based Systems, Incorporated; 1995.
-
(1995)
IDEF3 Process Description Capture Method Report, Knowledge Based Systems, Incorporated
-
-
Mayer, R.J.1
Menzel, C.P.2
Painter, M.K.3
Dewitte, P.S.4
Blinn, T.5
Perakath, B.6
-
21
-
-
0033324496
-
Plan management in the medical domain
-
Miksch S. Plan Management in the Medical Domain. AI Communications 1999;12(4):209-235.
-
(1999)
AI Communications
, vol.12
, Issue.4
, pp. 209-235
-
-
Miksch, S.1
-
22
-
-
85166365626
-
Asbru view: Visualization of time-oriented, skeletal plans
-
1998 Jun 7-10; Carnegie Mellon University, Pittsburgh Pennsylvania, USA. AAAI Press
-
Miksch S, Kosara R, Shahar Y, Johnson P. AsbruView: Visualization of Time-Oriented, Skeletal Plans. Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS); 1998 Jun 7-10; Carnegie Mellon University, Pittsburgh Pennsylvania, USA. AAAI Press; 1998. 11-18.
-
(1998)
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS)
, pp. 11-18
-
-
Miksch, S.1
Kosara, R.2
Shahar, Y.3
Johnson, P.4
-
23
-
-
2942602173
-
Continual planning with time oriented, sekeletal plans
-
In: Horn W, editor.; 2000; Berlin, Germany. Amsterdam: IOS Press
-
Miksch S, Seyfang A. Continual Planning with Time Oriented, Sekeletal Plans. In: Horn W, editor. Proceedings of the 14th European Conference on Artificial Intelligence (ECAI); 2000; Berlin, Germany. Amsterdam: IOS Press; 2000. 511-515.
-
(2000)
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI)
, pp. 511-515
-
-
Miksch, S.1
Seyfang, A.2
-
24
-
-
84956858401
-
Abstracting steady qualitative descriptions over time from noisy, high-frequency data
-
In: Horn W, Shahar Y, et al., editors.; 1999; Berlin: Springer
-
Miksch S, Seyfang A, Horn W, Popow C. Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data. In: Horn W, Shahar Y, et al., editors. Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making (AIMDM); 1999; Berlin: Springer; 1999. 281-290.
-
(1999)
Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making (AIMDM)
, pp. 281-290
-
-
Miksch, S.1
Seyfang, A.2
Horn, W.3
Popow, C.4
-
25
-
-
0343777974
-
Asbru: A task-specific, intention-based, and time-oriented language for representing skeletal plans
-
In: Motta E, van Harmelen F, et al., editors.; 1997 Jan 22-24; The Open University, Milton Keynes, UK
-
Miksch S, Shahar Y, Johnson P. Asbru: A Task-Specific, Intention-Based, and Time-Oriented Language for Representing Skeletal Plans. In: Motta E, van Harmelen F, et al., editors. Proceedings of the 7th Workshop on Knowledge Engineering: Methods Sz Languages (KEML); 1997 Jan 22-24; The Open University, Milton Keynes, UK; 1997. 9:1-20.
-
(1997)
Proceedings of the 7th Workshop on Knowledge Engineering: Methods Sz Languages (KEML)
, vol.9
, pp. 1-20
-
-
Miksch, S.1
Shahar, Y.2
Johnson, P.3
-
26
-
-
57349200753
-
EON: A component-based approach to automation of protocol-directed therapy
-
Musen MA, Tu SW, Das AK, Shahar Y. EON: A Component-Based Approach to Automation of Protocol-Directed Therapy. Journal of the American Medical Information Association 1996;3(6):367-88.
-
(1996)
Journal of the American Medical Information Association
, vol.3
, Issue.6
, pp. 367-388
-
-
Musen, M.A.1
Tu, S.W.2
Das, A.K.3
Shahar, Y.4
-
27
-
-
0031869530
-
The guideline interchange format: A model for representing guildelines
-
Ohno-Machado L, Gennari JH, Murphy S, Jain NL, Tu SW, Oliver DE, Pattison-Gordon E, Greenes RA, Shortliffe EH, Barnett GO. The GuideLine Interchange Format: A Model for Representing Guildelines. Journal of American Medical Informatics 1998;5(4):357-372.
-
(1998)
Journal of American Medical Informatics
, 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
Pattison-Gordon, E.7
Greenes, R.A.8
Shortliffe, E.H.9
Barnett, G.O.10
-
29
-
-
0006204419
-
-
Stanford University, Report No. SMI-96-0628
-
Pattison-Gordon E, Cimino J J, Hripcsak G, Tu SW, Gennari JH, Jain NL, Greenes RA. Requirements of a Sharable Guideline Representation for Computer Applications. Stanford University, Report No. SMI-96-0628; 1996.
-
(1996)
Requirements of A Sharable Guideline Representation for Computer Applications
-
-
Pattison-Gordon, E.1
Cimino, J.J.2
Hripcsak, G.3
Tu, S.W.4
Gennari, J.H.5
Jain, N.L.6
Greenes, R.A.7
-
31
-
-
0032254512
-
LifeLines: Using visualization to enhance navigation and analysis of patient records
-
1998; Philadelphia: Hanley & Belfus, Inc., Medical Publishers
-
Plaisant C, Mushlin R, Snyder A, Li J, Heller D, Shneiderman B. LifeLines: Using Visualization to Enhance Navigation and Analysis of Patient Records. Proceedings of the American Medical Informatic Association Annual Fall Symposium (AMIA); 1998; Philadelphia: Hanley & Belfus, Inc., Medical Publishers; 1998. 76-80.
-
(1998)
Proceedings of the American Medical Informatic Association Annual Fall Symposium (AMIA)
, pp. 76-80
-
-
Plaisant, C.1
Mushlin, R.2
Snyder, A.3
Li, J.4
Heller, D.5
Shneiderman, B.6
-
32
-
-
0033340745
-
There's more to life than making plans: Plan management in dynamic, multi-agent environements
-
Pollack ME, Horty JF. There's More to Life than Making Plans: Plan Management in Dynamic, Multi-agent Environements. AI Magazine 1999;20(4):71-83.
-
(1999)
AI Magazine
, vol.20
, Issue.4
, pp. 71-83
-
-
Pollack, M.E.1
Horty, J.F.2
-
35
-
-
84871649033
-
Guidelines-based workflow systems
-
In: Horn W, Shahar Y, et al., editors.; 1999; Aalborg, Denmark. Berlin: Springer. Lecture Notes in Artificial Intelligence 1620
-
Quaglini S, Mossa C, Fassino C, Stefanelli M, Cavallini A, Micieli G. Guidelines-Based Workflow Systems. In: Horn W, Shahar Y, et al., editors. Proceedings of the Artificial Intelligence in Medicine; 1999; Aalborg, Denmark. Berlin: Springer. Lecture Notes in Artificial Intelligence 1620; 1999. 65-75.
-
(1999)
Proceedings of the Artificial Intelligence in Medicine
, pp. 65-75
-
-
Quaglini, S.1
Mossa, C.2
Fassino, C.3
Stefanelli, M.4
Cavallini, A.5
Micieli, G.6
-
36
-
-
0003540407
-
-
MIT Press
-
Schreiber AT, Akkermans JM, Anjewierden AA, de Hoog R, Shadbolt NR, Van de Velde W, Wielinga BJ. Knowledge Engineering and Management: The CommonKADS Methodology. MIT Press; 1999.
-
(1999)
Knowledge Engineering and Management: The CommonKADS Methodology
-
-
Schreiber, A.T.1
Akkermans, J.M.2
Anjewierden, A.A.3
De Hoog, R.4
Shadbolt, N.R.5
Van De-Velde, W.6
Wielinga, B.J.7
-
37
-
-
84888319247
-
-
Vienna University of Technology, Institut of Software Technology. Asgaard-TR-2000-3
-
Seyfang A, Kosara R, Miksch S. Asbru 7.2 Reference Manual. Vienna University of Technology, Institut of Software Technology. Asgaard-TR-2000-3; 2000.
-
(2000)
Asbru 7.2 Reference Manual
-
-
Seyfang, A.1
Kosara, R.2
Miksch, S.3
-
38
-
-
0032168169
-
The asgaard project: A task-specific framework for the application and critiquing of time-oriented clinical guidelines
-
Shahar Y, Miksch S, Johnson P. The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines. Artificial Intelligence in Medicine 1998;14:29-51.
-
(1998)
Artificial Intelligence in Medicine
, vol.14
, pp. 29-51
-
-
Shahar, Y.1
Miksch, S.2
Johnson, P.3
-
40
-
-
84888372171
-
Artificial intelligence for building learning health care organizations
-
In: Horn W, Shahar Y, et al., editors.; 1999; Aalborg, Denmark. Berlin: Springer. Lecture Notes in Artificial Intelligence 1620
-
Stefanelli M. Artificial Intelligence for Building Learning Health Care Organizations. In: Horn W, Shahar Y, et al., editors. Proceedings of the Artificial Intelligence in Medicine; 1999; Aalborg, Denmark. Berlin: Springer. Lecture Notes in Artificial Intelligence 1620; 1999. 14-29.
-
(1999)
Proceedings of the Artificial Intelligence in Medicine
, pp. 14-29
-
-
Stefanelli, M.1
-
41
-
-
0042010442
-
A review of al planning techniques
-
In: Allen JF, Hendler J, et al., editors. Los Altos, CA: Morgan Kaufmann
-
Tate A, Hendler J, Drummond M. A Review of Al Planning Techniques. In: Allen JF, Hendler J, et al., editors. Readings in Planning. Los Altos, CA: Morgan Kaufmann; 1990. 26-49.
-
(1990)
Readings in Planning
, pp. 26-49
-
-
Tate, A.1
Hendler, J.2
Drummond, M.3
-
42
-
-
0030333966
-
The EON model of intervention protocols and guidelines
-
In: Cimino JJ, editor.; 1996 Oct 26-30; Washington, DC. Philadelphia: Hanley & Belfus, Inc., Medical Publishers
-
Tu SW, Musen MA. The EON Model of Intervention Protocols and Guidelines. In: Cimino JJ, editor. Proceedings of the 1996 AMIA Annual Fall Symposium (formerly SCAMC); 1996 Oct 26-30; Washington, DC. Philadelphia: Hanley & Belfus, Inc., Medical Publishers; 1996. 587-591.
-
(1996)
Proceedings of the 1996 AMIA Annual Fall Symposium (Formerly SCAMC)
, pp. 587-591
-
-
Tu, S.W.1
Musen, M.A.2
|