Sheila R. M. Veloso

Publication Activity (10 Years)

Years Active: 1991-2018
Publications (10 Years): 2

Top Topics

Sequent Calculi

Decision Procedures

Top Venues

Theor. Comput. Sci.

Publications

Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima
On Diagrams and General Model Checkers. Diagrams (2018)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On a graph calculus for modalities. Theor. Comput. Sci. 685 (2017)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Graphs for Intuitionistic Modal Logics. LSFA (2015)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
PDL for structured data: a graph-calculus approach. Log. J. IGPL 22 (5) (2014)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On Graph Calculi for Multi-modal Logics. LSFA (2014)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On a Graph Approach to Modal Logics. LSFA (2013)
Paulo A. S. Veloso, Sheila R. M. Veloso
A Graph Calculus for Predicate Logic LSFA (2012)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Graph Refutation for Relational Inclusions LSFA (2011)
Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso
A Tool for Analysing Logics. 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)
Paulo A. S. Veloso, Sheila R. M. Veloso
Methodical Construction of Symbolic Diagrams. SBIA (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)
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
Sequent Calculi for 'Generally'. LSFA (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)
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
Natural Deduction for "Generally". 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)
Paulo A. S. Veloso, Sheila R. M. Veloso
On 'Most' and 'Representative': Filter Logic and Special Predicates. Log. J. IGPL 13 (6) (2005)
Paulo A. S. Veloso, Sheila R. M. Veloso
Functional Interpretation of Logics for 'Generally'. Log. J. IGPL 12 (6) (2004)
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)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Ultrafilter Logic and Special Functions. Stud Logica 78 (3) (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)
Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
On local modularity and interpolation in entailment systems. Inf. Process. Lett. 82 (4) (2002)
Sheila R. M. Veloso, Paulo A. S. Veloso
Qualitative Logic for 'Generally'. IC-AI (2002)
Sheila R. M. Veloso, Paulo A. S. Veloso
On Special Functions and Theorem Proving in Logics for 'Generally'. SBIA (2002)
Paulo A. S. Veloso, Sheila R. M. Veloso
On local modularity variants and -institutions. Inf. Process. Lett. 77 (5-6) (2001)
João C. P. da Silva, Sheila R. M. Veloso
Representing Belief Revision through Default Theories. IBERAMIA-SBIA (2000)
Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro
Labeled Families in Modular Software Development. J. Braz. Comput. Soc. 5 (1) (1998)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Methods for Safe Introduction of Operations. Inf. Process. Lett. 64 (5) (1997)
Gerson Zaverucha, Sheila R. M. Veloso
A Goal Directed Reasoning for Semi-Normal Default Theories. SBIA (1995)
João C. P. da Silva, Sheila R. M. Veloso
A Sphere World Semantics for Default Reasoning. LPNMR (1995)
Paulo A. S. Veloso, Sheila R. M. Veloso
Some Remarks on Conservative Extensions: A Socratic Dialogue. Bull. EATCS 43 (1991)