Diagnosis and debugging as contradiction removal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Downloads (Pure)
Original languageEnglish
Title of host publicationMIT Press
Pages316-330
Publication statusPublished - 1 Jan 1993
EventLOGIC PROGRAMMING AND NON-MONOTONIC REASONING -
Duration: 1 Jan 1993 → …

Conference

ConferenceLOGIC PROGRAMMING AND NON-MONOTONIC REASONING
Period1/01/93 → …

Cite this