Pages that link to "Item:Q1101250"
From MaRDI portal
The following pages link to Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions (Q1101250):
Displaying 6 items.
- Strict completion of logic programs (Q751309) (← links)
- Negation as failure: careful closure procedure (Q1097727) (← links)
- Negation as failure as resolution (Q1277302) (← links)
- Evaluation of queries under closed-world assumption. II: The hierarchical case (Q1584999) (← links)
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules (Q3210889) (← links)
- Classical negation in logic programs and disjunctive databases (Q3983043) (← links)