Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,509,358 papers from all fields of science
Search
Sign In
Create Free Account
Reasoning system
Known as:
Automated reasoning system
, Machine reasoning technologies
, Machine reasoning technology
Expand
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
47 relations
Abductive reasoning
Backtracking
Backward chaining
Complex event processing
Expand
Broader (5)
Artificial intelligence
Automated theorem proving
Cognitive architecture
Constraint programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
RSenter: Tool for Topics and Terms Extraction from Unstructured Data Debris
Richard K. Lomotey
,
R. Deters
IEEE International Congress on Big Data
2013
Corpus ID: 14246937
There is enormous volume of user generated content (data) today in open source repositories, online social networks, and so on…
Expand
Highly Cited
2008
Highly Cited
2008
Case-based Reasoning for Diagnosis of Stress using Enhanced Cosine and Fuzzy Similarity
M. U. Ahmed
,
Shahina Begum
,
P. Funk
,
N. Xiong
,
B. Schéele
Transactions on case-based reasoning
2008
Corpus ID: 15355393
Intelligent analysis of heterogeneous data and information sources for efficient decision support presents an interesting yet…
Expand
Highly Cited
2005
Highly Cited
2005
DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies
Thomas Skylogiannis
,
G. Antoniou
,
Nick Bassiliades
,
Guido Governatori
,
Antonis Bikakis
International Conference on E-Learning, E…
2005
Corpus ID: 1077980
2002
2002
Efficient, Realistic NPC Control Systems using Behavior-Based Techniques
A. Khoo
,
Greg Dunham
,
Nick Trienens
,
Sanjay Sood
2002
Corpus ID: 11048979
Computer games are an application in which the perception of intentionality is often more important than intentionality itself…
Expand
Highly Cited
2001
Highly Cited
2001
Self-aware services: using Bayesian networks for detecting anomalies in Internet-based services
Alexandre Bronstein
,
Joydip Das
,
+5 authors
Ira Cohen
IEEE/IFIP International Symposium on Integrated…
2001
Corpus ID: 2536685
We propose a general architecture and implementation for the autonomous assessment of the health of arbitrary service elements…
Expand
1999
1999
Content based internet access to paper documents
M. Worring
,
A. Smeulders
International Journal on Document Analysis and…
1999
Corpus ID: 18770782
Abstract. When archives of paper documents are to be accessed via the Internet, the implicit hypertext structure of the original…
Expand
1994
1994
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
M. Walicki
,
S. Meldal
COMPASS/ADT
1994
Corpus ID: 3807106
After motivating the introduction of nondeterministic operators into algebraic specifications, a language L with two primitive…
Expand
Highly Cited
1991
Highly Cited
1991
Medical expert systems based on causal probabilistic networks
S. Andreassen
,
F. V. Jensen
,
K. Olesen
1991
Corpus ID: 62687836
Highly Cited
1984
Highly Cited
1984
Automated reasoning system ITP
E. Lusk
,
R. Overbeek
1984
Corpus ID: 59709089
This report describes a system designed to provide a portable environment for the study of automated reasoning. The system is…
Expand
1980
1980
Knowledge Embedding in the Description System Omega
C. Hewitt
,
Giuseppe Attardi
,
M. Simi
AAAI Conference on Artificial Intelligence
1980
Corpus ID: 23104595
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and…
Expand
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)
ACCEPT & CONTINUE