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
2011
Highly Cited
2011
Applying RBR and CBR to develop a VR based integrated system for machining fixture design
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… 
2007
2007
Contextualization of a DL Knowledge Base
In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this… 
Review
2007
Review
2007
Qualitative Temporal Reasoning in GIS - Ordered Time Scales
There is a strong request for GIS to include temporal information. Most efforts currently are addressing the incorporation of… 
2004
2004
Reasoning in description logics using declarative logic programming
In this paper our goal is to bridge two popular and wellstudied knowledge representation formalisms: description logics (DLs… 
1992
1992
A Hierarchy of Tractable Satisfiability Problems
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. 
1988
1988
Telerobotic operation of conventional robot manipulators
A telerobotic control concept and its implementation using a PUMA-560 robot manipulator are reported. The concept couples human… 
Review
1988
Review
1988
Artificial intelligence techniques for diagnostic reasoning in medicine
1984
1984
Claims Analysis and Computer Reasoning
Contract dispute resolution is an area in which design and construction professionals often require legal advice. Even though… 
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)