English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Implementing the Model Evolution Calculus

Baumgartner, P., Fuchs, A., & Tinelli, C. (2006). Implementing the Model Evolution Calculus. International Journal on Artificial Intelligence Tools, 15, 21-52.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2322-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2323-4
Genre: Journal Article

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Baumgartner, Peter1, Author           
Fuchs, Alexander1, Author           
Tinelli, Cesare, Author
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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 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, discussing the main design decisions and features that influence Darwin's performance. We also report on practical experiments carried out with problems from the CASC-J2 system competition and parts of the TPTP Problem Library, and compare the results with those of other state-of-the-art theorem provers.

Details

show
hide
Language(s): eng - English
 Dates: 2007-04-202006
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 314604
Other: Local-ID: C1256104005ECAFC-9D1A231BA6D54196C1256FF2002CAB25-Baumgartner:etal:Darwin:IJAIT:2006
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: International Journal on Artificial Intelligence Tools
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 15 Sequence Number: - Start / End Page: 21 - 52 Identifier: ISSN: 0218-2130