- Experience
- Education
- Publications and Papers
- Teaching
- Supervision
- Other Notable Roles
- Grants
- Skills
- Code
- Invited Talks
Experience
Software Engineer - Zivid (09/2023 - Present)
Postdoctoral Research Fellow - University of Bergen (12/2020 - 08/2023)
- Published results on high-quality venues on Artificial Intelligence.
- Communicated results on international workshops.
- Planned, created material for, and delivered two courses.
- Co-supervised 2 master students and 2 PhD students.
- Co-organised a research school on Artificial Intelligence.
Research Assistant - Free University of Bozen-Bolzano (03/2020 - 11/2020)
- Collaborated with international colleagues and presented research results in well-known AI and KR venues.
Visiting Academic - University of Manchester (04/2018 - 12/2018)
- Published results of the collaboration in an international workshop on Ontology Modularity.
- Funded by São Paulo Research Agency (FAPESP).
System Administrator at Rede Linux - University of São Paulo (03/2013 - 02/2015)
- Maintained and developed the computer network that supports the institute’s undergraduate students.
- Automated tasks and investigate emerging technologies relevant for server management.
Education
PhD in Computer Science - University of São Paulo (03/2015 - 01/2020)
- Thesis: Modularity in Belief Change of Description Logic Bases
- Supervisor: Prof. Dr. Renata Wassermann
- Scholarship funding:
- CAPES: 03/2015 - 07/2017
- FAPESP: 08/2017 - 01/2020
BSc in Computer Science - University of São Paulo (02/2011 - 12/2014)
- Bachelor project: Extensions to the AML Ontology Aligner
- Supervisor: Prof. Dr. Renata Wassermann
Publications and Papers
- 2023:
- Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya: Mining EL Bases with Adaptable Role Depth. JAIR 2023
- Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro: Finite Based Contraction and Expansion via Models. AAAI 2023
- Cosimo Persia, Ricardo Guimarães:RIDDLE: Rule Induction with Deep Learning. NLDL 2023
- 2022:
- Ricardo Guimarães, Ana Ozaki: Reasoning in Knowledge Graphs. AIB 2022
- Johanna Jøsang, Ricardo Guimarães, Ana Ozaki: On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach. KR4HI 2022
- 2021:
- Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya: Mining EL Bases with Adaptable Role Depth. AAAI 2021
- Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki: Revising Ontologies via Models: The ALC-Formula Case. DL 2021
- 2020:
- Ricardo Guimarães: Modularity in Belief Change of Description Logic Bases. University of São Paulo 2020
- 2019:
- Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann: Pseudo-contractions as Gentle Repairs. Description Logic, Theory Combination, and All That 2019
- 2018:
- Ricardo Guimarães, Uli Sattler, Renata Wassermann: Ontology Stratification Method: A Comparative Study. WOMoCoE 2018
- 2017:
- Ricardo Guimarães, Renata Wassermann: Local Change in Ontologies with Atomic Decomposition. JOWO 2017
Teaching
- Social Networks Theory (INF 207)
- Department of Informatics, University of Bergen
- Lecturer
- Autumn, 2022
- Bachelor/Master level
- Selected Topics in Artificial Intelligence (INF 367)
- Department of Informatics, University of Bergen
- Lecturer
- Autumn, 2021
- Topic: Ontologies and Knowledge Graphs
- Master level
- Introduction to Logic and Program Verification (MAC0239)
- Institute of Mathematics and Statistics, University of São Paulo
- Teaching Assistant
- First Semester, 2017
- Bachelor level
- Introduction to Computing for Exact Sciences and Technology (MAC0115)
- Institute of Mathematics and Statistics, University of São Paulo
- Teaching Assistant
- Second Semester, 2016
- Bachelor level
Supervision
| Type | Ongoing | Completed | As Main Supervisor |
|---|---|---|---|
| PhD | 1 | 1 | 0 |
| Master | 1 | 1 | 0 |
Other Notable Roles
- Reasoning Web 2023 (research school): PC member
- KR 2023 (conference): PC member
- DL 2023 (workshop): PC member, Publicity Co-Chair
- AAAI 2023 (conference): PC member
- KR4HI 2022 (workshop): PC member
- AIB 2022 (research school): organiser / lecturer
- DL 2022 (workshop): PC member
- KR 2022 (conference): PC member
- Journal of Automated Reasoning: Reviewer
- Neural Networks Journal: Reviewer
- Information and Computation Journal: Reviewer
- Artificial Intelligence Journal: Reviewer
Grants
- Meltzer Grant: 43200.00 NOK, Travel Support (03/2022 - 03/2023)
- FAPESP Grant: 76477.47 BRL, Research Internship Abroad (04/2018 - 01/2019)
- FAPESP Scholarship: 91056.42 BRL (08/2017 - 01/2020)
- CAPES Scholarship: 49800.00 BRL (03/2015 - 07/2017)
Skills
-
Hard Skills: Python, Java, C, SQL, GNU/Linux, Git, LaTeX, Knowledge Graphs, Ontologies, OWL, RDF, SPARQL, Protégé, Data Science (IBM Specialization), Extreme Programming (Agile).
-
Soft Skills: Problem-solving, Adaptability, Time Management, Scientific Method/Research, Academic Writing
-
Languages: English (proficient), Norwegian (basic), Portuguese (native)
Code
Invited Talks
- Belief Change with Models as Input: Adapting Expansion and Contraction. IRL 2022
- Learning and Reasoning with Knowledge Graphs and Ontologies. CEDAS Networking Event 2022