Buscar
Mostrando ítems 1-10 de 179
Knowing that Something Does Not Exist: Existence and Epistemic LogicSaber que algo no existe: existencia y lógica epistémica
(Universidad de Valparaíso, 2013)
Graph logics with rational relations: the role of word combinatorics
(Association for Computing Machinery, 2017)
Graph databases make use of logics that combine traditional first-order features with navigation on paths, in the same way logics for model checking do. However, modern applications of graph databases impose a new requirement ...
Nome, objeto e sentido proposicional: realismo e antirrealismo no Tractatus
(Universidade Federal de Minas GeraisUFMG, 2016-04-04)
This Masters Thesis deals with the classic debate between realists and antirealists concerning the Tractatus. We attempt to show that, when one reading (realism) or another (anti-realism) is adopted, one does not adopt ...
ISHIGURO'S WHEN WE WERE ORPHANS: FROM THE MODERN REALISTIC SHELTER TO FLOATING SHATTERS
(Univ Estadual Paulista-unesp, 2016-01-01)
The present work is a reading of the tension forces between the modern and what some critique calls 'post-modern' logics in constant dispute, by focusing on detective Christopher Banks' narrative, in Kazuo Ishiguro's fifth ...
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS
(Assoc Computing Machinery, 2016)
We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to one type of operations yields decidability, ...
Um estudo da lógica linear com aplicação em ciência da computação
(BrasilUFSMCentro de Tecnologia, 2010-12-15)
Computing science deals with automation of reasoning for solving problems and assisting
in certain activities. In this area, both logic and intuitionistic logic plays a fundamental
role. They are widely used for developing ...
Learning Boolean logic models of signaling networks with ASP
(Elsevier Science, 2015-09)
Boolean networks provide a simple yet powerful qualitative modeling approach in systems biology. However, manual identification of logic rules underlying the system being studied is in most cases out of reach. Therefore, ...