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

DOI10.1093/LOGCOM/EXAB010OpenAlexW3136757590MaRDI QIDQ3382822FDOQ3382822

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

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

zbMATH Keywords

optimizationlinear algebrapartial evaluationlogic programmingvector spaces

Mathematics Subject Classification ID

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

Cited In (4)

• Logic programming in tensor spaces
• Fast Offline Partial Evaluation of Large Logic Programs
• Title not available (Why is that?)
• 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)