Pages that link to "Item:Q814621"
From MaRDI portal
The following pages link to Order-sorted logic programming with predicate hierarchy (Q814621):
Displaying 11 items.
- A logical and ontological framework for compositional concepts of objects and properties (Q264963) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Ordered hypothesis machines (Q1932942) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q3219800) (← links)
- Dependently Sorted Logic (Q3499748) (← links)
- (Q4013970) (← links)
- (Q4013974) (← links)
- (Q5101351) (← links)