Quantified logic programs, revisited

zbMATH Open1226.68015MaRDI QIDQ3100240FDOQ3100240

Authors: Rachel Ben-Eliyahu-Zohary 

Publication date: 23 November 2011

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• An alternative semantics for quantified relevant logic
• Title not available (Why is that?)
• The Qu-Prolog unification algorithm: formalisation and correctness
• A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic
• Theory and Applications of Satisfiability Testing
• Title not available (Why is that?)
• QMaude: quantitative specification and verification in rewriting logic
• Title not available (Why is that?)
• 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)