scientific article; zbMATH DE number 3320385
From MaRDI portal
Publication:5600875
Cited in
(17)- A logic for default reasoning
- Refutation graphs
- Experimental tests of resolution-based theorem-proving strategies
- A resolution-based system for symbolic approximate reasoning
- Linear and unit-resulting refutations for Horn theories
- A proof builder for Max-SAT
- Resolution graphs
- Linear resolution with selection function
- Theorem proving with variable-constrained resolution
- On linear resolution
- Proofs and Certificates for Max-SAT
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule
- On structures of regular standard contradictions in propositional logic
- Algorithms for generating arguments and counterarguments in propositional logic
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- Computing minimal models by partial instantiation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5600875)
