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

City

Berlin / Cambridge / /

Company

Oxford University Press / D.M. (1996) Labelled Deductive Systems / Harvard University Press / Wayne Wobcke Intelligent Systems Research Group BT Laboratories / M.P. (1994) Multiagent Systems / M.P. & Rao A.S. / /

Currency

pence / /

Holiday

Assumption / /

IndustryTerm

air traffic management / similar applications / agent systems / deductive systems / software agents / reactive systems / business process management / /

Organization

Harvard University / Oxford University / Center for the Study of Language and Information / Stanford / /

Position

whenthe interpreter / interpreter / interpreter for execution / programmer / /

ProvinceOrState

Massachusetts / /

Technology

operating system / Agent Technology / /

URL

www.aaai.org / /

SocialTag