Semantisches Browsen
Aus International Center for Computational Logic
This paper ties together two distinct stra … This paper ties together two distinct strands in automated reasoning: the tableau- and the automata-based approach. It shows that the inverse tableau method can be viewed as an implementation of the automata approach. This is of interest to automated deduction because Voronkov recently showed that the inverse method yields a viable decision procedure for the modal logic K. decision procedure for the modal logic K. +
Franz Baader + und Stephan Tobies +
@inproceedings{ BaaderTobies-IJCAR,
author = {F. {Baader} and S. {Tobies}},
booktitle = {Proceedings of the International Joint Conference on Automated Reasoning {IJCAR'01}},
pages = {92--106},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {The Inverse Method Implements the Automata Approach for Modal Satisfiability},
volume = {2083},
year = {2001},
}
author = {F. {Baader} and S. {Tobies}},
booktitle = {Proceedings of the International Joint Conference on Automated Reasoning {IJCAR'01}},
pages = {92--106},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {The Inverse Method Implements the Automata Approach for Modal Satisfiability},
volume = {2083},
year = {2001},
}
Baader +
Franz +
Franz Baader, Stephan Tobies<br/> '' … Franz Baader, Stephan Tobies<br/> '''[[LATPub216|<b>The Inverse Method Implements the Automata Approach for Modal Satisfiability</b>]]''' <br/>__NOTOC__<i>Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01</i>, volume 2083 of Lecture Notes in Artificial Intelligence, 92-106, 2001. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub216|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaderTobies-IJCAR.ps.gz|Download]]BaaderTobies-IJCAR.ps.gz|Download]] +
Franz Baader, Stephan Tobies<br/> '' … Franz Baader, Stephan Tobies<br/> '''[[LATPub216/en|<b>The Inverse Method Implements the Automata Approach for Modal Satisfiability</b>]]''' <br/>__NOTOC__<i>Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01</i>, volume 2083 of Lecture Notes in Artificial Intelligence, 92-106, 2001. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub216|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaderTobies-IJCAR.ps.gz|Download]]BaaderTobies-IJCAR.ps.gz|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.
The Inverse Method Implements the Automata Approach for Modal Satisfiability +
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.
25. März 2015, 14:34:03 +
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.
The Inverse Method Implements the Automata Approach for Modal Satisfiability +, The Inverse Method Implements the Automata Approach for Modal Satisfiability +, The Inverse Method Implements the Automata Approach for Modal Satisfiability +, The Inverse Method Implements the Automata Approach for Modal Satisfiability +, The Inverse Method Implements the Automata Approach for Modal Satisfiability + und The Inverse Method Implements the Automata Approach for Modal Satisfiability +
