Pages that link to "Item:Q1327159"
From MaRDI portal
The following pages link to A resolution principle for constrained logics (Q1327159):
Displaying 6 items.
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
