Nerio Borges

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 4

Top Topics

Quantifier Elimination

Update Operators

Prime Implicates

Propositional Logic

Top Venues

J. Artif. Intell. Res.

Log. Methods Comput. Sci.

Publications

Nerio Borges, Ramón Pino Pérez
Belief change and 3-valued logics: Characterization of 19, 683 belief change operators. J. Artif. Intell. Res. 69 (2020)
Nerio Borges, Edwin Pin
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy. Log. J. IGPL 27 (6) (2019)
Nerio Borges, Ramón Pino Pérez
Belief revision and 3-valued logics: Characterization of 19, 683 belief change operators. CoRR (2019)
Edwin Pin, Nerio Borges
A syntactic tool for proving hardness in the Second Level of the Polynomial-Time Hierarchy. CoRR (2017)
Nerio Borges, Blai Bonet
Universal First-Order Logic is Superfluous for NL, P, NP and coNP. Log. Methods Comput. Sci. 10 (1) (2014)
Blai Bonet, Nerio Borges
Syntactic characterizations of completeness using duals and operators. Log. J. IGPL 20 (1) (2012)
Nerio Borges
A sufficient condition for first order non-definability of arrowing problems CoRR (2012)
Nerio Borges, Blai Bonet
On Canonical Forms of Complete Problems via First-order Projections CoRR (2007)