Loading...
Please wait, while we are loading the content...
Similar Documents
Relational theories with null values and non-herbrand stable models
| Content Provider | Scilit |
|---|---|
| Author | Lifschitz, Vladimir Pichotta, Karl Yang, Fangkai |
| Copyright Year | 2012 |
| Description | Generalized relational theories with null values in the sense of Reiter are first-order theories that provide a semantics for relational databases with incomplete information. In this paper we show that any such theory can be turned into an equivalent logic program, so that models of the theory can be generated using computational methods of answer set programming. As a step towards this goal, we develop a general method for calculating stable models under the domain closure assumption but without the unique name assumption. |
| Related Links | http://arxiv.org/pdf/1210.4130 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/2190F9E56F3BA710125B0BAC06F7D2B4/S147106841200018Xa.pdf/div-class-title-relational-theories-with-null-values-and-non-herbrand-stable-models-div.pdf |
| Ending Page | 582 |
| Page Count | 18 |
| Starting Page | 565 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s147106841200018x |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 4-5 |
| Volume Number | 12 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2012-07-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Stable Models |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
