Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Automatic synthesis of decision procedures
Authors: Predrag Janicic ; Alan Bundy
Date: 2007
Publication Title:Calculemus 2007. Lecture Notes in Artificial Intelligence
Publication Type:Conference Paper Publication Status:Published
Volume No:4573 Page Nos:80-93
DOI:10.1007/978-3-540-73086-6_7 ISBN/ISSN:978-3-540-73086-6
We address the problem of automatic synthesis of decision procedures. We evaluate our ideas on ground arithmetic and linear arithmetic, but the approach can be applied to other domains as well. The approach is well-suited to the proof-planning paradigm. The synthesis mechanism consists of several stages and sub-mechanisms. Our system (ADEPTUS), which we present in this paper, synthesized a decision procedure for ground arithmetic completely automatically and it used some specific method generators in generating a decision procedure for linear arithmetic, in only a few seconds of cpu time. We believe that this approach can lead to automated assistance in constructing decision procedures and to more reliable implementations of decision procedures.
2007 by Springer-Verlag. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Predrag Janicic and Alan Bundy },
title = {Automatic synthesis of decision procedures},
book title = {Calculemus 2007. Lecture Notes in Artificial Intelligence},
publisher = {Springer},
year = 2007,
volume = {4573},
pages = {80-93},
doi = {10.1007/978-3-540-73086-6_7},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh