Renata Pereira de Freitas
Publicações recentes
1. Artigos em revista
Paulo Veloso, Sheila Veloso, Petrucio Viana,
Renata de Freitas,
Mario Benevides e Carla Delgado,
On vague notions and modalities: a modular approach,
Journal of Logic and Computation,
to appear.
Renata de Freitas e Petrucio Viana,
A note on proofs with graphs,
Science of Computer Programming,
to appear.
Renata de Freitas,
Paulo Veloso, Sheila Veloso e Petrucio Viana,
On Positive Relational Calculi,
Logic Journal of the IGPL,
vol. 15, pp. 577-601, 2007,
DOI 10.1093/jigpal/jzm054.
Paulo A.S. Veloso,
Renata P. de Freitas,
Petrucio Viana, Mario Benevides e Sheila R.M. Veloso,
On Fork Arrow Logic and its Expressive Power,
Journal of Philosophical Logic,
vol. 36(5), 2007, pp. 489-509,
DOI 10.1007/s10992-006-9043-x.
S.R.M. Veloso, P.A.S. Veloso e R.P. de Freitas,
An Application of Logic Engineering,
Logic Journal of the IGPL,
vol. 13(1), 2005, pp. 29-46,
volume especial: An event on Brazilian Logic.
R.P. de Freitas, J.P. Viana, M.R.F. Benevides, S.R.M. Veloso e P.A.S. Veloso,
Squares in Fork Arrow Logic,
Journal of Philosophical Logic,
vol. 32(4), 2003, pp. 343-355.
2. Trabalhos publicados em anais de congresso
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana,
On a Graph Calculus for Algebras of Relations.
In W. Hodges and R. de Queiroz (eds.),
Logic, Language, Information and Computation,
LNAI 5110, 2008, pp. 298 - 312, DOI: 10.1007/978-3-540-69937-8_26.
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana,
Positive Fork Graph Calculus.
XV Brazilian Logic Conference (EBL'08) / XIV Latin-American Symposium on Mathematical Logic (SLALM'08),
11 a 17 de maio de 2008, Paraty, RJ.
Petrucio Viana, Renata P. de Freitas, Paulo A.S. Veloso e Sheila R.M Veloso,
Reasoning with Graphs.
In Electronic Notes in Theoretical Computer Science
Volume 165,
Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006),
Stanford University, CA, USA, 18-21 July 2006, G. Mints and R. de Queiroz (eds.), pp. 201-212.
Renata P. de Freitas,
Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana,
Graph Relational Calculus.
In XIV Brazilian Logic Conference
(EBL'06),
Parque Nacional do Itatiaia,
24 a 28 de abril de 2006.
M.R.F. Benevides, C. Delgado,
R.P. de Freitas,
P.A.S. Veloso e S.R.M. Veloso,
On Modalities for Vague Notions.
In Advances in Artificial Intelligence - SBIA 2004,
Proceedings of the
XVII Brazilian Symposium on Artificial Intelligence,
São Luiz - Maranhão,
29 de setembro a 1o. de outubro de 2004,
Lectures Notes in Artificial Intelligence (LNAI),
Ana L.C. Bazzan and Sofiane Labidi (eds.),
vol. 3171, Springer, 2004, pp. 1-10
(ISBN 3-540-23237-0).
Atualizado em 06/05/2008.