On the indiscernibility of individuals in logic programming

DOI10.1093/LOGCOM/7.6.805zbMath0892.68017OpenAlexW2089702231MaRDI QIDQ4381870

Thomas Eiter, Georg Gottlob, Nicola Leone

Publication date: 22 April 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/7.6.805

zbMATH Keywords

indiscernibility in logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: On the indiscernibility of individuals in logic programming