Loading...
Please wait, while we are loading the content...
Similar Documents
Assumption Sets for Extended Logic Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Eiter, Thomas Leone, Nicola Pearce, David |
| Copyright Year | 1999 |
| Abstract | Generalising the ideas of [10] we define a simple extension of the notion of unfounded set, called assumption set, that applies to disjunctive logic programs with strong negation. We show that assumption-free interpretations of such extended logic programs coincide with equilibrium models in the sense of [13] and hence with the answer sets of [3, 4]. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.kr.tuwien.ac.at/staff/eiter/et-archive/jfak.pdf |
| Alternate Webpage(s) | http://www.kr.tuwien.ac.at/staff/eiter/et-archive/jfak.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
