Sheila R. M. Veloso

36 papers B 1C 4Misc 2Journal 17Unranked 12
YearRankTypeTitle / Venue / Authors
2018 C conf
On Diagrams and General Model Checkers.
Diagrams
Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima
2017 J jnl
On a graph calculus for modalities.
Theor. Comput. Sci.
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2015 — conf
On Graphs for Intuitionistic Modal Logics.
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso
2014 — conf
On Graph Calculi for Multi-modal Logics.
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2014 J jnl
PDL for structured data: a graph-calculus approach.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2013 — conf
On a Graph Approach to Modal Logics.
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2012 — conf
A Graph Calculus for Predicate Logic
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso
2011 — conf
On Graph Refutation for Relational Inclusions
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso
2010 C conf
A Calculus for Graphs with Complement.
Diagrams
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2010 — conf
A Tool for Analysing Logics.
LSFA
Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso
2010 J jnl
On vague notions and modalities: a modular approach.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
2009 J jnl
On graph reasoning.
Inf. Comput.
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2009 Misc conf
Positive Fork Graph Calculus.
LFCS
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana
2008 — conf
Methodical Construction of Symbolic Diagrams.
SBIA
Paulo A. S. Veloso, Sheila R. M. Veloso
2008 C conf
On a Graph Calculus for Algebras of Relations.
WoLLIC
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2007 J jnl
Natural Deduction for "Generally".
Log. J. IGPL
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
2007 J jnl
On Fork Arrow Logic and its Expressive Power.
J. Philos. Log.
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
2007 J jnl
On Positive Relational Calculi.
Log. J. IGPL
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2007 — conf
Sequent Calculi for 'Generally'.
LSFA
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
2006 C conf
Reasoning with Graphs.
WoLLIC
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2005 J jnl
An Application of Logic Engineering.
Log. J. IGPL
Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
2005 J jnl
On 'Most' and 'Representative': Filter Logic and Special Predicates.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso
2004 J jnl
Functional Interpretation of Logics for 'Generally'.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso
2004 — conf
On Modalities for Vague Notions.
SBIA
Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso
2004 J jnl
On Ultrafilter Logic and Special Functions.
Stud Logica
Paulo A. S. Veloso, Sheila R. M. Veloso
2003 J jnl
Squares in Fork Arrow Logic.
J. Philos. Log.
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
2002 — conf
On Special Functions and Theorem Proving in Logics for 'Generally'.
SBIA
Sheila R. M. Veloso, Paulo A. S. Veloso
2002 J jnl
On local modularity and interpolation in entailment systems.
Inf. Process. Lett.
Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
2002 Misc conf
Qualitative Logic for 'Generally'.
IC-AI
Sheila R. M. Veloso, Paulo A. S. Veloso
2001 J jnl
On local modularity variants and -institutions.
Inf. Process. Lett.
Paulo A. S. Veloso, Sheila R. M. Veloso
2000 — conf
Representing Belief Revision through Default Theories.
IBERAMIA-SBIA
João C. P. da Silva, Sheila R. M. Veloso
1998 J jnl
Labeled Families in Modular Software Development.
J. Braz. Comput. Soc.
Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro
1997 J jnl
On Methods for Safe Introduction of Operations.
Inf. Process. Lett.
Paulo A. S. Veloso, Sheila R. M. Veloso
1995 — conf
A Goal Directed Reasoning for Semi-Normal Default Theories.
SBIA
Gerson Zaverucha, Sheila R. M. Veloso
1995 B conf
A Sphere World Semantics for Default Reasoning.
LPNMR
João C. P. da Silva, Sheila R. M. Veloso
1991 J jnl
Some Remarks on Conservative Extensions: A Socratic Dialogue.
Bull. EATCS
Paulo A. S. Veloso, Sheila R. M. Veloso