Semantisches Browsen
Aus International Center for Computational Logic
Often, the addition of metric operators to … Often, the addition of metric operators to qualitative temporal logics leads to an increase of the complexity of satisfiability by at least one exponential. In this paper, we exhibit a number of metric extensions of qualitative temporal logics of the real line that do not lead to an increase in computational complexity. We show that the language obtained by extending since/until logic of the real line with the operators `sometime within n time units', n coded in binary, is PSpace-complete even without the finite variability assumption. Without qualitative temporal operators the complexity of this language turns out to depend on whether binary or unary coding of parameters is assumed: it is still PSpace-hard under binary coding but in NP under unary coding.inary coding but in NP under unary coding. +
@inproceedings{ LutzWaltherWolter-TIME-05,
address = {Burlington, VT, USA},
author = {C. {Lutz} and D. {Walther} and F. {Wolter}},
booktitle = {Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning},
publisher = {IEEE Computer Society Press},
title = {Quantitative Temporal Logics: {\sc PSpace} and below},
year = {2005},
}
address = {Burlington, VT, USA},
author = {C. {Lutz} and D. {Walther} and F. {Wolter}},
booktitle = {Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning},
publisher = {IEEE Computer Society Press},
title = {Quantitative Temporal Logics: {\sc PSpace} and below},
year = {2005},
}
Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning +
Lutz +
Carsten +
Carsten Lutz, Dirk Walther, Frank Wolter&l … Carsten Lutz, Dirk Walther, Frank Wolter<br/> '''[[LATPub303|<b>Quantitative Temporal Logics: PSpace and below</b>]]''' <br/>__NOTOC__<i>Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning</i>, 2005. IEEE Computer Society Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub303|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LutzWaltherWolter-TIME-05.pdf|Download]]dia:LutzWaltherWolter-TIME-05.pdf|Download]] +
Carsten Lutz, Dirk Walther, Frank Wolter&l … Carsten Lutz, Dirk Walther, Frank Wolter<br/> '''[[LATPub303/en|<b>Quantitative Temporal Logics: PSpace and below</b>]]''' <br/>__NOTOC__<i>Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning</i>, 2005. IEEE Computer Society Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub303|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LutzWaltherWolter-TIME-05.pdf|Download]]dia:LutzWaltherWolter-TIME-05.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Quantitative Temporal Logics: PSpace and below +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
26. März 2015, 17:33:52 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Quantitative Temporal Logics: PSpace and below +, Quantitative Temporal Logics: PSpace and below +, Quantitative Temporal Logics: PSpace and below +, Quantitative Temporal Logics: PSpace and below +, Quantitative Temporal Logics: PSpace and below +, Quantitative Temporal Logics: PSpace and below + und Quantitative Temporal Logics: PSpace and below +
