![]() | ![]() |
2003 | ||
---|---|---|
2 | Samuel M. Brasil Jr., Berilhes Borges Garcia: Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics. ICAIL 2003: 195-203 | |
2002 | ||
1 | EE | Berilhes Borges Garcia, Samuel M. Brasil Jr.: Towards Default Reasoning through MAX-SAT. SBIA 2002: 52-62 |
1 | Berilhes Borges Garcia | [1] [2] |