An Efficient Proof Method for Non-clausal Reasoning
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Finding Tractable Formulas in NNF
CL '00 Proceedings of the First International Conference on Computational Logic
Hi-index | 0.00 |