Logic Programming Approach to Automata-Based Decision Procedures

DOI10.1007/978-3-540-74610-2_12zbMath1213.03018OpenAlexW2154274494MaRDI QIDQ3608653

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

Mathematics Subject Classification ID

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

Related Items (2)

Logic programming approach to automata-based decision procedures ⋮ Incremental reasoning on monadic second-order logics with logic programming

Uses Software

• XSB

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