Combining negation as failure and embedded implications in logic programs

DOI10.1016/S0743-1066(97)10014-0zbMath0911.68027MaRDI QIDQ4223469

Nicola Olivetti, Laura Giordano

Publication date: 7 March 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

negation as failurefixed point semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Equilibrium logic ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Semantics of structured normal logic programs

This page was built for publication: Combining negation as failure and embedded implications in logic programs