Skip to search formSkip to main contentSkip to account menu

Automated reasoning

Known as: Machine-supported reasoning, Automatic reasoning, Machine reasoning 
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
ACL2AI winterAbductive reasoningArtificial general intelligence

Broader (3)

Artificial intelligenceAutomated theorem provingTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
SWSpec: The Requirements Specification Language in Service Workflow Environments
Advanced technologies have changed the nature of business processes in the form of services. In coordinating services to achieve… 
2009
2009
A Security Meta-model for Service-Oriented Architectures
Services account for a major part of the IT industry today. Companies increasingly like to focus on their core expertise area and… 
Highly Cited
2009
Highly Cited
2009
Putting Semantics into WordNet's "Morphosemantic" Links
To add to WordNet's contents, and specifically to aid automatic reasoning with WordNet, we classify and label the current… 
Review
2006
Review
2006
Fuzzy Rule Interpolation Based on Polar Cuts
Systems applying fuzzy logic are rule based ones. The collection of the rules the so called rule base can be characterized as… 
Highly Cited
2004
Highly Cited
2004
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application – the Instance Store – aimed at solving some of the scalability problems that arise when reasoning with… 
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
Highly Cited
1992
Highly Cited
1992
Smart: Support: Management Automated Reasoning Technology for Compaq Customer Service
Because of the increasingly competitive nature of the computer manufacturing industry, Compaq Computer Corporation has made some… 
Highly Cited
1990
Highly Cited
1990
Spike: AI scheduling for NASA's Hubble Space Telescope
  • M. Johnston
  • Sixth Conference on Artificial Intelligence for…
  • 1990
  • Corpus ID: 62597202
The Spike scheduling system, developed for scheduling astronomical observations for NASA's Hubble Space Telescope (HST), is… 
Highly Cited
1990
Highly Cited
1990
Analogy for automated reasoning
  • Stephen Owen
  • Perspectives in artificial intelligence
  • 1990
  • Corpus ID: 60982445
What is analogy? heuristics for analogy matching flexible matching plan construction plan application learning global analogies. 
Highly Cited
1988
Highly Cited
1988
Supporting organizational problem solving with a work station
Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for… 
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)