Generalized Closed World Assumption is II02-Complete

Jan Chomicki; V. S. Subrahmanian

doi:10.1016/0020-0190(90)90012-M

Generalized Closed World Assumption is II⁰₂-Complete

Jan Chomicki
, V. S. Subrahmanian

Department of Computer Science and Engineering

University at Buffalo

University of Maryland, College Park

Research output: Contribution to journal › Article › peer-review

20 Scopus citations

Original language	English
Pages (from-to)	289-291
Number of pages	3
Journal	Information Processing Letters
Volume	34
Issue number	6
DOIs	https://doi.org/10.1016/0020-0190(90)90012-M
State	Published - May 28 1990

Keywords

Logic programming
arithmetical hierarchy
negation
non-Horn logic programs
undecidability

Access to Document

10.1016/0020-0190(90)90012-M

Cite this

@article{00168af62834442a923a67da60e7648b,

title = "Generalized Closed World Assumption is II02-Complete",

keywords = "Logic programming, arithmetical hierarchy, negation, non-Horn logic programs, undecidability",

author = "Jan Chomicki and Subrahmanian, \{V. S.\}",

year = "1990",

month = may,

day = "28",

doi = "10.1016/0020-0190(90)90012-M",

language = "English",

volume = "34",

pages = "289--291",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "6",

}

TY - JOUR

T1 - Generalized Closed World Assumption is II02-Complete

AU - Chomicki, Jan

AU - Subrahmanian, V. S.

PY - 1990/5/28

Y1 - 1990/5/28

KW - Logic programming

KW - arithmetical hierarchy

KW - negation

KW - non-Horn logic programs

KW - undecidability

UR - https://www.scopus.com/pages/publications/0025431923

U2 - 10.1016/0020-0190(90)90012-M

DO - 10.1016/0020-0190(90)90012-M

M3 - Article

SN - 0020-0190

VL - 34

SP - 289

EP - 291

JO - Information Processing Letters

JF - Information Processing Letters

IS - 6

ER -

Generalized Closed World Assumption is II⁰₂-Complete

Keywords

Access to Document

Other files and links

Fingerprint

Cite this