Relating minimal models and pre-requisite-free normal defaults

Jorge Lobo*, V. S. Subrahmanian

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


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 languageEnglish (US)
Pages (from-to)129-133
Number of pages5
JournalInformation Processing Letters
Issue number3
StatePublished - Nov 30 1992
Externally publishedYes


  • Logic programming
  • default logic
  • formal semantics
  • negation
  • non-Horn logic programs
  • non-monotonic reasoning

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications


Dive into the research topics of 'Relating minimal models and pre-requisite-free normal defaults'. Together they form a unique fingerprint.

Cite this