Superposition and Model Evolution Combined

Simple item page
dc.contributor.authorBaumgartner, Peter
dc.contributor.authorWaldmann, Uwe
dc.coverage.spatialMontreal Canada
dc.date.accessioned2015-12-10T22:39:29Z
dc.date.createdAugust 2-7 2009
dc.date.issued2009
dc.date.updated2016-02-24T11:44:39Z
dc.description.abstractWe present a new calculus for first-order theorem proving with equality, Με+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality) by integrating their inference rules and redundancy criteria in a non-tri
dc.identifier.isbn3642029582
dc.identifier.urihttp://hdl.handle.net/1885/57194
dc.publisherSpringer
dc.relation.ispartofseriesInternational Conference on Automated Deduction (CADE 2009)
dc.sourceProceedings of the 22nd International Conference on Automated Deduction
dc.source.urihttp://www.springerlink.com/content/978-3-642-02958-5/
dc.subjectKeywords: DPLL procedure; First-order; Inference rules; Model evolution; Model evolution calculus; Non-trivial; Simplification rules; Superposition calculus; Automation; Biomineralization; Quality assurance; Redundancy; Theorem proving; Calculations
dc.titleSuperposition and Model Evolution Combined
dc.typeConference paper
local.bibliographicCitation.lastpage34
local.bibliographicCitation.startpage17
local.contributor.affiliationBaumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliationWaldmann, Uwe, Max Planck Institute
local.contributor.authoruidBaumgartner, Peter, u1815000
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedNo
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationu8803936xPUB390
local.identifier.doi10.1007/978-3-642-02959-2_2
local.identifier.scopusID2-s2.0-69949124426
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Baumgartner_Superposition_and_Model_2009.pdf
Size:
273.74 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS