scientific article; zbMATH DE number 922630

MaRDI QIDQ4893150zbMATH OpenFDO

Authors Leonard Paulík

Publication date 13 January 1997

zbMATH Keywords

completenessfuzzy SLD-resolutionleast fuzzy Herbrand model of fuzzy definite logic program

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 737142
• Publication:4509101
• Completions of perpetual logic programs
• Fuzzy logic programming
• Reducing fuzzy answer set programming to model finding in fuzzy logics

Cited in

(6)

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• A neural implementation of multi-adjoint logic programming
• Termination of logic programs with imperfect information: applications and query procedure
• From fuzzy to annotated semantic web languages
• scientific article; zbMATH DE number 1516303 (Why is no real title available?)
• Fuzzy logic programs as hypergraphs. Termination results

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 Q4893150)