Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants-Reference-Cited by-同舟云学术

Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants

Published:2002-08-28 Issue:9 Volume:17 Page:887-924
ISSN:0884-8173
Container-title:International Journal of Intelligent Systems
language:en
Short-container-title:Int. J. Intell. Syst.

Author:

Alsinet Teresa,Godo Llu�s

Publisher

Wiley

Subject

Artificial Intelligence,Human-Computer Interaction,Theoretical Computer Science,Software

Reference39 articles.

1. A complete calculus for possibilistic logic programming with fuzzy propositional variables. In: Proc UAI'2000 Conf. 2000. pp 1-10.

2. A complete proof method for possibilistic logic programming with semantical unification of fuzzy constants. In: Proc ESTYLF'2000 Conf. 2000. pp 279-284.

3. On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness. In: Proc UAI'99 Conf. 1999. pp 3-12.

4. A declarative programming environment for infinitely-valued logics. In: Proc IPMU'96 Conf. 1996. pp 1205-1210.

5. Handbook of;Apt,1990

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog;Axioms;2024-07-12

2. FTCLogic: Fuzzy Temporal Constraint Logic;Fuzzy Sets and Systems;2019-05

3. A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA;Enric Trillas: A Passion for Fuzzy Sets;2015

4. Possibility Theory and Its Applications: Where Do We Stand?;Springer Handbook of Computational Intelligence;2015

5. Multiary α-Resolution Principle for a Lattice-Valued Logic;IEEE Transactions on Fuzzy Systems;2013-10