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},
}

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=328


Go back to publications list