Diagnosis and debugging as contradiction removal

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

9 Downloads (Pure)

Original language	English
Title of host publication	MIT Press
Pages	316-330
Publication status	Published - 1 Jan 1993
Event	LOGIC PROGRAMMING AND NON-MONOTONIC REASONING - Duration: 1 Jan 1993 → …

Conference	LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
Period	1/01/93 → …

Access to Document

@inproceedings{9e82621470cd43f6a67e0389e8ffdb31,

title = "Diagnosis and debugging as contradiction removal",

author = "L.M. Pereira and Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Alferes, {Jos{\'e} J{\'u}lio Alves}",

year = "1993",

month = jan,

day = "1",

language = "English",

pages = "316--330",

booktitle = "MIT Press",

note = "LOGIC PROGRAMMING AND NON-MONOTONIC REASONING ; Conference date: 01-01-1993",

}