Pages that link to "Item:Q1327159"
From MaRDI portal
The following pages link to A resolution principle for constrained logics (Q1327159):
Displaying 17 items.
- Resolution principles in possibilistic logic (Q911797) (← links)
- Replacing unification by constraint satisfaction to improve logic program expressiveness (Q912656) (← links)
- Linear resolution for consequence finding (Q1199916) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- A resolution principle for a logic with restricted quantifiers (Q1596540) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- (Q4005186) (← links)
- (Q4016032) (← links)
- (Q5482597) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)
- A resolution principle for clauses with constraints (Q6488530) (← links)