List of works - Marcelo Finger

Advances in Weighted Logics for Artificial Intelligence

scientific article published in September 2017

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic

scientific article published on 12 October 2020

Analytic Methods for the Logic of Proofs

scientific article published on 16 November 2008

Application execution management on the InteGrade opportunistic grid middleware

scientific article published in May 2010

Automated Classification of Pathology Reports

scientific article

Automated Classification of Semi-Structured Pathology Reports into ICD-O Using SVM in Portuguese

scientific article published on January 2017

Classical and quantum satisfiability

scientific article published on 24 March 2012

Coherence of probabilistic constraints on Nash equilibria

scientific article published on 28 December 2022

Completeness for cut-based abduction

scientific article published on 6 August 2013

Cut-Based Abduction

scholarly article

Generalized probabilistic satisfiability through integer programming

Inteligência Artificial e os rumos do processamento do português brasileiro

scientific article published in April 2021

On the Predictability of Classical Propositional Logic

scientific article published on 14 January 2013

On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions

scientific article published in 2002

Preface

scientific article published on 04 July 2014

Probabilistic satisfiability: algorithms with the presence and absence of a phase transition

scientific article published on 25 June 2015

Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic

academic chapter

Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics

scientific article published on 6 June 2020

Robust Ranking of Brazilian Supreme Court Decisions

scientific article published in 2020

Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention ⬇️