Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (bibtex)
by Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder
Reference:
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder), In Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Francesca Rossi, ed.), 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},
  editor =	 {Francesca Rossi},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IJCAI/AAAI},
  OPTannote = 	 {},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/_media/research:papers:lukasiewicz-tableau.pdf"> [updated version]</a>},       
  url =          {http://ijcai.org/papers13/Papers/IJCAI13-147.pdf},
}
Powered by bibtexbrowser