Publications

  1. 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
  2. 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
  3. “Who We Are And What We Contribute: the Open Researcher Information Framework as a Means To Understand Scholarship.” 2016. poster at VIVO 2016. https://dx.doi.org/10.6084/m9.figshare.3753345.v1.Details
  4. 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
  5. 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
  6. 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
  7. 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
  8. de Paiva, Valeria, 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
  9. 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
  10. 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
  11. de Paiva, Valeria, 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
  12. Rademaker, Alexandre, and Fabricio Chalub. 2016. “Verifying Integrity Constraints Of a RDF-Based WordNet.” In Global Wordnet Conference 2016. Bucharest, Romenia.Details
  13. 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
  14. 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
  15. Rademaker, Alexandre, Daniela Brauner, Glauco Munsberg, and André Peil. 2015. “Using OpenWordnet-PT to Improve VIVO.” In VIVO Conference 2015. Cambridge, MA, EUA.Details
  16. 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
  17. 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
  18. ———. 2015. “An Overview On Portuguese Nominalisation.” In Workshop On TYpe Theory and LExical Semantics. Barcelona.Details
  19. 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
  20. 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). Springer Berlin Heidelberg: 153–67. doi:10.1007/s00799-015-0147-1.Details
  21. 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
  22. 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. doi:10.1147/JRD.2015.2408911.Details
  23. 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
  24. 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. doi:10.1007/978-3-319-11915-1_19.Details
  25. 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. doi:http://dx.doi.org/10.1109/eScience.2014.50.Details
  26. 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
  27. de Paiva, Valeria, 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
  28. 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
  29. Rademaker, Alexandre, and Violeta Ilik. 2014. “Using OAI/PMH For Data Ingest into VIVO Instances.” In Proceedings Of VIVO 2014. Austin, TX.Details
  30. 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
  31. ———. 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
  32. de Paiva, Valeria, Livy Real, Alexandre Rademaker, and Gerard de Melo. 26ADAD. “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
  33. Haeusler, Edward Hermann, and Alexandre Rademaker. 2014. An Intuitionisticaly Based Description Logic. Arxiv.Details
  34. 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
  35. 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
  36. 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
  37. 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
  38. Rademaker, Alexandre, and Edward Hermann Haeusler. 2013. “Semantic Lattes And VIVO Project.” In Proceedings Of VIVO 2013. St. Louis, MO.Details
  39. 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
  40. de Paiva, Valeria, 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
  41. 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
  42. dePaiva, Valeria, and Alexandre Rademaker. 2012. “Revisiting a Brazilian WordNet.” In Proceedings Of Global Wordnet Conference. Matsue: Global Wordnet Association.Details
  43. 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. doi:10.1109/DEXA.2011.46.Details
  44. dePaiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2011. “Constructive Description Logics Hybrid-Style.” Electronic Notes In Theoretical Computer Science 273: 21–31.Details
  45. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic For Legal Reasoning.” In XVI The Brazilian Logic Conference. Petrópolis.Details
  46. 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
  47. Rademaker, Alexandre. 2010. “A Proof Theory For Description Logics.” PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro.Details
  48. 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
  49. 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
  50. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2010. “Intuitionistic Logic And Legal Ontologies.” In Frontiers In Artificial Intelligence and Applications. Amsterdam: IOS Press. doi:10.3233/978-1-60750-682-9-155.Details
  51. ———. 2010. “Using Intuitionistic Logic As a Basis for Legal Ontologies.” Informatica e Diritto 1: 289–98. http://bit.ly/1lZG8d8.Details
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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. doi:10.1007/978-3-540-88190-2_22.Details
  58. 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
  59. ———. 2008. “On The Proof Theory Of ALC.” CLE e-Prints (Impresso) 8: Article 14.Details
  60. 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. doi:10.1109/PERCOM.2008.21.Details
  61. 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. doi:10.1007/978-3-540-88479-8_37.Details
  62. da Silva, Geiza Maria Hamazaki, 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
  63. do Amaral, Fernando Náufel, 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
  64. Rademaker, Alexandre. 2005. “Uma Ferramenta Formal Para Especificação e Análise De Arquiteturas De Software.” Master's thesis, Universidade Federal Fluminense.Details
  65. 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
  66. ———. 2005. “A Rewriting Semantics For a Software Architecture Description Language.” In Anais Do Simpósio Brasileiro De Métodos Formais De 2004. Recife. doi:10.1016/j.entcs.2005.03.018.Details