Non-elementary Speed-Ups in Default Reasoning

Uwe Egly, Hans Tompits. Non-elementary Speed-Ups in Default Reasoning. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J├╝rgen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Volume 1244 of Lecture Notes in Computer Science, pages 237-251, Springer, 1997.


Abstract is missing.