Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
Highly Cited
2009
Highly Cited
2009
This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated… Expand
Highly Cited
2008
Highly Cited
2008
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on… Expand
Highly Cited
2007
Highly Cited
2007
  • V. Goranko
  • J. Log. Lang. Inf.
  • 2007
  • Corpus ID: 31269046
mathematical logic for computer science 2nd edition PDF logic in computer science solution manual PDF logic in computer science… Expand
Highly Cited
2005
Highly Cited
2005
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL… Expand
Highly Cited
2005
Highly Cited
2005
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 2
  • figure 5
Highly Cited
2002
Highly Cited
2002
Web services -- Web-accessible programs and devices - are a key application area for the Semantic Web. With the proliferation of… Expand
  • figure 2
  • figure 1
  • figure 3
  • table 1
  • figure 4
Highly Cited
1994
Highly Cited
1994
We present here a new algorithm for segmentation of intensity images which is robust, rapid, and free of tuning parameters. The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1989
Highly Cited
1989
Case-based reasoning, broadly construed, is the process of solving new problems based on the solutions of similar past problems… Expand
Highly Cited
1984
Highly Cited
1984
This book explains what automated reasoning is and what it can do and then demonstrates how to use it to solve complex problems… Expand