Towards Diagnosis Modulo Theories

Juhan-Peep Ernits, Richard Dearden

Research output: Contribution to conference (unpublished)Paperpeer-review

Original languageEnglish
Pages249-256
Number of pages8
Publication statusPublished - 1 Oct 2011
EventInternational Workshop on Principles of Diagnosis (DX 2011), 22nd -
Duration: 1 Oct 2011 → …

Conference

ConferenceInternational Workshop on Principles of Diagnosis (DX 2011), 22nd
Period1/10/11 → …

Cite this