Generalized Closed World Assumption is II02-Complete

Jan Chomicki*, V. S. Subrahmanian

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

19 Scopus citations
Original languageEnglish (US)
Pages (from-to)289-291
Number of pages3
JournalInformation Processing Letters
Volume34
Issue number6
DOIs
StatePublished - May 28 1990
Externally publishedYes

Keywords

  • arithmetical hierarchy
  • Logic programming
  • negation
  • non-Horn logic programs
  • undecidability

ASJC Scopus subject areas

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

Cite this