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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1976-2017
05010015019762017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Handbook of Practical Logic and Automated Reasoning. Added On : 28.07.2015 10:55 pm. Author : John Harrison. For : THEORETICAL… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for… (More)
  • table 1
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… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
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… (More)
  • 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… (More)
  • figure 2
  • figure 1
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Ontology translation is one of the most difficult problems that webbased agents must cope with. An ontology is a formal… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
mathematical logic for computer science 2nd edition PDF logic in computer science solution manual PDF logic in computer science… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
  • Judea Pearl
  • Morgan Kaufmann series in representation and…
  • 1989
Pearl's "Probabilistic Reasoning in Intelligent Systems" is elegantly done seminal work on uncertainty, probabilistic reasoning… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Only for you today! Discover your favourite automated reasoning 33 basic research problems book right here by downloading and… (More)
Is this relevant?