Bounded nondeterminism of logic programs

DOI10.1023/B:AMAI.0000038175.53999.3AzbMath1095.68017OpenAlexW1973827570MaRDI QIDQ702093

Dino Pedreschi, Salvatore Ruggieri

Publication date: 17 January 2005

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

Full work available at URL: https://doi.org/10.1023/b:amai.0000038175.53999.3a

zbMATH Keywords

Logic programminguniversal terminationbounded nondeterminismstrong termination

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Bounded nondeterminism of logic programs