Logic Programming Approach to Automata-Based Decision Procedures

DOI10.1007/978-3-540-74610-2_12zbMATH Open1213.03018OpenAlexW2154274494MaRDI QIDQ3608653FDOQ3608653

Authors: Gulay Unel, David Toman 

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.4720

Recommendations

• Logic programming approach to automata-based decision procedures
• Lazy automata techniques for WS1S
• scientific article; zbMATH DE number 1841832
• An Incremental Technique for Automata-Based Decision Procedures
• scientific article; zbMATH DE number 2102722

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Automata and formal grammars in connection with logical questions (03D05) Logic programming (68N17) Decidability of theories and sets of sentences (03B25)

Cited In (4)

• Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
• Incremental reasoning on monadic second-order logics with logic programming
• Logic programming approach to automata-based decision procedures
• An Incremental Technique for Automata-Based Decision Procedures

Uses Software

• XSB

This page was built for publication: Logic Programming Approach to Automata-Based Decision Procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608653)