Publications

Filters: Author is Doron Peled  [Clear All Filters]
2009
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "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. Download: Alechina++:09a.pdf (139.56 KB)
2008
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "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. Download: Alechina++:08d.pdf (162.28 KB)