Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
暂无分享,去创建一个
Carlos Vázquez | Jesús Manuel Almendros-Jiménez | Ginés Moreno | Mateu Villaret | Miquel Bofill | Alejandro Luna
[1] Michael J. Maher,et al. Unification Revisited , 1988, Foundations of Deductive Databases and Logic Programming..
[2] Giangiacomo Gerla,et al. Fuzzy control as a fuzzy deduction system , 2001, Fuzzy Sets Syst..
[3] Lluis Godo,et al. An SMT-Based Solver for Continuous t-norm Based Logics , 2012, SUM.
[4] Carlos Ansótegui,et al. Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers , 2012, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic.
[5] Francesca Arcelli Fontana,et al. A similarity‐based resolution rule , 2002, Int. J. Intell. Syst..
[6] Jesús Manuel Almendros-Jiménez,et al. Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language , 2012, Electron. Notes Theor. Comput. Sci..
[7] Jesús Manuel Almendros-Jiménez,et al. A XPath Debugger Based on Fuzzy Chance Degrees , 2012, OTM Workshops.
[8] V. S. Subrahmanian,et al. Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..
[9] Ivan Bratko,et al. Prolog Programming for Artificial Intelligence , 1986 .
[10] Manuel Ojeda-Aciego,et al. Similarity-based unification: a multi-adjoint approach , 2004, EUSFLAT Conf..
[11] Cesare Tinelli,et al. Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.
[12] Ginés Moreno,et al. Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT , 2014 .
[13] Jesús Manuel Almendros-Jiménez,et al. Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries , 2013, IWANN.
[14] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[15] Ginés Moreno,et al. Analyzing Fuzzy Logic Computations with Fuzzy XPath , 2015 .
[16] Krzysztof R. Apt,et al. Introduction to Logic Programming , 1988 .
[17] Ginés Moreno,et al. Fuzzy Logic Programming in Action with FLOPER , 2014 .
[18] Mark E. Stickel. A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler , 1986, CADE.
[19] Jesús Manuel Almendros-Jiménez,et al. Fuzzy XPath through Fuzzy Logic Programming , 2015, New Generation Computing.
[20] Hannes Strass,et al. RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog , 2011, Inf. Sci..