- 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