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.
Review
2019
Review
2019
From healthcare to criminal justice, artificial intelligence (AI) is increasingly supporting high-consequence human decisions… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • V. Goranko
  • Journal of Logic, Language and Information
  • 2007
  • Corpus ID: 31269046
mathematical logic for computer science 2nd edition PDF logic in computer science solution manual PDF logic in computer science… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1989
Highly Cited
1989
  • Judea Pearl
  • Morgan Kaufmann series in representation and…
  • 1989
  • Corpus ID: 32583695
From the Publisher: Probabilistic Reasoning in Intelligent Systems is a complete andaccessible account of the theoretical… Expand
Is this relevant?