Black box techniques for debugging unsatisfiable concepts

Aditya Kalyanpur, Bijan Parsia, Evren Sirin

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

Original language	English
Title of host publication	CEUR Workshop Proceedings\|CEUR Workshop Proc.
Publisher	RWTH Aachen University
Volume	147
Publication status	Published - 2005
Event	2005 International Workshop on Description Logics, DL 2005 - Edinburgh Duration: 1 Jul 2005 → …

Name	CEUR Workshop Proceedings

Conference	2005 International Workshop on Description Logics, DL 2005
City	Edinburgh
Period	1/07/05 → …

Access to Document

@inproceedings{5f23925575b74672ae0e6fa6fe208d50,

title = "Black box techniques for debugging unsatisfiable concepts",

author = "Aditya Kalyanpur and Bijan Parsia and Evren Sirin",

year = "2005",

language = "English",

volume = "147",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

booktitle = "CEUR Workshop Proceedings|CEUR Workshop Proc.",

address = "Germany",

note = "2005 International Workshop on Description Logics, DL 2005 ; Conference date: 01-07-2005",

}

TY - GEN

T1 - Black box techniques for debugging unsatisfiable concepts

AU - Kalyanpur, Aditya

AU - Parsia, Bijan

AU - Sirin, Evren

PY - 2005

Y1 - 2005

M3 - Conference contribution

VL - 147

T3 - CEUR Workshop Proceedings

BT - CEUR Workshop Proceedings|CEUR Workshop Proc.

PB - RWTH Aachen University

T2 - 2005 International Workshop on Description Logics, DL 2005

Y2 - 1 July 2005

ER -