Knowledge representation and reasoning

Known as: Knowledge representation formalisms and methods, Knowledge representation & reasoning, Knowledge Representation 
Knowledge representation and reasoning (KR) is the field of artificial intelligence (AI) dedicated to representing information about the world in a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Knowledge representation and reasoning (KR) stems from a deep tradition in logic. In particular, it aims at building systems that… (More)
Is this relevant?
2014
2014
This paper describes an architecture that combines the complementary strengths of probabilistic graphical models and declarative… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
published by the press syndicate of the university of cambridge A catalogue record for this book is available from the British… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The need for spatial representations and spatial reasoning is ubiquitous in AI—from robot planning and navigation, to… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
Is this relevant?
2007
2007
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Review
2006
Review
2006
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive… (More)
  • table I
  • table II
  • table III
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Bring home now the book enPDFd knowledge representation logical philosophical and computational foundations to be your sources… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1996
1996
The hot controversy about the role of logic in AI has been repeated so far and p obably will continue on as usual. An important… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current practice of… (More)
  • figure 1
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Termino log ica l Knowledge Representation Systems (TKRSs ) are tools for designing and using knowledge bases tha t make use of… (More)
Is this relevant?