Now showing items 1-10 of 1507
(Oxford Univ PressOxfordInglaterra, 2012)
PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
(Universidad de Tarapacá., 2009)
Correction of functional logic programs
We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...
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 ...