Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,136 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Consistency (knowledge bases)
Information quality
Knowledge base
SPIN model checker
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
On the Logic of Constitutive Rules
Davide Grossi
,
J. Meyer
,
F. Dignum
Normative Multi-agent Systems
2007
Corpus ID: 8531819
The paper proposes a logical systematization of the notion of counts- as which is grounded on a very simple intuition about what…
Expand
2006
2006
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
F. Sadri
,
Francesca Toni
European Conference on Artificial Intelligence
2006
Corpus ID: 7967876
Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that…
Expand
Review
2006
Review
2006
New Educational Tools And CurriculumEnhancements For MotivatingEngineering Students To Design And RealizeBio-inspired Products
Hugh Alan Bruck
,
Alan L. Gershon
,
I. Golden
,
Satyandra K. Gupta
,
L. Gyger
,
E. B. Magrab
2006
Corpus ID: 17696474
The use of bio-inspiration to create new products and devices requires the development of new design tools and manufacturing…
Expand
2001
2001
Theory of safe replacements for sequential circuits
V. Singhal
,
C. Pixley
,
A. Aziz
,
R. Brayton
IEEE Trans. Comput. Aided Des. Integr. Circuits…
2001
Corpus ID: 20428960
We address the problem of developing suitable criteria for design replacement in the context of sequential logic synthesis. There…
Expand
2000
2000
A Logic of Visibility , Perception , and Knowledge : Completeness and Correspondence Results
M. Wooldridge
,
A. Lomuscio
2000
Corpus ID: 14831712
VSK logic is a family of multi-modal logics for reasoning about t he information properties of computational agents situated in…
Expand
2000
2000
A Tour with Constructive Real Numbers
Alberto Ciaffaglione
,
Pietro Di Gianantonio
Types for Proofs and Programs
2000
Corpus ID: 27794241
The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and…
Expand
1996
1996
Objectively reliable subjective probabilities
Cory Juhl
Synthese
1996
Corpus ID: 44175521
Subjective Bayesians typically find the following objection difficult to answer: some joint probability measures lead to…
Expand
1996
1996
Polygon reconstruction from visibility information
LillAnne Jackson
1996
Corpus ID: 118490393
Reconstruction results at tempt, to rebuild polygons from visibility information. R m m s t r u c t i o n of a general polygon…
Expand
1991
1991
Henkin's Completeness Proof: Forty Years Later
H. Leblanc
,
P. Roeper
,
M. Thau
,
G. Weaver
Notre Dame J. Formal Log.
1991
Corpus ID: 5777195
1 In his 1949 paper, "The completeness of the first-order calculus", Henkin developed what is now called the method of…
Expand
1978
1978
Logic and philosophy: A modern introduction
Howard Kahane
1978
Corpus ID: 123551462
Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and…
Expand