The following pages link to (Q3493312):
Displaying 7 items.
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- The KL-ONE family (Q1202629) (← links)
- Prototypes in a hybrid language with primitive descriptions (Q1202670) (← links)
- The role of taxonomy in language engineering (Q4521461) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- Taxonomic syntax for first order inference (Q5286163) (← links)