Marcelo Finger

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 37

Top Venues

CoRR

J. Braz. Comput. Soc.

Log. J. IGPL

ISMVL

Publications

Marcelo Matheus Gauy, Natalia Hitomi Koza, Ricardo Mikio Morita, Gabriel Rocha Stanzione, Arnaldo Cândido Júnior, Larissa Cristina Berti, Anna Sara Shafferman Levin, Ester Cerdeira Sabino, Flaviane Romani Fernandes Svartman, Marcelo Finger
Contrasting Deep Learning Models for Direct Respiratory Insufficiency Detection Versus Blood Oxygen Saturation Estimation. CoRR (2024)
Marcelo Matheus Gauy, Larissa Cristina Berti, Arnaldo Candido Jr., Augusto Camargo Neto, Alfredo Goldman, Anna Sara Shafferman Levin, Marcus Martins, Beatriz Raposo de Medeiros, Marcelo Queiroz, Ester Cerdeira Sabino, Flaviane Romani Fernandes Svartman, Marcelo Finger
Discriminant audio properties in deep learning based respiratory insufficiency detection in Brazilian Portuguese. CoRR (2024)
Felipe Ribas Serras, Mariana Sturzeneker, Miguel de Mello Carpi, Mayara Feliciano Palma, Maria Clara Ramos Morales Crespo, Aline Silva Costa, Vanessa Martins do Monte, Cristiane Namiuti, Maria Clara Paixão de Souza, Marcelo Finger
Exploring Computational Discernibility of Discourse Domains in Brazilian Portuguese within the Carolina Corpus. PROPOR (2024)
Guilherme Lamartine de Mello, Marcelo Finger, Felipe R. Serras, Miguel de Mello Carpi, Marcos Menon José, Pedro Henrique Domingues, Paulo Cavalim
PeLLE: Encoder-based language models for Brazilian Portuguese based on open data. CoRR (2024)
Jackson José de Souza, Marcelo Finger, Jorge Alberto A. de Araújo, Juliano Maranhão
Selecting and ranking leading cases in Brazilian Supreme Court decisions. Knowl. Eng. Rev. 38 (2023)
Sandro Preto, Felip Manyà, Marcelo Finger
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. ISMVL (2023)
Sandro Preto, Felip Manyà, Marcelo Finger
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. ISMVL (2023)
Marcelo Matheus Gauy, Larissa Cristina Berti, Arnaldo Candido Jr., Augusto Camargo Neto, Alfredo Goldman, Anna Sara Shafferman Levin, Marcus Martins, Beatriz Raposo de Medeiros, Marcelo Queiroz, Ester Cerdeira Sabino, Flaviane Romani Fernandes Svartman, Marcelo Finger
Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese. AIME (2023)
Marcelo Matheus Gauy, Marcelo Finger
Acoustic models of Brazilian Portuguese Speech based on Neural Transformers. CoRR (2023)
Maria Clara Ramos Morales Crespo, Maria Lina de Souza Jeannine Rocha, Mariana Lourenço Sturzeneker, Felipe Ribas Serras, Guilherme Lamartine de Mello, Aline Silva Costa, Mayara Feliciano Palma, Renata Morais Mesquita, Raquel de Paula Guets, Mariana Marques da Silva, Marcelo Finger, Maria Clara Paixão de Sousa, Cristiane Namiuti, Vanessa Martins do Monte
Carolina: a General Corpus of Contemporary Brazilian Portuguese with Provenance, Typology and Versioning Information. CoRR (2023)
Sandro Preto, Marcelo Finger
Proving properties of binary classification neural networks via Łukasiewicz logic. Log. J. IGPL 31 (5) (2023)
Sandro Preto, Marcelo Finger
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Math. Struct. Comput. Sci. 32 (9) (2022)
Sandro Preto, Eduardo Fermé, Marcelo Finger
Coherence of probabilistic constraints on Nash equilibria. CoRR (2022)
Daniel Peixoto Pinto da Silva, Edresson Casanova, Lucas Rafael Stefanel Gris, Arnaldo Cândido Júnior, Marcelo Finger, Flaviane Romani Fernandes Svartman, Beatriz Raposo, Marcus Vinícius Moreira Martins, Sandra Maria Aluísio, Larissa Cristina Berti, João Paulo Teixeira
Interpretability Analysis of Deep Models for COVID-19 Detection. CoRR (2022)
Felipe R. Serras, Marcelo Finger
verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. CoRR (2022)
Mariana Sturzeneker, Maria Clara Crespo, Maria Lina Rocha, Marcelo Finger, Maria Clara Paixão de Sousa, Vanessa Martins do Monte, Cristiane Namiuti
Carolina's Methodology: building a large corpus with provenance and typology information. DHandNLP@PROPOR (2022)
Aline R. Ioste, Alan M. Durham, Marcelo Finger
Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks. CoRR (2022)
Sandro Preto, Eduardo Fermé, Marcelo Finger
Coherence of probabilistic constraints on Nash equilibria. J. Braz. Comput. Soc. 28 (1) (2022)
Marcelo Matheus Gauy, Marcelo Finger
Pretrained Audio Neural Networks for Speech Emotion Recognition in Portuguese. SE&R@PROPOR (2022)
Marcelo Matheus Gauy, Marcelo Finger
Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. CoRR (2022)
Marcelo Matheus Gauy, Marcelo Finger
Pretrained audio neural networks for Speech emotion recognition in Portuguese. CoRR (2022)
Edresson Casanova, Arnaldo Candido Jr., Ricardo Corso Fernandes Junior, Marcelo Finger, Lucas Rafael Stefanel Gris, Moacir Antonelli Ponti, Daniel Peixoto Pinto da Silva
Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021. Interspeech (2021)
Edresson Casanova, Lucas Gris, Augusto Camargo, Daniel Peixoto Pinto da Silva, Murilo Gazzola, Ester C. Sabino, Anna Levin, Arnaldo Candido Jr., Sandra M. Aluísio, Marcelo Finger
Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech. ACL/IJCNLP (Findings) (2021)
Marcelo Finger, Sandro Preto
Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. J. Autom. Reason. 64 (7) (2020)
Jackson José de Souza, Marcelo Finger
Robust Ranking of Brazilian Supreme Court Decisions. BRACIS (2020)
Sandro Preto, Marcelo Finger
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. LSFA (2020)
Marcelo Finger
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. CoRR (2019)
Felipe Salvatore, Marcelo Finger, Roberto Hirata Jr.
A logical-based corpus for cross-lingual evaluation. DeepLo@EMNLP-IJCNLP (2019)
Marcelo Finger
Quantitative Logic Reasoning. CoRR (2019)
Felipe Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.
Using neural models to perform inference. NeSy@IJCAI (2019)
Marcelo Finger
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. Description Logic, Theory Combination, and All That (2019)
Marcelo Finger, Sandro Preto
Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. IJCAR (2018)
Fabiano Ferreira Luz, Marcelo Finger
Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder. CoRR (2018)
Fabiano Ferreira Luz, Marcelo Finger
Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention. CoRR (2018)
Marcelo Finger, Glauber De Bona
Algorithms for Deciding Counting Quantifiers over Unary Predicates. AAAI (2017)
Marcelo Finger, Lluís Godo, Henri Prade, Guilin Qi
Advances in Weighted Logics for Artificial Intelligence. Int. J. Approx. Reason. 88 (2017)
Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann
Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR (2016)
Glauber De Bona, Marcelo Finger
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artif. Intell. 227 (2015)
Michel Oleynik, Marcelo Finger, Diogo F. C. Patrão
Automated Classification of Pathology Reports. MedInfo (2015)
Marcelo Finger, Glauber De Bona
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Ann. Math. Artif. Intell. 75 (3-4) (2015)
Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
Generalized probabilistic satisfiability through integer programming. J. Braz. Comput. Soc. 21 (1) (2015)
Marcelo Finger, Delia Kesner
Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). Theor. Comput. Sci. 606 (2015)
Alexandre Matos Arruda, Marcelo Finger
Completeness for cut-based abduction. Log. J. IGPL 22 (2) (2014)
Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
Towards classifying propositional probabilistic logics. J. Appl. Log. 12 (3) (2014)
Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT (2013)
Diogo F. C. Patrão, Helena Brentani, Marcelo Finger, Renata Wassermann
Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS (2013)
Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
Generalized Probabilistic Satisfiability. BRACIS (2013)
Marcelo Finger, Poliana M. Reis
On the Predictability of Classical Propositional Logic. Inf. 4 (1) (2013)
William D. Colen M. Silva, Marcelo Finger
Improving CoGrOO: the Brazilian Portuguese Grammar Checker. STIL (2013)
Eduardo Menezes de Morais, Marcelo Finger
Probabilistic Answer Set Programming. BRACIS (2013)
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480 (2013)
Maribel Fernández, Marcelo Finger
Preface. LSFA (2013)
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
Towards an efficient prover for the C1 paraconsistent logic CoRR (2012)
Marcelo Finger
Towards automated first-order abduction: the cut-based approach. Log. J. IGPL 20 (2) (2012)
Anderson de Araújo, Marcelo Finger
Classical and quantum satisfiability LSFA (2011)
Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman
Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics (2011)
Marcelo Finger, Glauber De Bona
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. IJCAI (2011)
Fábio Filocomo, Marcelo Finger, Diogo F. C. Patrão
Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese]. STIL (2011)
Marcelo Finger, Glauber De Bona
A Refuted Conjecture on Probabilistic Satisfiability. SBIA (2010)
Fábio Natanael Kepler, Marcelo Finger
Variable-Length Markov Models and Ambiguous Words in Portuguese. NAACL (Young Investigators Workshop) (2010)
Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde
Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurr. Comput. Pract. Exp. 22 (3) (2010)
Marcelo Finger
Analytic Methods for the Logic of Proofs. J. Log. Comput. 20 (1) (2010)
Marcelo Finger, Glauber De Bona
A Logic Based Algorithm for Solving Probabilistic Satisfiability. IBERAMIA (2010)
Marcelo Finger, Mauricio S. C. Hernandes
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. WoLLIC (2010)
Francisco José da Silva e Silva, Fabio Kon, Alfredo Goldman, Marcelo Finger, Raphael Y. de Camargo, Fernando Castor Filho, Fábio M. Costa
Application execution management on the InteGrade opportunistic grid middleware. J. Parallel Distributed Comput. 70 (5) (2010)
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
Paraconsistent Logic. LSFA (2009)
Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde
Resource use pattern analysis for opportunistic grids. MGC (2008)
Guilherme de Souza Rabello, Marcelo Finger
Approximations of modal logics: K and beyond. Ann. Pure Appl. Log. 152 (1-3) (2008)
Marcelo Finger
Using Abduction to Compute Efficient Proofs. LSFA (2008)
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
Cut-Based Abduction. Log. J. IGPL 16 (6) (2008)
Marcelo Finger, Renata Wassermann
Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA (2008)
Marcelo Finger, Renata Wassermann
Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17 (1) (2007)
Marcelo Finger, Dov M. Gabbay
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Log. J. IGPL 15 (5-6) (2007)
Marcelo Finger, Dov M. Gabbay
Cut and Pay. J. Log. Lang. Inf. 15 (3) (2006)
Adolfo Gustavo Serra Seca Neto, Marcelo Finger
Effective Prover for Minimal Inconsistency Logic. IFIP AI (2006)
Fábio N. Kepler, Marcelo Finger
Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. IBERAMIA-SBIA (2006)
Fábio Natanael Kepler, Marcelo Finger
Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. PROPOR (2006)
Guilherme de Souza Rabello, Marcelo Finger
Approximations of Modal Logic K. Electron. Notes Theor. Comput. Sci. 143 (2006)
Marcelo Finger, Renata Wassermann
The universe of propositional approximations. Theor. Comput. Sci. 355 (2) (2006)
José de R. P. Braga Jr., Alexandre Ceasar Tavares Vidal, Fabio Kon, Marcelo Finger
Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion. MGC@Middleware (2006)
Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO (2005)
Marcelo Finger
DAG Sequents with Substitution. We Will Show Them! (1) (2005)
Rogerio Fajardo, Marcelo Finger
How Not to Combine Modal Logics. IICAI (2005)
Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
The decidability of a fragment of BB'IW-logic. Theor. Comput. Sci. 318 (3) (2004)
Marcelo Finger
Polynomial Approximations of Full Propositional Logic via Limited Bivalence. JELIA (2004)
Marcelo Finger
Towards Polynomial Approximations of Full Propositional Logic. SBIA (2004)
Marcelo Finger, Renata Wassermann
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14 (2) (2004)
Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, Germano Capistrano Bezerra
InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurr. Pract. Exp. 16 (5) (2004)
Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger
InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Middleware Workshops (2003)
Marcelo Finger, Renata Wassermann
The Universe of Approximations. Electron. Notes Theor. Comput. Sci. 84 (2003)
Marcelo Finger, Renata Wassermann
Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA (2002)
Rogerio Fajardo, Marcelo Finger
Non-normal Modalisation. Advances in Modal Logic (2002)
Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowl. Based Syst. 15 (3) (2002)
Marcelo Finger, Renata Wassermann
Expressivity and Control in Limited Reasoning. ECAI (2002)
Marcelo Finger, M. Angela Weiss
The Unrestricted Combination of Temporal Logic Systems. Log. J. IGPL 10 (2) (2002)
Marcelo Finger
A logical reconstruction of temporal databases. J. Log. Comput. 10 (6) (2000)
Marcelo Finger
Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic (2000)
Marcelo Finger, Wamberto Weber Vasconcelos
Sharing Resource-Sensitive Knowledge Using Combinator Logics. IBERAMIA-SBIA (2000)
Krysia Broda, Marcelo Finger, Alessandra Russo
Labelled Natural Deduction for Substructural Logics. Log. J. IGPL 7 (3) (1999)
Marcelo Finger
Towards Structurally-Free Theorem Proving. Log. J. IGPL 6 (3) (1998)

Marcelo Finger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcelo Finger