Browse wiki
From Semantic Portal Wiki
| Black box techniques for debugging unsatisfiable concepts |
| Author | Aditya Kalyanpur +, Bijan Parsia +, Evren Sirin + |
|---|---|
| Bibtype | inproceedings + |
| Booktitle | Description Logics + |
| Doi | http://www.ceur-ws.org/Vol-147/14-Kalyanpur.pdf + |
| Key | dblp:conf/dlog/kalyanpurps05 + |
| Modification dateThis property is a special property in this wiki. | 8 April 2009 00:32:01 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/dlog/KalyanpurPS05 + |
| Tag | Computer science + |
| Title | Black Box Techniques for Debugging Unsatisfiable Concepts + |
| Year | 2005 + |
| Categories | Proceeding Paper, Publication |
| hide properties that link here |
| No properties link to this page. |

