Nerio Borges
According to our database1,
Nerio Borges
authored at least 8 papers
between 2007 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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