Pages that link to "Item:Q671511"
From MaRDI portal
The following pages link to Three-valued completion for abductive logic programs (Q671511):
Displaying 5 items.
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- A Complete Axiomatization of the Three valued Completion of Logic Programs (Q3988059) (← links)
- (Q4537512) (← links)
- A Core Method for the Weak Completion Semantics with Skeptical Abduction (Q4963214) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)