Marcelo Finger

According to our database, Marcelo Finger authored at least 108 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A resampling-based method to evaluate NLI models.

Felipe de Souza Salvatore, Marcelo Finger, Roberto Hirata, Alexandre G. Patriota

Nat. Lang. Eng., 2024

Contrasting Deep Learning Models for Direct Respiratory Insufficiency Detection Versus Blood Oxygen Saturation Estimation.

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

CoRR, 2024

PeLLE: Encoder-based language models for Brazilian Portuguese based on open data.

Guilherme Lamartine de Mello, Marcelo Finger, Felipe R. Serras, Miguel de Mello Carpi, Marcos Menon José, Pedro Henrique Domingues, Paulo Cavalim

CoRR, 2024

Exploring Computational Discernibility of Discourse Domains in Brazilian Portuguese within the Carolina Corpus.

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

Proceedings of the 16th International Conference on Computational Processing of Portuguese, 2024

2023

Proving properties of binary classification neural networks via Łukasiewicz logic.

Sandro Preto, Marcelo Finger

Log. J. IGPL, September, 2023

Effective Reasoning over Neural Networks Using Łukasiewicz Logic.

Sandro Preto, Marcelo Finger

Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Selecting and ranking leading cases in Brazilian Supreme Court decisions.

Jackson José de Souza, Marcelo Finger, Jorge Alberto A. de Araújo, Juliano Maranhão

Knowl. Eng. Rev., 2023

Acoustic models of Brazilian Portuguese Speech based on Neural Transformers.

Marcelo Matheus Gauy, Marcelo Finger

CoRR, 2023

Carolina: a General Corpus of Contemporary Brazilian Portuguese with Provenance, Typology and Versioning Information.

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

CoRR, 2023

Linking Łukasiewicz Logic and Boolean Maximum Satisfiability.

Sandro Preto, Felip Manyà, Marcelo Finger

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks.

Sandro Preto, Felip Manyà, Marcelo Finger

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency Detection in Brazilian Portuguese.

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

Proceedings of the Artificial Intelligence in Medicine, 2023

2022

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability.

Sandro Preto, Marcelo Finger

Math. Struct. Comput. Sci., October, 2022

Coherence of probabilistic constraints on Nash equilibria.

Sandro Preto, Eduardo Fermé, Marcelo Finger

J. Braz. Comput. Soc., 2022

Interpretability Analysis of Deep Models for COVID-19 Detection.

Daniel Peixoto Pinto da Silva, Edresson Casanova, Lucas Rafael Stefanel Gris, Arnaldo Cândido Júnior, Marcelo Finger, Flaviane Romani Fernandes Svartman, Beatriz Raposo de Medeiros, Marcus Vinícius Moreira Martins, Sandra Maria Aluísio, Larissa Cristina Berti, João Paulo Teixeira

CoRR, 2022

Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19.

Marcelo Matheus Gauy, Marcelo Finger

CoRR, 2022

Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks.

Aline R. Ioste, Alan M. Durham, Marcelo Finger

CoRR, 2022

verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT.

Felipe R. Serras, Marcelo Finger

CoRR, 2022

Pretrained Audio Neural Networks for Speech Emotion Recognition in Portuguese.

Marcelo Matheus Gauy, Marcelo Finger

Proceedings of the Workshop on Automatic Speech Recognition for Spontaneous and Prepared Speech & Speech Emotion Recognition in Portuguese co-located with 15th edition of the International Conference on the Computational Processing of Portuguese (PROPOR 2022), 2022

Carolina's Methodology: building a large corpus with provenance and typology information.

Mariana Sturzeneker, Maria Clara Crespo, Maria Lina Rocha, Marcelo Finger, Maria Clara Paixão de Sousa, Vanessa Martins do Monte, Cristiane Namiuti

Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing (2nd DHandNLP 2022) co-located with International Conference on the Computational Processing of Portuguese (PROPOR 2022), 2022

2021

Transfer Learning and Data Augmentation Techniques to the COVID-19 Identification Tasks in ComParE 2021.

Edresson Casanova, Arnaldo Candido Jr., Ricardo Corso Fernandes Junior, Marcelo Finger, Lucas Rafael Stefanel Gris, Moacir Antonelli Ponti, Daniel Peixoto Pinto da Silva

Proceedings of the 22nd Annual Conference of the International Speech Communication Association, Interspeech 2021, Brno, Czechia, August 30, 2021

Deep Learning against COVID-19: Respiratory Insufficiency Detection in Brazilian Portuguese Speech.

Edresson Casanova, Lucas Gris, Augusto Camargo Neto, Daniel Peixoto Pinto da Silva, Murilo Gazzola, Ester C. Sabino, Anna Levin, Arnaldo Candido Jr., Sandra M. Aluísio, Marcelo Finger

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

2020

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

Marcelo Finger, Sandro Preto

J. Autom. Reason., 2020

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic.

Sandro Preto, Marcelo Finger

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

Robust Ranking of Brazilian Supreme Court Decisions.

Jackson José de Souza, Marcelo Finger

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

2019

Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.

Marcelo Finger

CoRR, 2019

Quantitative Logic Reasoning.

Marcelo Finger

CoRR, 2019

Using neural models to perform inference.

Felipe de Souza Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms.

Marcelo Finger

Proceedings of the Description Logic, Theory Combination, and All That, 2019

A logical-based corpus for cross-lingual evaluation.

Felipe de Souza Salvatore, Marcelo Finger, Roberto Hirata Jr.

Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP, 2019

2018

Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder.

Fabiano Ferreira Luz, Marcelo Finger

CoRR, 2018

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

Fabiano Ferreira Luz, Marcelo Finger

CoRR, 2018

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

Marcelo Finger, Sandro Preto

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Advances in Weighted Logics for Artificial Intelligence.

Marcelo Finger, Lluís Godo, Henri Prade, Guilin Qi

Int. J. Approx. Reason., 2017

Algorithms for Deciding Counting Quantifiers over Unary Predicates.

Marcelo Finger, Glauber De Bona

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Consolidating Probabilistic Knowledge Bases via Belief Contraction.

Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA).

Marcelo Finger, Delia Kesner

Theor. Comput. Sci., 2015

Generalized probabilistic satisfiability through integer programming.

Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger

J. Braz. Comput. Soc., 2015

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

Marcelo Finger, Glauber De Bona

Ann. Math. Artif. Intell., 2015

Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation.

Glauber De Bona, Marcelo Finger

Artif. Intell., 2015

Automated Classification of Pathology Reports.

Michel Oleynik, Marcelo Finger, Diogo F. C. Patrão

Proceedings of the MEDINFO 2015: eHealth-enabled Health, 2015

2014

Towards classifying propositional probabilistic logics.

Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger

J. Appl. Log., 2014

Completeness for cut-based abduction.

Alexandre Matos Arruda, Marcelo Finger

Log. J. IGPL, 2014

2013

Semantics and proof-theory of depth bounded Boolean logics.

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay

Theor. Comput. Sci., 2013

On the Predictability of Classical Propositional Logic.

Marcelo Finger, Poliana M. Reis

Inf., 2013

Preface.

Maribel Fernández, Marcelo Finger

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Improving CoGrOO: the Brazilian Portuguese Grammar Checker.

William D. Colen M. Silva, Marcelo Finger

Proceedings of the 9th Brazilian Symposium in Information and Human Language Technology, 2013

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.

Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Ontocloud - a Clinical Information Ontology Based Data Integration System.

Diogo F. C. Patrão, Helena Paula Brentani, Marcelo Finger, Renata Wassermann

Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013

Probabilistic Answer Set Programming.

Eduardo Menezes de Morais, Marcelo Finger

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

Generalized Probabilistic Satisfiability.

Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2012

Towards automated first-order abduction: the cut-based approach.

Marcelo Finger

Log. J. IGPL, 2012

Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger

CoRR, 2012

2011

Classical and quantum satisfiability

Anderson de Araújo, Marcelo Finger

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

Resolução da Heterogeneidade na Identificação de Pacientes (Resolution of Heterogeneity in the Identification of Patients) [in Portuguese].

Fábio Filocomo, Marcelo Finger, Diogo F. C. Patrão

Proceedings of the 8th Brazilian Symposium in Information and Human Language Technology, 2011

Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.

Marcelo Finger, Glauber De Bona

Proceedings of the IJCAI 2011, 2011

Satisfiability in EL with Sets of Probabilistic ABoxes.

Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Analytic Methods for the Logic of Proofs.

Marcelo Finger

J. Log. Comput., 2010

Application execution management on the InteGrade opportunistic grid middleware.

Francisco José da Silva e Silva, Fabio Kon, Alfredo Goldman, Marcelo Finger, Raphael Y. de Camargo, Fernando Castor Filho, Fábio M. Costa

J. Parallel Distributed Comput., 2010

Resource use pattern analysis for predicting resource availability in opportunistic grids.

Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde

Concurr. Comput. Pract. Exp., 2010

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.

Marcelo Finger, Mauricio S. C. Hernandes

Proceedings of the Logic, 2010

A Refuted Conjecture on Probabilistic Satisfiability.

Marcelo Finger, Glauber De Bona

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Variable-Length Markov Models and Ambiguous Words in Portuguese.

Fábio Natanael Kepler, Marcelo Finger

Proceedings of the NAACL HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010

A Logic Based Algorithm for Solving Probabilistic Satisfiability.

Marcelo Finger, Glauber De Bona

Proceedings of the Advances in Artificial Intelligence, 2010

2009

Towards an Efficient Prover for the C₁ Paraconsistent Logic.

Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2008

Cut-Based Abduction.

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay

Log. J. IGPL, 2008

Using Abduction to Compute Efficient Proofs.

Marcelo Finger

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

Approximations of modal logics: K and beyond.

Guilherme de Souza Rabello, Marcelo Finger

Ann. Pure Appl. Log., 2008

Revising Specifications with CTL Properties Using Bounded Model Checking.

Marcelo Finger, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence, 2008

Resource use pattern analysis for opportunistic grids.

Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde

Proceedings of the 6th International Workshop on Middleware for Grid Computing (MGC 2008), 2008

2007

Anytime Approximations of Classical Logic from Above.

Marcelo Finger, Renata Wassermann

J. Log. Comput., 2007

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.

Marcelo Finger, Dov M. Gabbay

Log. J. IGPL, 2007

2006

The universe of propositional approximations.

Marcelo Finger, Renata Wassermann

Theor. Comput. Sci., 2006

Cut and Pay.

Marcelo Finger, Dov M. Gabbay

J. Log. Lang. Inf., 2006

Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains.

Fábio Natanael Kepler, Marcelo Finger

Proceedings of the Computational Processing of the Portuguese Language, 2006

Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion.

José de R. P. Braga Jr., Alexandre Ceasar Tavares Vidal, Fabio Kon, Marcelo Finger

Proceedings of the 4th international workshop on Middleware for grid computing, 2006

Effective Prover for Minimal Inconsistency Logic.

Adolfo Gustavo Serra Seca Neto, Marcelo Finger

Proceedings of the Artificial Intelligence in Theory and Practice, 2006

Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese.

Fábio N. Kepler, Marcelo Finger

Proceedings of the Advances in Artificial Intelligence, 2006

2005

Approximations of Modal Logic K.

Guilherme de Souza Rabello, Marcelo Finger

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

How Not to Combine Modal Logics.

Rogerio Fajardo, Marcelo Finger

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Intelligent mobile multi-robotic systems: some challenges and possible solutions.

Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger

Proceedings of the ICINCO 2005, 2005

DAG Sequents with Substitution.

Marcelo Finger

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

The decidability of a fragment of BB'IW-logic.

Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva

Theor. Comput. Sci., 2004

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.

Marcelo Finger, Renata Wassermann

J. Log. Comput., 2004

InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines.

Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger, Germano Capistrano Bezerra

Concurr. Pract. Exp., 2004

Towards Polynomial Approximations of Full Propositional Logic.

Marcelo Finger

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

Polynomial Approximations of Full Propositional Logic via Limited Bivalence.

Marcelo Finger

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

The Universe of Approximations.

Marcelo Finger, Renata Wassermann

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines.

Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger

Proceedings of the International Middleware Conference, 2003

2002

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

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

Knowl. Based Syst., 2002

The Unrestricted Combination of Temporal Logic Systems.

Marcelo Finger, M. Angela Weiss

Log. J. IGPL, 2002

Logics for Approximate Reasoning: Approximating Classical Logic "From Above".

Marcelo Finger, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence, 2002

Expressivity and Control in Limited Reasoning.

Marcelo Finger, Renata Wassermann

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Non-normal Modalisation.

Rogerio Fajardo, Marcelo Finger

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000

A logical reconstruction of temporal databases.

Marcelo Finger

J. Log. Comput., 2000

Sharing Resource-Sensitive Knowledge Using Combinator Logics.

Marcelo Finger, Wamberto Weber Vasconcelos

Proceedings of the Advances in Artificial Intelligence, 2000

Algorithmic Correspondence Theory for Substructural Categorial Logic.

Marcelo Finger

Proceedings of the Advances in Modal Logic 3, 2000

1999

Labelled Natural Deduction for Substructural Logics.

Krysia Broda, Marcelo Finger, Alessandra Russo

Log. J. IGPL, 1999

1998

Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98).

Ruy J. G. B. de Queiroz, Marcelo Finger

Log. J. IGPL, 1998

Towards Structurally-Free Theorem Proving.

Marcelo Finger

Log. J. IGPL, 1998

Temporal Data Obsolescence: Modelling Problems.

Marcelo Finger, Flávio S. Corrêa da Silva

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Computational Solutions for Structural Constraints.

Marcelo Finger

Proceedings of the Logical Aspects of Computational Linguistics, 1998

1997

Parsing Natural Language using LDS: A Prototype.

Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson

Log. J. IGPL, 1997

Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases.

Marcelo Finger, Peter McBrien

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

1996

Combining Temporal Logic Systems.

Marcelo Finger, Dov M. Gabbay

Notre Dame J. Formal Log., 1996

1992

Adding a temporal dimension to a logic system.

Marcelo Finger, Dov M. Gabbay

J. Log. Lang. Inf., 1992

Handling database updates in two-dimensional temporal logic.

Marcelo Finger

J. Appl. Non Class. Logics, 1992

Updating Atomic Information in Labelled Database Systems.

Marcelo Finger, Dov M. Gabbay

Proceedings of the Database Theory, 1992