Extending negation as failure by abduction: A three-valued stable model semantics

DOI10.1016/0743-1066(95)00065-8MaRDI QIDQ3128616zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alberto Martelli, Maria Luisa Sapino, Laura Giordano

Publication date 28 May 1997

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

Full work available at URL https://doi.org/10.1016/0743-1066(95)00065-8

zbMATH Keywords

finite failure stable model semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
• An abductive framework for extended logic programming
• scientific article; zbMATH DE number 879002
• CUT-PROPERTY AND NEGATION AS FAILURE

Cited in

(5)

• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• scientific article; zbMATH DE number 67821 (Why is no real title available?)
• scientific article; zbMATH DE number 1926609 (Why is no real title available?)
• A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics

This page was built for publication: Extending negation as failure by abduction: A three-valued stable model semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128616)