IEEE - Institute of Electrical and Electronics Engineers, Inc. - Analytic Tableaux for Verifying Agent Beliefs

2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology

Author(s): Ji Ma ; M.A. Orgun
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2008
Conference Location: Sydney, NSW, Australia
Conference Date: 9 December 2008
Volume: 3
Page(s): 643 - 646
ISBN (Paper): 978-0-7695-3496-1
DOI: 10.1109/WIIAT.2008.79
Regular:

For specifying and reasoning about agent beliefs of agent systems, many researchers have proposed the use of belief logics. Since agent systems are designed to operate in dynamic environments such... View More

Advertisement