Incremental diagnosis of DES by satisfiability

Alban Grastien; A Anbulagan

Incremental diagnosis of DES by satisfiability

Alban Grastien, A Anbulagan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	18th European Conference on Artificial Intelligence Volume 178: Frontiers in Artificial Intelligence and Applications
Editors	M. Ghallab
Place of Publication	Amsterdam The Netherlands
Publisher	IOS Press
Pages	787-788
Edition	Peer Reviewed
ISBN (Print)	9781586038915
Publication status	Published - 2008
Event	European Conference on Artificial Intelligence (ECAI 2008) - Patras Greece Duration: 1 Jan 2008 → …

Conference

Conference	European Conference on Artificial Intelligence (ECAI 2008)
Period	1/01/08 → …
Other	July 21-25 2008

Cite this

@inproceedings{6d71c553da854198a028c20aa78df125,

title = "Incremental diagnosis of DES by satisfiability",

author = "Alban Grastien and A Anbulagan",

year = "2008",

language = "English",

isbn = "9781586038915",

pages = "787--788",

editor = "{M. Ghallab}",

booktitle = "18th European Conference on Artificial Intelligence Volume 178: Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

edition = "Peer Reviewed",

note = "European Conference on Artificial Intelligence (ECAI 2008) ; Conference date: 01-01-2008",

}

Incremental diagnosis of DES by satisfiability. / Grastien, Alban; Anbulagan, A.
18th European Conference on Artificial Intelligence Volume 178: Frontiers in Artificial Intelligence and Applications. ed. / M. Ghallab. Peer Reviewed. ed. Amsterdam The Netherlands: IOS Press, 2008. p. 787-788.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Incremental diagnosis of DES by satisfiability

AU - Grastien, Alban

AU - Anbulagan, A

PY - 2008

Y1 - 2008

M3 - Conference contribution

SN - 9781586038915

SP - 787

EP - 788

BT - 18th European Conference on Artificial Intelligence Volume 178: Frontiers in Artificial Intelligence and Applications

A2 - null, M. Ghallab

PB - IOS Press

CY - Amsterdam The Netherlands

T2 - European Conference on Artificial Intelligence (ECAI 2008)

Y2 - 1 January 2008

ER -