The following pages link to (Q3495342):
Displayed 7 items.
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- The ''descriptive'' component of a hybrid knowledge representation language (Q1202682) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)