Reasoning system

Known as: Automated reasoning system, Machine reasoning technologies, Machine reasoning technology 
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2018
05010015019772018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational… (More)
  • table 3.1
  • table 3.2
  • table 3.3
  • table 3.4
  • table 4.1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We describe an object-oriented modular architecture for hybrid reasoning (called the JTP architecture), a library of… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with… (More)
  • figure 1.1
  • figure 2.1
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In this paper, we describe an automated reasoning system, called DeReS. DeReS implements default logic of Reiter by supporting… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A new fuzzy reasoning that can solve two problems of conventional fuzzy reasoning by combining an artificial neural network (NN… (More)
  • figure I
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Research in Artiicial Intelligence on constraint-based representations for temporal reasoning has largely concentrated on two… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems. We show… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
In this paper, the reasoning and planning capabilities of an autonomous mobile robot are described; The reasoning system that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1987
Highly Cited
1987
ion Modulation In many cases, it may be more useful to do normative inference on a model that is deemed to be complete at a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Hybrid inference systems are an important way to address the fact that intelligent systems have muiltifaceted representational… (More)
Is this relevant?