On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification
| Type of publication: | Article |
| Citation: | DBLP:journals/jiis/Schaerf93 |
| Journal: | J. Intell. Inf. Syst. |
| Volume: | 2 |
| Number: | 3 |
| Year: | 1993 |
| Pages: | 265-278 |
| DOI: | 10.1007/bf00962071 |
| Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, date-added={2012-09-25 16:14:00 +0200}, date-modified={2012-09-25 16:14:00 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|