4573 search results - page 136 / 915 » Automated Reasoning |
112
Voted
AB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
115
Voted
JLP
1998
15 years 3 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
128
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
184
click to vote
IWAR
1992
15 years 4 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
120
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...