@Proceedings{DBLP:conf/ecsqaru/1999,
  Title                    = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings},
  Year                     = {1999},
  Editor                   = {Anthony Hunter and Simon Parsons},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {1638},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {ECSQARU},
  ISBN                     = {3-540-66131-X}
}
@InProceedings{DBLP:conf/ecsqaru/Torre99,
  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},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99.ps.Z}
}