scientific article; zbMATH DE number 922630

zbMath0854.03009MaRDI QIDQ4893150

Leonard Paulík

Publication date: 13 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (5)

A neural implementation of multi-adjoint logic programming ⋮ Termination of logic programs with imperfect information: applications and query procedure ⋮ Fuzzy logic programs as hypergraphs. Termination results ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

This page was built for publication: