Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Journal article |
| Baskı/Yayın Bilgisi: |
1993
|
| _version_ | 1826285209007423488 |
|---|---|
| author | Eiter, T Gottlob, G |
| author_facet | Eiter, T Gottlob, G |
| author_sort | Eiter, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T01:25:25Z |
| format | Journal article |
| id | oxford-uuid:91cfe525-bd6f-475f-b8b9-70fcbf71fd66 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T01:25:25Z |
| publishDate | 1993 |
| record_format | dspace |
| spelling | oxford-uuid:91cfe525-bd6f-475f-b8b9-70fcbf71fd662022-03-26T23:21:10ZPropositional Circumscription and Extended Closed−World Reasoning are IIp2−CompleteJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:91cfe525-bd6f-475f-b8b9-70fcbf71fd66Department of Computer Science1993Eiter, TGottlob, G |
| spellingShingle | Eiter, T Gottlob, G Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete |
| title | Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete |
| title_full | Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete |
| title_fullStr | Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete |
| title_full_unstemmed | Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete |
| title_short | Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete |
| title_sort | propositional circumscription and extended closed world reasoning are iip2 complete |
| work_keys_str_mv | AT eitert propositionalcircumscriptionandextendedclosedworldreasoningareiip2complete AT gottlobg propositionalcircumscriptionandextendedclosedworldreasoningareiip2complete |