An Efficient Method for Eliminating Varying Predicates from a Circumscription
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Udgivet: |
1992
|
| _version_ | 1826278116558897152 |
|---|---|
| author | Cadoli, M Eiter, T Gottlob, G |
| author_facet | Cadoli, M Eiter, T Gottlob, G |
| author_sort | Cadoli, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T23:39:08Z |
| format | Journal article |
| id | oxford-uuid:6eafa3c5-0009-43a5-87c3-a8c7c6bb2a9f |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:39:08Z |
| publishDate | 1992 |
| record_format | dspace |
| spelling | oxford-uuid:6eafa3c5-0009-43a5-87c3-a8c7c6bb2a9f2022-03-26T19:26:03ZAn Efficient Method for Eliminating Varying Predicates from a CircumscriptionJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6eafa3c5-0009-43a5-87c3-a8c7c6bb2a9fDepartment of Computer Science1992Cadoli, MEiter, TGottlob, G |
| spellingShingle | Cadoli, M Eiter, T Gottlob, G An Efficient Method for Eliminating Varying Predicates from a Circumscription |
| title | An Efficient Method for Eliminating Varying Predicates from a Circumscription |
| title_full | An Efficient Method for Eliminating Varying Predicates from a Circumscription |
| title_fullStr | An Efficient Method for Eliminating Varying Predicates from a Circumscription |
| title_full_unstemmed | An Efficient Method for Eliminating Varying Predicates from a Circumscription |
| title_short | An Efficient Method for Eliminating Varying Predicates from a Circumscription |
| title_sort | efficient method for eliminating varying predicates from a circumscription |
| work_keys_str_mv | AT cadolim anefficientmethodforeliminatingvaryingpredicatesfromacircumscription AT eitert anefficientmethodforeliminatingvaryingpredicatesfromacircumscription AT gottlobg anefficientmethodforeliminatingvaryingpredicatesfromacircumscription AT cadolim efficientmethodforeliminatingvaryingpredicatesfromacircumscription AT eitert efficientmethodforeliminatingvaryingpredicatesfromacircumscription AT gottlobg efficientmethodforeliminatingvaryingpredicatesfromacircumscription |