Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

47 relations
Abductive reasoningBacktrackingBackward chainingComplex event processing

Broader (5)

Artificial intelligenceAutomated theorem provingCognitive architectureConstraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Case-based Reasoning for Diagnosis of Stress using Enhanced Cosine and Fuzzy Similarity
Intelligent analysis of heterogeneous data and information sources for efficient decision support presents an interesting yet… 
Highly Cited
2005
Highly Cited
2005
DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies
Highly Cited
2001
Highly Cited
2001
Self-aware services: using Bayesian networks for detecting anomalies in Internet-based services
We propose a general architecture and implementation for the autonomous assessment of the health of arbitrary service elements… 
1999
1999
Controlled natural language can replace first-order logic
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model… 
Highly Cited
1994
Highly Cited
1994
Temporal Theories of Reasoning
ABSTRACT In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the… 
1994
1994
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
After motivating the introduction of nondeterministic operators into algebraic specifications, a language L with two primitive… 
Highly Cited
1991
Highly Cited
1991
Medical expert systems based on causal probabilistic networks
1991
1991
Topological Constraints: A Representational Framework For Approximate Spatial And Temporal Reasoning
This paper is based on two premises. First, real world spatial and temporal information is often imprecise and uncertain. Second… 
Highly Cited
1984
Highly Cited
1984
Automated reasoning system ITP
This report describes a system designed to provide a portable environment for the study of automated reasoning. The system is… 
1980
1980
Knowledge Embedding in the Description System Omega
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and… 
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)