scientific article; zbMATH DE number 1076964

MaRDI QIDQ4360108zbMATH OpenFDO

Authors James J. Lu, Jacques Calmet, Joachim Schü

Publication date 20 October 1997

Full work available at URL https://eudml.org/doc/39104

zbMATH Keywords

operational semanticsbilattice logic programmingtruth-maintenance

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic programming with signs and annotations
• A framework for automated reasoning in multiple-valued logics
• scientific article; zbMATH DE number 695097
• Resolution procedures for multiple-valued optimization

Cited in

(12)

• Many-valued logic and mixed integer programming
• Local multi-valued logics in modular expert systems
• scientific article; zbMATH DE number 5366670 (Why is no real title available?)
• Logic programming with signs and annotations
• A top-\(k\) query answering procedure for fuzzy logic programming
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• A framework for automated reasoning in multiple-valued logics
• scientific article; zbMATH DE number 910747 (Why is no real title available?)
• From fuzzy to annotated semantic web languages
• Resolution procedures for multiple-valued optimization
• A first polynomial non-clausal class in many-valued logic
• scientific article; zbMATH DE number 3866574 (Why is no real title available?)

This page was built for publication:

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