Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,066,380 papers from all fields of science
Search
Sign In
Create Free Account
Knowledge representation and reasoning
Known as:
Knowledge representation formalisms and methods
, Knowledge representation & reasoning
, Knowledge Representation
Expand
Knowledge representation and reasoning (KR) is the field of artificial intelligence (AI) dedicated to representing information about the world in a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Artificial intelligence and law
Backward chaining
Blocks world
Computational journalism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The RacerPro knowledge representation and reasoning system
V. Haarslev
,
Kay Hidde
,
Ralf Möller
,
Michael Wessel
Semantic Web
2012
Corpus ID: 23348909
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic…
Expand
Highly Cited
2004
Highly Cited
2004
Knowledge Representation and Reasoning
R. Brachman
,
H. Levesque
2004
Corpus ID: 62358461
Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or…
Expand
Highly Cited
2003
Highly Cited
2003
Knowledge Representation, Reasoning and Declarative Problem Solving
Chitta Baral
2003
Corpus ID: 12747995
Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and their…
Expand
Review
2002
Review
2002
The DLV system for knowledge representation and reasoning
N. Leone
,
G. Pfeifer
,
+4 authors
Francesco Scarcello
TOCL
2002
Corpus ID: 1189466
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive…
Expand
Review
2001
Review
2001
Qualitative Spatial Representation and Reasoning: An Overview
A. Cohn
,
S. Hazarika
Fundamenta Informaticae
2001
Corpus ID: 7862256
The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of…
Expand
Highly Cited
2000
Highly Cited
2000
Knowledge Representation and Reasoning
J. Sowa
2000
Corpus ID: 57357822
Highly Cited
1995
Highly Cited
1995
Formal ontology, conceptual analysis and knowledge representation
Nicola Guarino
Int. J. Hum. Comput. Stud.
1995
Corpus ID: 6921227
Abstract The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current…
Expand
Review
1994
Review
1994
Logic Programming and Knowledge Representation
Chitta Baral
,
M. Gelfond
Lecture Notes in Computer Science
1994
Corpus ID: 5672134
Abstract In this paper, we review recent work aimed at the application of declarative logic programming to knowledge…
Expand
Highly Cited
1990
Highly Cited
1990
Knowledge Representation Using Fuzzy Petri Nets
Shyi-Ming Chen
,
J. Ke
,
Jin-Fu Chang
IEEE Transactions on Knowledge and Data…
1990
Corpus ID: 36690909
A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy…
Expand
Review
1985
Review
1985
The role of hierarchical knowledge representation in decisionmaking and system management
J. Rasmussen
IEEE Transactions on Systems, Man and Cybernetics
1985
Corpus ID: 27394001
The knowledge representation of a decision-maker in control of a complex system can be structured in several levels of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE