Defeasible Goals (bibtex)
by Leendert W. N. van der Torre
Abstract:
In this paper we study defeasible goals in Gabbay's labelled deductive systems. We prove the completeness of a simple and elegant proof theory for the labelled logic of defeasible goals by proving two phasing theorems.
Reference:
Defeasible Goals (Leendert W. N. van der Torre), In ESCQARU, 1999.
Bibtex Entry:
@InProceedings{Torre1999c,
  Title                    = {Defeasible Goals},
  Author                   = {Leendert W. N. van der Torre},
  Booktitle                = {ESCQARU},
  Year                     = {1999},
  Pages                    = {274-385},

  Abstract                 = {In this paper we study defeasible goals in Gabbay's labelled deductive systems. We prove the completeness of a simple and elegant proof theory for the labelled logic of defeasible goals by proving two phasing theorems. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99.ps.Z},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/ecsqaru/1999},
  Ee                       = {http://dx.doi.org/10.1007/3-540-48747-6_35},
  Slides                   = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99-slides.ps.Z},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99.ps.Z}
}
Powered by bibtexbrowser