Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Facts, arguments, annotations and reasoning (2001)

  • Authors:
  • USP affiliated authors: SILVA, FLAVIO SOARES CORREA DA - IME
  • USP Schools: IME
  • DOI: 10.1007/bf03037532
  • Subjects: LÓGICA
  • Language: Inglês
  • Source:
  • Acesso online ao documento

    DOI or search this record in
    Informações sobre o DOI: 10.1007/bf03037532 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo NÃO é de acesso aberto
    • Cor do Acesso Aberto: closed
    Informações sobre o Citescore
  • Título: New Generation Computing

    ISSN: 0288-3635

    Citescore - 2017: 0.8

    SJR - 2017: 0.242

    SNIP - 2017: 0.803


  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CARBOGIM, Daniela Vasconcelos; SILVA, Flávio Soares Corrêa da. Facts, arguments, annotations and reasoning. New Generation Computing[S.l.], v. 19, n. 1, p. 1-22, 2001. DOI: 10.1007/bf03037532.
    • APA

      Carbogim, D. V., & Silva, F. S. C. da. (2001). Facts, arguments, annotations and reasoning. New Generation Computing, 19( 1), 1-22. doi:10.1007/bf03037532
    • NLM

      Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning. New Generation Computing. 2001 ; 19( 1): 1-22.
    • Vancouver

      Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning. New Generation Computing. 2001 ; 19( 1): 1-22.

    Referências citadas na obra
    Abe, J. M., “Fundamentos da Lógica Anotada (Foundations of Annotated Logic)” — in portuguese,PhD thesis, Universidade de São Paulo, 1992.
    Bell, J. L. and Slomson, A. B.,Models and Ultraproducts: an Introduction, North-Holland Publishing Company, 1971.
    Blair, H. A. and Subrahmanian, V. S., “Paraconsistent Logic Programming,”Theoretical Computer Science, 68, pp. 135–154, 1989.
    Bowen, K. A. and Kowalski, R. A., “Amalgamating Language and Metalanguage in Logic Programming,” inLogic Programming: APIC Studies in Data Processing 16 (Clark, K. L., and Tarnlund, S.-A., eds.), Academic Press, 1982.
    Carbogim, D. V., “Programação em Lógica Anotada: Teoria e Aplicações,”Master’s thesis, Instituto de Matemática e Estatística da Universidade de São Paulo, 1996.
    Corrêa da Silva, F. S., “On Reasoning With and Reasoning about Uncertainty in AI,” inEuropean Summer Meeting of the Association for Symbolic Logic (abstract published in The Bulletin of Symbolic Logic, 3, 2, pp 255–256), Spain, 1996.
    da Costa, N. C. A., Abe, J. M. and Subrahmanian, V. S., “Remarks on Annotated Logic,”Zeitschr. f. Math. Logik und Grundlagen d. Math., 37, pp. 561–570, 1991.
    da Costa, N. C. A., Subrahmanian, V. S., and Vago, C., “The Paraconsistent LogicsP τ ,”Zeitschr. f. Math. Logik und Grundlagen d. Math., 37, pp. 139–148, 1991.
    Fitting, M., “Bilattices and the Semantics of Logic Programming,”The Journal of Logic Programming, 11, pp. 91–116, 1991.
    Gallier, J., “Constructive Logics. Part II: Linear Logic and Proof Nets,”Technical Report 9, Paris Research Laboratory — Digital Equipment Corporation, May 1991.
    Girard, J.-Y., “Linear Logic,”Theoretical Computer Science, 50, pp. 1–102, 1987.
    Gupta, A. and Belnap, N.,The Revision Theory of Truth, The MIT Press, 1993.
    Hofstadter, D.,Godel, Escher, Bach: an Eternal Golden Braid, Basic Books, Inc., 1979.
    Kifer, M. and Lozinskii, E. L., “A Logic for Reasoning with Inconsistency,”Journal of Automated Reasoning, 9, pp. 179–215, 1992.
    Leach, S. M. and Lu, J. J., “Query Processing in Annotated Logic Programming: Theory and Implementation,”Journal of Intelligent Information Systems, pp. 1–28, 1995.
    Plato.,The Republic, Viking, 1979.
    Russell, B.,History of Western Philosophy, George Allen & Unwin, 1961.
    Subrahmanian, V. S., “On the Semantics of Quantitative Logic Programs,” inProc. Fourth IEEE Symposium on Logic Programming, pp. 173–182, San Francisco, September 1987.
    Tarski, A., “Truth and Proof,”Scientific American, 220, 6, pp. 63–77, 1969.