Classical negation in logic programs and disjunctive databases

1991/08/01 by Michael Gelfond, Vladimir Lifschitz · 3 citations
Computer Science · #Advanced Algebra and Logic #Artificial intelligence #Autoepistemic logic #Computer science #Datalog #Deductive database #Description logic #Knowledge representation and reasoning #Logic programming #Logic, Reasoning, and Knowledge #Multimodal logic #Negation #Negation as failure #Programming language #Semantic Web and Ontologies #Semantics (computer science) #Stable model semantics #Theoretical computer science

paper · doi:10.1007/bf03037169

crossref issued 1991/08/01 · crossref published 1991/08/01 · crossref published-print 1991/08/01 · openalex publication_date 1991/08/01 · crossref created 2009/04/21 · crossref deposited 2019/05/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25 · crossref indexed 2026/07/28

Citations

• A logic for default reasoning

Cited by

• A new logical characterisation of stable models and answer sets
• Answer Sets for Propositional Theories
• The third open answer set programming competition
• Complexity of super-coherence problems in ASP
• Stable model semantics [wikipedia]