The following pages link to (Q4725709):
Displaying 5 items.
- Mints type deductive calculi for logic programming (Q1192340) (← links)
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197) (← links)
- First-order theories for pure Prolog programs with negation (Q1892097) (← links)
- Loop checking and the well-founded semantics (Q5101446) (← links)
- A transformation of propositional Prolog programs into classical logic (Q5101458) (← links)