Back to Results
First PageMeta Content
Logic / Automated theorem proving / Agent-based model / Complex systems theory / Reasoning system / Model checking / Epistemic modal logic / Algorithm / Artificial intelligence / Science / Multi-agent systems


QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science
Add to Reading List

Document Date: 2008-06-18 10:10:29

Open Document

File Size: 465,11 KB

Share Result on Facebook
UPDATE