FAQ

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

Related topics

Related topics

3 relations
Description logicKnowledge baseSemantic reasoner

Related mentions per year

Related mentions per year

1950-2018
1960198020002020
Vivification
Knowledge base
Description logic
Semantic reasoner

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
On Preprocessing Techniques and Their Impact on Propositional Model Counting
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
Preprocessing for Propositional Model Counting
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
Zulfi Bhutto’s Foreign Policy: Vocalization for Self-reliance and Vivification of Integrity
  • 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
Report on the 6th international workshop on business intelligence for the real time enterprise
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
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
The Vivification Problem in Real-Time Business Intelligence
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
Solver Description of riss 2 . 0 and priss 2 . 0
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
Knowledge Base Vivification by Model-Preference Default Inference
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
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… (More)
Is this relevant?
1990
1990
Generalization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas… (More)
  • figure 1
Is this relevant?