Alexandre Matos Arruda

According to our database, Alexandre Matos Arruda authored at least 4 papers between 2007 and 2014.

Collaborative distances:

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

2014

Classic and probabilistic abduction: the search for the explanation of real data.

Alexandre Matos Arruda

PhD thesis, 2014

Completeness for cut-based abduction.

Alexandre Matos Arruda, Marcelo Finger

Log. J. IGPL, 2014

2009

Natural deduction for the finite least fixed point logic with an infinitary rule.

Alexandre Matos Arruda, Ana Teresa C. Martins

Log. J. IGPL, 2009

2007

An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models.

Alexandre Matos Arruda, Ana Teresa C. Martins

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007