@proceedings{DBLP:conf/ecsqaru/1999,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ECSQARU},
  editor = {Anthony Hunter and Simon Parsons},
  isbn = {3-540-66131-X},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings},
  volume = {1638},
  year = {1999}
}
@inproceedings{DBLP:conf/ecsqaru/Torre99,
  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. },
  author = {Leendert W. N. van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ESCQARU},
  crossref = {DBLP:conf/ecsqaru/1999},
  ee = {http://dx.doi.org/10.1007/3-540-48747-6_35},
  pages = {274-385},
  slides = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99-slides.ps.Z},
  title = {Defeasible Goals},
  url = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99.ps.Z},
  year = {1999},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/ecsqaru99.ps.Z}
}