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, 2013. To appear

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 = {},
  OPTpublisher = {},
  note =	 {To appear},
  OPTannote = 	 {}
}