Experiences in Quality Checking Medical Guidelines using Formal Methods

The Role of Model Checking in Critiquing based on Clinical Guidelines

Groot, P.J.
Hommersom, A.J.
Lucas, P.
Serban, R.
Teije, A. ten
Harmelen, F. van

January 2007

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

Bommel. Automated Theorem Proving for Quality-checking Medical Guidelines

Arjen Hommersom
Peter Lucas
Patrick Van Bommel

January 2005

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

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

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 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

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

Quality of clinical practice guidelines

Burgers, J.S.

January 2002

Contains fulltext : 146898.pdf (Publisher’s version ) (Open Access)246 p

Setting and using guidelines for quality in general practice

Grol, R.

January 1995

Contains fulltext : 21131___.PDF (publisher's version ) (Open Access

Experiences in Quality Checking Medical Guidelines using Formal Methods

Perry Groot
Arjen Hommersom
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2015

Abstract. In health care, the trend of evidence-based medicine, has led medical specialists to devel...

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

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

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2

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

Verification of Medical Guidelines using Background Knowledge in Task Networks

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

January 2007

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

The Role of Model Checking in Critiquing based on Clinical Guidelines

Groot, P.J.
Hommersom, A.J.
Lucas, P.
Serban, R.
Teije, A. ten
Harmelen, F. van

January 2007

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

Bommel. Automated Theorem Proving for Quality-checking Medical Guidelines

Arjen Hommersom
Peter Lucas
Patrick Van Bommel

January 2005

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

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

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 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

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

Quality of clinical practice guidelines

Burgers, J.S.

January 2002

Contains fulltext : 146898.pdf (Publisher’s version ) (Open Access)246 p

Setting and using guidelines for quality in general practice

Grol, R.

January 1995

Contains fulltext : 21131___.PDF (publisher's version ) (Open Access

Experiences in Quality Checking Medical Guidelines using Formal Methods

Perry Groot
Arjen Hommersom
Peter Lucas
Michael Balser
Jonathan Schmitt

January 2015

Abstract. In health care, the trend of evidence-based medicine, has led medical specialists to devel...

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

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

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2

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

Verification of Medical Guidelines using Background Knowledge in Task Networks

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

January 2007

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

The Role of Model Checking in Critiquing based on Clinical Guidelines

Groot, P.J.
Hommersom, A.J.
Lucas, P.
Serban, R.
Teije, A. ten
Harmelen, F. van

January 2007

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

Bommel. Automated Theorem Proving for Quality-checking Medical Guidelines

Arjen Hommersom
Peter Lucas
Patrick Van Bommel

January 2005

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

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

Experiences in Quality Checking Medical Guidelines using Formal Methods

Abstract

Extracted data

Experiences in Quality Checking Medical Guidelines using Formal Methods

Abstract

Extracted data

Related items

Related items