Posts Tagged ‘publications’
Another paper from members of the ConsRel project:
Towards an Efficient Prover for the C1 Paraconsistent Logic
Authors: Adolfo Netoa, 1, , Celso A.A. Kaestnera, and Marcelo Fingerb,
aInformatics Department (DAINF), Federal University of Technology – Paraná (UTFPR), Curitiba, Brazil
bComputer Science Department (DCC), University of São Paulo (USP), São Paulo, Brazil
Available online 27 November 2009.
Abstract
The [...]
Another publication from members of the ConsRel projetct:
Paraconsistent Machines and their Relation to Quantum Computing
http://logcom.oxfordjournals.org/cgi/content/abstract/exp072v1?ijkey=Ver5JBNUijUJdp6&keytype=ref
Juan C. Agudelo, Ph.D.
Walter Carnielli
Abstract
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictory (and therefore trivial) theories, considering classical logic as the underlying logic. By substituting [...]
A new paper from ConsRel members has been published:
Base Revision for Ontology Debugging
Márcio M. Ribeiro and Renata Wassermann
Department of Computer Science, Institute of Mathematics and Statistics, University of São Paulo, Brazil.
E-mail: marciomr AT ime.usp.br,renata AT ime.usp.br
Abstract: Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology [...]
