Buscar
Mostrando ítems 21-30 de 194
Paraconsistent Autonomous Mobile Robot Emmy III
(IOS Press, 2009-01-01)
This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic ET. A discussion on navigation system is presented.
Paraconsistent Autonomous Mobile Robot Emmy III
(IOS Press, 2009-01-01)
This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic ET. A discussion on navigation system is presented.
Para-fuzzy logic controller
(Springer, 2004-01-01)
In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...
Paraconsistent Autonomous Mobile Robot Emmy III
(IOS Press, 2014)
Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
(Springer, 2003-01-01)
In this paper, we introduce an intelligent real-time traffic signal control system based on a paraconsistent logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), that can deal ...
An Analyzer of Computer Network Logs Based on Paraconsistent Logic
(Springer, 2015-01-01)
In recent years, the network vulnerability events draw the attention to the issue of the information management on the World Wide Web. The detected vulnerability was not only restricted to individuals, but also to enterprises ...
Paraconsistent Probabilities: Consistency, Contradictions And Bayes' Theorem
(MDPI AGBasel, 2016)
Remarks on an algebraic semantics for paraconsistent Nelson's logic
(Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência, 2011-03)
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper ...
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(OXFORD UNIV PRESSOXFORD, 2016)
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(Oxford Univ PressOxford, 2016)