Pages that link to "Item:Q814621"
From MaRDI portal
The following pages link to Order-sorted logic programming with predicate hierarchy (Q814621):
Displayed 4 items.
- A logical and ontological framework for compositional concepts of objects and properties (Q264963) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- (Q5101351) (← links)