Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies

DOI10.1007/978-3-319-17822-6_16zbMath1457.68039OpenAlexW2189546154MaRDI QIDQ2949714

Arash Karimi, Wu Chen, Jia-Huai You, M.D. Solimul Chowdhury, Fang-Fang Liu

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17822-6_16

zbMATH Keywords

polynomial approximationwell-founded semanticsgeneralized atoms

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies