@inproceedings{DBLP:conf/csl/Lukasiewicz98,
  title = "Many-Valued First-Order Logics with Probabilistic Semantics",
  author = "Thomas Lukasiewicz",
  year = "1999",
  booktitle = "Proceedings of the 12th International Workshop on Computer Science Logic, CSL 1998, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998",
  editor = "Georg Gottlob and Etienne Grandjean and Katrin Seyr",
  isbn = "3-540-65922-6",
  pages = "415-429",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/10703163_28",
  volume = "1584",
}