Skip to search formSkip to main content

Vivification

Vivification is an operation on a description logic knowledge base to improve performance of a semantic reasoner. Vivification replaces a disjunction… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present our new preprocessor HQSpre, a state-of-the-art tool for simplifying quantified Boolean formulas (QBFs) and the first… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 6
Is this relevant?
2017
2017
The most productive and powerful supercomputers always arouse great interest being flagships of the HPC machines fleet. These… Expand
Is this relevant?
Review
2013
Review
2013
This paper reports on the 7th International Workshop on Business Intelligence for the Real Time Enterprise (BIRTE 2013), co… Expand
Is this relevant?
2012
2012
In the new era of Business Intelligence (BI) technology, transforming massive amounts of data into high-quality business… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
Dans cet article, nous presentons une nouvelle technique de pretraitement d'une formule booleenne mise sous forme normale… Expand
Is this relevant?
2007
2007
La vie demeure, au sein de la philosophie, l’objet d’une certaine mefiance. La pensee qui affirme l’existence pointe son… Expand
Is this relevant?
Review
2000
Review
2000
A class ofdefault reasoning systemsbasedonthenotionof\model-preference" have recen tlybeenproposedby Selmanand Kautz… Expand
Is this relevant?
1998
1998
Au comencement etait... le fetiche. En effet, la « materia prima » d'ou la plupart des personnages feminins gautieristes emergent… Expand
Is this relevant?
1996
1996
An anytime family of propositional reasoners is a sequenceR0;R1; : : : of inference relations such that each Ri is sound… Expand
Is this relevant?
1995
1995
Instantiation orderings over formulas (the relation of one formula being an instance of another) have long been central to the… Expand
Is this relevant?