Open Research

Incremental diagnosis of DES by satisfiability

dc.contributor.author	Grastien, Alban
dc.contributor.author	Anbulagan, Anbu
dc.contributor.editor	Ghallab, M.
dc.coverage.spatial	Patras Greece
dc.date.accessioned	2015-12-10T22:25:03Z
dc.date.created	July 21-25 2008
dc.identifier.isbn	9781586038915
dc.identifier.uri	http://hdl.handle.net/1885/53314
dc.publisher	IOS Press
dc.relation.ispartofseries	European Conference on Artificial Intelligence (ECAI 2008)
dc.source	18th European Conference on Artificial Intelligence Volume 178: Frontiers in Artificial Intelligence and Applications
dc.title	Incremental diagnosis of DES by satisfiability
dc.type	Conference paper
local.description.notes	Imported from ARIES
local.description.refereed	Yes
dc.date.issued	2008
local.identifier.absfor	080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.absfor	080105 - Expert Systems
local.identifier.ariespublication	u8803936xPUB270
local.type.status	Published Version
local.contributor.affiliation	Grastien, Alban , College of Engineering and Computer Science, ANU
local.contributor.affiliation	Anbulagan, Anbu, College of Engineering and Computer Science, ANU
local.description.embargo	2037-12-31
local.bibliographicCitation.startpage	787
local.bibliographicCitation.lastpage	788
dc.date.updated	2022-08-07T08:19:52Z
Collections	ANU Research Publications

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.