Concepedia
The Journal of Logic Programming · 1997 · 85 citations · 15 references
Language StudiesComputer ScienceFormal MethodsLogicSemanticsFormal SemanticsSyntax-semantics InterfaceTruth ConditionsPartial EvaluationSyntactic Properties Of Logic
15
Classical negation in logic programs and disjunctive databases
Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations
Computing, Computer Science, Computer Systems +11
On Indefinite Data Bases and the Closed World Assumption
Jack Minker · Medical Entomology and Zoology · 1982 · 401 citations
Computing, Computer Science, Knowledge Representation +2
Stable semantics for disjunctive programs
Teodor C. Przymusiński · New Generation Computing · 1991 · 312 citations
Computing, Computer Science, Logic +8
Proceedings 39th International Conference on Logic Programming
Jorge Fandinno, Zachary Hansen, Yuliya Lierler · Electronic Proceedings in Theoretical Computer Science · 2023 · 163 citations · Full text
Computing, Computer Science, Formal Methods +16
A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: I. STRONG PROPERTIES
Jürgen Dix · Fundamenta Informaticae · 1995 · 153 citations
Humanities, Computer Science, Formal Methods +9