scientific article; zbMATH DE number 1844513
From MaRDI portal
Publication:4784882
zbMath1001.68545MaRDI QIDQ4784882
Carlos Viegas Damásio, Luís Moniz Pereira
Publication date: 12 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2143/21430748
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Related Items (26)
Similarity-based unification: A multi-adjoint approach ⋮ A neural implementation of multi-adjoint logic programming ⋮ Termination of logic programs with imperfect information: applications and query procedure ⋮ Possibilistic uncertainty handling for answer set programming ⋮ Fuzzy logic programming via multilattices ⋮ Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Right adjoint algebras versus operator left residuated posets ⋮ Characterizing and extending answer set semantics using possibility theory ⋮ Fuzzy logic programs as hypergraphs. Termination results ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ A logical characterization of multi-adjoint algebras ⋮ Immediate consequences operator on generalized quantifiers ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ A core language for fuzzy answer set programming ⋮ Extended multi-adjoint logic programming ⋮ Fuzzy data exchange ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ An encompassing framework for paraconsistent logic programs ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Towards the Use of Hypergraphs in Multi-adjoint Logic Programming ⋮ Residuation for soft constraints: lexicographic orders and approximation techniques ⋮ On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs ⋮ A Fuzzy Extension of Data Exchange ⋮ Aggregated fuzzy answer set programming
This page was built for publication:
