Samuel M. Brasil

Modelling legal reasoning in a mathematical environment through model theoretic semantics

Berilhes Borges Garcia, Samuel M. Brasil, 2003, ICAIL.

Towards Default Reasoning through MAX-SAT

Berilhes Borges Garcia, Samuel M. Brasil, 2002, SBIA.

Rules and Principles in Legal Reasoning. A Study of Vagueness and Collisions in Artificial Intelligence and Law

Samuel M. Brasil, Samuel Meira Brasil, 2001 .