Nerio Borges

According to our database, Nerio Borges authored at least 9 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Belief Change on Rational Rankings.

Nerio Borges, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind

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.

Nerio Borges, Ramón Pino Pérez

J. Artif. Intell. Res., 2020

2019

Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy.

Nerio Borges, Edwin Pin

Log. J. IGPL, 2019

Belief revision and 3-valued logics: Characterization of 19, 683 belief change operators.

Nerio Borges, Ramón Pino Pérez

CoRR, 2019

2017

A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy.

Edwin Pin, Nerio Borges

CoRR, 2017

2014

Universal First-Order Logic is Superfluous for NL, P, NP and coNP.

Nerio Borges, Blai Bonet

Log. Methods Comput. Sci., 2014

2012

Syntactic characterizations of completeness using duals and operators.

Blai Bonet, Nerio Borges

Log. J. IGPL, 2012

A sufficient condition for first order non-definability of arrowing problems

Nerio Borges

CoRR, 2012

2007

On Canonical Forms of Complete Problems via First-order Projections

Nerio Borges, Blai Bonet

CoRR, 2007