Publications

Filters: Author is Michael Wooldridge  [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)
2002
Alechina, Natasha, and Brian Logan. "Grounding Knowledge and Action Selection in Agent-Based Systems." In Working Notes of the Fifth UK Workshop on Multi-Agent Systems (UKMAS 2002), edited by Peter McBurney and Michael Wooldridge. Liverpool, 2002.