An algebraic framework for the definition of compositional semantics of normal logic programs

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13

A kripke-kleene semantics for logic programs*

Melvin Fitting · The Journal of Logic Programming · 1985 · 539 citations

Language Studies, Computer Science, Mathematics +12

Negation in logic programming

Kenneth Kunen · The Journal of Logic Programming · 1987 · 443 citations

Computing, Computer Science, Artificial Intelligence +7

Logic programming and negation: A survey

Krzysztof R. Apt, Roland Bol · The Journal of Logic Programming · 1994 · 421 citations

Computing, Computer Science, Formal Methods +11

A logical analysis of modules in logic programming

Dale Miller · The Journal of Logic Programming · 1989 · 235 citations

Computing, Computer Science, Formal Methods +10