Alexandre Matos Arruda

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Abductive Reasoning

Background Knowledge

Top Venues

University of São Paulo, Brazil (PHD)

Education History

University of São Paulo, Brazil

PHD

Publications

Alexandre Matos Arruda, Marcelo Finger
Completeness for cut-based abduction. Log. J. IGPL 22 (2) (2014)
Alexandre Matos Arruda, Ana Teresa C. Martins
Natural deduction for the finite least fixed point logic with an infinitary rule. Log. J. IGPL 17 (5) (2009)
Alexandre Matos Arruda, Ana Teresa C. Martins
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. LSFA (2007)