Pages that link to "Item:Q2557565"
From MaRDI portal
The following pages link to A note on linear resolution strategies in consequence-finding (Q2557565):
Displaying 6 items.
- Linear resolution for consequence finding (Q1199916) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Default reasoning using classical logic (Q2171265) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
