The DLV System for Knowledge Representation and Reasoning
| Үндсэн зохиолчид: | , , , , , , |
|---|---|
| Формат: | Journal article |
| Хэвлэсэн: |
2002
|
| _version_ | 1826278120863301632 |
|---|---|
| author | Leone, N Pfeifer, G Faber, W Eiter, T Gottlob, G Perri, S Scarcello, F |
| author_facet | Leone, N Pfeifer, G Faber, W Eiter, T Gottlob, G Perri, S Scarcello, F |
| author_sort | Leone, N |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T23:39:12Z |
| format | Journal article |
| id | oxford-uuid:6eb51177-9a05-4c7f-9aa7-e82c43b98d8a |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:39:12Z |
| publishDate | 2002 |
| record_format | dspace |
| spelling | oxford-uuid:6eb51177-9a05-4c7f-9aa7-e82c43b98d8a2022-03-26T19:26:14ZThe DLV System for Knowledge Representation and ReasoningJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6eb51177-9a05-4c7f-9aa7-e82c43b98d8aDepartment of Computer Science2002Leone, NPfeifer, GFaber, WEiter, TGottlob, GPerri, SScarcello, F |
| spellingShingle | Leone, N Pfeifer, G Faber, W Eiter, T Gottlob, G Perri, S Scarcello, F The DLV System for Knowledge Representation and Reasoning |
| title | The DLV System for Knowledge Representation and Reasoning |
| title_full | The DLV System for Knowledge Representation and Reasoning |
| title_fullStr | The DLV System for Knowledge Representation and Reasoning |
| title_full_unstemmed | The DLV System for Knowledge Representation and Reasoning |
| title_short | The DLV System for Knowledge Representation and Reasoning |
| title_sort | dlv system for knowledge representation and reasoning |
| work_keys_str_mv | AT leonen thedlvsystemforknowledgerepresentationandreasoning AT pfeiferg thedlvsystemforknowledgerepresentationandreasoning AT faberw thedlvsystemforknowledgerepresentationandreasoning AT eitert thedlvsystemforknowledgerepresentationandreasoning AT gottlobg thedlvsystemforknowledgerepresentationandreasoning AT perris thedlvsystemforknowledgerepresentationandreasoning AT scarcellof thedlvsystemforknowledgerepresentationandreasoning AT leonen dlvsystemforknowledgerepresentationandreasoning AT pfeiferg dlvsystemforknowledgerepresentationandreasoning AT faberw dlvsystemforknowledgerepresentationandreasoning AT eitert dlvsystemforknowledgerepresentationandreasoning AT gottlobg dlvsystemforknowledgerepresentationandreasoning AT perris dlvsystemforknowledgerepresentationandreasoning AT scarcellof dlvsystemforknowledgerepresentationandreasoning |