 | 2009 |
|---|
| 23 |       | Renata P. de Freitas,
Sheila R. M. Veloso,
Paulo A. S. Veloso,
Jorge Petrúcio Viana:
Positive Fork Graph Calculus.
LFCS 2009: 152-163 |
| 22 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On graph reasoning.
Inf. Comput. 207(10): 1000-1014 (2009) |
| 2008 |
|---|
| 21 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
Methodical Construction of Symbolic Diagrams.
SBIA 2008: 187-196 |
| 20 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On a Graph Calculus for Algebras of Relations.
WoLLIC 2008: 298-312 |
| 19 | | Leonardo B. Vana,
Paulo A. S. Veloso,
Sheila R. M. Veloso:
Sequent Calculi for 'Generally'.
Electr. Notes Theor. Comput. Sci. 205: 49-65 (2008) |
| 2007 |
|---|
| 18 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On Positive Relational Calculi.
Logic Journal of the IGPL 15(5-6): 577-601 (2007) |
| 17 | | Leonardo B. Vana,
Paulo A. S. Veloso,
Sheila R. M. Veloso:
Natural Deduction for "Generally".
Logic Journal of the IGPL 15(5-6): 775-800 (2007) |
| 2006 |
|---|
| 16 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
Reasoning with Graphs.
Electr. Notes Theor. Comput. Sci. 165: 201-212 (2006) |
| 2005 |
|---|
| 15 | | Sheila R. M. Veloso,
Paulo A. S. Veloso,
Renata P. de Freitas:
An Application of Logic Engineering.
Logic Journal of the IGPL 13(1): 29-46 (2005) |
| 14 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On 'Most' and 'Representative': Filter Logic and Special Predicates.
Logic Journal of the IGPL 13(6): 717-728 (2005) |
| 2004 |
|---|
| 13 | | 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: 1-10 |
| 12 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
Functional Interpretation of Logics for 'Generally'.
Logic Journal of the IGPL 12(6): 627-640 (2004) |
| 11 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On Ultrafilter Logic and Special Functions.
Studia Logica 78(3): 459-477 (2004) |
| 2002 |
|---|
| 10 |  | Sheila R. M. Veloso,
Paulo A. S. Veloso:
Qualitative Logic for 'Generally'.
IC-AI 2002: 1246-1252 |
| 9 | | Sheila R. M. Veloso,
Paulo A. S. Veloso:
On Special Functions and Theorem Proving in Logics for 'Generally'.
SBIA 2002: 1-10 |
| 8 | | Paulo A. S. Veloso,
José Luiz Fiadeiro,
Sheila R. M. Veloso:
On local modularity and interpolation in entailment systems.
Inf. Process. Lett. 82(4): 203-211 (2002) |
| 2001 |
|---|
| 7 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On local modularity variants and -institutions.
Inf. Process. Lett. 77(5-6): 247-253 (2001) |
| 2000 |
|---|
| 6 | | João C. P. da Silva,
Sheila R. M. Veloso:
Representing Belief Revision through Default Theories.
IBERAMIA-SBIA 2000: 227-235 |
| 1998 |
|---|
| 5 | | Sheila R. M. Veloso,
Paulo A. S. Veloso,
José Luiz Fiadeiro:
Labeled Families in Modular Software Development.
J. Braz. Comp. Soc. 5(1): (1998) |
| 1997 |
|---|
| 4 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On Methods for Safe Introduction of Operations.
Inf. Process. Lett. 64(5): 231-238 (1997) |
| 1995 |
|---|
| 3 | | João C. P. da Silva,
Sheila R. M. Veloso:
A Sphere World Semantics for Default Reasoning.
LPNMR 1995: 175-188 |
| 2 | | Gerson Zaverucha,
Sheila R. M. Veloso:
A Goal Directed Reasoning for Semi-Normal Default Theories.
SBIA 1995: 112-120 |
| 1991 |
|---|
| 1 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
Some Remarks on Conservative Extensions: A Socratic Dialogue.
Bulletin of the EATCS 43: 189-198 (1991) |
