Software optimization for LGPD compliance using Paraconsistent Evidential Annotated Logic Eτ.
Liliam Sayuri SakamotoDavis AlvesJair Minoro AbeJonatas Santos de SouzaNilson A. de SouzaAngel Antonio Gonzalez MartinezPublished in: KES (2021)
Keyphrases
- logic programming
- optimization problems
- truth values
- classical logic
- optimization process
- software systems
- modal logic
- inference rules
- global optimization
- computer systems
- software development
- data sets
- optimization method
- optimization algorithm
- software package
- valued semantics
- software components
- software maintenance
- optimization model