The following pages link to (Q4013974):
Displaying 8 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)
- An order-sorted resolution in theory and practice (Q1390960) (← links)
- Computational aspects of an order-sorted logic with term declarations (Q1801289) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- (Q3219800) (← links)
- (Q4013970) (← links)