Abstract
Given any disjunctive logic program p, we show that the minimal Herbrand models of P are in a precise one-one correspondence with the default logic theory ΔP obtained by adding toP, the default logic schema :¬A A.
Original language | English (US) |
---|---|
Pages (from-to) | 129-133 |
Number of pages | 5 |
Journal | Information Processing Letters |
Volume | 44 |
Issue number | 3 |
DOIs | |
State | Published - Nov 30 1992 |
Externally published | Yes |
Keywords
- default logic
- formal semantics
- Logic programming
- negation
- non-Horn logic programs
- non-monotonic reasoning
ASJC Scopus subject areas
- Theoretical Computer Science
- Signal Processing
- Information Systems
- Computer Science Applications