H ? « ‹ ← → › »

Language peer sets for ParaLog:
Brazil↑
Brazil/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

ParaLog(ID:5775/par021)

alternate simple view
Country: Brazil
Designed 1987

for PARaconsistent LOGic

Extension of Prolog to incoroporate paraconsistent logic

da Costa et al Sao Paolo Brazil
Related languages
Prolog → ParaLog   Extension of
ParaLog → ParaLog_e   Extension of
References:
  • Blair; H.A.; Subrahmanian, V.S., Parcontistent Log (1987) Blair; H.A.; Subrahmanian, V.S., Parcontistent Logic Programming, Proc. 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Springer-Verlag, Vol. 287. pp. 340-360; 1987.
  • Blair, H.A.; Subrahmanian, V.S., Parcontistent Fou (1988) Blair, H.A.; Subrahmanian, V.S., Parcontistent Foundations for Logic Programming, Journal of Non-Classical Logic, 5; 2, pp. 45-73, 1988.
  • da Costa, N.C.A.; Subrahmanian, V.S. (1989) da Costa, N.C.A.; Subrahmanian, V.S. "Inconsistent Logics as a Formalism for Reasoning About Inconsistent Knowledge Bases" Artificial Intelligence in Medicine 1, pp. 167.174, Burgverlag Tecklenhurg, West, Germany, 1989
  • da Costa, N.C.A.; Henschen, L.J.; Lu, J.J.; Subrah (1990) da Costa, N.C.A.; Henschen, L.J.; Lu, J.J.; Subrahmanian, V.S.; Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation, Proc. 10th International Conference on Automated Deduction - LNCS 449; pp.72.86, 1990.
  • da Costa, N.C.A.; Abe, JM.; Subrahmanian, V.S., Re (1991) da Costa, N.C.A.; Abe, JM.; Subrahmanian, V.S., Remarks on Annotated Logic, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik. Vol. 37, pp.561-570. 1991.
  • da Costa, N.C.A.; Prado. (1995) da Costa, N.C.A.; Prado. J.P.A.; Abe, J.M.; Avila B.C.; Rillo, M., ParaLog: Um Prolog Pamconsistente Baseado em Logica Anotada, (Paralog: An Annotated Logic-Based Paraconsistent Prolog), Colecao Documentos, Serie: Logica & Teoria da Ciencia Nol8, Institute for Advanced Studies. University of Sao Paolo, Sao Palo, Brazil, April. 1995; (in portuguese)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder