cfaed Publications
A tableau algorithm for fuzzy description logics over residuated De Morgan lattices
Reference
Stefan Borgwardt, Rafael Peñaloza Nyssen, "A tableau algorithm for fuzzy description logics over residuated De Morgan lattices" , Chapter in Web Reasoning and Rule Systems (Markus Krötzsch and Umberto Straccia) , Springer, vol. 7497, pp. 9-24, Sep 2012.
Bibtex
@InCollection{ auto-key*ej,
author = {Borgwardt, Stefan and Peñaloza Nyssen, Rafael},
title = {A tableau algorithm for fuzzy description logics over residuated {De Morgan} lattices},
booktitle = {Web Reasoning and Rule Systems},
editor = {Markus Krötzsch and Umberto Straccia},
publisher = {Springer},
volume = {7497},
series = {Lecture Notes in Computer Science},
pages = {9-24},
month = sep,
year = {2012},
project = {B02}
}
author = {Borgwardt, Stefan and Peñaloza Nyssen, Rafael},
title = {A tableau algorithm for fuzzy description logics over residuated {De Morgan} lattices},
booktitle = {Web Reasoning and Rule Systems},
editor = {Markus Krötzsch and Umberto Straccia},
publisher = {Springer},
volume = {7497},
series = {Lecture Notes in Computer Science},
pages = {9-24},
month = sep,
year = {2012},
project = {B02}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1109