Pessoas:
Laboratorios:
Palavras-chave
propositional default neural network proof network logique fuzzy weightless neural theorie weightless paraconsistante justification minimal implicational wisard negation load forecasting dataset logic regras negocio game implicational logic valuedness electric load provenance procedure model based provability learning product