FAQ

Completeness (knowledge bases)

Known as: Complete knowledge base, Completeness 
A knowledge base KB is complete if there is no formular α such that KB ⊭ α and KB ⊭ ¬α. Example of knowledge base with incomplete knowledge: KB… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2018
0519782018

Related topics

Related topics

5 relations
Consistency (knowledge bases)Information qualityKnowledge baseSPIN model checker
(More)

Related mentions per year

Related mentions per year

1940-2018
19401960198020002020
Completeness (knowledge bases)
Knowledge base
Information quality
SPIN model checker
Consistency (knowledge bases)
Vivid knowledge

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference
Probabilistic logics are receiving a lot of attention today because of their expressive power for knowledge representation and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2007
2007
Connecting Knowledge bases with databases: a complete mapping relation
In this paper we present a mapping relation between relational databases and terminological knowledge based systems. We de ne… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Answer Set Programming Based on Propositional Satisfiability
Answer set programming (ASP) emerged in the late 1990s as a new logic programming paradigm that has been successfully applied in… (More)
  • table I
  • table II
Is this relevant?
2006
2006
Definitorially Complete Description Logics
The Terminology Box (TBox) of a Description Logic (DL) knowledge base is used to define new concepts in terms of primitive… (More)
  • table 2
Is this relevant?
2005
2005
A New Algorithm for Strategy Synthesis in LTL Games
The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Knowledge Retrieval and the World Wide Web
L ARGE-SCALE WEB SEARCH engines effectively retrieve entire documents, but they are imprecise, because they do not exploit and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
1997
1997
The Field of Reals with Multisummable Series and the Exponential Function
We begin by rephrasing a few de®nitions concerning model completeness and o-minimality in a setting suitable for this paper. This… (More)
  • figure 2.1
  • figure 2.2
Is this relevant?
1994
1994
How Far We Are from the Complete Knowledge: Complexity of Knowledge Acquisition in Dempster-shafer Approach
When a knowledge base represents the experts’ uncertainty, then it is reasonable to ask how far we are from the complete… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Checking an Expert Systems Knowledge Base for Consistency and Completeness
In t h i s paper we desor ibe a program t h a t v e r i f i e s t he oons is tenoy and completeness of exper t system knowledge… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Classification in the KL-ONE Knowledge Representation System
KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A… (More)
Is this relevant?