Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity (bibtex)
by Yi Zhou, Leendert van der Torre, Yan Zhang
Abstract:
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 im- plication 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.
Reference:
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity (Yi Zhou, Leendert van der Torre, Yan Zhang), In AAMAS (1), 2008.
Bibtex Entry:
@InProceedings{Zhou2008,
  Title                    = {Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity},
  Author                   = {Yi Zhou and Leendert van der Torre and Yan Zhang},
  Booktitle                = {AAMAS (1)},
  Year                     = {2008},
  Pages                    = {413-420},

  Abstract                 = {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 im- plication 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.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/aamas08.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/atal/2008-1},
  Date-modified            = {2011-09-25 18:03:26 +0200},
  Ee                       = {http://doi.acm.org/10.1145/1402383.1402444},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/aamas08.pdf}
}
Powered by bibtexbrowser