Pages that link to "Item:Q1193487"
From MaRDI portal
The following pages link to An order-sorted logic for knowledge representation systems (Q1193487):
Displayed 11 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)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION (Q4824617) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)