The following pages link to (Q5600875):
Displaying 16 items.
- Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
- Computing minimal models by partial instantiation (Q672131) (← links)
- A logic for default reasoning (Q1140434) (← links)
- Refutation graphs (Q1226867) (← links)
- Experimental tests of resolution-based theorem-proving strategies (Q1230669) (← links)
- A resolution-based system for symbolic approximate reasoning (Q1809351) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- A proof builder for Max-SAT (Q2118341) (← links)
- Resolution graphs (Q2543000) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- Theorem proving with variable-constrained resolution (Q2554609) (← links)
- On Linear Resolution (Q5015599) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
