Quantified logic programs, revisited

MaRDI QIDQ3100240zbMATH OpenFDO

Authors Rachel Ben-Eliyahu-Zohary

Publication date 23 November 2011

Full work available at URL https://www.mat.unical.it/ASPOCP08/

zbMATH Keywords

dominanceontology matchingand inheritance networksanswer sets of QLPsquantified logic programs (QLP)ranking of search results

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Monotonic qualitative logic programs: computation and applications
• scientific article; zbMATH DE number 4090844
• Quantitative Logic Programming Revisited
• Quantitative disjunctive logic programming: Semantics and computation
• Qualified logic programming with bivalued predicates

Cited in

(14)

• scientific article; zbMATH DE number 910433 (Why is no real title available?)
• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• scientific article; zbMATH DE number 1337623 (Why is no real title available?)
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• An alternative semantics for quantified relevant logic
• scientific article; zbMATH DE number 970730 (Why is no real title available?)
• The Qu-Prolog unification algorithm: formalisation and correctness
• Monotonic qualitative logic programs: computation and applications
• A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 1378578 (Why is no real title available?)
• QMaude: quantitative specification and verification in rewriting logic
• scientific article; zbMATH DE number 4090844 (Why is no real title available?)
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs

This page was built for publication: Quantified logic programs, revisited

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