Expanding logic programs

DOI10.1007/BFB0023439MaRDI QIDQ4244295zbMATH OpenFDO

Authors Cees Witteveen

Publication date 27 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023439

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 587821
• Complete extension of general logic programs
• scientific article; zbMATH DE number 3890698
• scientific article; zbMATH DE number 4160108
• Proof-theoretic and higher-order extensions of logic programming
• On computing logic programs
• Complexity of computing with extended propositional logic programs
• Deducing Logic Programs

This page was built for publication: Expanding logic programs

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