Decidable Fragments of Logic Programming with Value Invention

DOI10.1007/11853886_10zbMath1152.68399OpenAlexW1513258928MaRDI QIDQ3533124

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_10

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Logic programming (68N17)

This page was built for publication: Decidable Fragments of Logic Programming with Value Invention