On the Termination of Logic Programs with Function Symbols

DOI10.4230/LIPIcs.ICLP.2012.323zbMath1281.68065OpenAlexW1821679657MaRDI QIDQ5398070

Francesca Spezzano, Irina Trubitsyna, Sergio Greco

Publication date: 25 February 2014

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3633/pdf/31.pdf

zbMATH Keywords

logic programmingfunction symbolsstable modelsprogram terminationbottom-up execution

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ Checking termination of bottom-up evaluation of logic programs with function symbols ⋮ Using linear constraints for logic program termination analysis ⋮ Domain expansion for ASP-programs with external sources

This page was built for publication: On the Termination of Logic Programs with Function Symbols