Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying Time and Communication Costs of Rule-Based Reasoners. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 1-14, Springer, 2008.
Abstract is missing.