On the indiscernibility of individuals in logic programming

DOI10.1093/LOGCOM/7.6.805zbMATH Open0892.68017OpenAlexW2089702231MaRDI QIDQ4381870FDOQ4381870

Thomas Eiter, Georg Gottlob, N. 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4381870)