Pages that link to "Item:Q2452767"
From MaRDI portal
The following pages link to Parallel inference search in logical calculus based on the algebraic programming system (Q2452767):
Displaying 3 items.
- A logic programming system based on cortege algebra (Q1901564) (← links)
- On some strategies of logical inference search that are driven by goals (Q2745124) (← links)
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic (Q3016275) (← links)