Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Research output: Contribution to journalArticle

22 Citations (Scopus)
Original languageUnknown
Pages (from-to)325-361
JournalFundamenta Informaticae
Volume102
Issue number3-4
DOIs
Publication statusPublished - 1 Jan 2010

Cite this

@article{65d37cb510124e12bfb39903f6d9fd87,
title = "Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",
author = "Marco Alberti",
note = "IF: 0.693",
year = "2010",
month = "1",
day = "1",
doi = "10.3233/FI-2010-310",
language = "Unknown",
volume = "102",
pages = "325--361",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "Polish Mathematical Society",
number = "3-4",

}

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. / Alberti, Marco.

In: Fundamenta Informaticae, Vol. 102, No. 3-4, 01.01.2010, p. 325-361.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

AU - Alberti, Marco

N1 - IF: 0.693

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.3233/FI-2010-310

DO - 10.3233/FI-2010-310

M3 - Article

VL - 102

SP - 325

EP - 361

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

IS - 3-4

ER -