Skip navigation
Skip navigation

Model Evolution Based Theorem Proving

Baumgartner, Peter

Description

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]

CollectionsANU Research Publications
Date published: 2014
Type: Journal article
URI: http://hdl.handle.net/1885/66281
Source: IEEE Intelligent Systems
DOI: 10.1109/MIS.2013.124

Download

File Description SizeFormat Image
01_Baumgartner_Model_Evolution_Based_Theorem_2014.pdf630.21 kBAdobe PDF    Request a copy
02_Baumgartner_Model_Evolution_Based_Theorem_2014.pdf113.17 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator