Search the dblp DataBase
Sheila R. M. Veloso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Sheila R. M. Veloso, Paulo A. S. Veloso
Qualitative Logic for 'Generally'. [Citation Graph (0, 0)][DBLP]
IC-AI, 2002, pp:1246-1252 [Conf] - João C. P. da Silva, Sheila R. M. Veloso
A Sphere World Semantics for Default Reasoning. [Citation Graph (0, 0)][DBLP]
LPNMR, 1995, pp:175-188 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
SBIA, 2004, pp:1-10 [Conf] - João C. P. da Silva, Sheila R. M. Veloso
Representing Belief Revision through Default Theories. [Citation Graph (0, 0)][DBLP]
IBERAMIA-SBIA, 2000, pp:227-235 [Conf] - Sheila R. M. Veloso, Paulo A. S. Veloso
On Special Functions and Theorem Proving in Logics for 'Generally'. [Citation Graph (0, 0)][DBLP]
SBIA, 2002, pp:1-10 [Conf] - Gerson Zaverucha, Sheila R. M. Veloso
A Goal Directed Reasoning for Semi-Normal Default Theories. [Citation Graph (0, 0)][DBLP]
SBIA, 1995, pp:112-120 [Conf] - Paulo A. S. Veloso, Sheila R. M. Veloso
Some Remarks on Conservative Extensions: A Socratic Dialogue. [Citation Graph (0, 0)][DBLP]
Bulletin of the EATCS, 1991, v:43, n:, pp:189-198 [Journal] - Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana
Reasoning with Graphs. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:201-212 [Journal] - Paulo A. S. Veloso, Sheila R. M. Veloso
Functional Interpretation of Logics for 'Generally'. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2004, v:12, n:6, pp:627-640 [Journal] - Paulo A. S. Veloso, Sheila R. M. Veloso
On 'Most' and 'Representative': Filter Logic and Special Predicates. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2005, v:13, n:6, pp:717-728 [Journal] - Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
An Application of Logic Engineering. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2005, v:13, n:1, pp:29-46 [Journal] - Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
On local modularity and interpolation in entailment systems. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2002, v:82, n:4, pp:203-211 [Journal] - Paulo A. S. Veloso, Sheila R. M. Veloso
On local modularity variants and -institutions. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2001, v:77, n:5-6, pp:247-253 [Journal] - Paulo A. S. Veloso, Sheila R. M. Veloso
On Methods for Safe Introduction of Operations. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1997, v:64, n:5, pp:231-238 [Journal] - Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro
Labeled Families in Modular Software Development. [Citation Graph (0, 0)][DBLP]
J. Braz. Comp. Soc., 1998, v:5, n:1, pp:- [Journal] - Paulo A. S. Veloso, Sheila R. M. Veloso
On Ultrafilter Logic and Special Functions. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2004, v:78, n:3, pp:459-477 [Journal]
A Calculus for Graphs with Complement. [Citation Graph (, )][DBLP]
Positive Fork Graph Calculus. [Citation Graph (, )][DBLP]
Methodical Construction of Symbolic Diagrams. [Citation Graph (, )][DBLP]
On a Graph Calculus for Algebras of Relations. [Citation Graph (, )][DBLP]
Sequent Calculi for 'Generally'. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002