Automating the synthesis of decision procedures in a constructive metatheory

DOI10.1023/A:1018943603394zbMATH Open0905.68140OpenAlexW2129600058MaRDI QIDQ1267772

Alan Bundy, Alessandro Armando, Jason Gallagher, Alan Smaill

Publication date: 25 November 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018943603394

zbMATH Keywords

propositional logicdecision proceduresproof-planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic

Uses Software

• Nuprl
• CLAM

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Automating automated reasoning. The case of two generic automated reasoning tools 👍 👎
• Automated reasoning with a constraint-based metainterpreter 👍 👎
• Mechanizing metatheory in a logical framework 👍 👎
• Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic 👍 👎
• Advances in Artificial Intelligence 👍 👎
• Mechanizing Mathematical Reasoning 👍 👎

This page was built for publication: Automating the synthesis of decision procedures in a constructive metatheory