Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (bibtex)

by Agnieszka Kulacka, Dirk Pattinson and Lutz Schröder

Reference:

Agnieszka Kulacka, Dirk Pattinson and Lutz Schröder: Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC, In Francesca Rossi, ed.: Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 962–968, IJCAI/AAAI, 2013. [updated version]

Bibtex Entry:

@InProceedings{KulackaEA13,
  author = 	 {Agnieszka Kulacka and Dirk Pattinson and Lutz Schr{\"o}der},
  title = 	 {Syntactic Labelled Tableaux for Lukasiewicz Fuzzy {ALC}},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 {Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013},
  OPTpages = 	 {},
  year =	 {2013},
  pages     = {962--968},
  editor =	 {Francesca Rossi},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IJCAI/AAAI},
  OPTannote = 	 {},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/ext/papers/lukasiewicz-tableau.pdf"> [updated version]</a>},       
  url =          {http://ijcai.org/Proceedings/13/Papers/147.pdf},
}