The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Walter Alexandre Carnielli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Walter Alexandre Carnielli, Marcelo E. Coniglio
    Splitting Logics. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:389-414 [Conf]
  2. Sandra de Amo, Walter Alexandre Carnielli, João Marcos
    A Logical Framework for Integrating Inconsistent Information in Multiple Databases. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2002, pp:67-84 [Conf]
  3. Juan C. Agudelo, Walter Alexandre Carnielli
    Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. [Citation Graph (0, 0)][DBLP]
    IICAI, 2005, pp:1609-1628 [Conf]
  4. Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima Marques
    Contextual Negations and Reasoning with Contradictions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:532-537 [Conf]
  5. Walter Alexandre Carnielli
    Polynomial Ring Calculus for Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2005, pp:20-25 [Conf]
  6. Walter Alexandre Carnielli
    Many-Valued Logics and Plausible Reasoning. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1990, pp:328-335 [Conf]
  7. Walter Alexandre Carnielli, Paulo A. S. Veloso
    Ultrafilter Logic and Generic Reasoning. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:34-53 [Conf]
  8. Walter Alexandre Carnielli, Emerson L. Monte Carmelo
    K2, 2-K1, n and K2, n-K2, n bipartite Ramsey numbers. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2000, v:223, n:1-3, pp:83-92 [Journal]
  9. Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:6, pp:431-437 [Journal]
  10. Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
    An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:1-3 [Journal]
  11. Walter Alexandre Carnielli, Paulo Mateus
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:6, pp:611-614 [Journal]
  12. Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Antonio Mario Sette, Michael B. Wrigley
    XI Brazilian Conference on Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
  13. Walter Alexandre Carnielli
    Surviving Abduction. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:2, pp:237-256 [Journal]
  14. Walter Alexandre Carnielli, Mamede Lima Marques
    Reasoning under Inconsistent Knowledge. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1992, v:2, n:1, pp:- [Journal]
  15. Andreas B. M. Brunner, Walter Alexandre Carnielli
    Anti-intuitionism and paraconsistency. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:1, pp:161-184 [Journal]
  16. João Marcos, Diderik Batens, Walter Alexandre Carnielli
    A Paraconsistent Decagon. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:1, pp:1-5 [Journal]
  17. Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
    Fibring Non-Truth-Functional Logics: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:2, pp:183-211 [Journal]
  18. Walter Alexandre Carnielli
    Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:4, pp:1093-1103 [Journal]
  19. Walter Alexandre Carnielli
    Systematization of Finite Many-Valued Logics Through the Method of Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:2, pp:473-493 [Journal]
  20. Cristina Sernadas, João Rasga, Walter Alexandre Carnielli
    Modulated Fibring and The Collapsing Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:4, pp:1541-1569 [Journal]
  21. Carlos A. Di Prisco, Walter Alexandre Carnielli
    Some Results an Polarized Relations of Higher Dimension. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1993, v:39, n:, pp:461-474 [Journal]
  22. Walter Alexandre Carnielli, João Marcos
    Limits for Paraconsistent Calculi. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1999, v:40, n:3, pp:375-390 [Journal]
  23. Walter Alexandre Carnielli
    Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2004, v:78, n:3, pp:479-481 [Journal]
  24. Marcelo E. Coniglio, Walter Alexandre Carnielli
    Transfers between Logics and their Applications. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:3, pp:367-400 [Journal]
  25. Antonio Mario Sette, Walter Alexandre Carnielli
    Maximal weakly-intuitionistic logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:181-203 [Journal]
  26. Juan C. Agudelo, Walter Alexandre Carnielli
    Unconventional Models of Computation Through Non-standard Logic Circuits. [Citation Graph (0, 0)][DBLP]
    UC, 2007, pp:29-40 [Conf]
  27. Walter Alexandre Carnielli
    On covering and coloring problems for rook domains. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1985, v:57, n:1-2, pp:9-16 [Journal]

Search in 0.063secs, Finished in 0.065secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002