Now showing items 1-10 of 1295
(Oxford Univ PressOxfordInglaterra, 2012)
PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
(Universidad de Tarapacá., 2009)
SUPER MARIO LOGIC: UM JOGO SÉRIO PARA LÓGICA DE PROGRAMAÇÃO
(Universidade Federal de Santa MariaBREducaçãoUFSMPrograma de Pós-Graduação em Tecnologias Educacionais em Rede, 2016-09-26)
This project is part of the Graduate Program in Educational Technology, Development of Educational Technologies and it aims at developing, as a final product, a Serious Game named Super Mario Logic in order to help in the ...
Logically constrained optimal power flow: Solver-based mixed-integer nonlinear programming model
(Elsevier B.V., 2018-04-01)
There is increasing evidence of the shortage of solver-based models for solving logically-constrained AC optimal power flow problem (LCOPF). Although in the literature the heuristic-based models have been widely used to ...
Representação multiparadigma de conhecimento musical utilizando programação lógica indutiva
(Universidade Federal de São CarlosUFSCarPrograma de Pós-graduação em Ciência da Computação (Campus SOROCABA)Câmpus Sorocaba, 2017-02-06)
Knowledge representation process is an essential matter regarding Computer Music systems. Methods have been applied in order to provide computers with the capability to generate conclusions based on experience in specialized ...
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers
(Taylor & Francis, 2014-02)
Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning ...
Hardware implementation of type-2 programmable fuzzifier
The design of full programmable type-2 membership function circuit is presented in this paper. This circuit is used to implement the fuzzifier block of Type-2 Fuzzy Logic Controller chip. In this paper the type-2 fuzzy set ...