scientific article; zbMATH DE number 67821

MaRDI QIDQ4013773zbMATH OpenFDO

Authors Luís Moniz Pereira, Joaquim N. Aparício, José Júlio Alferes

Publication date 27 September 1992

zbMATH Keywords

3-valued logic programmingderivation proof proceduresextended stable model semantics

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Database theory (68P15)

Recommendations

• A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
• Stable models and circumscription
• Extending negation as failure by abduction: A three-valued stable model semantics
• Resolution for skeptical stable model semantics
• Logic programs, well-orderings, and forward chaining

Cited in

(8)

• Explaining preferences and preferring explanations
• A unifying view for logic programming with non-monotonic reasoning
• A complexity assessment for queries involving sufficient and necessary causes
• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
• Short note preferred extensions are partial stable models
• An abductive framework for extended logic programming
• A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
• Resolution for skeptical stable model semantics

This page was built for publication:

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