Termination of constraint logic programs

DOI10.1007/3-540-63165-8_236zbMath1401.68028OpenAlexW1613058221MaRDI QIDQ4572011

Salvatore Ruggieri

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_236

Mathematics Subject Classification ID

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

Related Items (1)

Termination of floating-point computations

Cites Work

• On termination of general logic programs w.R.T. constructive negation
• Termination of logic programs: the never-ending story
• Unnamed Item

This page was built for publication: Termination of constraint logic programs