Journals
Publish with us
Publishing partnerships
About us
Blog
International Scholarly Research Notices
Table of Contents
International Scholarly Research Notices
/
2013
/
Article
/
Alg 2
/
Research Article
Belief Revision in the GOAL Agent Programming Language
Algorithm 2
Knowledge
{
% Mutual exclusion rules of go and stop predicates.
neg (stop (X)) :- go (X).
neg (go (X)) :- stop (X).
}