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

Related topics

Related topics

3 relations
Description logicKnowledge baseSemantic reasoner

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
HQSpre - An Effective Preprocessor for QBF and DQBF
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 Top50 List Vivification in the Evolution of HPC Rankings
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
Report on the 6th international workshop on business intelligence for the real time enterprise
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
The Vivification Problem in Real-Time Business Intelligence: A Vision
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
Vivification de formules propositionnelles clausales
Dans cet article, nous presentons une nouvelle technique de pretraitement d'une formule booleenne mise sous forme normale… Expand
Is this relevant?
2007
2007
Vers la vivification de la vie : la question de la finalité
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
Knowledge Base Vivification by Model-Preference Default Inference
A class ofdefault reasoning systemsbasedonthenotionof\model-preference" have recen tlybeenproposedby Selmanand Kautz… Expand
Is this relevant?
1998
1998
De l'inertie corporelle à la vivification de la pierre : L'unité du corps fantastique féminin chez Théophile Gautier : Représentations fantastique du corps féminins
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
Semantics of an Anytime Family of Reasoners
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
Building Theories into Instantiation
Instantiation orderings over formulas (the relation of one formula being an instance of another) have long been central to the… Expand
Is this relevant?