Pages that link to "Item:Q1193487"
From MaRDI portal
The following pages link to An order-sorted logic for knowledge representation systems (Q1193487):
Displaying 18 items.
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- An order-sorted resolution in theory and practice (Q1390960) (← links)
- Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Minimal model semantics for sorted constraint representation (Q1907066) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- (Q3219800) (← links)
- Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$ (Q3401123) (← links)
- (Q4013970) (← links)
- (Q4013974) (← links)
- (Q4282498) (← links)
- A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION (Q4824617) (← links)
- Ordering-based representations of rational inference (Q5236432) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)