Verification of Medical Guidelines using Background Knowledge in Task Networks

Verication of Medical Guidelines using Task Execution with Background Knowledge

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2015

Abstract. The use of a medical guideline can be seen as the exe-cution of computational tasks, seque...

A History--Based Algebra for Quality--Checking Medical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van
Weide, T.P. van der

January 2005

Contains fulltext : 33341.pdf (preprint version ) (Closed access

Meta-level Verification of the Quality of Medical Guidelines using Interactive Theorem Proving

Hommersom, A.J.
Lucas, P.J.F.
Balser, M.

January 2004

Contains fulltext : 60459.pdf (preprint version ) (Open Access

Verification of Medical Guidelines using Task Execution with Background Knowledge

Hommersom, A.J.
Groot, P.C.
Lucas, P.J.F.
Balser, M.
Schmitt, J.

January 2006

Contains fulltext : 35013.pdf (preprint version ) (Open Access

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Hommersom, A.J.
Groot, P.J.
Lucas, P.
Balser, M.
Schmitt, J.

January 2007

Contains fulltext : 35006.pdf (publisher's version ) (Closed access

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Hommersom, A.J.
Groot, P.C.
Lucas, P.
Balser, M.
Schmitt, J.

January 2006

Contains fulltext : 36005.pdf (preprint version ) (Open Access

Quality checking of medical guidelines through logical abduction

Lucas, P.

January 2004

Contains fulltext : 112468.pdf (preprint version ) (Closed access

Formal Methods for Verification of Clinical Practice Guidelines

Hommersom, A.J.
Groot, P.C.
Balser, M.
Lucas, P.J.F.

January 2008

Contains fulltext : 72447.pdf (preprint version ) (Open Access

Verification of medical guidelines using background knowledge in task networks

Arjen Hommersom
Perry Groot
Peter J. F. Lucas
Michael Balser
Jonathan Schmitt

January 2007

Abstract—The application of a medical guideline to the treatment of a patient’s disease can be seen ...

A Constraint-based Approach to Medical Guidelines and Protocols

Hommersom, A.J.
Groot, P.C.
Lucas, P.J.F.
Marcos, M.
Martinez-Salvador, B.

January 2006

Contains fulltext : 36210.pdf (preprint version ) (Open Access

Combining Task Execution and Background Knowledge for the Veri¯cation of Medical Guidelines

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

September 2016

The following full text is a preprint version which may differ from the publisher's version

Experiences in Quality Checking Medical Guidelines using Formal Methods

Groot, P.J.
Hommersom, A.J.
Lucas, P.
Balser, M.
Schmitt, J.

January 2007

Contains fulltext : 34812.pdf (author's version ) (Open Access)VVSS200

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

April 2008

The use of a medical guideline can be seen as the execution of computational tasks, sequentially or ...

A Constraint-based Approach to Medical Guidelines and Protocols

Hommersom, A.J.
Groot, P.C.
Lucas, P.J.F.
Marcos, M.
Mart'inez-Salvador, B.

January 2008

Contains fulltext : 72742.pdf (preprint version ) (Open Access

Verication of medical guidelines using task execution with background knowledge

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2006

Abstract. The use of a medical guideline can be seen as the exe-cution of computational tasks, seque...

Verication of Medical Guidelines using Task Execution with Background Knowledge

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2015

Abstract. The use of a medical guideline can be seen as the exe-cution of computational tasks, seque...

A History--Based Algebra for Quality--Checking Medical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van
Weide, T.P. van der

January 2005

Contains fulltext : 33341.pdf (preprint version ) (Closed access

Meta-level Verification of the Quality of Medical Guidelines using Interactive Theorem Proving

Hommersom, A.J.
Lucas, P.J.F.
Balser, M.

January 2004

Contains fulltext : 60459.pdf (preprint version ) (Open Access

Verification of Medical Guidelines using Task Execution with Background Knowledge

Hommersom, A.J.
Groot, P.C.
Lucas, P.J.F.
Balser, M.
Schmitt, J.

January 2006

Contains fulltext : 35013.pdf (preprint version ) (Open Access

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Hommersom, A.J.
Groot, P.J.
Lucas, P.
Balser, M.
Schmitt, J.

January 2007

Contains fulltext : 35006.pdf (publisher's version ) (Closed access

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Hommersom, A.J.
Groot, P.C.
Lucas, P.
Balser, M.
Schmitt, J.

January 2006

Contains fulltext : 36005.pdf (preprint version ) (Open Access

Quality checking of medical guidelines through logical abduction

Lucas, P.

January 2004

Contains fulltext : 112468.pdf (preprint version ) (Closed access

Formal Methods for Verification of Clinical Practice Guidelines

Hommersom, A.J.
Groot, P.C.
Balser, M.
Lucas, P.J.F.

January 2008

Contains fulltext : 72447.pdf (preprint version ) (Open Access

Verification of medical guidelines using background knowledge in task networks

Arjen Hommersom
Perry Groot
Peter J. F. Lucas
Michael Balser
Jonathan Schmitt

January 2007

Abstract—The application of a medical guideline to the treatment of a patient’s disease can be seen ...

A Constraint-based Approach to Medical Guidelines and Protocols

Hommersom, A.J.
Groot, P.C.
Lucas, P.J.F.
Marcos, M.
Martinez-Salvador, B.

January 2006

Contains fulltext : 36210.pdf (preprint version ) (Open Access

Combining Task Execution and Background Knowledge for the Veri¯cation of Medical Guidelines

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

September 2016

The following full text is a preprint version which may differ from the publisher's version

Experiences in Quality Checking Medical Guidelines using Formal Methods

Groot, P.J.
Hommersom, A.J.
Lucas, P.
Balser, M.
Schmitt, J.

January 2007

Contains fulltext : 34812.pdf (author's version ) (Open Access)VVSS200

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

April 2008

The use of a medical guideline can be seen as the execution of computational tasks, sequentially or ...

A Constraint-based Approach to Medical Guidelines and Protocols

Hommersom, A.J.
Groot, P.C.
Lucas, P.J.F.
Marcos, M.
Mart'inez-Salvador, B.

January 2008

Contains fulltext : 72742.pdf (preprint version ) (Open Access

Verication of medical guidelines using task execution with background knowledge

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2006

Abstract. The use of a medical guideline can be seen as the exe-cution of computational tasks, seque...

Verication of Medical Guidelines using Task Execution with Background Knowledge

Arjen Hommersom
Perry Groot
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2015

Abstract. The use of a medical guideline can be seen as the exe-cution of computational tasks, seque...

A History--Based Algebra for Quality--Checking Medical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van
Weide, T.P. van der

January 2005

Contains fulltext : 33341.pdf (preprint version ) (Closed access

Meta-level Verification of the Quality of Medical Guidelines using Interactive Theorem Proving

Hommersom, A.J.
Lucas, P.J.F.
Balser, M.

January 2004

Contains fulltext : 60459.pdf (preprint version ) (Open Access

Verification of Medical Guidelines using Background Knowledge in Task Networks

Abstract

Extracted data

Topics

Verification of Medical Guidelines using Background Knowledge in Task Networks

Abstract

Extracted data

Topics

Related items

Related items