Downloaded from orbit dtu dk on Dec 15 2015 SS a Technical University of Denmark W Belief Revision in the GOAL Agent Programming Language Spurkeland Johannes Svante Jensen Andreas Schmidt Villadsen J rgen Published in 1S RN Artificial Intelligence DOI 10 1155 2013 632319 Publication date 2013 Document Version Publisher final version usually the publisher pdf Link to publication Citation APA Spurkeland J S Jensen A S amp Vi
Hindawi Publishing Corporation ISRN Artificial Intelligence Volume 2013 Article ID 632319 11 pages http dx doi org 10 1155 2013 632319 Research Article Hindawi Belief Revision in the GOAL Agent Programming Language Johannes Svante Spurkeland Andreas Schmidt Jensen and Jorgen Villadsen Algorithms Logic and Graphs Section Department of Applied Mathematics and Computer Science Technical University of Denmark Matematiktorvet Building 303B 2800 Kongens Lyngby De