Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs. - Berilhes Borges Garcia; José Gabriel Pereira Lopes (ECAI, 1998)

Incorporating Specificity in Extended Logic Programs for Belief Revision. - Berilhes Borges Garcia; José Gabriel Pereira Lopes (FLAIRS, 1998)

Modelling Credulity and Skepticism through Plausibility Measures. - Berilhes Borges Garcia; José Gabriel Pereira Lopes; Paulo Quaresma (SBIA, 1998)

Compiling Default Theory int Extended Logic Programming. - Berilhes Borges Garcia; José Gabriel Pereira Lopes; Flávio Miguel Varejão (IBERAMIA-SBIA, 2000)

Towards Default Reasoning through MAX-SAT. - Berilhes Borges Garcia; Samuel M. Brasil Jr. (SBIA, 2002)

Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics. - Samuel M. Brasil Jr.; Berilhes Borges Garcia (ICAIL, 2003)

New tractable classes for default reasoning from conditional knowledge bases. - Berilhes Borges Garcia (Ann. Math. Artif. Intell., 2005)