Sheila R. M. Veloso

According to our database1, Sheila R. M. Veloso authored at least 36 papers between 1991 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
On Diagrams and General Model Checkers.
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
On a graph calculus for modalities.
Theor. Comput. Sci., 2017

2015
On Graphs for Intuitionistic Modal Logics.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014
PDL for structured data: a graph-calculus approach.
Logic Journal of the IGPL, 2014

On Graph Calculi for Multi-modal Logics.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013
On a Graph Approach to Modal Logics.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012
A Graph Calculus for Predicate Logic
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

2011
On Graph Refutation for Relational Inclusions
Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010
On vague notions and modalities: a modular approach.
Logic Journal of the IGPL, 2010

A Tool for Analysing Logics.
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

A Calculus for Graphs with Complement.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009
On graph reasoning.
Inf. Comput., 2009

Positive Fork Graph Calculus.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008
On a Graph Calculus for Algebras of Relations.
Proceedings of the Logic, 2008

Methodical Construction of Symbolic Diagrams.
Proceedings of the Advances in Artificial Intelligence, 2008

2007
On Fork Arrow Logic and its Expressive Power.
J. Philosophical Logic, 2007

Natural Deduction for "Generally".
Logic Journal of the IGPL, 2007

On Positive Relational Calculi.
Logic Journal of the IGPL, 2007

Sequent Calculi for 'Generally'.
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2006
Reasoning with Graphs.
Electron. Notes Theor. Comput. Sci., 2006

2005
An Application of Logic Engineering.
Logic Journal of the IGPL, 2005

On 'Most' and 'Representative': Filter Logic and Special Predicates.
Logic Journal of the IGPL, 2005

2004
On Ultrafilter Logic and Special Functions.
Studia Logica, 2004

Functional Interpretation of Logics for 'Generally'.
Logic Journal of the IGPL, 2004

On Modalities for Vague Notions.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003
Squares in Fork Arrow Logic.
J. Philosophical Logic, 2003

2002
On local modularity and interpolation in entailment systems.
Inf. Process. Lett., 2002

On Special Functions and Theorem Proving in Logics for 'Generally'.
Proceedings of the Advances in Artificial Intelligence, 2002

Qualitative Logic for 'Generally'.
Proceedings of the International Conference on Artificial Intelligence, 2002

2001
On local modularity variants and -institutions.
Inf. Process. Lett., 2001

2000
Representing Belief Revision through Default Theories.
Proceedings of the Advances in Artificial Intelligence, 2000

1998
Labeled Families in Modular Software Development.
J. Braz. Comp. Soc., 1998

1997
On Methods for Safe Introduction of Operations.
Inf. Process. Lett., 1997

1995
A Goal Directed Reasoning for Semi-Normal Default Theories.
Proceedings of the Advances in Artificial Intelligence, 1995

A Sphere World Semantics for Default Reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1991
Some Remarks on Conservative Extensions: A Socratic Dialogue.
Bulletin of the EATCS, 1991


  Loading...