An efficient reasoning method on logic programming using partial evaluation in vector spaces

DOI10.1093/LOGCOM/EXAB010MaRDI QIDQ3382822zbMATH OpenOpenAlexFDO

Authors

Publication date 22 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

optimizationlinear algebrapartial evaluationlogic programmingvector spaces

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1487560
• A hybrid approach to conjunctive partial evaluation of logic programs
• Partial evaluation in logic programming
• Fast offline partial evaluation of logic programs
• Efficient evaluation of a class of ordered logic programs
• An efficient procedure for theorem proving in propositional logic on vector computers
• Fast Offline Partial Evaluation of Large Logic Programs
• Speedup of logic programs by binarization and partial deduction
• Partial deduction for structured logic programming

Cited in

(4)

• Logic programming in tensor spaces
• Fast Offline Partial Evaluation of Large Logic Programs
• scientific article; zbMATH DE number 4162247 (Why is no real title available?)
• Gradient-based supported model computation in vector spaces

This page was built for publication: An efficient reasoning method on logic programming using partial evaluation in vector spaces

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