Sheila R. M. Veloso

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

On Diagrams and General Model Checkers.

Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

On a graph calculus for modalities.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Theor. Comput. Sci., 2017

2015

On Graphs for Intuitionistic Modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

PDL for structured data: a graph-calculus approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Log. J. IGPL, 2014

On Graph Calculi for Multi-modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013

On a Graph Approach to Modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012

A Graph Calculus for Predicate Logic

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

2011

On Graph Refutation for Relational Inclusions

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010

On vague notions and modalities: a modular approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado

Log. J. IGPL, 2010

A Tool for Analysing Logics.

Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

A Calculus for Graphs with Complement.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

On graph reasoning.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Inf. Comput., 2009

Positive Fork Graph Calculus.

Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

On a Graph Calculus for Algebras of Relations.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the Logic, 2008

Methodical Construction of Symbolic Diagrams.

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence, 2008

2007

On Fork Arrow Logic and its Expressive Power.

Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso

J. Philos. Log., 2007

Natural Deduction for "Generally".

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2007

On Positive Relational Calculi.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Log. J. IGPL, 2007

Sequent Calculi for 'Generally'.

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2006

Reasoning with Graphs.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

An Application of Logic Engineering.

Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas

Log. J. IGPL, 2005

On 'Most' and 'Representative': Filter Logic and Special Predicates.

Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2005

2004

On Ultrafilter Logic and Special Functions.

Paulo A. S. Veloso, Sheila R. M. Veloso

Stud Logica, 2004

Functional Interpretation of Logics for 'Generally'.

Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2004

On Modalities for Vague Notions.

Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso

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.

Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso

J. Philos. Log., 2003

2002

On local modularity and interpolation in entailment systems.

Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso

Inf. Process. Lett., 2002

On Special Functions and Theorem Proving in Logics for 'Generally'.

Sheila R. M. Veloso, Paulo A. S. Veloso

Proceedings of the Advances in Artificial Intelligence, 2002

Qualitative Logic for 'Generally'.

Sheila R. M. Veloso, Paulo A. S. Veloso

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

On local modularity variants and -institutions.

Paulo A. S. Veloso, Sheila R. M. Veloso

Inf. Process. Lett., 2001

2000

Representing Belief Revision through Default Theories.

João C. P. da Silva, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence, 2000

1998

Labeled Families in Modular Software Development.

Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro

J. Braz. Comput. Soc., 1998

1997

On Methods for Safe Introduction of Operations.

Paulo A. S. Veloso, Sheila R. M. Veloso

Inf. Process. Lett., 1997

1995

A Goal Directed Reasoning for Semi-Normal Default Theories.

Gerson Zaverucha, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence, 1995

A Sphere World Semantics for Default Reasoning.

João C. P. da Silva, Sheila R. M. Veloso

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1991

Some Remarks on Conservative Extensions: A Socratic Dialogue.

Paulo A. S. Veloso, Sheila R. M. Veloso

Bull. EATCS, 1991