Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDMarcelo Finger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c48]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: 53-58- [i8]Sandro Preto, Eduardo Fermé, Marcelo Finger:
Coherence of probabilistic constraints on Nash equilibria. CoRR abs/2201.00746 (2022) - [i7]Felipe R. Serras, Marcelo Finger:
verBERT: Automating Brazilian Case Law Document Multi-label Categorization Using BERT. CoRR abs/2203.06224 (2022) - [i6]Aline R. Ioste, Alan M. Durham, Marcelo Finger:
Combined Learning of Neural Network Weights for Privacy in Collaborative Tasks. CoRR abs/2205.00361 (2022) - 2021
- [c47]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: 625-633 - [c46]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: 446-450 - 2020
- [j35]Marcelo Finger
, Sandro Preto:
Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. J. Autom. Reason. 64(7): 1269-1286 (2020) - [c45]Jackson José de Souza, Marcelo Finger:
Robust Ranking of Brazilian Supreme Court Decisions. BRACIS 2020: 581-594 - [c44]Sandro Preto, Marcelo Finger:
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. LSFA 2020: 167-186
2010 – 2019
- 2019
- [c43]Felipe Salvatore, Marcelo Finger, Roberto Hirata Jr.:
A logical-based corpus for cross-lingual evaluation. DeepLo@EMNLP-IJCNLP 2019: 22-30 - [c42]Marcelo Finger:
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms. Description Logic, Theory Combination, and All That 2019: 286-300 - [i5]Marcelo Finger:
Quantitative Logic Reasoning. CoRR abs/1905.05665 (2019) - [i4]Marcelo Finger:
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms. CoRR abs/1908.10405 (2019) - 2018
- [c41]Marcelo Finger, Sandro Preto:
Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. IJCAR 2018: 194-210 - [i3]Fabiano Ferreira Luz, Marcelo Finger:
Semantic Parsing Natural Language into SPARQL: Improving Target Language Representation with Neural Attention. CoRR abs/1803.04329 (2018) - [i2]Fabiano Ferreira Luz, Marcelo Finger:
Semantic Parsing: Syntactic assurance to target sentence using LSTM Encoder CFG-Decoder. CoRR abs/1807.07108 (2018) - 2017
- [j34]Marcelo Finger, Lluís Godo, Henri Prade, Guilin Qi:
Advances in Weighted Logics for Artificial Intelligence. Int. J. Approx. Reason. 88: 385-386 (2017) - [c40]Marcelo Finger, Glauber De Bona:
Algorithms for Deciding Counting Quantifiers over Unary Predicates. AAAI 2017: 3878-3884 - [e3]Clare Dixon, Marcelo Finger:
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10483, Springer 2017, ISBN 978-3-319-66166-7 [contents] - 2016
- [c39]Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann:
Consolidating Probabilistic Knowledge Bases via Belief Contraction. KR 2016: 125-134 - 2015
- [j33]Glauber De Bona, Marcelo Finger:
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artif. Intell. 227: 140-164 (2015) - [j32]Marcelo Finger, Glauber De Bona:
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Ann. Math. Artif. Intell. 75(3-4): 351-389 (2015) - [j31]Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger:
Generalized probabilistic satisfiability through integer programming. J. Braz. Comput. Soc. 21(1): 11 (2015) - [j30]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: 1 (2015) - [c38]Michel Oleynik, Marcelo Finger, Diogo F. C. Patrão:
Automated Classification of Pathology Reports. MedInfo 2015: 1040 - 2014
- [j29]Alexandre Matos Arruda, Marcelo Finger:
Completeness for cut-based abduction. Log. J. IGPL 22(2): 286-296 (2014) - [j28]Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger:
Towards classifying propositional probabilistic logics. J. Appl. Log. 12(3): 349-368 (2014) - [e2]Maribel Fernández, Marcelo Finger:
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013. Electronic Notes in Theoretical Computer Science 305, Elsevier 2014 [contents] - 2013
- [j27]Marcelo Finger, Poliana M. Reis:
On the Predictability of Classical Propositional Logic. Inf. 4(1): 60-74 (2013) - [j26]Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480: 43-68 (2013) - [c37]Eduardo Menezes de Morais, Marcelo Finger:
Probabilistic Answer Set Programming. BRACIS 2013: 150-156 - [c36]Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger:
Generalized Probabilistic Satisfiability. BRACIS 2013: 182-188 - [c35]Diogo F. C. Patrão, Helena Brentani, Marcelo Finger, Renata Wassermann:
Ontocloud - a Clinical Information Ontology Based Data Integration System. ONTOBRAS 2013: 118-129 - [c34]Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman:
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT 2013: 233-249 - [c33]William D. Colen M. Silva, Marcelo Finger:
Improving CoGrOO: the Brazilian Portuguese Grammar Checker. STIL 2013 - [c32]Maribel Fernández, Marcelo Finger:
Preface. LSFA 2013: 1-3 - 2012
- [j25]Marcelo Finger:
Towards automated first-order abduction: the cut-based approach. Log. J. IGPL 20(2): 370-387 (2012) - [e1]Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho:
Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings. Lecture Notes in Computer Science 7589, Springer 2012, ISBN 978-3-642-34458-9 [contents] - [i1]Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger:
Towards an efficient prover for the C1 paraconsistent logic. CoRR abs/1202.4144 (2012) - 2011
- [c31]Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman:
Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics 2011 - [c30]Marcelo Finger, Glauber De Bona:
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. IJCAI 2011: 528-533 - [c29]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 - [c28]Anderson de Araújo, Marcelo Finger:
Classical and quantum satisfiability. LSFA 2011: 79-84 - 2010
- [j24]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): 295-313 (2010) - [j23]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): 573-583 (2010) - [j22]Marcelo Finger:
Analytic Methods for the Logic of Proofs. J. Log. Comput. 20(1): 167-188 (2010) - [c27]Marcelo Finger, Glauber De Bona:
A Logic Based Algorithm for Solving Probabilistic Satisfiability. IBERAMIA 2010: 453-462 - [c26]Fábio Natanael Kepler, Marcelo Finger:
Variable-Length Markov Models and Ambiguous Words in Portuguese. NAACL (Young Investigators Workshop) 2010: 15-23 - [c25]Marcelo Finger, Glauber De Bona:
A Refuted Conjecture on Probabilistic Satisfiability. SBIA 2010: 293-302 - [c24]Marcelo Finger, Mauricio S. C. Hernandes:
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. WoLLIC 2010: 1-18
2000 – 2009
- 2009
- [c23]Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger:
Towards an Efficient Prover for the C1 Paraconsistent Logic. LSFA 2009: 87-102 - 2008
- [j21]Guilherme de Souza Rabello, Marcelo Finger:
Approximations of modal logics: K and beyond. Ann. Pure Appl. Log. 152(1-3): 161-173 (2008) - [j20]Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
Cut-Based Abduction. Log. J. IGPL 16(6): 537-560 (2008) - [c22]Marcelo Finger, Germano Capistrano Bezerra, Danilo R. Conde:
Resource use pattern analysis for opportunistic grids. MGC 2008: 8 - [c21]Marcelo Finger, Renata Wassermann:
Revising Specifications with CTL Properties Using Bounded Model Checking. SBIA 2008: 157-166 - [c20]Marcelo Finger:
Using Abduction to Compute Efficient Proofs. LSFA 2008: 39-49 - 2007
- [j19]Marcelo Finger, Dov M. Gabbay:
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Log. J. IGPL 15(5-6): 553-575 (2007) - [j18]Marcelo Finger, Renata Wassermann:
Anytime Approximations of Classical Logic from Above. J. Log. Comput. 17(1): 53-82 (2007) - 2006
- [j17]Guilherme de Souza Rabello, Marcelo Finger:
Approximations of Modal Logic K. Electron. Notes Theor. Comput. Sci. 143: 171-184 (2006) - [j16]Marcelo Finger, Dov M. Gabbay:
Cut and Pay. J. Log. Lang. Inf. 15(3): 195-218 (2006) - [j15]Marcelo Finger, Renata Wassermann:
The universe of propositional approximations. Theor. Comput. Sci. 355(2): 153-166 (2006) - [c19]Fábio N. Kepler, Marcelo Finger:
Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. IBERAMIA-SBIA 2006: 482-491 - [c18]Adolfo Gustavo Serra Seca Neto, Marcelo Finger:
Effective Prover for Minimal Inconsistency Logic. IFIP AI 2006: 465-474 - [c17]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: 7 - [c16]Fábio Natanael Kepler, Marcelo Finger:
Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. PROPOR 2006: 248-251 - 2005
- [c15]Marcelo Finger:
DAG Sequents with Substitution. We Will Show Them! (1) 2005: 671-686 - [c14]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: 479-485 - [c13]Rogerio Fajardo, Marcelo Finger:
How Not to Combine Modal Logics. IICAI 2005: 1629-1647 - 2004
- [j14]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): 449-459 (2004) - [j13]Marcelo Finger, Renata Wassermann:
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. J. Log. Comput. 14(2): 179-204 (2004) - [j12]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): 373-408 (2004) - [c12]Marcelo Finger:
Polynomial Approximations of Full Propositional Logic via Limited Bivalence. JELIA 2004: 526-538 - [c11]Marcelo Finger:
Towards Polynomial Approximations of Full Propositional Logic. SBIA 2004: 11-20 - 2003
- [j11]Marcelo Finger, Renata Wassermann:
The Universe of Approximations. Electron. Notes Theor. Comput. Sci. 84: 91-104 (2003) - [c10]Andrei Goldchleger, Fabio Kon, Alfredo Goldman, Marcelo Finger:
InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Middleware Workshops 2003: 232-234 - 2002
- [j10]Marcelo Finger, M. Angela Weiss:
The Unrestricted Combination of Temporal Logic Systems. Log. J. IGPL 10(2): 165-189 (2002) - [j9]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): 147-167 (2002) - [c9]Rogerio Fajardo, Marcelo Finger:
Non-normal Modalisation. Advances in Modal Logic 2002: 83-96 - [c8]Marcelo Finger, Renata Wassermann:
Expressivity and Control in Limited Reasoning. ECAI 2002: 272-276 - [c7]Marcelo Finger, Renata Wassermann:
Logics for Approximate Reasoning: Approximating Classical Logic "From Above". SBIA 2002: 21-30 - 2000
- [j8]Marcelo Finger:
A logical reconstruction of temporal databases. J. Log. Comput. 10(6): 847-876 (2000) - [c6]Marcelo Finger:
Algorithmic Correspondence Theory for Substructural Categorial Logic. Advances in Modal Logic 2000: 153-172 - [c5]Marcelo Finger, Wamberto Weber Vasconcelos:
Sharing Resource-Sensitive Knowledge Using Combinator Logics. IBERAMIA-SBIA 2000: 196-206
1990 – 1999
- 1999
- [j7]Krysia Broda, Marcelo Finger, Alessandra Russo:
Labelled Natural Deduction for Substructural Logics. Log. J. IGPL 7(3): 283-318 (1999) - 1998
- [j6]Marcelo Finger:
Towards Structurally-Free Theorem Proving. Log. J. IGPL 6(3): 425-449 (1998) - [j5]Ruy J. G. B. de Queiroz, Marcelo Finger:
Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). Log. J. IGPL 6(6): 917-918 (1998) - [c4]Marcelo Finger:
Computational Solutions for Structural Constraints. LACL 1998: 11-30 - [c3]Marcelo Finger, Flávio S. Corrêa da Silva:
Temporal Data Obsolescence: Modelling Problems. TIME 1998: 45-50 - 1997
- [j4]Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson:
Parsing Natural Language using LDS: A Prototype. Log. J. IGPL 5(5): 647-671 (1997) - [c2]Marcelo Finger, Peter McBrien:
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. TIME 1997: 112-118 - 1996
- [j3]Marcelo Finger, Dov M. Gabbay:
Combining Temporal Logic Systems. Notre Dame J. Formal Log. 37(2): 204-232 (1996) - 1992
- [j2]Marcelo Finger:
Handling database updates in two-dimensional temporal logic. J. Appl. Non Class. Logics 2(2): 201-224 (1992) - [j1]Marcelo Finger, Dov M. Gabbay:
Adding a temporal dimension to a logic system. J. Log. Lang. Inf. 1(3): 203-233 (1992) - [c1]Marcelo Finger, Dov M. Gabbay:
Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-05-04 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
