cfaed Publications

Decidable Gödel description logics without the finitely-valued model property

Reference

Stefan Borgwardt, Felix Distel, Rafael Peñaloza Nyssen, "Decidable Gödel description logics without the finitely-valued model property", Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Jul 2014.

Bibtex

@InProceedings{ BoDP-KR14,
author = {Borgwardt, Stefan and Distel, Felix and Peñaloza Nyssen, Rafael},
title = {Decidable {Gödel} description logics without the finitely-valued model property},
booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
month = jul,
year = {2014},
project = {B02}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC

Permalink

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


Go back to publications list