Pages that link to "Item:Q814621"

The following pages link to Order-sorted logic programming with predicate hierarchy (Q814621):

Displaying 4 items.

• A logical and ontological framework for compositional concepts of objects and properties (Q264963) (← links)
• Paraconsistent computation tree logic (Q1758667) (← links)
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
• (Q5101351) (← links)