Completeness for Linear Regular Negation Normal Form Inference Systems

Authors:
Reiner Hähnle;Neil V. Murray;Erik Rosenthal
Affiliations:
-;-;-
Venue:
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Year:
1997

Citing 0
Cited 2

Some Remarks on Completeness, Connection Graph Resolution and Link Deletion

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Finding Tractable Formulas in NNF

CL '00 Proceedings of the First International Conference on Computational Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract