A progression semantics for first-order logic programs

From MaRDI portal
Publication:1680677

DOI10.1016/j.artint.2017.06.001zbMath1419.68035OpenAlexW2623765780MaRDI QIDQ1680677

Peng Zhang

Publication date: 16 November 2017

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

Full work available at URL: https://doi.org/10.1016/j.artint.2017.06.001





Uses Software


Cites Work


This page was built for publication: A progression semantics for first-order logic programs