Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Knowledge representation and reasoning
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic… Expand
Highly Cited
2008
Highly Cited
2008
Publisher Summary Early attempts at qualitative spatial reasoning within the qualitative reasoning (QR) community led to the… Expand
Review
2006
Review
2006
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive… Expand
Highly Cited
2004
Highly Cited
2004
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 management and knowledge-based intelligence are areas of importance in today's economy and society, and their… Expand
Review
2001
Review
2001
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
Highly Cited
1995
Highly Cited
1995
Abstract The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current… Expand
Highly Cited
1990
Highly Cited
1990
A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy… Expand
Highly Cited
1987
Highly Cited
1987
A fundamental computational limit on automated reasoning and its effect on knowledge representation is examined. Basically, the… Expand