IMPLEMENTING THE MODEL EVOLUTION CALCULUS
Published in International Journal of Artificial Intelligence Tools • Jan 24, 2006
NobleIDNI0P27W10R80S74
Authors:,,
Peter Baumgartner
Alexander Fuchs
Cesare Tinelli
Abstract
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...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!