Renata P. de Freitas

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Progress In Artificial Intelligence

Algebraic Equations

Diagrammatic Reasoning

Top Venues

J. Log. Lang. Inf.

Publications

Renata P. de Freitas, Petrucio Viana
Set Venn Diagrams Applied to Inclusions and Non-inclusions. J. Log. Lang. Inf. 24 (4) (2015)
Renata P. de Freitas, Petrucio Viana
The Second Venn Diagrammatic System. Diagrams (2014)
Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface. Log. J. IGPL 22 (2) (2014)
Renata P. de Freitas, Petrucio Viana
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. Diagrams (2012)
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA (2010)
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
On vague notions and modalities: a modular approach. Log. J. IGPL 18 (3) (2010)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
A Calculus for Graphs with Complement. Diagrams (2010)
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana
Positive Fork Graph Calculus. LFCS (2009)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On graph reasoning. Inf. Comput. 207 (10) (2009)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On a Graph Calculus for Algebras of Relations. WoLLIC (2008)
Renata P. de Freitas, Jorge Petrucio Viana
A note on proofs with graphs. Sci. Comput. Program. 73 (2-3) (2008)
Renata P. de Freitas, Petrucio Viana
Introducing Polymodal Neighbourhood Logics. LSFA (2008)
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36 (5) (2007)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On Positive Relational Calculi. Log. J. IGPL 15 (5-6) (2007)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
Reasoning with Graphs. Electron. Notes Theor. Comput. Sci. 165 (2006)
Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
An Application of Logic Engineering. Log. J. IGPL 13 (1) (2005)
Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso
On Modalities for Vague Notions. SBIA (2004)
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
Squares in Fork Arrow Logic. J. Philos. Log. 32 (4) (2003)
Renata P. de Freitas, Jorge Petrucio Viana
A Completeness Result for Relation Algebra with Binders. Electron. Notes Theor. Comput. Sci. 67 (2002)