scientific article; zbMATH DE number 1076964

zbMATH Open0880.68014MaRDI QIDQ4360108FDOQ4360108

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

Publication date: 20 October 1997

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

operational semanticsbilattice logic programmingtruth-maintenance

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (12)

• Many-valued logic and mixed integer programming
• Local multi-valued logics in modular expert systems
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• From fuzzy to annotated semantic web languages
• Resolution procedures for multiple-valued optimization
• A first polynomial non-clausal class in many-valued logic
• Title not available (Why is that?)

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)