cfaed Publications
Decidable Gödel description logics without the finitely-valued model property
Reference
Stefan Borgwardt, Felix Distel, Rafael Peñaloza, "Decidable Gödel description logics without the finitely-valued model property", Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14) (Chitta Baral and Giuseppe DeGiacomo and Thomas Eiter), AAAI Press, pp. 228–237, 2014.
Bibtex
@inproceedings{BoDP-KR14,
author={Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
booktitle={Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
editor={Chitta {Baral} and Giuseppe {DeGiacomo} and Thomas {Eiter}},
pages={228--237},
publisher={AAAI Press},
title={Decidable {G}{\"o}del description logics without the finitely-valued model property},
year={2014},
}
author={Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
booktitle={Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
editor={Chitta {Baral} and Giuseppe {DeGiacomo} and Thomas {Eiter}},
pages={228--237},
publisher={AAAI Press},
title={Decidable {G}{\"o}del description logics without the finitely-valued model property},
year={2014},
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=328