Vivification

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

Topic mentions per year

Topic mentions per year

1990-2016
012319902016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
This paper is concerned with preprocessing techniques for propositional model counting. We have considered several elementary… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
This paper is concerned with preprocessing techniques for propositional model counting. We have implemented a preprocessor which… (More)
  • figure 1
  • table 1
Is this relevant?
2013
2013
  • Omer Farooq Zain
  • 2013
History is replete with charismatic leaders who rendered a yeoman service to their people and the country. Each leader had a goal… (More)
Is this relevant?
Review
2013
Review
2013
The 6th International Workshop on Business Intelligence for the Real Time Enterprise (BIRTE 2012) was held on August 27, 2012 in… (More)
Is this relevant?
2012
2012
In the new era of Business Intelligence (BI) technology, transforming massive amounts of data into high-quality business… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
In the new era of Business Intelligence (BI) technology, transforming massive amounts of data into high-quality business… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
The SAT solver RISS 2.0 and its concurrent parallelization PRISS 2.0 are described in the configuration they have been submitted… (More)
  • figure 1
Is this relevant?
Review
2000
Review
2000
A class of default reasoning systems based on the notion of “model-preference” have recently been proposed by Selman and Kautz… (More)
  • table 1
  • table 2
Is this relevant?
1996
1996
An anytime family of propositional reasoners is a sequenceR0;R1; : : : of inference relations such that each Ri is sound… (More)
Is this relevant?
1990
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas… (More)
  • figure 1
Is this relevant?