Nerio Borges
According to our database1,
Nerio Borges
authored at least 9 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2020
Belief change and 3-valued logics: Characterization of 19, 683 belief change operators.
J. Artif. Intell. Res., 2020
2019
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy.
Log. J. IGPL, 2019
Belief revision and 3-valued logics: Characterization of 19, 683 belief change operators.
CoRR, 2019
2017
A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy.
CoRR, 2017
2014
Log. Methods Comput. Sci., 2014
2012
Log. J. IGPL, 2012
CoRR, 2012
2007