Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
1994
|
| _version_ | 1797055275500306432 |
|---|---|
| author | Eiter, T Gottlob, G Mannila, H |
| author_facet | Eiter, T Gottlob, G Mannila, H |
| author_sort | Eiter, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T19:08:21Z |
| format | Conference item |
| id | oxford-uuid:15ec6519-0863-410a-8dd7-c5c05773ab04 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:08:21Z |
| publishDate | 1994 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:15ec6519-0863-410a-8dd7-c5c05773ab042022-03-26T10:28:16ZExpressive Power and Complexity of Disjunctive Datalog under the Stable Model SemanticsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:15ec6519-0863-410a-8dd7-c5c05773ab04Department of Computer ScienceSpringer1994Eiter, TGottlob, GMannila, H |
| spellingShingle | Eiter, T Gottlob, G Mannila, H Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
| title | Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
| title_full | Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
| title_fullStr | Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
| title_full_unstemmed | Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
| title_short | Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics |
| title_sort | expressive power and complexity of disjunctive datalog under the stable model semantics |
| work_keys_str_mv | AT eitert expressivepowerandcomplexityofdisjunctivedatalogunderthestablemodelsemantics AT gottlobg expressivepowerandcomplexityofdisjunctivedatalogunderthestablemodelsemantics AT mannilah expressivepowerandcomplexityofdisjunctivedatalogunderthestablemodelsemantics |