Updating Atomic Information in Labelled Database Systems. - Marcelo Finger; Dov M. Gabbay (ICDT, 1992)

Handling database updates in two-dimensional temporal logic. - Marcelo Finger (J. Appl. Non Class. Logics, 1992)

Adding a temporal dimension to a logic system. - Marcelo Finger; Dov M. Gabbay (J. Log. Lang. Inf., 1992)

Combining Temporal Logic Systems. - Marcelo Finger; Dov M. Gabbay (Notre Dame J. Formal Log., 1996)

Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. - Marcelo Finger; Peter McBrien (TIME, 1997)

Parsing Natural Language using LDS: A Prototype. - Marcelo Finger; Rodger Kibble; Dov M. Gabbay; Ruth Kempson (Log. J. IGPL, 1997)

Computational Solutions for Structural Constraints. - Marcelo Finger (LACL, 1998)

Temporal Data Obsolescence: Modelling Problems. - Marcelo Finger; Flávio S. Corrêa da Silva (TIME, 1998)

Towards Structurally-Free Theorem Proving. - Marcelo Finger (Log. J. IGPL, 1998)

Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). - Ruy J. G. B. de Queiroz; Marcelo Finger (Log. J. IGPL, 1998)

Labelled Natural Deduction for Substructural Logics. - Krysia Broda; Marcelo Finger; Alessandra Russo (Log. J. IGPL, 1999)

Algorithmic Correspondence Theory for Substructural Categorial Logic. - Marcelo Finger (Advances in Modal Logic, 2000)

Sharing Resource-Sensitive Knowledge Using Combinator Logics. - Marcelo Finger; Wamberto Weber Vasconcelos (IBERAMIA-SBIA, 2000)

A logical reconstruction of temporal databases. - Marcelo Finger (J. Log. Comput., 2000)

Non-normal Modalisation. - Rogerio Fajardo; Marcelo Finger (Advances in Modal Logic, 2002)

Expressivity and Control in Limited Reasoning. - Marcelo Finger; Renata Wassermann (ECAI, 2002)

Logics for Approximate Reasoning: Approximating Classical Logic "From Above". - Marcelo Finger; Renata Wassermann (SBIA, 2002)

The Unrestricted Combination of Temporal Logic Systems. - Marcelo Finger; M. Angela Weiss (Log. J. IGPL, 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 001; Virgínia V. B. Biris Brilhante; Ana Cristina Vieira de Melo; Marcelo Finger; Jaume Agustí-Cullell (Knowl. Based Syst., 2002)

InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. - Andrei Goldchleger; Fabio Kon; Alfredo Goldman; Marcelo Finger (Middleware Workshops, 2003)

The Universe of Approximations. - Marcelo Finger; Renata Wassermann (WoLLIC, 2003)

Polynomial Approximations of Full Propositional Logic via Limited Bivalence. - Marcelo Finger (JELIA, 2004)

Towards Polynomial Approximations of Full Propositional Logic. - Marcelo Finger (SBIA, 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)

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. - Marcelo Finger; Renata Wassermann (J. Log. Comput., 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)

DAG Sequents with Substitution. - Marcelo Finger (We Will Show Them! (1), 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 (ICINCO, 2005)

How Not to Combine Modal Logics. - Rogerio Fajardo; Marcelo Finger (IICAI, 2005)

Approximations of Modal Logic K. - Guilherme de Souza Rabello; Marcelo Finger (WoLLIC, 2005)

Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. - Fábio N. Kepler; Marcelo Finger (IBERAMIA-SBIA, 2006)

Effective Prover for Minimal Inconsistency Logic. - Adolfo Gustavo Serra Seca Neto; Marcelo Finger (IFIP AI, 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 (MGC@Middleware, 2006)

Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. - Fábio Natanael Kepler; Marcelo Finger (PROPOR, 2006)

Cut and Pay. - Marcelo Finger; Dov M. Gabbay (J. Log. Lang. Inf., 2006)

The universe of propositional approximations. - Marcelo Finger; Renata Wassermann (Theor. Comput. Sci., 2006)

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. - Marcelo Finger; Dov M. Gabbay (Log. J. IGPL, 2007)

Anytime Approximations of Classical Logic from Above. - Marcelo Finger; Renata Wassermann (J. Log. Comput., 2007)

Resource use pattern analysis for opportunistic grids. - Marcelo Finger; Germano Capistrano Bezerra; Danilo R. Conde (MGC, 2008)

Revising Specifications with CTL Properties Using Bounded Model Checking. - Marcelo Finger; Renata Wassermann (SBIA, 2008)

Approximations of modal logics: K and beyond. - Guilherme de Souza Rabello; Marcelo Finger (Ann. Pure Appl. Log., 2008)

Using Abduction to Compute Efficient Proofs. - Marcelo Finger (LSFA, 2008)

Cut-Based Abduction. - Marcello D'Agostino; Marcelo Finger; Dov M. Gabbay (Log. J. IGPL, 2008)

Towards an Efficient Prover for the C1 Paraconsistent Logic. - Adolfo Neto; Celso A. A. Kaestner; Marcelo Finger (LSFA, 2009)

A Logic Based Algorithm for Solving Probabilistic Satisfiability. - Marcelo Finger; Glauber De Bona (IBERAMIA, 2010)

Variable-Length Markov Models and Ambiguous Words in Portuguese. - Fábio Natanael Kepler; Marcelo Finger (NAACL (Young Investigators Workshop), 2010)

A Refuted Conjecture on Probabilistic Satisfiability. - Marcelo Finger; Glauber De Bona (SBIA, 2010)

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. - Marcelo Finger; Mauricio S. C. Hernandes (WoLLIC, 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)

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)

Analytic Methods for the Logic of Proofs. - Marcelo Finger (J. Log. Comput., 2010)

Satisfiability in EL with Sets of Probabilistic ABoxes. - Marcelo Finger; Renata Wassermann; Fábio Gagliardi Cozman (Description Logics, 2011)

Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. - Marcelo Finger; Glauber De Bona (IJCAI, 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 (STIL, 2011)

Classical and quantum satisfiability - Anderson de Araújo; Marcelo Finger (LSFA, 2011)

Towards an efficient prover for the C1 paraconsistent logic - Adolfo Neto; Celso A. A. Kaestner; Marcelo Finger (CoRR, 2012)

Towards automated first-order abduction: the cut-based approach. - Marcelo Finger (Log. J. IGPL, 2012)

Generalized Probabilistic Satisfiability. - Glauber De Bona; Fábio Gagliardi Cozman; Marcelo Finger (BRACIS, 2013)

Probabilistic Answer Set Programming. - Eduardo Menezes de Morais; Marcelo Finger (BRACIS, 2013)

Ontocloud - a Clinical Information Ontology Based Data Integration System. - Diogo F. C. Patrão; Helena Paula Brentani; Marcelo Finger; Renata Wassermann (ONTOBRAS, 2013)

Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. - Marcelo Finger; Ronan LeBras; Carla P. Gomes; Bart Selman (SAT, 2013)

Improving CoGrOO: the Brazilian Portuguese Grammar Checker. - William D. Colen M. Silva; Marcelo Finger (STIL, 2013)

Preface. - Maribel Fernández; Marcelo Finger (LSFA, 2013)

On the Predictability of Classical Propositional Logic. - Marcelo Finger; Poliana M. Reis (Inf., 2013)

Semantics and proof-theory of depth bounded Boolean logics. - Marcello D'Agostino; Marcelo Finger; Dov M. Gabbay (Theor. Comput. Sci., 2013)

Completeness for cut-based abduction. - Alexandre Matos Arruda; Marcelo Finger (Log. J. IGPL, 2014)

Towards classifying propositional probabilistic logics. - Glauber De Bona; Fábio Gagliardi Cozman; Marcelo Finger (J. Appl. Log., 2014)

Automated Classification of Pathology Reports. - Michel Oleynik; Marcelo Finger; Diogo F. C. Patrão (MedInfo, 2015)

Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. - Glauber De Bona; Marcelo Finger (Artif. Intell., 2015)

Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. - Marcelo Finger; Glauber De Bona (Ann. Math. Artif. Intell., 2015)

Generalized probabilistic satisfiability through integer programming. - Glauber De Bona; Fábio Gagliardi Cozman; Marcelo Finger (J. Braz. Comput. Soc., 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)

Consolidating Probabilistic Knowledge Bases via Belief Contraction. - Glauber De Bona; Marcelo Finger; Márcio Moretto Ribeiro; Yuri David Santos; Renata Wassermann (KR, 2016)

Algorithms for Deciding Counting Quantifiers over Unary Predicates. - Marcelo Finger; Glauber De Bona (AAAI, 2017)

Advances in Weighted Logics for Artificial Intelligence. - Marcelo Finger; Lluís Godo; Henri Prade; Guilin Qi (Int. J. Approx. Reason., 2017)

Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. - Marcelo Finger; Sandro Preto (IJCAR, 2018)

Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention. - Fabiano Ferreira Luz; Marcelo Finger (CoRR, 2018)

Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder. - Fabiano Ferreira Luz; Marcelo Finger (CoRR, 2018)

A logical-based corpus for cross-lingual evaluation. - Felipe de Souza Salvatore; Marcelo Finger; Roberto Hirata Jr. (DeepLo@EMNLP-IJCNLP, 2019)

Extending $$ mathscr {E !L}^{++}$$ with Linear Constraints on the Probability of Axioms. - Marcelo Finger (Description Logic, Theory Combination, and All That, 2019)

Using neural models to perform inference. - Felipe de Souza Salvatore; Sandro Preto; Marcelo Finger; Roberto Hirata Jr. (NeSy@IJCAI, 2019)

Quantitative Logic Reasoning. - Marcelo Finger (CoRR, 2019)

Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. - Marcelo Finger (CoRR, 2019)

Robust Ranking of Brazilian Supreme Court Decisions. - Jackson José de Souza; Marcelo Finger (BRACIS, 2020)

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. - Sandro Preto; Marcelo Finger (LSFA, 2020)

Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. - Marcelo Finger; Sandro Preto (J. Autom. Reason., 2020)

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 (ACL/IJCNLP (Findings), 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 (Interspeech, 2021)

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 (DHandNLP@PROPOR, 2022)

Pretrained Audio Neural Networks for Speech Emotion Recognition in Portuguese. - Marcelo Matheus Gauy; Marcelo Finger (SE&R@PROPOR, 2022)

verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. - Felipe R. Serras; 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)

Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. - Marcelo Matheus Gauy; Marcelo Finger (CoRR, 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 002 (CoRR, 2022)

Coherence of probabilistic constraints on Nash equilibria. - Sandro Preto; Eduardo Fermé; Marcelo Finger (J. Braz. Comput. Soc., 2022)

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. - Sandro Preto; Marcelo Finger (Math. Struct. Comput. Sci., 2022)

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 (AIME, 2023)

Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. - Sandro Preto; Felip Manyà; Marcelo Finger (ISMVL, 2023)

Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. - Sandro Preto; Felip Manyà; Marcelo Finger (ISMVL, 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; et al. (CoRR, 2023)

Acoustic models of Brazilian Portuguese Speech based on Neural Transformers. - Marcelo Matheus Gauy; Marcelo Finger (CoRR, 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)

Effective Reasoning over Neural Networks Using Łukasiewicz Logic. - Sandro Preto; Marcelo Finger (Compendium of Neurosymbolic Artificial Intelligence, 2023)

Proving properties of binary classification neural networks via Łukasiewicz logic. - Sandro Preto; Marcelo Finger (Log. J. IGPL, 2023)

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 (PROPOR (1), 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 M. José; Pedro Henrique Domingues; Paulo Cavalim (CoRR, 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)

A resampling-based method to evaluate NLI models. - Felipe de Souza Salvatore; Marcelo Finger; Roberto Hirata; Alexandre G. Patriota (Nat. Lang. Eng., 2024)

Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. - Marcelo Finger; Sandro Preto (J. Log. Comput., 2025)

Nash meets Łukasiewicz: computing equilibria through logic. - Sandro Preto; Marcelo Finger (J. Log. Comput., 2025)

Regional, Lattice and Logical Representations of Neural Networks. - Sandro Preto; Marcelo Finger (CoRR, 2025)

Making a Pipeline Production-Ready: Challenges and Lessons Learned in the Healthcare Domain. - Daniel Angelo Esteves Lawand; Lucas Quaresma Medina Lam; Roberto Oliveira Bolgheroni; Renato Cordeiro Ferreira; Alfredo Goldman; Marcelo Finger (CoRR, 2025)

Large Language Models as Medical Codes Selectors: a benchmark using the International Classification of Primary Care. - Vinicius Anjos de Almeida; Vinicius de Camargo; Raquel Gómez-Bravo; Egbert J. van der Haring; Kees van Boven; Marcelo Finger; Luis Fernandez Lopez (CoRR, 2025)