The following pages link to (Q4264729):
Displaying 5 items.
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- MGTP: A model generation theorem prover — Its advanced features and applications — (Q4610311) (← links)
- Minimal model generation with positive unit hyper-resolution tableaux (Q4645233) (← links)
- A tableau calculus for minimal model reasoning (Q4645243) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)