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

Related topics

Related topics

50 relations
Artificial intelligence and lawAutomated reasoningBackward chainingBlocks world
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Knowledge Representation and Reasoning: What's Hot
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
Towards an Architecture for Knowledge Representation and Reasoning in Robotics
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
Knowledge Representation, Reasoning and Declarative Problem Solving
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
Qualitative Spatial Representation and Reasoning
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
Knowledge Representation and Reasoning for Perceptual Anchoring
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
The DLV system for knowledge representation and reasoning
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
Knowledge representation: logical, philosophical, and computational foundations
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 Fundamental Role of Entailment in Knowledge Representation and Reasoning
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
Formal ontology, conceptual analysis and knowledge representation
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
Decidable Reasoning in Terminological Knowledge Representation Systems
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?