Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marcelo Finger
@inproceedings{DBLP:conf/propor/SerrasSCPCCMNSF24,
author = {Felipe Ribas Serras and
Mariana Sturzeneker and
Miguel de Mello Carpi and
Mayara Feliciano Palma and
Maria Clara Ramos Morales Crespo and
Aline Silva Costa and
Vanessa Martins do Monte and
Cristiane Namiuti and
Maria Clara Paix{\~{a}}o de Souza and
Marcelo Finger},
editor = {Pablo Gamallo and
Daniela Claro and
Ant{\'{o}}nio J. S. Teixeira and
Livy Real and
Marcos Garc{\'{\i}}a and
Hugo Gon{\c{c}}alo Oliveira and
Raquel Amaro},
title = {Exploring Computational Discernibility of Discourse Domains in Brazilian
Portuguese within the Carolina Corpus},
booktitle = {Proceedings of the 16th International Conference on Computational
Processing of Portuguese, {PROPOR} 2024, Santiago de Compostela, Galicia/Spain,
12-15 March, 2024},
pages = {255--265},
publisher = {Association for Computational Lingustics},
year = {2024},
url = {https://aclanthology.org/2024.propor-1.26},
timestamp = {Thu, 04 Apr 2024 08:26:29 +0200},
biburl = {https://dblp.org/rec/conf/propor/SerrasSCPCCMNSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-19204,
author = {Guilherme Lamartine de Mello and
Marcelo Finger and
Felipe R. Serras and
Miguel de Mello Carpi and
Marcos Menon Jos{\'{e}} and
Pedro Henrique Domingues and
Paulo Cavalim},
title = {PeLLE: Encoder-based language models for Brazilian Portuguese based
on open data},
journal = {CoRR},
volume = {abs/2402.19204},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.19204},
doi = {10.48550/ARXIV.2402.19204},
eprinttype = {arXiv},
eprint = {2402.19204},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-19204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PretoF23,
author = {Sandro Preto and
Marcelo Finger},
title = {Proving properties of binary classification neural networks via {\L}ukasiewicz
logic},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {805--821},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac050},
doi = {10.1093/JIGPAL/JZAC050},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PretoF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/SouzaFAM23,
author = {Jackson Jos{\'{e}} de Souza and
Marcelo Finger and
Jorge Alberto A. de Ara{\'{u}}jo and
Juliano Maranh{\~{a}}o},
title = {Selecting and ranking leading cases in Brazilian Supreme Court decisions},
journal = {Knowl. Eng. Rev.},
volume = {38},
year = {2023},
url = {https://doi.org/10.1017/s0269888923000073},
doi = {10.1017/S0269888923000073},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/SouzaFAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/GauyBCNGLMMQSSF23,
author = {Marcelo Matheus Gauy and
Larissa Cristina Berti and
Arnaldo Candido Jr. and
Augusto Camargo Neto and
Alfredo Goldman and
Anna Sara Shafferman Levin and
Marcus Martins and
Beatriz Raposo de Medeiros and
Marcelo Queiroz and
Ester Cerdeira Sabino and
Flaviane Romani Fernandes Svartman and
Marcelo Finger},
editor = {Jose M. Juarez and
Mar Marcos and
Gregor Stiglic and
Allan Tucker},
title = {Discriminant Audio Properties in Deep Learning Based Respiratory Insufficiency
Detection in Brazilian Portuguese},
booktitle = {Artificial Intelligence in Medicine - 21st International Conference
on Artificial Intelligence in Medicine, {AIME} 2023, Portoro{\v{z}},
Slovenia, June 12-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13897},
pages = {271--275},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34344-5\_32},
doi = {10.1007/978-3-031-34344-5\_32},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aime/GauyBCNGLMMQSSF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/PretoMF23,
author = {Sandro Preto and
Felip Many{\`{a}} and
Marcelo Finger},
title = {Benchmarking {\L}ukasiewicz Logic Solvers with Properties of Neural
Networks},
booktitle = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2023, Matsue, Japan, May 22-24, 2023},
pages = {158--163},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISMVL57333.2023.00039},
doi = {10.1109/ISMVL57333.2023.00039},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/PretoMF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/PretoMF23a,
author = {Sandro Preto and
Felip Many{\`{a}} and
Marcelo Finger},
title = {Linking {\L}ukasiewicz Logic and Boolean Maximum Satisfiability},
booktitle = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2023, Matsue, Japan, May 22-24, 2023},
pages = {164--169},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISMVL57333.2023.00040},
doi = {10.1109/ISMVL57333.2023.00040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/PretoMF23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/PretoF23,
author = {Sandro Preto and
Marcelo Finger},
editor = {Pascal Hitzler and
Md. Kamruzzaman Sarker and
Aaron Eberhart},
title = {Effective Reasoning over Neural Networks Using {\L}ukasiewicz Logic},
booktitle = {Compendium of Neurosymbolic Artificial Intelligence},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {369},
pages = {609--630},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230160},
doi = {10.3233/FAIA230160},
timestamp = {Mon, 05 Feb 2024 20:35:57 +0100},
biburl = {https://dblp.org/rec/series/faia/PretoF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16098,
author = {Maria Clara Ramos Morales Crespo and
Maria Lina de Souza Jeannine Rocha and
Mariana Louren{\c{c}}o Sturzeneker and
Felipe Ribas Serras and
Guilherme Lamartine de Mello and
Aline Silva Costa and
Mayara Feliciano Palma and
Renata Morais Mesquita and
Raquel de Paula Guets and
Mariana Marques da Silva and
Marcelo Finger and
Maria Clara Paix{\~{a}}o de Sousa and
Cristiane Namiuti and
Vanessa Martins do Monte},
title = {Carolina: a General Corpus of Contemporary Brazilian Portuguese with
Provenance, Typology and Versioning Information},
journal = {CoRR},
volume = {abs/2303.16098},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16098},
doi = {10.48550/ARXIV.2303.16098},
eprinttype = {arXiv},
eprint = {2303.16098},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09265,
author = {Marcelo Matheus Gauy and
Marcelo Finger},
title = {Acoustic models of Brazilian Portuguese Speech based on Neural Transformers},
journal = {CoRR},
volume = {abs/2312.09265},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.09265},
doi = {10.48550/ARXIV.2312.09265},
eprinttype = {arXiv},
eprint = {2312.09265},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/PretoFF22,
author = {Sandro Preto and
Eduardo Ferm{\'{e}} and
Marcelo Finger},
title = {Coherence of probabilistic constraints on Nash equilibria},
journal = {J. Braz. Comput. Soc.},
volume = {28},
number = {1},
pages = {38--51},
year = {2022},
url = {https://doi.org/10.5753/jbcs.2022.2434},
doi = {10.5753/JBCS.2022.2434},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/PretoFF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PretoF22,
author = {Sandro Preto and
Marcelo Finger},
title = {Efficient representation of piecewise linear functions into {\L}ukasiewicz
logic modulo satisfiability},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {9},
pages = {1119--1144},
year = {2022},
url = {https://doi.org/10.1017/S096012952200010X},
doi = {10.1017/S096012952200010X},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PretoF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dhandnlp-ws/SturzenekerCRFS22,
author = {Mariana Sturzeneker and
Maria Clara Crespo and
Maria Lina Rocha and
Marcelo Finger and
Maria Clara Paix{\~{a}}o de Sousa and
Vanessa Martins do Monte and
Cristiane Namiuti},
editor = {C{\'{a}}ssia Trojahn and
Maria Jos{\'{e}} Finatto and
Valeria de Paiva and
Renata Vieira},
title = {Carolina's Methodology: building a large corpus with provenance and
typology information},
booktitle = {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), Virtual Event, Fortaleza, Brazil, 21st March, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3128},
pages = {53--58},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3128/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:48 +0100},
biburl = {https://dblp.org/rec/conf/dhandnlp-ws/SturzenekerCRFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00746,
author = {Sandro Preto and
Eduardo Ferm{\'{e}} and
Marcelo Finger},
title = {Coherence of probabilistic constraints on Nash equilibria},
journal = {CoRR},
volume = {abs/2201.00746},
year = {2022},
url = {https://arxiv.org/abs/2201.00746},
eprinttype = {arXiv},
eprint = {2201.00746},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06224,
author = {Felipe R. Serras and
Marcelo Finger},
title = {verBERT: Automating Brazilian Case Law Document Multi-label Categorization
Using {BERT}},
journal = {CoRR},
volume = {abs/2203.06224},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06224},
doi = {10.48550/ARXIV.2203.06224},
eprinttype = {arXiv},
eprint = {2203.06224},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00361,
author = {Aline R. Ioste and
Alan M. Durham and
Marcelo Finger},
title = {Combined Learning of Neural Network Weights for Privacy in Collaborative
Tasks},
journal = {CoRR},
volume = {abs/2205.00361},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00361},
doi = {10.48550/ARXIV.2205.00361},
eprinttype = {arXiv},
eprint = {2205.00361},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-14085,
author = {Marcelo Matheus Gauy and
Marcelo Finger},
title = {Audio MFCC-gram Transformers for respiratory insufficiency detection
in {COVID-19}},
journal = {CoRR},
volume = {abs/2210.14085},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.14085},
doi = {10.48550/ARXIV.2210.14085},
eprinttype = {arXiv},
eprint = {2210.14085},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-14085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-14716,
author = {Marcelo Matheus Gauy and
Marcelo Finger},
title = {Pretrained audio neural networks for Speech emotion recognition in
Portuguese},
journal = {CoRR},
volume = {abs/2210.14716},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.14716},
doi = {10.48550/ARXIV.2210.14716},
eprinttype = {arXiv},
eprint = {2210.14716},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-14716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-14372,
author = {Daniel Peixoto Pinto da Silva and
Edresson Casanova and
Lucas Rafael Stefanel Gris and
Arnaldo C{\^{a}}ndido J{\'{u}}nior and
Marcelo Finger and
Flaviane Romani Fernandes Svartman and
Beatriz Raposo de Medeiros and
Marcus Vin{\'{\i}}cius Moreira Martins and
Sandra Maria Alu{\'{\i}}sio and
Larissa Cristina Berti and
Jo{\~{a}}o Paulo Teixeira},
title = {Interpretability Analysis of Deep Models for {COVID-19} Detection},
journal = {CoRR},
volume = {abs/2211.14372},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.14372},
doi = {10.48550/ARXIV.2211.14372},
eprinttype = {arXiv},
eprint = {2211.14372},
timestamp = {Fri, 09 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-14372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/CasanovaGCSGSLC21,
author = {Edresson Casanova and
Lucas Gris and
Augusto Camargo Neto and
Daniel Peixoto Pinto da Silva and
Murilo Gazzola and
Ester C. Sabino and
Anna Levin and
Arnaldo Candido Jr. and
Sandra M. Alu{\'{\i}}sio and
Marcelo Finger},
editor = {Chengqing Zong and
Fei Xia and
Wenjie Li and
Roberto Navigli},
title = {Deep Learning against {COVID-19:} Respiratory Insufficiency Detection
in Brazilian Portuguese Speech},
booktitle = {Findings of the Association for Computational Linguistics: {ACL/IJCNLP}
2021, Online Event, August 1-6, 2021},
series = {Findings of {ACL}},
volume = {{ACL/IJCNLP} 2021},
pages = {625--633},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.findings-acl.55},
doi = {10.18653/V1/2021.FINDINGS-ACL.55},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/CasanovaGCSGSLC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/CasanovaCJFGPS21,
author = {Edresson Casanova and
Arnaldo Candido Jr. and
Ricardo Corso Fernandes Junior and
Marcelo Finger and
Lucas Rafael Stefanel Gris and
Moacir Antonelli Ponti and
Daniel Peixoto Pinto da Silva},
editor = {Hynek Hermansky and
Honza Cernock{\'{y}} and
Luk{\'{a}}s Burget and
Lori Lamel and
Odette Scharenborg and
Petr Motl{\'{\i}}cek},
title = {Transfer Learning and Data Augmentation Techniques to the {COVID-19}
Identification Tasks in ComParE 2021},
booktitle = {Interspeech 2021, 22nd Annual Conference of the International Speech
Communication Association, Brno, Czechia, 30 August - 3 September
2021},
pages = {446--450},
publisher = {{ISCA}},
year = {2021},
url = {https://doi.org/10.21437/Interspeech.2021-1798},
doi = {10.21437/INTERSPEECH.2021-1798},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/CasanovaCJFGPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FingerP20,
author = {Marcelo Finger and
Sandro Preto},
title = {Probably Partially True: Satisfiability for {\L}ukasiewicz Infinitely-Valued
Probabilistic Logic and Related Topics},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1269--1286},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09558-9},
doi = {10.1007/S10817-020-09558-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FingerP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/SouzaF20,
author = {Jackson Jos{\'{e}} de Souza and
Marcelo Finger},
editor = {Ricardo Cerri and
Ronaldo C. Prati},
title = {Robust Ranking of Brazilian Supreme Court Decisions},
booktitle = {Intelligent Systems - 9th Brazilian Conference, {BRACIS} 2020, Rio
Grande, Brazil, October 20-23, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12319},
pages = {581--594},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61377-8\_40},
doi = {10.1007/978-3-030-61377-8\_40},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bracis/SouzaF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/PretoF20,
author = {Sandro Preto and
Marcelo Finger},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {An Efficient Algorithm for Representing Piecewise Linear Functions
into Logic},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {167--186},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.009},
doi = {10.1016/J.ENTCS.2020.08.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/PretoF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl-deeplo/SalvatoreFH19,
author = {Felipe Salvatore and
Marcelo Finger and
Roberto Hirata Jr.},
editor = {Colin Cherry and
Greg Durrett and
George F. Foster and
Reza Haffari and
Shahram Khadivi and
Nanyun Peng and
Xiang Ren and
Swabha Swayamdipta},
title = {A logical-based corpus for cross-lingual evaluation},
booktitle = {Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource
NLP, DeepLo@EMNLP-IJCNLP 2019, Hong Kong, China, November 3, 2019},
pages = {22--30},
publisher = {Association for Computational Linguistics},
year = {2019},
url = {https://doi.org/10.18653/v1/D19-6103},
doi = {10.18653/V1/D19-6103},
timestamp = {Thu, 05 Aug 2021 17:36:17 +0200},
biburl = {https://dblp.org/rec/conf/acl-deeplo/SalvatoreFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Finger19,
author = {Marcelo Finger},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Extending {\textdollar}{\textdollar}{\textbackslash}mathscr \{E{\textbackslash}!L\}{\^{}}\{++\}{\textdollar}{\textdollar}
with Linear Constraints on the Probability of Axioms},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {286--300},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_13},
doi = {10.1007/978-3-030-22102-7\_13},
timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Finger19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/SalvatorePFH19,
author = {Felipe Salvatore and
Sandro Preto and
Marcelo Finger and
Roberto Hirata Jr.},
editor = {Derek Doran and
Artur S. d'Avila Garcez and
Freddy L{\'{e}}cu{\'{e}}},
title = {Using neural models to perform inference},
booktitle = {Proceedings of the 2019 International Workshop on Neural-Symbolic
Learning and Reasoning (NeSy 2019), Annual workshop of the Neural-Symbolic
Learning and Reasoning Association, Macao, China, August 12, 2019},
year = {2019},
timestamp = {Wed, 28 Dec 2022 16:42:43 +0100},
biburl = {https://dblp.org/rec/conf/nesy/SalvatorePFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05665,
author = {Marcelo Finger},
title = {Quantitative Logic Reasoning},
journal = {CoRR},
volume = {abs/1905.05665},
year = {2019},
url = {http://arxiv.org/abs/1905.05665},
eprinttype = {arXiv},
eprint = {1905.05665},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10405,
author = {Marcelo Finger},
title = {Extending Description Logic {EL++} with Linear Constraints on the
Probability of Axioms},
journal = {CoRR},
volume = {abs/1908.10405},
year = {2019},
url = {http://arxiv.org/abs/1908.10405},
eprinttype = {arXiv},
eprint = {1908.10405},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FingerP18,
author = {Marcelo Finger and
Sandro Preto},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Probably Half True: Probabilistic Satisfiability over {\L}ukasiewicz
Infinitely-Valued Logic},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {194--210},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_14},
doi = {10.1007/978-3-319-94205-6\_14},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/FingerP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-04329,
author = {Fabiano Ferreira Luz and
Marcelo Finger},
title = {Semantic Parsing Natural Language into {SPARQL:} Improving Target
Language Representation with Neural Attention},
journal = {CoRR},
volume = {abs/1803.04329},
year = {2018},
url = {http://arxiv.org/abs/1803.04329},
eprinttype = {arXiv},
eprint = {1803.04329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-04329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-07108,
author = {Fabiano Ferreira Luz and
Marcelo Finger},
title = {Semantic Parsing: Syntactic assurance to target sentence using {LSTM}
Encoder CFG-Decoder},
journal = {CoRR},
volume = {abs/1807.07108},
year = {2018},
url = {http://arxiv.org/abs/1807.07108},
eprinttype = {arXiv},
eprint = {1807.07108},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-07108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/FingerGPQ17,
author = {Marcelo Finger and
Llu{\'{\i}}s Godo and
Henri Prade and
Guilin Qi},
title = {Advances in Weighted Logics for Artificial Intelligence},
journal = {Int. J. Approx. Reason.},
volume = {88},
pages = {385--386},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2017.06.014},
doi = {10.1016/J.IJAR.2017.06.014},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/FingerGPQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FingerB17,
author = {Marcelo Finger and
Glauber De Bona},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Algorithms for Deciding Counting Quantifiers over Unary Predicates},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3878--3884},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11129},
doi = {10.1609/AAAI.V31I1.11129},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FingerB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2017,
editor = {Clare Dixon and
Marcelo Finger},
title = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4},
doi = {10.1007/978-3-319-66167-4},
isbn = {978-3-319-66166-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonaFRSW16,
author = {Glauber De Bona and
Marcelo Finger and
M{\'{a}}rcio Moretto Ribeiro and
Yuri David Santos and
Renata Wassermann},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Consolidating Probabilistic Knowledge Bases via Belief Contraction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {125--134},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/BonaFRSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonaF15,
author = {Glauber De Bona and
Marcelo Finger},
title = {Measuring inconsistency in probabilistic logic: rationality postulates
and Dutch book interpretation},
journal = {Artif. Intell.},
volume = {227},
pages = {140--164},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.06.006},
doi = {10.1016/J.ARTINT.2015.06.006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BonaF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FingerB15,
author = {Marcelo Finger and
Glauber De Bona},
title = {Probabilistic satisfiability: algorithms with the presence and absence
of a phase transition},
journal = {Ann. Math. Artif. Intell.},
volume = {75},
number = {3-4},
pages = {351--389},
year = {2015},
url = {https://doi.org/10.1007/s10472-015-9466-6},
doi = {10.1007/S10472-015-9466-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/FingerB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BonaCF15,
author = {Glauber De Bona and
F{\'{a}}bio Gagliardi Cozman and
Marcelo Finger},
title = {Generalized probabilistic satisfiability through integer programming},
journal = {J. Braz. Comput. Soc.},
volume = {21},
number = {1},
pages = {11},
year = {2015},
url = {https://doi.org/10.1186/s13173-015-0028-x},
doi = {10.1186/S13173-015-0028-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbcs/BonaCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FingerK15,
author = {Marcelo Finger and
Delia Kesner},
title = {Special Issue: Selected papers of the 7th and 8th workshops on Logical
and Semantic Frameworks with Applications {(LSFA)}},
journal = {Theor. Comput. Sci.},
volume = {606},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.10.028},
doi = {10.1016/J.TCS.2015.10.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FingerK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/OleynikFP15,
author = {Michel Oleynik and
Marcelo Finger and
Diogo F. C. Patr{\~{a}}o},
editor = {Indra Neil Sarkar and
Andrew Georgiou and
Paulo Mazzoncini de Azevedo Marques},
title = {Automated Classification of Pathology Reports},
booktitle = {{MEDINFO} 2015: eHealth-enabled Health - Proceedings of the 15th World
Congress on Health and Biomedical Informatics, S{\~{a}}o Paulo, Brazil,
19-23 August 2015},
series = {Studies in Health Technology and Informatics},
volume = {216},
pages = {1040},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-564-7-1040},
doi = {10.3233/978-1-61499-564-7-1040},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/OleynikFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArrudaF14,
author = {Alexandre Matos Arruda and
Marcelo Finger},
title = {Completeness for cut-based abduction},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {286--296},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt028},
doi = {10.1093/JIGPAL/JZT028},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ArrudaF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BonaCF14,
author = {Glauber De Bona and
F{\'{a}}bio Gagliardi Cozman and
Marcelo Finger},
title = {Towards classifying propositional probabilistic logics},
journal = {J. Appl. Log.},
volume = {12},
number = {3},
pages = {349--368},
year = {2014},
url = {https://doi.org/10.1016/j.jal.2014.01.005},
doi = {10.1016/J.JAL.2014.01.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BonaCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2013,
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
publisher = {Elsevier},
year = {2014},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/FingerR13,
author = {Marcelo Finger and
Poliana M. Reis},
title = {On the Predictability of Classical Propositional Logic},
journal = {Inf.},
volume = {4},
number = {1},
pages = {60--74},
year = {2013},
url = {https://doi.org/10.3390/info4010060},
doi = {10.3390/INFO4010060},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/FingerR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DAgostinoFG13,
author = {Marcello D'Agostino and
Marcelo Finger and
Dov M. Gabbay},
title = {Semantics and proof-theory of depth bounded Boolean logics},
journal = {Theor. Comput. Sci.},
volume = {480},
pages = {43--68},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.02.014},
doi = {10.1016/J.TCS.2013.02.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DAgostinoFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/MoraisF13,
author = {Eduardo Menezes de Morais and
Marcelo Finger},
title = {Probabilistic Answer Set Programming},
booktitle = {Brazilian Conference on Intelligent Systems, {BRACIS} 2013, Fortaleza,
CE, Brazil, 19-24 October, 2013},
pages = {150--156},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/BRACIS.2013.33},
doi = {10.1109/BRACIS.2013.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/MoraisF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/BonaCF13,
author = {Glauber De Bona and
F{\'{a}}bio Gagliardi Cozman and
Marcelo Finger},
title = {Generalized Probabilistic Satisfiability},
booktitle = {Brazilian Conference on Intelligent Systems, {BRACIS} 2013, Fortaleza,
CE, Brazil, 19-24 October, 2013},
pages = {182--188},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/BRACIS.2013.38},
doi = {10.1109/BRACIS.2013.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/BonaCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ontobras/PatraoBFW13,
author = {Diogo F. C. Patr{\~{a}}o and
Helena Paula Brentani and
Marcelo Finger and
Renata Wassermann},
editor = {Marcello Peixoto Bax and
Mauricio Barcellos Almeida and
Renata Wassermann},
title = {Ontocloud - a Clinical Information Ontology Based Data Integration
System},
booktitle = {Proceedings of the 6th Seminar on Ontology Research in Brazil, Belo
Horizonte, Brazil, September 23, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1041},
pages = {118--129},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1041/ontobras-2013\_paper36.pdf},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ontobras/PatraoBFW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FingerLGS13,
author = {Marcelo Finger and
Ronan LeBras and
Carla P. Gomes and
Bart Selman},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Solutions for Hard and Soft Constraints Using Optimized Probabilistic
Satisfiability},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {233--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_18},
doi = {10.1007/978-3-642-39071-5\_18},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/FingerLGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stil/SilvaF13,
author = {William D. Colen M. Silva and
Marcelo Finger},
title = {Improving CoGrOO: the Brazilian Portuguese Grammar Checker},
booktitle = {Proceedings of the 9th Brazilian Symposium in Information and Human
Language Technology, {STIL} 2013, Fortaleza, Brazil, October 21-23,
2013},
publisher = {Brazilian Computer Society},
year = {2013},
url = {https://aclanthology.org/W13-4803/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stil/SilvaF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezF14,
author = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Preface},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {1--3},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.001},
doi = {10.1016/J.ENTCS.2014.06.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FernandezF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Finger12,
author = {Marcelo Finger},
title = {Towards automated first-order abduction: the cut-based approach},
journal = {Log. J. {IGPL}},
volume = {20},
number = {2},
pages = {370--387},
year = {2012},
url = {https://doi.org/10.1093/jigpal/jzq052},
doi = {10.1093/JIGPAL/JZQ052},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Finger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbia/2012,
editor = {Leliane Nunes de Barros and
Marcelo Finger and
Aurora T. R. Pozo and
Gustavo Alberto Gim{\'{e}}nez Lugo and
Marcos A. Castilho},
title = {Advances in Artificial Intelligence - {SBIA} 2012 - 21th Brazilian
Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7589},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34459-6},
doi = {10.1007/978-3-642-34459-6},
isbn = {978-3-642-34458-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbia/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-4144,
author = {Adolfo Neto and
Celso A. A. Kaestner and
Marcelo Finger},
title = {Towards an efficient prover for the {C1} paraconsistent logic},
journal = {CoRR},
volume = {abs/1202.4144},
year = {2012},
url = {http://arxiv.org/abs/1202.4144},
eprinttype = {arXiv},
eprint = {1202.4144},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FingerWC11,
author = {Marcelo Finger and
Renata Wassermann and
F{\'{a}}bio Gagliardi Cozman},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Satisfiability in {EL} with Sets of Probabilistic ABoxes},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FingerWC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FingerB11,
author = {Marcelo Finger and
Glauber De Bona},
editor = {Toby Walsh},
title = {Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {528--533},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-096},
doi = {10.5591/978-1-57735-516-8/IJCAI11-096},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FingerB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stil/FilocomoFP11,
author = {F{\'{a}}bio Filocomo and
Marcelo Finger and
Diogo F. C. Patr{\~{a}}o},
title = {Resolu{\c{c}}{\~{a}}o da Heterogeneidade na Identifica{\c{c}}{\~{a}}o
de Pacientes (Resolution of Heterogeneity in the Identification of
Patients) [in Portuguese]},
booktitle = {Proceedings of the 8th Brazilian Symposium in Information and Human
Language Technology, {STIL} 2011, Cuiaba, Brazil, October 24-16, 2011},
publisher = {Brazilian Special Interest Group on Natural Language Processing},
year = {2011},
url = {https://aclanthology.org/W11-4526/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stil/FilocomoFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1203-6161,
author = {Anderson de Ara{\'{u}}jo and
Marcelo Finger},
editor = {Simona Ronchi Della Rocca and
Elaine Pimentel},
title = {Classical and quantum satisfiability},
booktitle = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011},
series = {{EPTCS}},
volume = {81},
pages = {79--84},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.81.6},
doi = {10.4204/EPTCS.81.6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/FingerBC10,
author = {Marcelo Finger and
Germano Capistrano Bezerra and
Danilo R. Conde},
title = {Resource use pattern analysis for predicting resource availability
in opportunistic grids},
journal = {Concurr. Comput. Pract. Exp.},
volume = {22},
number = {3},
pages = {295--313},
year = {2010},
url = {https://doi.org/10.1002/cpe.1478},
doi = {10.1002/CPE.1478},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/FingerBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/SilvaKGFCFC10,
author = {Francisco Jos{\'{e}} da Silva e Silva and
Fabio Kon and
Alfredo Goldman and
Marcelo Finger and
Raphael Y. de Camargo and
Fernando Castor Filho and
F{\'{a}}bio M. Costa},
title = {Application execution management on the InteGrade opportunistic grid
middleware},
journal = {J. Parallel Distributed Comput.},
volume = {70},
number = {5},
pages = {573--583},
year = {2010},
url = {https://doi.org/10.1016/j.jpdc.2010.01.010},
doi = {10.1016/J.JPDC.2010.01.010},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/SilvaKGFCFC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Finger10,
author = {Marcelo Finger},
title = {Analytic Methods for the Logic of Proofs},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {167--188},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn065},
doi = {10.1093/LOGCOM/EXN065},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Finger10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/FingerB10,
author = {Marcelo Finger and
Glauber De Bona},
editor = {{\'{A}}ngel Fernando Kuri Morales and
Guillermo Ricardo Simari},
title = {A Logic Based Algorithm for Solving Probabilistic Satisfiability},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2010, 12th Ibero-American
Conference on AI, Bah{\'{\i}}a Blanca, Argentina, November 1-5,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6433},
pages = {453--462},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16952-6\_46},
doi = {10.1007/978-3-642-16952-6\_46},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/FingerB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/KeplerF10,
author = {F{\'{a}}bio Natanael Kepler and
Marcelo Finger},
editor = {Thamar Solorio and
Ted Pedersen},
title = {Variable-Length Markov Models and Ambiguous Words in Portuguese},
booktitle = {Proceedings of the {NAACL} {HLT} 2010 Young Investigators Workshop
on Computational Approaches to Languages of the Americas, Los Angeles,
CA, USA, June 6, 2010},
pages = {15--23},
publisher = {Association for Computational Linguistics},
year = {2010},
url = {https://aclanthology.org/W10-1603/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/KeplerF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/FingerB10,
author = {Marcelo Finger and
Glauber De Bona},
editor = {Ant{\^{o}}nio Carlos da Rocha Costa and
Rosa Maria Vicari and
Flavio Tonidandel},
title = {A Refuted Conjecture on Probabilistic Satisfiability},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
Brazil, October 23-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6404},
pages = {293--302},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16138-4\_30},
doi = {10.1007/978-3-642-16138-4\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbia/FingerB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FingerH10,
author = {Marcelo Finger and
Mauricio S. C. Hernandes},
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Entailment Multipliers: An Algebraic Characterization of Validity
for Classical and Modal Logics},
booktitle = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
pages = {1--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9\_1},
doi = {10.1007/978-3-642-13824-9\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/FingerH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NetoKF09,
author = {Adolfo Neto and
Celso A. A. Kaestner and
Marcelo Finger},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Towards an Efficient Prover for the C\({}_{\mbox{1}}\) Paraconsistent
Logic},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {87--102},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.007},
doi = {10.1016/J.ENTCS.2009.11.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NetoKF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/RabelloF08,
author = {Guilherme de Souza Rabello and
Marcelo Finger},
title = {Approximations of modal logics: {K} and beyond},
journal = {Ann. Pure Appl. Log.},
volume = {152},
number = {1-3},
pages = {161--173},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.11.009},
doi = {10.1016/J.APAL.2007.11.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/RabelloF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DAgostinoFG08,
author = {Marcello D'Agostino and
Marcelo Finger and
Dov M. Gabbay},
title = {Cut-Based Abduction},
journal = {Log. J. {IGPL}},
volume = {16},
number = {6},
pages = {537--560},
year = {2008},
url = {https://doi.org/10.1093/jigpal/jzn020},
doi = {10.1093/JIGPAL/JZN020},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/DAgostinoFG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/FingerBC08,
author = {Marcelo Finger and
Germano Capistrano Bezerra and
Danilo R. Conde},
editor = {Bruno Schulze and
Geoffrey C. Fox},
title = {Resource use pattern analysis for opportunistic grids},
booktitle = {Proceedings of the 6th International Workshop on Middleware for Grid
Computing {(MGC} 2008), held at the {ACM/IFIP/USENIX} 9th International
Middleware Conference, December 1-5, Leuven, Belgium},
pages = {8},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1462704.1462712},
doi = {10.1145/1462704.1462712},
timestamp = {Tue, 06 Nov 2018 16:57:13 +0100},
biburl = {https://dblp.org/rec/conf/middleware/FingerBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/FingerW08,
author = {Marcelo Finger and
Renata Wassermann},
editor = {Gerson Zaverucha and
Augusto Cesar Pinto Loureiro da Costa},
title = {Revising Specifications with {CTL} Properties Using Bounded Model
Checking},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2008, 19th Brazilian
Symposium on Artificial Intelligence, Savador, Brazil, October 26-30,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5249},
pages = {157--166},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88190-2\_21},
doi = {10.1007/978-3-540-88190-2\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbia/FingerW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Finger09,
author = {Marcelo Finger},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Using Abduction to Compute Efficient Proofs},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {39--49},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.047},
doi = {10.1016/J.ENTCS.2009.07.047},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Finger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FingerG07,
author = {Marcelo Finger and
Dov M. Gabbay},
title = {Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based
Proofs},
journal = {Log. J. {IGPL}},
volume = {15},
number = {5-6},
pages = {553--575},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm040},
doi = {10.1093/JIGPAL/JZM040},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FingerG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FingerW07,
author = {Marcelo Finger and
Renata Wassermann},
title = {Anytime Approximations of Classical Logic from Above},
journal = {J. Log. Comput.},
volume = {17},
number = {1},
pages = {53--82},
year = {2007},
url = {https://doi.org/10.1093/logcom/exl018},
doi = {10.1093/LOGCOM/EXL018},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FingerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/FingerG06,
author = {Marcelo Finger and
Dov M. Gabbay},
title = {Cut and Pay},
journal = {J. Log. Lang. Inf.},
volume = {15},
number = {3},
pages = {195--218},
year = {2006},
url = {https://doi.org/10.1007/s10849-005-9001-y},
doi = {10.1007/S10849-005-9001-Y},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/FingerG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FingerW06,
author = {Marcelo Finger and
Renata Wassermann},
title = {The universe of propositional approximations},
journal = {Theor. Comput. Sci.},
volume = {355},
number = {2},
pages = {153--166},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.007},
doi = {10.1016/J.TCS.2006.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FingerW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/KeplerF06,
author = {F{\'{a}}bio N. Kepler and
Marcelo Finger},
editor = {Jaime Sim{\~{a}}o Sichman and
Helder Coelho and
Solange Oliveira Rezende},
title = {Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA-SBIA} 2006, 2nd International
Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian
{AI} Symposium, Ribeir{\~{a}}o Preto, Brazil, October 23-27, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4140},
pages = {482--491},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874850\_52},
doi = {10.1007/11874850\_52},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iberamia/KeplerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/NetoF06,
author = {Adolfo Gustavo Serra Seca Neto and
Marcelo Finger},
editor = {Max Bramer},
title = {Effective Prover for Minimal Inconsistency Logic},
booktitle = {Artificial Intelligence in Theory and Practice, {IFIP} 19th World
Computer Congress, {TC} 12: {IFIP} {AI} 2006 Stream, August 21-24,
2006, Santiago, Chile},
series = {{IFIP}},
volume = {217},
pages = {465--474},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-34747-9\_48},
doi = {10.1007/978-0-387-34747-9\_48},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/NetoF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/JrVKF06,
author = {Jos{\'{e}} de R. P. Braga Jr. and
Alexandre Ceasar Tavares Vidal and
Fabio Kon and
Marcelo Finger},
editor = {Bruno Schulze and
David Abramson and
Radha Nandkumar and
Rajkumar Buyya},
title = {Trust in large-scale computational grids: an {SPKI/SDSI} extension
for representing opinion},
booktitle = {Proceedings of the 4th international workshop on Middleware for grid
computing, {MCG} 2006, Melbourne, Australia, November 27 - December
1, 2006},
pages = {7},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1186675.1186683},
doi = {10.1145/1186675.1186683},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/middleware/JrVKF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/propor/KeplerF06,
author = {F{\'{a}}bio Natanael Kepler and
Marcelo Finger},
editor = {Renata Vieira and
Paulo Quaresma and
Maria das Gra{\c{c}}as Volpe Nunes and
Nuno J. Mamede and
Claudia Oliveira and
Maria Carmelita Dias},
title = {Part-of-Speech Tagging of Portuguese Based on Variable Length Markov
Chains},
booktitle = {Computational Processing of the Portuguese Language, 7th International
Workshop, {PROPOR} 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3960},
pages = {248--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11751984\_32},
doi = {10.1007/11751984\_32},
timestamp = {Fri, 27 Mar 2020 09:00:22 +0100},
biburl = {https://dblp.org/rec/conf/propor/KeplerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Finger05,
author = {Marcelo Finger},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {{DAG} Sequents with Substitution},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {671--686},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Finger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SilvaWMBF05,
author = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
Renata Wassermann and
Ana Cristina Vieira de Melo and
Leliane Nunes de Barros and
Marcelo Finger},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {Intelligent mobile multi-robotic systems: some challenges and possible
solutions},
booktitle = {{ICINCO} 2005, Proceedings of the Second International Conference
on Informatics in Control, Automation and Robotics, Barcelona, Spain,
September 14-17, 2005, 4 Volumes / {CD}},
pages = {479--485},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Mon, 31 Oct 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/SilvaWMBF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/FajardoF05,
author = {Rogerio Fajardo and
Marcelo Finger},
editor = {Bhanu Prasad},
title = {How Not to Combine Modal Logics},
booktitle = {Proceedings of the 2nd Indian International Conference on Artificial
Intelligence, Pune, India, December 20-22, 2005},
pages = {1629--1647},
publisher = {{IICAI}},
year = {2005},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/FajardoF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RabelloF06,
author = {Guilherme de Souza Rabello and
Marcelo Finger},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Approximations of Modal Logic {K}},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {171--184},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.040},
doi = {10.1016/J.ENTCS.2005.04.040},
timestamp = {Mon, 05 Dec 2022 16:35:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RabelloF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/GoldchlegerKGFB04,
author = {Andrei Goldchleger and
Fabio Kon and
Alfredo Goldman and
Marcelo Finger and
Germano Capistrano Bezerra},
title = {InteGrade: object-oriented Grid middleware leveraging the idle computing
power of desktop machines},
journal = {Concurr. Pract. Exp.},
volume = {16},
number = {5},
pages = {449--459},
year = {2004},
url = {https://doi.org/10.1002/cpe.824},
doi = {10.1002/CPE.824},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/GoldchlegerKGFB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FingerW04,
author = {Marcelo Finger and
Renata Wassermann},
title = {Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity
and Control},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {179--204},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.179},
doi = {10.1093/LOGCOM/14.2.179},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FingerW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrodaDFS04,
author = {Sabine Broda and
Lu{\'{\i}}s Damas and
Marcelo Finger and
Paulo Silva e Silva},
title = {The decidability of a fragment of BB'IW-logic},
journal = {Theor. Comput. Sci.},
volume = {318},
number = {3},
pages = {373--408},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.02.002},
doi = {10.1016/J.TCS.2004.02.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrodaDFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Finger04,
author = {Marcelo Finger},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Polynomial Approximations of Full Propositional Logic via Limited
Bivalence},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {526--538},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_44},
doi = {10.1007/978-3-540-30227-8\_44},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Finger04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/Finger04,
author = {Marcelo Finger},
editor = {Ana L. C. Bazzan and
Sofiane Labidi},
title = {Towards Polynomial Approximations of Full Propositional Logic},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2004, 17th Brazilian
Symposium on Artificial Intelligence, S{\~{a}}o Luis, Maranh{\~{a}}o,
Brazil, September 29 - October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3171},
pages = {11--20},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28645-5\_2},
doi = {10.1007/978-3-540-28645-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/sbia/Finger04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/GoldchlegerKGF03,
author = {Andrei Goldchleger and
Fabio Kon and
Alfredo Goldman and
Marcelo Finger},
title = {InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing
Power of Desktop Machines},
booktitle = {International Middleware Conference, Workshop Proceedings, June 16-20,
2003, Rio de Janeiro, Brazil},
pages = {232--234},
publisher = {PUC-Rio},
year = {2003},
timestamp = {Thu, 17 Jul 2003 08:59:54 +0200},
biburl = {https://dblp.org/rec/conf/middleware/GoldchlegerKGF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FingerW03,
author = {Marcelo Finger and
Renata Wassermann},
editor = {Ruy J. G. B. de Queiroz and
Elaine Pimentel and
Luc{\'{\i}}lia Figueiredo},
title = {The Universe of Approximations},
booktitle = {10th Workshop on Logic, Language, Information and Computation, WoLLIC
2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {84},
pages = {91--104},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80847-8},
doi = {10.1016/S1571-0661(04)80847-8},
timestamp = {Mon, 05 Dec 2022 16:22:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FingerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FingerW02,
author = {Marcelo Finger and
M. Angela Weiss},
title = {The Unrestricted Combination of Temporal Logic Systems},
journal = {Log. J. {IGPL}},
volume = {10},
number = {2},
pages = {165--189},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.2.165},
doi = {10.1093/JIGPAL/10.2.165},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FingerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/SilvaVRBMFA02,
author = {Fl{\'{a}}vio S. Corr{\^{e}}a da Silva and
Wamberto Weber Vasconcelos and
David Stuart Robertson and
Virg{\'{\i}}nia V. B. Biris Brilhante and
Ana Cristina Vieira de Melo and
Marcelo Finger and
Jaume Agust{\'{\i}}{-}Cullell},
title = {On the insufficiency of ontologies: problems in knowledge sharing
and alternative solutions},
journal = {Knowl. Based Syst.},
volume = {15},
number = {3},
pages = {147--167},
year = {2002},
url = {https://doi.org/10.1016/S0950-7051(01)00152-6},
doi = {10.1016/S0950-7051(01)00152-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/SilvaVRBMFA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/FajardoF02,
author = {Rogerio Fajardo and
Marcelo Finger},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Non-normal Modalisation},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {83--96},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Fajardo-Finger.ps},
timestamp = {Wed, 17 Jan 2024 09:58:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/FajardoF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FingerW02,
author = {Marcelo Finger and
Renata Wassermann},
editor = {Frank van Harmelen},
title = {Expressivity and Control in Limited Reasoning},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {272--276},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/FingerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/FingerW02,
author = {Marcelo Finger and
Renata Wassermann},
editor = {Guilherme Bittencourt and
Geber L. Ramalho},
title = {Logics for Approximate Reasoning: Approximating Classical Logic "From
Above"},
booktitle = {Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial
Intelligence, {SBIA} 2002, Porto de Galinhas/Recife, Brazil, November
11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2507},
pages = {21--30},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36127-8\_3},
doi = {10.1007/3-540-36127-8\_3},
timestamp = {Fri, 11 Oct 2019 15:30:43 +0200},
biburl = {https://dblp.org/rec/conf/sbia/FingerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Finger00,
author = {Marcelo Finger},
title = {A logical reconstruction of temporal databases},
journal = {J. Log. Comput.},
volume = {10},
number = {6},
pages = {847--876},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.6.847},
doi = {10.1093/LOGCOM/10.6.847},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Finger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Finger00,
author = {Marcelo Finger},
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {Algorithmic Correspondence Theory for Substructural Categorial Logic},
booktitle = {Advances in Modal Logic 3, papers from the third conference on "Advances
in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
pages = {153--172},
publisher = {World Scientific},
year = {2000},
url = {https://doi.org/10.1142/9789812776471\_0009},
doi = {10.1142/9789812776471\_0009},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Finger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/FingerV00,
author = {Marcelo Finger and
Wamberto Weber Vasconcelos},
editor = {Maria Carolina Monard and
Jaime Sim{\~{a}}o Sichman},
title = {Sharing Resource-Sensitive Knowledge Using Combinator Logics},
booktitle = {Advances in Artificial Intelligence, International Joint Conference,
7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI,
{IBERAMIA-SBIA} 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1952},
pages = {196--206},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44399-1\_21},
doi = {10.1007/3-540-44399-1\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/sbia/FingerV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaFR99,
author = {Krysia Broda and
Marcelo Finger and
Alessandra Russo},
title = {Labelled Natural Deduction for Substructural Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {283--318},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.283},
doi = {10.1093/JIGPAL/7.3.283},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaFR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Finger98,
author = {Marcelo Finger},
title = {Towards Structurally-Free Theorem Proving},
journal = {Log. J. {IGPL}},
volume = {6},
number = {3},
pages = {425--449},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.3.425},
doi = {10.1093/JIGPAL/6.3.425},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Finger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozF98,
author = {Ruy J. G. B. de Queiroz and
Marcelo Finger},
title = {Conference Report: Workshop on Logic, Language, Information and Computation
(WoLLIC'98)},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {917--918},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.917},
doi = {10.1093/JIGPAL/6.6.917},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/Finger98,
author = {Marcelo Finger},
editor = {Michael Moortgat},
title = {Computational Solutions for Structural Constraints},
booktitle = {Logical Aspects of Computational Linguistics, Third International
Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2014},
pages = {11--30},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-45738-0\_2},
doi = {10.1007/3-540-45738-0\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lacl/Finger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FingerS98,
author = {Marcelo Finger and
Fl{\'{a}}vio S. Corr{\^{e}}a da Silva},
title = {Temporal Data Obsolescence: Modelling Problems},
booktitle = {5th Workshop on Temporal Representation and Reasoning, {TIME} '98,
Sanibel Island, Florida, USA, May 16-17, 1998},
pages = {45--50},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TIME.1998.674130},
doi = {10.1109/TIME.1998.674130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FingerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FingerKGK97,
author = {Marcelo Finger and
Rodger Kibble and
Dov M. Gabbay and
Ruth Kempson},
title = {Parsing Natural Language using {LDS:} {A} Prototype},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {647--671},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.647},
doi = {10.1093/JIGPAL/5.5.647},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FingerKGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FingerM97,
author = {Marcelo Finger and
Peter McBrien},
title = {Concurrency Control for Perceivedly Instantaneous Transactions in
Valid-Time Databases},
booktitle = {4th International Workshop on Temporal Representation and Reasoning,
{TIME} '97, Daytona Beach, Florida, USA, May 10-11, 1997},
pages = {112--118},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TIME.1997.600790},
doi = {10.1109/TIME.1997.600790},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FingerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FingerG96,
author = {Marcelo Finger and
Dov M. Gabbay},
title = {Combining Temporal Logic Systems},
journal = {Notre Dame J. Formal Log.},
volume = {37},
number = {2},
pages = {204--232},
year = {1996},
url = {https://doi.org/10.1305/ndjfl/1040046087},
doi = {10.1305/NDJFL/1040046087},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/FingerG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Finger92,
author = {Marcelo Finger},
title = {Handling database updates in two-dimensional temporal logic},
journal = {J. Appl. Non Class. Logics},
volume = {2},
number = {2},
pages = {201--224},
year = {1992},
url = {https://doi.org/10.1080/11663081.1992.10510782},
doi = {10.1080/11663081.1992.10510782},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Finger92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/FingerG92,
author = {Marcelo Finger and
Dov M. Gabbay},
title = {Adding a temporal dimension to a logic system},
journal = {J. Log. Lang. Inf.},
volume = {1},
number = {3},
pages = {203--233},
year = {1992},
url = {https://doi.org/10.1007/BF00156915},
doi = {10.1007/BF00156915},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/FingerG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FingerG92,
author = {Marcelo Finger and
Dov M. Gabbay},
editor = {Joachim Biskup and
Richard Hull},
title = {Updating Atomic Information in Labelled Database Systems},
booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin, Germany,
October 14-16, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {646},
pages = {188--200},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56039-4\_41},
doi = {10.1007/3-540-56039-4\_41},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FingerG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-27 23:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
