Buscar
Mostrando ítems 11-20 de 4491
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 ...
Argumentation Based on Logic Programming
(College Publications, 2018)
Among of the programming paradigms based on formal logic, Logic Programming has been a successful effort to create a declarative model of expressing computational processes producing significant theoretical and practical ...
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
A logic programming framework for possibilistic argumentation: Formalization and logical properties
(Elsevier Science, 2008-05-16)
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing ...
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 - PPGCC-SoCâ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 ...
Inductive logic programming applied for knowledge representation in computer music
(Universidade Federal de São CarlosUFSCarCâmpus São CarlosDepartamento de Computação - DC, 2021-07-15)
In Computer Music, the knowledge representation process is an essential element for the development of systems. Methods have been applied to provide the computer with the ability to generate conclusions based on previously ...