A comparison of fuzzy and annotated logic programming
type: Item
instance of: scholarly article
title: A comparison of fuzzy and annotated logic programming
zbMATH Open document ID: 1065.68024
author: Stanislav Krajči
author: Rastislav Lencses
author: Peter Vojtáš
published in: Fuzzy Sets and Systems
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 2083352
zbMATH Keywords: Fuzzy logic programming
zbMATH Keywords: Generalized annotated programs
zbMATH Keywords: Declarative and procedural semantics
zbMATH Keywords: Continuous semantics and computable fixpoint
zbMATH Keywords: Soundness and completeness
MaRDI profile type: Publication
full work available at URL: j.fss.2003.10.019
OpenAlex ID: W2084254022
cites work: Q2767117
cites work: Evidential support logic programming
cites work: Answer sets for consistent query answering in inconsistent databases
cites work: Q4536316
cites work: Hybrid probabilistic programs
cites work: Fuzzy sets in approximate reasoning. II: Logical approaches
cites work: Q4707752
cites work: Fixpoint semantics for logic programming a survey
cites work: A treatise on many-valued logics
cites work: Metamathematics of fuzzy logic
cites work: An annotated logic theorem prover for an extended possibilistic logic
cites work: Logic programming with signs and annotations
cites work: Q4790641
cites work: Approximate reasoning by similarity-based SLD resolution.
cites work: Fuzzy logic programming
DOI: 10.1016/J.FSS.2003.10.019
description: scientific article; zbMATH DE number 2083352