Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Techreport3036
Abstract A new search space pruning technique, hidd
A new search space pruning technique, hidden implications, is introduced. Although they are not implied by a formula, adding them preserves satisfiability. This paper shows how hidden implications can be found and how they can be used to find hidden units or hidden equivalences.
find hidden units or hidden equivalences.  +
Archivierungsnummer 12-05  +
Author Norbert Manthey +
BibTex
@techreport{M2012,
  author      = {Norbert Manthey},
  title       = {Hidden Units, Equivalences and Implications (Poster
                 Presentation)},
  institution = {Knowledge Representation and Reasoning},
  year        = {2012},
  month       = {October}
}
Bibtype Techreport  +
Download KRR-Report 12-05.pdf  +
ErsterAutorNachname Manthey  +
ErsterAutorVorname Norbert  +
Forschungsgruppe Wissensverarbeitung +
Institution Knowledge Representation and Reasoning  +
Month Oktober  +
Publication text Norbert Manthey<br /> '''[[Techrepor
Norbert Manthey<br /> '''[[Techreport3036|Hidden Units, Equivalences and Implications (Poster Presentation)]]''' <br />__NOTOC__Technical Report, ''Knowledge Representation and Reasoning'', volume 12-05, October 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Techreport3036|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:KRR-Report 12-05.pdf|Download]]
t; [[Media:KRR-Report 12-05.pdf|Download]]  +
Publication text en Norbert Manthey<br /> '''[[Techrepor
Norbert Manthey<br /> '''[[Techreport3036/en|Hidden Units, Equivalences and Implications (Poster Presentation)]]''' <br />__NOTOC__Technical Report, ''Knowledge Representation and Reasoning'', volume 12-05, October 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Techreport3036|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:KRR-Report 12-05.pdf|Download]]
t; [[Media:KRR-Report 12-05.pdf|Download]]  +
Title Hidden Units, Equivalences and Implications (Poster Presentation)  +
Type techreport  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Techreport3036 + , Techreport3036 + , Techreport3036 + , Techreport3036 + , Techreport3036 +
Kategorien Techreport , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
19 Oktober 2017 05:13:30  +
verstecke Attribute die hierhin verlinken 
Techreport3036/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.