| |
| 2005 | ||
|---|---|---|
| 7 | EE | Berilhes Borges Garcia: New tractable classes for default reasoning from conditional knowledge bases. Ann. Math. Artif. Intell. 45(3-4): 275-291 (2005) |
| 2003 | ||
| 6 | Samuel M. Brasil Jr., Berilhes Borges Garcia: Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics. ICAIL 2003: 195-203 | |
| 2002 | ||
| 5 | EE | Berilhes Borges Garcia, Samuel M. Brasil Jr.: Towards Default Reasoning through MAX-SAT. SBIA 2002: 52-62 |
| 2000 | ||
| 4 | EE | Berilhes Borges Garcia, José Gabriel Pereira Lopes, Flávio Varejão: Compiling Default Theory int Extended Logic Programming. IBERAMIA-SBIA 2000: 207-216 |
| 1998 | ||
| 3 | Berilhes Borges Garcia, José Gabriel Pereira Lopes: Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs. ECAI 1998: 378-382 | |
| 2 | Berilhes Borges Garcia, José Gabriel Pereira Lopes: Incorporating Specificity in Extended Logic Programs for Belief Revision. FLAIRS Conference 1998: 215-219 | |
| 1 | Berilhes Borges Garcia, José Gabriel Pereira Lopes, Paulo Quaresma: Modelling Credulity and Skepticism through Plausibility Measures. SBIA 1998: 171-180 | |
| 1 | Samuel M. Brasil Jr. | [5] [6] |
| 2 | José Gabriel Pereira Lopes | [1] [2] [3] [4] |
| 3 | Paulo Quaresma | [1] |
| 4 | Flávio Varejão | [4] |