Aug 28, 2002 · In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known ...

In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information.

Teresa Alsinet , Lluís Godo : Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants. Int. J. Intell.

Title: Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants ; Authors: Alsinet, Teresa; Godo, Lluís.

In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information.

Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants ; ISSN · 0884-8173 ; Año de publicación · 2002 ; Volumen ...

Possibilistic logic with fuzzy constants and fuzzy quanti ers. In F. Arcelli and T.P. Martin eds., Logic. Programming and Soft Computing, 69{90. Wiley ...

Towards an automated deduction system for first‐order possibilistic logic programming with fuzzy constants · T. AlsinetL. Godo. Computer Science, Mathematics.

In this paper we present a comparative description of two models extending first order possibilistic logic so as to allow for fuzzy unification. The first ...

This paper presents steps towards both the formalization of PLFC itself and an automated deduction system for it by providing a formal semantics, defining a ...