Renan Fernandes

According to our database1, Renan Fernandes authored at least 5 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2018
2019
2020
2021
2022
2023
2024
0
1
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PolyCoP: A Connection Prover For (Possibly) Any Logical Language.
Proceedings of the Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning co-located with 20th Reasoning Web Summer School (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 2024, 2024

2023
A connection method for a defeasible extension of ALCH.
CoRR, 2023

2022
Sec-G Class of Distributions: Properties and Applications.
Symmetry, 2022

2021
A Connection Method for a Defeasible Extension of ALC.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2018
DKDOnto: An Ontology to Support Software Development with Distributed Teams.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018


  Loading...