Back to Results
First PageMeta Content
Problem solving / Cognitive architecture / Multi-agent systems / Management / Project management / Procedural reasoning system / Reasoning system / Logic programming / Hoare logic / Artificial intelligence / Science / Logic


Contextual Reasoning in the Verification of PRS Agent Programs
Add to Reading List

Document Date: 2006-01-11 09:39:58

Open Document

File Size: 572,31 KB

Share Result on Facebook
UPDATE