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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
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
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 (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
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
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
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
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
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
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
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?