Non-elementary Speed-Ups in Default Reasoning

Authors:
Uwe Egly;Hans Tompits
Affiliations:
-;-
Venue:
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Year:
1997

Citing 0
Cited 3

Proof-complexity results for nonmonotonic reasoning

ACM Transactions on Computational Logic (TOCL)
Sequent calculi for propositional nonmonotonic logics

ACM Transactions on Computational Logic (TOCL)
On Proof Complexity of Circumscription

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract