Pages that link to "Item:Q1327159"
From MaRDI portal
The following pages link to A resolution principle for constrained logics (Q1327159):
Displaying 8 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)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)
