scientific article; zbMATH DE number 67821

zbMATH Open0749.68020MaRDI QIDQ4013773FDOQ4013773

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

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

3-valued logic programmingderivation proof proceduresextended stable model semantics

Mathematics Subject Classification ID

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

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)