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)

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… 
Review
2011
Review
2011
From the Publisher: An Approach Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning… 
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… 
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… 
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… 
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… 
Highly Cited
1991
Highly Cited
1991
Netherlands. No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means… 
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… 
Highly Cited
1988
Highly Cited
1988
automated reasoning 33 basic research problems dcnx automated reasoning 33 basic research problems automated reasoning 33 basic… 
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…