Add to ORKGSatisfiability in propositional logic is well researched and many approaches to checking and solving exist. In infinite-valued or fuzzy logics, however, there have only recently been attempts at developing methods for solving satisfiabil-ity. In this paper, we propose new benchmark problems and analyse the function landscape of different problem classes, focussing our analysis on plateaus. Based on this study, we develop Mixing CMA-ES (M-CMA-ES), an extension to CMA-ES that is well suited to solving problems with many large plateaus. We empirically show the relation between certain function landscape properties and M-CMA-ES per-formance
In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates....
This paper considers the problem of building saturated models for first-order graded logics. We defi...
Abstract. We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We s...
Satisfiability in propositional logic is well researched and many approaches to checking and solving...
Satisfiability in propositional logic is well researched and many approaches to checking and solving...
Satisfiability solving in fuzzy logics is a subject that has not been researched much, certainly com...
Satisfiability solving in fuzzy logics is a subject that has not been researched much, certainly com...
In this paper we explain the design and preliminary implementation of a solver for the positive sati...
Satisfiability in propositional logic is well researched and many approaches to checking and solving...
Although it is well-known that every satisfiable formula in Łukasiewicz’ infinite-valued logic L¥ c...
Abstract: In this paper we deal with propositional fuzzy formulae containing sev-eral propositional ...
We interpret fuzzy linear programming (FLP) problems with fuzzy coe #cients and fuzzy inequality rel...
AbstractDefined over sets of truth values V which are closed subsets of [0,1] containing both 0 and ...
In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates....
This paper considers the problem of building saturated models for first-order graded logics. We defi...
Abstract. We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We s...
Satisfiability in propositional logic is well researched and many approaches to checking and solving...
Satisfiability in propositional logic is well researched and many approaches to checking and solving...
Satisfiability solving in fuzzy logics is a subject that has not been researched much, certainly com...
Satisfiability solving in fuzzy logics is a subject that has not been researched much, certainly com...
In this paper we explain the design and preliminary implementation of a solver for the positive sati...
Satisfiability in propositional logic is well researched and many approaches to checking and solving...
Although it is well-known that every satisfiable formula in Łukasiewicz’ infinite-valued logic L¥ c...
Abstract: In this paper we deal with propositional fuzzy formulae containing sev-eral propositional ...
We interpret fuzzy linear programming (FLP) problems with fuzzy coe #cients and fuzzy inequality rel...
AbstractDefined over sets of truth values V which are closed subsets of [0,1] containing both 0 and ...
In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates....
This paper considers the problem of building saturated models for first-order graded logics. We defi...
Abstract. We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We s...