scientific article; zbMATH DE number 1292287

MaRDI QIDQ4244295zbMATH OpenFDO

Authors Cees Witteveen

Publication date 27 May 1999

Mathematics Subject Classification ID

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

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:

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