Dual tableau for monoidal triangular norm logic MTL.
Joanna Golinska-PilarekEwa OrlowskaPublished in: Fuzzy Sets Syst. (2011)
Keyphrases
- normative systems
- proof procedure
- proof search
- logic programming
- automated theorem proving
- quadratic programming problems
- multi task learning
- classical logic
- theorem proving
- multi agent systems
- equational theories
- multi valued
- objective function
- multitask learning
- automated reasoning
- primal dual
- modal logic
- description logics
- predicate calculus
- convex optimization
- context sensitive
- text classification
- learning algorithm
- multiple task learning