Skip to search formSkip to main contentSkip to account menu

Vivification

Vivification is an operation on a description logic knowledge base to improve performance of a semantic reasoner. Vivification replaces a disjunction… 
Wikipedia (opens in a new tab)

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… 
2013
2013
El objetivo de este trabajo fue desarrollar una tecnologia sustentable a escala industrial para elaborar vino blanco comun, con… 
2012
2012
In the new era of Business Intelligence (BI) technology, transforming massive amounts of data into high-quality business… 
2010
2010
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information… 
2008
2008
Dans cet article, nous presentons une nouvelle technique de pretraitement d'une formule booleenne mise sous forme normale… 
Highly Cited
2008
Highly Cited
2008
In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the… 
2004
2004
  • M. Dalal
  • Annals of Mathematics and Artificial Intelligence
  • 2004
  • Corpus ID: 32752480
Given any incomplete clausal propositional reasoner satisfying certain properties, we extend it to a family of increasingly… 
1991