Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk - Ω-logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Document Date: 2009-02-27 06:28:19 Open Document File Size: 139,56 KB Share Result on Facebook Company Rai / / / Facility University of Nottingham / / IndustryTerm multi-agent systems / transition systems / distributed reasoning algorithms / / Organization Engineering and Physical Sciences Research Council / University of Nottingham / Nottingham / / Person Brian Logan / Nguyen Hoang Nga / Natasha Alechina / Ai / Abdur Rakib / / Position MP / Rt / / ProvinceOrState Illinois / / Technology distributed reasoning algorithms / / SocialTag Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory

Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.ukAdd to Reading List