Login / Signup
Improving Photovoltaic Applications Through the Paraconsistent Annotated Evidential Logic Eτ.
Álvaro André Colombero Prado
Marcelo Nogueira
Jair Minoro Abe
Ricardo J. Machado
Published in:
ICCSA (3) (2016)
Keyphrases
</>
logic programming
classical logic
truth values
automated reasoning
modal logic
inference rules
machine learning
valued semantics
possibilistic logic
multi valued
logic programs
data sets
thin film
artificial intelligence
epistemic logic
proof theory
solar energy
sound and complete axiomatization