Filters: Author is Doron Peled [Clear All Filters]
Verifying Time and Communication Costs of Rule-Based Reasoners." In Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers, edited by Doron Peled and Michael Wooldridge. Vol. 5348. LNCS 5348. Springer, 2009."
Verifying time and communication costs of rule-based reasoners." In Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence (MoChArt-2008), edited by Doron Peled and Michael Wooldrigde. Patras, Greece, 2008."