Reference : Partial goal satisfaction and goal change: weak and strong partial implication, logic...
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25063
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity
English
Zhou, Yi [> >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Zhang, Yan [> >]
2008
Abstract book of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1
IFAAMAS
413–420
Yes
International
978-0-9817381-0-9
7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1
2008
[en] Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.
Researchers ; Professionals ; Students ; Others
http://hdl.handle.net/10993/25063
http://dl.acm.org/citation.cfm?doid=1402383.1402444

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.