Skip navigation
Skip navigation

Implementing the model evolution calculus

Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare


Darwin is the first implementation of the Model Evolution Calculus by Baumgartner and Tinelli. The Model Evolution Calculus lifts the DPLL procedure to first-order logic. Darwin is meant to be a fast and clean implementation of the calculus, showing its effectiveness and providing a base for further improvements and extensions. Based on a brief summary of the Model Evolution Calculus, we describe in the main part of the paper Darwin's proof procedure and its data structures and algorithms,...[Show more]

CollectionsANU Research Publications
Date published: 2006
Type: Journal article
Source: International Journal on Artificial Intelligence Tools
DOI: 10.1142/S0218213006002552


File Description SizeFormat Image
01_Baumgartner_Implementing_the_model_2006.pdf1.07 MBAdobe 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