Model Evolution Based Theorem Proving
Peter Baumgartner highlights two trends that have received considerable attention in the field of automated theorem proving. The area of automated theorem proving is characterized by the development of numerous calculi and proof procedures, ranging from general purpose to specialized ones for specific subsets of first-order logic and logical theories. One of trends involves the integration of reasoning methods for propositional and for first-order logic, with a best-of-both-worlds motivation....[Show more]
|Collections||ANU Research Publications|
|Source:||IEEE Intelligent Systems|
|01_Baumgartner_Model_Evolution_Based_Theorem_2014.pdf||630.21 kB||Adobe PDF||Request a copy|
|02_Baumgartner_Model_Evolution_Based_Theorem_2014.pdf||113.17 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.