Monotonic qualitative logic programs: computation and applications

DOI10.3233/AIC-140591MaRDI QIDQ2811224zbMATH OpenFDO

Authors Rachel Ben-Eliyahu-Zohary, Tal Grinshpoun, Elena Churkin, Ehud Gudes

Publication date 10 June 2016

Published in AI Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/AIC-140591

zbMATH Keywords

answer set programminginheritance networkslogic programsontology matchingqualitative logic programsstable model semantics

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Quantified logic programs, revisited
• scientific article; zbMATH DE number 4090844
• Quantitative Logic Programming Revisited
• Qualified logic programming with bivalued predicates
• Qualitative choice logic

Cited in

(4)

• Quantified logic programs, revisited
• scientific article; zbMATH DE number 1241673 (Why is no real title available?)
• Computational Semantics for Monadic Quantifiers
• Monitor Logics for Quantitative Monitor Automata

This page was built for publication: Monotonic qualitative logic programs: computation and applications

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