On the indiscernibility of individuals in logic programming

DOI10.1093/LOGCOM/7.6.805MaRDI QIDQ4381870zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3974344
• The Leibniz principle in quantum logic
• Indistinguishability by default
• scientific article; zbMATH DE number 4049118
• scientific article; zbMATH DE number 3898865

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)