Alexandre Rademaker about me publications advising research teaching

Publications

  1. Rademaker, Alexandre, Guilherme Lima, and Renato Cerqueira. 2023. “Extracting Higher-Order Logic Formulas from English Sentences.” In Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023). https://aclanthology.org/2023.icnlsp-1.19/.Details
  2. Lima, Guilherme, Alexandre Rademaker, and Rosario Uceda-Sosa. 2023. “ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs.” In Formal Methods: Foundations and Applications, edited by Haniel Barbosa and Yoni Zohar, 55–71. Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-49342-3_4.Details
  3. Bond, Francis, Luis Morgado da Costa, Ewa Rudnicka, Alexandre Rademaker, and Michael Wayne Goodman. 2023. “Documenting the Open Multilingual Wordnet.” In Proceedings of the 12th Global Wordnet Conference, 150–57. Donostia, Spain.Details
  4. Rademaker, Alexandre, Abhishek Basu, and Rajkiran Veluri. 2023. “Semantic Parsing and Sense Tagging the Princeton WordNet Gloss Corpus.” In Proceedings of the 12th Global Wordnet Conference, 243–53. Donostia, Spain.Details
  5. Jindal, Ishan, Alexandre Rademaker, Khoi-Nguyen Tran, Huaiyu Zhu, Hiroshi Kanayama, Marina Danilevsky, and Yunyao Li. 2022. “PriMeSRL-Eval: A Practical Quality Metric for Semantic Role Labeling Systems Evaluation.” https://arxiv.org/abs/2210.06408.Details
  6. Jindal, Ishan, Alexandre Rademaker, Michał Ulewicz, Ha Linh, Huyen Nguyen, Khoi-Nguyen Tran, Huaiyu Zhu, and Yunyao Li. 2022. “Universal Proposition Bank 2.0.” In Proceedings of the Language Resources and Evaluation Conference, 1700–1711. Marseille, France: European Language Resources Association. https://aclanthology.org/2022.lrec-1.181.Details
  7. Alencar, Leonel Figueiredo de, Lucas Ribeiro Coutinho, Wellington José Leite da Silva, Ana Luiza Nunes, and Alexandre Rademaker. 2022. “Extracting Valences from a Dependency Treebank For Populating the Verb Lexicon of a Portuguese HPSG Grammar.” In Proceedings of the International Conference on the Computational Processing of Portuguese (PROPOR). https://link.springer.com/chapter/10.1007/978-3-030-98305-5_34.Details
  8. Alencar, Leonel Figueiredo de, and Alexandre Rademaker. 2022. “Modelação Da Valência Verbal Numa Gramática Computacional Do Português No Formalismo HPSG.” Domínios De Lingu@Gem, March, 1–63. https://seer.ufu.br/index.php/dominiosdelinguagem/article/view/64132.Details
  9. Silva, Wellington, Alexandre Rademaker, and Leonel F. de Alencar. 2021. “Explorando a Revisão De Corpora Por Meio Da Comparação De Regras Gramaticais Em Padrões Sintáticos.” In Proceedings of the XIII Brazilian Symposium in Information and Human Language Technology and Collocated Events, edited by Evandro Eduardo Seron Ruiz and Tiago Timponi Torrent, 11–18. https://sol.sbc.org.br/index.php/stil/article/view/17780.Details
  10. Nunes, Ana Luiza, Alexandre Rademaker, and Leonel F. de Alencar. 2021. “Utilizando Um Dicionário Morfológico Para Expandir a Cobertura Lexical De Uma Gramática Do Português No Formalismo HPSG.” In Proceedings of the XIII Brazilian Symposium in Information and Human Language Technology and Collocated Events, edited by Evandro Eduardo Seron Ruiz and Tiago Timponi Torrent, 11–18. https://sol.sbc.org.br/index.php/stil/article/view/17779.Details
  11. Pease, Adam, Paulo Santos, and Alexandre Rademaker. 2021. “A Corpus of Spatial Reasoning Problems.” In Proceedings of the 6th Conference on Artificial Intelligence and Theorem Proving. Aussois and online, France.Details
  12. Gonçalo Oliveira, Hugo, Fredson Silva de Souza Aguiar, and Alexandre Rademaker. 2021. “On the Utility of Word Embeddings for Enriching OpenWordNet-PT.” In 3rd Conference on Language, Data and Knowledge (LDK 2021), edited by Dagmar Gromann, Gilles Sérasset, Thierry Declerck, John P. McCrae, Jorge Gracia, Julia Bosque-Gil, Fernando Bobillo, and Barbara Heinisch, 93:21:1–21:13. Open Access Series in Informatics (OASIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.LDK.2021.21.Details
  13. Iwamoto, Ran, Hiroshi Kanayama, Alexandre Rademaker, and Takuya Ohko. 2021. “A Universal Dependencies Corpora Maintenance Methodology Using Downstream Application.” In Proceedings of the Third Workshop on Computational Typology and Multilingual NLP, 23–31. Online: Association for Computational Linguistics. https://doi.org/10.18653/v1/2021.sigtyp-1.3.Details
  14. McCrae, John P., Michael Wayne Goodman, Francis Bond, Alexandre Rademaker, Ewa Rudnicka, and Luis Morgado Da Costa. 2021. “The GlobalWordNet Formats: Updates for 2020.” In Proceedings of the 11th Global Wordnet Conference, 91–99. University of South Africa (UNISA): Global Wordnet Association. https://www.aclweb.org/anthology/2021.gwc-1.11.Details
  15. Antunesa, Cauã Roca, Alexandre Rademakerb, and Mara Abela. 2021. “A Faster and Less Aggressive Algorithm for Correcting Conservativity Violations in Ontology Alignments.” Applied Ontology. https://content.iospress.com/articles/applied-ontology/ao210243.Details
  16. McCrae, John Philip, Alexandre Rademaker, Ewa Rudnicka, and Francis Bond. 2020. “English WordNet 2020: Improving and Extending a WordNet for English Using an Open-Source Methodology.” In Proceedings of the LREC 2020 Workshop on Multimodal Wordnets (MMW2020), 14–19. Marseille, France: The European Language Resources Association (ELRA). https://www.aclweb.org/anthology/2020.mmw-1.3.Details
  17. Tessarollo, Alexandre, and Alexandre Rademaker. 2020. “Inclusion of Lithological Terms (Rocks and Minerals) in The Open Wordnet for English.” In Proceedings of the Workshop on Multimodal Wordnets, edited by Thierry Declerck, Itziar Gonzalez-Dios, and German Rigau, 33–38. Marseille, France. https://lrec2020.lrec-conf.org/en/workshops-and-tutorials/2020-workshops/.Details
  18. Ribeiro, Lucas, Jaqueline P. Zulini, and Alexandre Rademaker. 2020. “The Construction of a Corpus from the Brazilian Historical-Biographical Dictionary.” In Computational Processing of the Portuguese Language, edited by Paulo Quaresma, Renata Vieira, Sandra Aluísio, Helena Moniz, Fernando Batista, and Teresa Gonçalves, 109–17. Cham: Springer International Publishing.Details
  19. Antunes, Cauã Roca, Alexandre Rademaker, and Mara Abel. 2019. “A Category-Theoretic Approach for the Detection of Conservativity Violations in Ontology Alignments.” In Proceedings of the XII Seminar on Ontology Research in Brazil, edited by João Paulo A. Almeida, Marcello Bax, Rita Berardi, and Fernanda Baião, 2519:11–20. Porto Alegre, RS.Details
  20. Rademaker, Alexandre, Alexandre Tessarollo, and Henrique Muniz Adam Pease. 2019. “Extending SUMO to Geological Times.” In Proceedings of the XII Seminar on Ontology Research in Brazil, edited by João Paulo A. Almeida, Marcello Bax, Rita Berardi, and Fernanda Baião, 2519:70–82. Porto Alegre, RS.Details
  21. Rademaker, Alexandre, Bruno Cuconato, Alessandra Cid, Alexandre Tessarollo, and Henrique Andrade. 2019. “Completing the Princeton Annotated Gloss Corpus Project.” In Proceedigns of the 10th Global Wordnet Conference. Global Wordnet Association.Details
  22. Paiva, Valeria de, and Alexandre Rademaker. 2019. “Portuguese Manners of Speaking.” In Proceedigns of the 10th Global Wordnet Conference. Global Wordnet Association.Details
  23. McCrae, John P., Alexandre Rademaker, Francis Bond, Ewa Rudnicka, and Christiane Fellbaum. 2019. “English WordNet 2019 – An Open-Source WordNet for English.” In Proceedigns of the 10th Global Wordnet Conference. Global Wordnet Association.Details
  24. Oliveira, Hugo Gonçalo, and Alexandre Rademaker. 2019. “Fast Developing of a Natural Language Interface for a Portuguese WordNet: Leveraging on Sentence Embeddings.” In Proceedigns of the 10th Global Wordnet Conference. Global Wordnet Association.Details
  25. Alkmim, Bernardo, Edward Hermann Haeusler, and Alexandre Rademaker. 2019. “Utilizando IALC Para Formalizar a Legislação Brasileira.” In 19th Brazilian Logic Conference: Book of Abstracts. João Pessoa.Details
  26. Higuchi, Suemi, Diana Santos, Cláudia Freitas, and Alexandre Rademaker. 2019. “Distant Reading Brazilian Politics.” In Proceedings of the Digital Humanities in the Nordic Countries 4th Conference, edited by Costanza Navarretta, Manex Agirrezabal, and Bente Maegaard. Vol. 2364. Copenhagen, Denmark.Details
  27. Alencar, Leonel Figueiredo de, Bruno Cuconato, and Alexandre Rademaker. 2018. “MorphoBR: An Open Source Large-Coverage Full-Form Lexicon for Morphological Analysis of Portuguese.” Texto Livre: Linguagem e Tecnologia 11 (3): 1–25. https://doi.org/https://doi.org/10.17851/1983-3652.11.3.1-25.Details
  28. Cid, Alessandra, Alexandre Rademaker, Bruno Cuconato, and Valeria de Paiva. 2018. “Linguistic Legal Concept Extraction in Portuguese.” In Legal Knowledge and Information Systems, edited by Monica Palmirani. Vol. 313. Frontiers in Artificial Intelligence and Applications. IOS Press. http://ebooks.iospress.nl/volumearticle/50848.Details
  29. Alkmim, Bernardo, Edward Hermann Haeusler, and Alexandre Rademaker. 2018. “Utilizing IALC to Formalize the Brazilian OAB Exam.” In Proceedings from the EXplainable AI in Law Workshop (XAILA). CEUR-WS. http://ceur-ws.org/Vol-2381/xaila2018_paper_2.pdf.Details
  30. Rademaker, Alexandre. 2018. “Challenges for Information Extraction in the Oil and Gas Domain.” In Proceedings of the XI Seminar on Ontology Research in Brazil (ONTOBRAS), edited by Joel Luís Carbonera, Giancarlo Guizzardi, Sandro Rama Fiorini, and Mara Abel. São Paulo, Brazil. http://ceur-ws.org/Vol-2228/invited1.pdf.Details
  31. Freitas, Cláudia, Luiza F. Trugo, Fabricio Chalub, Guilherme Paulino-Passos, and Alexandre Rademaker. 2018. “Tagsets and Datasets: Some Experiments Based on Portuguese Language.” In International Conference on Computational Processing of the Portuguese Language, 459–69. Canela, RS, Brazil: Springer. https://rd.springer.com/book/10.1007/978-3-319-99722-3.Details
  32. Cuconato, Bruno, and Alexandre Rademaker. 2018. “A Computational Grammar for Portuguese.” In International Conference on Computational Processing of the Portuguese Language. Canela, RS, Brazil. http://www.inf.ufrgs.br/propor-2018/.Details
  33. Rademaker, Alexandre, Fabricio Chalub, Bruno Cuconato, Henrique Muniz, and Guilherme Passos. 2018. “CL-CONLLU Universal Dependencies in Common Lisp.” In International Conference on Computational Processing of the Portuguese Language. Canela, RS, Brazil. http://www.inf.ufrgs.br/propor-2018/.Details
  34. Paiva, Valeria de, Alexandre Rademaker, Livy Real, Fabricio Chalub, and Gerard de Melo. 2018. “OpenWordNet-PT: Taking Stock.” Proceedings of Fifth Workshop on Natural Language and Computer Science (Affiliated with Federated Logic Conference 2018). Oxford, UK. https://doi.org/10.29007/tvgw.Details
  35. Rademaker, Alexandre, Edward Hermann Haeusler, and Fabricio Chalub. 2018. “Investigations on the Axiomatic Presentation of ALC Description Logic and Its Formalization in Lean.” In Handbook of the 6th World Congress and School on Universal Logic, edited by Jean-Yves Beziau, Arthur Buchsbaum, and Christophe Rey. Vichy, France: Vichy University Campus France. http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf.Details
  36. Higuchi, Suemi, Cláudia Freitas, Bruno Cuconato, and Alexandre Rademaker. 2018. “Text Mining for History: First Steps on Building a Large Dataset.” In Proceedings of 11th Edition of the Language Resources and Evaluation Conference. Miyazaki, Japan. http://www.lrec-conf.org/proceedings/lrec2018/summaries/1084.html.Details
  37. Real, Livy, Alexandre Rademaker, Fabricio Chalub, and Valeria de Paiva. 2018. “Towards Temporal Reasoning in Portuguese.” In Proceedings of 6th Workshop on Linked Data in Linguistics. Miyazaki, Japan. http://lrec-conf.org/workshops/lrec2018/W23/summaries/8_W23.html.Details
  38. Muniz, Henrique, Fabricio Chalub, Alexandre Rademaker, and Valeria de Paiva. 2018. “Extending Wordnet to Geological Times.” In Global Wordnet Conference 2018. Singapore.Details
  39. Delfino, Pedro, Bruno Cuconato, Guilherme Paulino Passos, Gerson Zaverucha, and Alexandre Rademaker. 2018. “Using OpenWordnet-PT for Question Answering on Legal Domain.” In Global Wordnet Conference 2018. Singapore.Details
  40. Delfino, Pedro, Bruno Cuconato, Edward Hermann Haeusler, and Alexandre Rademaker. 2017. “Passing the Brazilian OAB Exam: Data Preparation and Some Experiments.” In Legal Knowledge and Information Systems, edited by Adam Wyner and Giovanni Casini. Vol. 302. Frontiers in Artificial Intelligence and Applications. IOS Press.Details
  41. Rademaker, Alexandre, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, and Valeria de Paiva Universal Dependencies for Portuguese. 2017. “Universal Dependencies for Portuguese.” In Proceedings of the Fourth International Conference on Dependency Linguistics (Depling), 197–206. Pisa, Italy. https://www.aclweb.org/anthology/W17-6523/.Details
  42. Rademaker, Alexandre, Fabricio Chalub, and Cláudia Freitas. 2017. “Two Corpus Based Experiments with the Portuguese and English Wordnets.” In Proceedings of the LDK 2017 Workshops: 1st Workshop On the OntoLex Model (OntoLex-2017), Shared Task On Translation Inference Across Dictionaries Challenges for Wordnets, Co-Located with 1st Conference on Language, Data and Knowledge (LDK 2017), 134–45. Galway, Ireland.Details
  43. Muniz, Henrique, Fabricio Chalub, and Alexandre Rademaker. 2017. “CL-CONLLU: Dependências Universais Em Common Lisp.” In V Workshop De Iniciação Científica Em Tecnologia Da Informação e Da Linguagem Humana (TILic). Uberlândia, MG, Brazil.Details
  44. Rademaker, Alexandre, Valeria de Paiva, Fabricio Chalub, Livy Real, and Claudia Freitas. 2016. “Introducing OpenWordnet-PT: a Open Portuguese Wordnet for Reasoning.” In International FrameNet Workshop Part of 9th International Conference on Construction Grammar (ICCG9), edited by Tiago Timponi Torrent. Juiz de Fora, Brazil: Universidade Federal de Juiz de Fora - UFJF.Details
  45. Conlon, Michael, Graham Triggs, Violeta Ilik, Ted Lawless, Kristi Holmes, Jim Blake, Paul Friedman, et al. 2016. “OpenVIVO: A VIVO Anyone Can Join.” https://dx.doi.org/10.6084/m9.figshare.3444179.v2.Details
  46. White, Marijane, Shahim Essaid, Matthew Brush, Karen Gutzman, Alexandre Rademaker, Tenille Johnson, Muhammad Javed, et al. 2016. “Who We Are and What We Contribute: the Open Researcher Information Framework as a Means To Understand Scholarship.” https://dx.doi.org/10.6084/m9.figshare.3753345.v1.Details
  47. Lawless, Ted, Alexandre Rademaker, and Fabricio Chalub. 2016. “Deploying VIVO as a Static Site.” poster at VIVO 2016. https://dx.doi.org/10.6084/m9.figshare.3811407.v1.Details
  48. Rademaker, Alexandre, and Edward Hermann Haeusler. 2016. “InFeRe Law: Investigating the Feasibility of Reasoning on Legal Ontologies.” In Compositional Meaning in Logic [GeTFun 4.0] Part Of 8th International Joint Conference on Automated Reasoning. Coimbra.Details
  49. Haeusler, Edward Hermann, and Alexandre Rademaker. 2016. “On How Kelsenian Jurisprudence and Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies.” Journal of Applied Non-Classical Logics.Details
  50. Conlon, Michael, Graham Triggs, Violeta Ilik, Ted Lawless, Kristi Holmes, Jim Blake, Paul Friedman, et al. 2016. “OpenVIVO: A VIVO Anyone Can Join.” https://dx.doi.org/10.6084/m9.figshare.3175072.v1.Details
  51. Paiva, Valeria de, Fabricio Chalub, Livy Real, and Alexandre Rademaker. 2016. “Making Virtue of Necessity: a Verb Lexicon.” In PROPOR – International Conference on the Computational Processing of Portuguese. Tomar, Portugal.Details
  52. Chalub, Fabricio, Livy Real, Alexandre Rademaker, and Valeria de Paiva. 2016. “Semantic Links for Portuguese.” In 10th Edition of Its Language Resources and Evaluation Conference (LREC). Portoroz, Slovenia.Details
  53. Real, Livy, Valeria de Paiva, Fabricio Chalub, and Alexandre Rademaker. 2016. “Gentle with Gentilics.” In Joint Second Workshop on Language and Ontologies (LangOnto2) and Terminology and Knowledge Structures (TermiKS) (Co-Located with LREC 2016). Slovenia.Details
  54. Paiva, Valeria de, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, and Alberto Simões. 2016. “An Overview of Portuguese WordNets.” In Global Wordnet Conference 2016. Bucharest, Romenia.Details
  55. Rademaker, Alexandre, and Fabricio Chalub. 2016. “Verifying Integrity Constraints of a RDF-Based WordNet.” In Global Wordnet Conference 2016. Bucharest, Romenia.Details
  56. Freitas, Cláudia, Livy Real, and Alexandre Rademaker. 2015. “Anotação De Corpus Com a OpenWordNet-PT: Um Exercício De Desambiguação.” In Proceedings of the 10th Brazilian Symposium In Information and Human Language Technology, edited by Cláudia Freitas and Alexandre Rademaker, 51–55. Natal, Brazil. http://www.aclweb.org/anthology/W15-5607.Details
  57. Rademaker, Alexandre, and Edward Hermann Haeusler. 2015. “How Kelsenian Jurisprudence and Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes in Legal Ontologies.” In Proceedings of 3rd Workshop on Generalizations of Truth‑Functionality. Natal, RN.Details
  58. Rademaker, Alexandre, Daniela Brauner, Glauco Munsberg, and André Peil. 2015. “Using OpenWordnet-PT to Improve VIVO.” In VIVO Conference 2015. Cambridge, MA, EUA.Details
  59. Real, Livy, Fabricio Chalub, Valeria de Paiva, Claudia Freitas, and Alexandre Rademaker. 2015. “Seeing Is Correcting: Curating Lexical Resources Using Social Interfaces.” In Proceedings of 53rd Annual Meeting of The Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural Language Processing - Fourth Workshop on Linked Data in Linguistics: Resources and Applications (LDL 2015). Beijing, China.Details
  60. Real, Livy, and Alexandre Rademaker. 2015. “HAREM and Klue: How to Compare Two Tagsets for Named Entities Annotation.” In Proceedings of 53rd Annual Meeting of The Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural Language Processing - Named Entities Workshop (NEWS 2015). Beijing, China.Details
  61. ———. 2015. “An Overview on Portuguese Nominalisation.” In Workshop on TYpe Theory and LExical Semantics. Barcelona.Details
  62. Haeusler, Edward Hermann, and Alexandre Rademaker. 2015. “On How Kelsenian Jurisprudence and Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies.” In Handbook of the 5th World Congress and School On Universal Logic, 208–307. Istanbul, Turkey: Istanbul University. http://www.uni-log.org/start5.html.Details
  63. Rademaker, Alexandre, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, and Moacyr Alvim. 2015. “A Linked Open Data Architecture for the Historical Archives of the Getulio Vargas Foundation.” International Journal on Digital Libraries 15 (2-4): 153–67. https://doi.org/10.1007/s00799-015-0147-1.Details
  64. Oliveira, Hugo Gonçalo, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker, Livy Real, and Alberto Simões. 2015. “As Wordnets Do Português.” Oslo Studies in Language 7 (1): 397–424.Details
  65. Cavalin, Paulo Rodrigo, Maira Athanazio C. Gatti, Tiago G. P. Moraes, Fabio S. Oliveira, Claudio S. Pinhanez, Alexandre Rademaker, and Rogerio Abreu de Paula. 2015. “A Scalable Architecture for Real-Time Analysis Of Microblogging Data.” IBM Journal of Research and Development 59 (2/3): 16:1–16:10. https://doi.org/10.1147/JRD.2015.2408911.Details
  66. Rademaker, Alexandre, and Vinay K. Chaudhri, eds. 2014. Proceedings of the 6th Workshop on Formal Ontologies Meet Industry (FOMI). Proceedings of the 6th Workshop on Formal Ontologies Meet Industry (FOMI). CEUR Workshop Proceedings. Aachen. http://ceur-ws.org/Vol-1333/.Details
  67. Lécué, Freddy, Robert Tucker, Simone Tallevi-Diotallevi, Rahul Nair, Yiannis Gkoufas, Giuseppe Liguori, Mauro Borioni, Alexandre Rademaker, and Luciano Barbosa. 2014. “Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio.” In The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva Del Garda, Italy, October 19-23, 2014. Proceedings, Part II, 292–307. https://doi.org/10.1007/978-3-319-11915-1_19.Details
  68. Paiva, Valeria De, Dário Oliveira, Suemi Higuchi, Alexandre Rademaker, and Gerard De Melo. 2014. “Exploratory Information Extraction from a Historical Dictionary.” In IEEE 10th International Conference on e-Science (e-Science), 2:11–18. IEEE. https://doi.org/http://dx.doi.org/10.1109/eScience.2014.50.Details
  69. Real, Livy, Valeria de Paiva, and Alexandre Rademaker. 2014. “Extending NomLex-PT Using AnCora-Nom.” In Proceedings of Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp), edited by Laura Alonso Alemany, Muntsa Padró, Alexandre Rademaker, and Aline Villavicencio. São Carlos, Brazil: Biblioteca Digital Brasileira de Computação, UFMG, Brazil. http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Evento?id=755.Details
  70. Paiva, Valeria de, Cláudia Freitas, Livy Real, and Alexandre Rademaker. 2014. “Improving the Verb Lexicon of OpenWordnet-PT.” In Proceedings of Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp), edited by Laura Alonso Alemany, Muntsa Padró, Alexandre Rademaker, and Aline Villavicencio. São Carlos, Brazil: Biblioteca Digital Brasileira de Computação, UFMG, Brazil. http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Evento?id=755.Details
  71. Freitas, Cláudia, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, and Anne de Araujo Correia da Silva. 2014. “Extending a Lexicon of Portuguese Nominalizations with Data from Corpora.” In Computational Processing of the Portuguese Language, 11th International Conference, PROPOR 2014, edited by Jorge Baptista, Nuno Mamede, Sara Candeias, Ivandré Paraboni, Thiago A. S. Pardo, and Maria das Graças Volpe Nunes. São Carlos, Brazil: Springer.Details
  72. Rademaker, Alexandre, and Violeta Ilik. 2014. “Using OAI/PMH for Data Ingest into VIVO Instances.” In Proceedings of VIVO 2014. Austin, TX.Details
  73. Rademaker, Alexandre, and Edward Hermann Haeusler. 2014. “An Intuitionisticaly Based Description Logic.” In Proceedings of the Workshop on Gentzen Systems and Beyond, Vienna Summer of Logic. Vienna, Austria.Details
  74. ———. 2014. “An Intuitionistic ALC Description Default Logic.” In Proceedings of the Workshop of Compositional Meaning in Logic (GeTFun 2.0) on Vienna Summer of Logic. Vienna, Austria.Details
  75. Paiva, Valeria de, Livy Real, Alexandre Rademaker, and Gerard de Melo. 26AD. “NomLex-PT: A Lexicon of Portuguese Nominalizations.” In Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC 2014), edited by Nicoletta Calzolari (Conference Chair), Khalid Choukri, Thierry Declerck, Hrafn Loftsson, Bente Maegaard, Joseph Mariani, Asuncion Moreno, Jan Odijk, and Stelios Piperidis. Reykjavik, Iceland: European Language Resources Association (ELRA).Details
  76. Haeusler, Edward Hermann, and Alexandre Rademaker. 2014. “An Intuitionisticaly Based Description Logic.” Arxiv.Details
  77. Cafezeiro, Isabel, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, and Markus Endler. 2014. “Specifying Ubiquitous Systems through the Algebra of Contextualized Ontologies.” Knowledge Engineering Review 29 (2): 171–85. http://dx.doi.org/10.1017/S0269888914000046.Details
  78. Real, Livy, Alexandre Rademaker, Valeria de Paiva, and Gerard de Melo. 2014. “Embedding NomLex-BR Nominalizations into OpenWordnet-PT.” In Proceedings of the 7th Global WordNet Conference, edited by Heili Orav, Christiane Fellbaum, and Piek Vossen, 378–82. Tartu, Estonia. http://globalwordnet.org/global-wordnet-conferences-2/.Details
  79. Rademaker, Alexandre, Valeria de Paiva, Gerard de Melo, Livy Real, and Maira Gatti. 2014. “OpenWordNet-PT: A Project Report.” In Proceedings of the 7th Global WordNet Conference, edited by Heili Orav, Christiane Fellbaum, and Piek Vossen. Tartu, Estonia. http://globalwordnet.org/global-wordnet-conferences-2/.Details
  80. Haeusler, Edward Hermann, Mario Benevides, Valeia de Paiva, and Alexandre Rademaker. 2014. “On the Computational Complexity of the Intuitionistic Hybrid Modal Logics.” In Proceedings of 17th Brazilian Logic Conference, 54.Details
  81. Rademaker, Alexandre, Suemi Higuchi, and Dário Augusto Borges Oliveira. 2013. “A Linked Open Data Architecture for Contemporary Historical Archives.” In Proceedings of 3rd Edition of the Semantic Digital Archives Workshop, edited by Livia Predoiu, Annett Mitschick, Andreas Nurnberger, Thomas Risse, and Seamus Ross. Valetta, Malta.Details
  82. Rademaker, Alexandre, and Edward Hermann Haeusler. 2013. “Semantic Lattes and VIVO Project.” In Proceedings of VIVO 2013. St. Louis, MO.Details
  83. Branco, Antonio Carlos Saraiva, Fatima Dargam, Alexandre Rademaker, and Renato Rocha de Souza. 2012. “Applying Ontology in the Analysis of a DSS Research Collaboration Network.” In Proceedings of the 25th European Conference On Operational Research, EURO XXV (Stream: Decision Support Systems). Vilnius. http://www.euro-2012.lt/welcome.Details
  84. Paiva, Valeria de, Alexandre Rademaker, and Gerard de Melo. 2012. “OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning.” In Proceedings of COLING 2012: Demonstration Papers, 353–60. Mumbai, India: The COLING 2012 Organizing Committee. http://www.aclweb.org/anthology/C12-3044.Details
  85. Rademaker, Alexandre. 2012. A Proof Theory for Description Logics. SpringerBriefs in Computer Science. Springer. http://dx.doi.org/10.1007/978-1-4471-4002-3.Details
  86. dePaiva, Valeria, and Alexandre Rademaker. 2012. “Revisiting a Brazilian WordNet.” In Proceedings of Global Wordnet Conference. Matsue: Global Wordnet Association. http://www.globalwordnet.org/gwa/gwa_conferences.html.Details
  87. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic and Legal Reasoning.” In 2011 Database and Expert Systems Applications, DEXA, International Workshops. Toulouse: IEEE Computer Society. https://doi.org/10.1109/DEXA.2011.46.Details
  88. dePaiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2011. “Constructive Description Logics Hybrid-Style.” Electronic Notes in Theoretical Computer Science 273: 21–31.Details
  89. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic for Legal Reasoning.” In XVI The Brazilian Logic Conference. Petrópolis.Details
  90. Souza, Renato Rocha, Suemi Higuchi, Alexandre Rademaker, and Asla Medeiros e Sá. 2011. “Portal Semântico Do CPDOC.” In Anais Do IV Encontro De Bases De Dados Sobre Informações Arquivísticas.Details
  91. Rademaker, Alexandre. 2010. “A Proof Theory for Description Logics.” PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro.Details
  92. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2010. “Using Intuitionistic Logic as a Basis for Legal Ontologies.” In Proceedings of the 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques. Fiesole (Florence): European University Institute.Details
  93. dePaiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2010. “Constructive Description Logic Hybrid-Style.” In Pre-Proceedings of International Workshop on Hybrid Logic and Applications. Edinburgh.Details
  94. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2010. “Intuitionistic Logic and Legal Ontologies.” In Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press. https://doi.org/10.3233/978-1-60750-682-9-155.Details
  95. ———. 2010. “Using Intuitionistic Logic as a Basis for Legal Ontologies.” Informatica e Diritto 1: 289–98. http://bit.ly/1lZG8d8.Details
  96. Rademaker, Alexandre, and Edward Hermann Haeusler. 2010. “Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning.” Journal of Universal Computer Science (Online) 16: 3016–42.Details
  97. Haeusler, Edward Hermann, and Alexandre Rademaker. 2009. “Is It Important to Explain a Theorem? A Case Study on UML and ALCQI.” In Advances in Conceptual Modeling - Challenging Perspectives (LNCS, ER-2009 Proceedings), 34–44. Berlim: Springer-Verlag.Details
  98. Rademaker, Alexandre, Edward Hermann Haeusler, and Luiz Carlos Pereira. 2009. “On the Proof Theory of ALC.” In The Many Sides of Logic, 273–85. London: College Pulications.Details
  99. Cafezeiro, Isabel, Jose Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, and Markus Endler. 2009. “Designing Ubiquitous Applications: Proposal of a Specification Environment.” In MUCS 2009: Proceedings of the 6th International Workshop on Managing Ubiquitous Communications And Services. New York, NY, USA: ACM.Details
  100. Haeusler, Edward Hermann, and Alexandre Rademaker. 2009. “Is It Important to Explain a Theorem? A Case Study on UML and ALCQI.” In Advances in Conceptual Modeling - Chalenging Perspectives. Berlin: Springer-Verlag.Details
  101. Rademaker, Alexandre, and Edward Hermann Haeusler. 2008. “Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach.” In Advances in Artificial Intelligence - SBIA 2008. Heidelberg: Springer Berlin. https://doi.org/10.1007/978-3-540-88190-2_22.Details
  102. Rademaker, Alexandre, Edward Hermann Haeusler, and Luiz Carlos Pereira. 2008. “On The Proof Theory of ALC.” In Proceedings of XV Brazilian Logic Conference. Campinas: Unicamp.Details
  103. ———. 2008. “On The Proof Theory of ALC.” CLE e-Prints (Impresso) 8: Article 14.Details
  104. Cafezeiro, Isabel, Edward Hermann Haeusler, and Alexandre Rademaker. 2008. “Ontology and Context.” In IEEE International Conference on Pervasive Computing and Communications. Los Alamitos, CA, USA: IEEE Computer Society. https://doi.org/10.1109/PERCOM.2008.21.Details
  105. Cafezeiro, Isabel, Jose Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, and Markus Endler. 2008. “A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.” In Third International Symposium, ISoLA 2008, Proceddings. Heidelberg: Springer Berlin. https://doi.org/10.1007/978-3-540-88479-8_37.Details
  106. Silva, Geiza Maria Hamazaki da, Alexandre Rademaker, Davi Romero de Vasconcelos, Fernando Náufel do Amaral, Carlos Bazílio Martins, Vaston Costa, and Edward Hermann Haeusler. 2007. “Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study.” In Third Australasian Ontology Workshop (AOW 2007). Sydney: Australian Computer Society.Details
  107. Amaral, Fernando Náufel do, Carlos Bazílio Martins, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, and Edward Hermann Haeusler. 2006. “An Ontology-Based Approach to the Formalization of Information Security Policies.” In VORTE - Workshop on Vocabularies, Ontologies, and Rules for the Enterprise.Details
  108. Rademaker, Alexandre. 2005. “Uma Ferramenta Formal Para Especificação e Análise De Arquiteturas De Software.” Master's thesis, Universidade Federal Fluminense.Details
  109. Rademaker, Alexandre, Christiano de Oliveira Braga, and Alexandre Sztajnberg. 2005. “A Rewriting Semantics for a Software Architecture Description Language.” Electronic Notes in Theoretical Computer Science 130: 345–77.Details
  110. ———. 2005. “A Rewriting Semantics for a Software Architecture Description Language.” In Anais Do Simpósio Brasileiro De Métodos Formais De 2004. Recife. https://doi.org/10.1016/j.entcs.2005.03.018.Details

Professor at EMAp/FGV, Researcher at IBM
arademaker AT gmail DOT com

Follow me on Academia.edu

github.com/arademaker - twitter.com/arademaker - Facebook - Google Scholar

The postings and pages on this site are my own and don't necessarily represent IBM's or FGV's positions, strategies or opinions.

Subscribe to RSS Feed