The following pages link to (Q4039734):
Displayed 5 items.
- A logic for reasoning with inconsistency (Q688558) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Computational complexity and constraint logic programming languages (Q1354033) (← links)
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation (Q1354059) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)