Logic programming with signs and annotations

DOI10.1093/LOGCOM/6.6.755MaRDI QIDQ2785669zbMATH OpenOpenAlexFDO

Authors James J. Lu

Publication date 10 November 1997

Published in Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

logic programmingquery processing procedure

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1076964
• A framework for automated reasoning in multiple-valued logics
• scientific article; zbMATH DE number 695097
• A survey of annotated logics
• scientific article; zbMATH DE number 2209897

Cited in

(9)

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• A comparison of fuzzy and annotated logic programming
• From fuzzy to annotated semantic web languages
• scientific article; zbMATH DE number 1076964 (Why is no real title available?)
• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• A survey of annotated logics
• scientific article; zbMATH DE number 2209897 (Why is no real title available?)
• A first polynomial non-clausal class in many-valued logic
• Belief Horn merging operators: characterization results and implementations

This page was built for publication: Logic programming with signs and annotations

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