Buscar
Mostrando ítems 1-10 de 228
Annotated temporal logics Delta*tau
(Springer, 2000-01-01)
In this paper we present a class of paraconsistent temporal system Delta*tau which may constitute, for instance, a framework for paraconsistent temporal reasoning. We establish the completeness of Delta*tau using the Kripke ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2004-01-01)
It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2004-01-01)
It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2014)
Music Genre Classification Based on Paraconsistency
(Destech Publications, Inc, 2015-01-01)
This work aims to build an intelligent system for Music Genre Classification (MGC) based on Para-consistent Annotated Logic (LPA). Using a database composed of representative samples of songs from different styles, namely ...
Remarks on paraconsistent decision making theory
(Int Inst Informatics & Systemics, 2003-01-01)
In this expository work we show how the para-analyzer can be useful to a variety of applications involving decision making when facing mainly with uncertainty, inconsistent or paracomplete information. The Para-analyzer ...
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
Paraconsistent Machines and their Relation to Quantum Computing
(Oxford Univ PressOxfordInglaterra, 2010)
The Sensing System for the Autonomous Mobile Robot Emmy III
(Ieee, 2011-01-01)
This paper shows the results of the sensing system which was designed for the autonomous mobile robot Emmy III. The proposed Sensing System has as its mean part the Paraconsistent Neural Network. This artificial neural ...