Reaching Energetic Sustainability through a Self-oriented Battery Charger, Based on Paraconsistent Annotated Evidential Logic Eτ.
Álvaro André Colombero PradoCristina Corrêa de OliveiraLiliam Sayuri SakamotoJair Minoro AbeMarcelo NogueiraPublished in: APMS (2013)
Keyphrases
- logic programming
- classical logic
- truth values
- logic programs
- modal logic
- manually annotated
- critical mass
- asynchronous circuits
- predicate logic
- electric vehicles
- automated reasoning
- decision support system
- dempster shafer
- multi valued
- valued logic
- possibilistic logic
- valued semantics
- long term
- software engineering education
- data sets
- sustainable development
- belief functions
- inference rules
- deductive databases
- programming language
- knowledge representation
- neural network