Labelled Logics of Defeasible Goals (bibtex)
@misc{Torre99labelledlogics,
  abstract = {In this paper we study conflicts between goals. In line with negative results obtained in the logic of preference, we argue that most proof rules of the logic of goals - such as strengthening of the antecedent (monotony), transitivity and the conjunction rule - only hold in a restricted sense. We study restricted applicability in Gabbay's labelled deductive systems, and we show how to resolve conflicts in labelled logics of conditional goals.},
  author = {Leendert W.N. van der Torre},
  title = {Labelled Logics of Defeasible Goals},
  url = {http://icr.uni.lu/leonvandertorre/papers/dgnmr99.ps.Z},
  year = {1999}
}
Powered by bibtexbrowser