Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A reasoning method for a paraconsistent logic., and . Studia Logica, 52 (2): 281-290 (1993)An Approach for Data Type Specification and Its Use in Program Verification., and . Inf. Process. Lett., 8 (2): 98-103 (1979)A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II., and . Canadian Conference on AI, volume 3501 of Lecture Notes in Computer Science, page 232-243. Springer, (2005)Aquisição de Conhecimento de Senso Comum e Inferencialista (Acquisition of Common Sense and Inferentialist Knowledge in Portuguese., , , and . STIL, Brazilian Special Interest Group on Natural Language Processing, (2011)A logical expression of reasoning., , and . Synthese, 154 (3): 431-466 (2007)Um Analisador Semântico Inferencialista de Sentenças em Linguagem Natural., , and . Linguamática, 2 (1): 111-130 (2010)Human Mobility in Large Cities as a Proxy for Crime., , , , , , and . CoRR, (2016)Towards a Common Sense Base in Portuguese for the Linked Open Data Cloud., , , and . PROPOR, volume 7243 of Lecture Notes in Computer Science, page 128-138. Springer, (2012)A semi-automated method for acquisition of common-sense and inferentialist knowledge., , , and . J. Braz. Comp. Soc., 19 (1): 75-87 (2013)InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language., , , and . PROPOR, volume 6001 of Lecture Notes in Computer Science, page 90-99. Springer, (2010)