bookmarks (hide)2597
publications (hide)86
- JELIA '92: Proceedings of the European Workshop on Logics in AI , page 84--105. London, UK, Springer-Verlag, (1992)
- Berlin, Germany, Germany, (1993)
- Departamento de Informática, PUC--Rio, (2007)
- In Automated Deduction in Classical and Non-Classical Logics , page 191--205. Springer, (2000)
- International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy , page 701--705. Springer-Verlag, (2001)
- Journal of Web Semantics 5 (2): 51-53 (2007)
- Studia Logica 48 (2): 193--217 (1989)
- Theoretical of Computer Science (1985)
- Proceedings of Brazilian Symposium on Artificial Inteligence. Advances in Artificial Intelligence -- SBIA 2008 , page 167--176. Springer-Verlag, (2008)http://dx.doi.org/10.1007/978-3-540-88190-2_22.
- REC-owl-features-20040210. W3C, (2004)
- Almqvist & Wiksell, (1965)
- North-Holland, (1975)
- Handbook of Proof Theory, Studies in Logic and the Foundations of Mathematics , Elsevier, Amsterdam, (1998)
- Monografias em Ciência da Computacão, 25/07. Departamento de Informática, PUC-Rio, (2007)
- Theor. Comput. Sci. 364 (2): 146-165 (2006)
- Ann. Pure Appl. Logic 114 (1-3): 3-25 (2002)
- The Many Sides of Logic. Proceedings of 15th Brazilian Logic Conference , London, College Publications, (2008)A resumed version is available at http://www.cle.unicamp.br/e-prints/vol_8,n_6,2008.html.
- PUC-Rio, DI, (2000)
- Eletronic Notes in Theoretical Computer Science (2005)
- Logic Language and Computation , 96, CSLI, Stanford, California, 1 edition, (1999)
