@inproceedings{DBLP:conf/isipta/Lukasiewicz05,
  title = "Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG",
  author = "Thomas Lukasiewicz",
  year = "2005",
  booktitle = "Proceedings of the 4th International Symposium on Imprecise Probabilities and their Applications, ISIPTA 2005, Pittsburgh, PA, USA, July 20-23, 2005",
  editor = "Fabio Gagliardi Cozman and Robert Nau and Teddy Seidenfeld",
  pages = "230-239",
  publisher = "SIPTA",
  url = "http://www.kr.tuwien.ac.at/staff/lukasiew/isipta05.pdf",
}