ParaLog_e: A paraconsistent evidential logic programming language

Proceedings of the International Conference of the Chilean Computer Science Society

Volumn , Issue , 1997, Pages 2-8

  Coelho Avila, Braulio ^a   Minoro Abe, Jair ^a   Pacheco de Almeida Prado, Jose ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF PARANÁ   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING;

PARACONSISTENT EVIDENTIAL LOGIC PROGRAMMING LANGUAGES; PARALOG PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0031338097     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)