The following pages link to (Q4736520):
Displayed 5 items.
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)