Pages that link to "Item:Q4285644"
From MaRDI portal
The following pages link to A new definition of SLDNF-resolution (Q4285644):
Displaying 6 items.
- A semantic approach for web reasoning (Q506365) (← links)
- Making assumptions in the automated derivation (Q707362) (← links)
- A declarative approach for first-order built-in's of Prolog (Q1328181) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- A note on SLDNF-resolution (Q4399716) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)