Berilhes Borges Garcia

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Publications

Berilhes Borges Garcia
New tractable classes for default reasoning from conditional knowledge bases. Ann. Math. Artif. Intell. 45 (3-4) (2005)
Samuel M. Brasil Jr., Berilhes Borges Garcia
Modelling Legal Reasoning in a Mathematical Environment through Model-Theoretic Semantics. ICAIL (2003)
Berilhes Borges Garcia, Samuel M. Brasil Jr.
Towards Default Reasoning through MAX-SAT. SBIA (2002)
Berilhes Borges Garcia, José Gabriel Pereira Lopes, Flávio Miguel Varejão
Compiling Default Theory int Extended Logic Programming. IBERAMIA-SBIA (2000)
Berilhes Borges Garcia, José Gabriel Pereira Lopes
Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs. ECAI (1998)
Berilhes Borges Garcia, José Gabriel Pereira Lopes, Paulo Quaresma
Modelling Credulity and Skepticism through Plausibility Measures. SBIA (1998)
Berilhes Borges Garcia, José Gabriel Pereira Lopes
Incorporating Specificity in Extended Logic Programs for Belief Revision. FLAIRS Conference (1998)