Revisão de crenças aplicada a programas em lógica /

Por Cabral, Rubens Júnior Magno., VELOSO, SHEILA REGINA MURGEL.
Publicado em 1998

Modularidade e relação de conseqüência /

Por Freitas, Renata Pereira de., VELOSO, SHEILA REGINA MURGEL.
Publicado em 1997

Estudo do conhecimento : algumas abordagens para a sua formalização /.

Por Almeida, Eliana Silva de., Veloso, Sheila Regina Murgel.
Publicado em 1991.

MECANISMOS DE TRANSMISSAO DE MENSAGENS EM SISTEMAS DISTRIBUIDOS : UM MODELO SEMANTICO.

Por VELOSO, SHEILA REGINA MURGEL., Santos, Sueli Mendes dos.
Publicado em S1985

PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS.

Por ARAUJO, JOSE EVANDE CARVALHO., Veloso, Sheila Regina Murgel.
Publicado em S1992

SEMANTICA PARA LOGICA DEFAULT E PROGRAMACAO EM LOGICA BASEADA EM REVISAO DE CRENCAS.

Por SILVA, JOAO CARLOS PEREIRA DA., Veloso, Sheila Regina Murgel.
Publicado em S199

Uma automação de lógica temporal

Por Souza, Luiz Fernando Pereira de, Veloso, Sheila Regina Murgel
Publicado no Relatório Técnico NCE (1992-12-23)

Lógicas não-monotônicas na formalização do senso-comum /.

Por Silva, João Carlos Pereira da., Veloso, Sheila Regina Murgel.
Publicado em 1990.

Automação de lógica modal : um estudo comparativo de algumas abordagens /.

Por Souza, Luiz Fernando Pereira de., Veloso, Sheila Regina Murgel.
Publicado em S1992

TEMPO COMO MODELO : A APLICACAO DE LOGICAS TEMPORAIS NA ESPECIFICACAO FORMAL DE SISTEMAS DISTRIBUIDOS.

Por VASCONCELOS, WAMBERTO WEBER MIRANDA PEIXOTO DE., Veloso, Sheila Regina Murgel.
Publicado em S1989

Método de dedução não-monotônico baseado em eliminaçaõ de modelos /.

Por Carvalho, Alexandre Plastino de., Casanova, Marco Antonio., Veloso, Sheila Regina Murgel.
Publicado em 1990.

Sobre esquemas de indução.

Por Viana, Jorge Petrúcio., Veloso, Sheila Regina Murgel., Veloso, Paulo Augusto Silva
Publicado em 1994.

ESPECIFICACAO E IMPLEMENTACAO DE SISTEMA DE REGRAS DE PRODUCAO FORTEMENTE ACOPLADO A BANCOS DE DADOS.

Por PACITTI, ESTHER DE CASTRO., Silveira, Pedro Manoel da., VELOSO, SHEILA REGINA MURGEL.
Publicado em S1991

Uma automação de lógica temporal /

Por Souza, Luiz Fernando Pereira de., Veloso, Sheila Regina Murgel., Núcleo de Computação Eletrônica
Publicado em 1992

DESENVOLVIMENTO DE PROGRAMAS POR COMPOSICAO DE IMPLEMENTACOES UTILIZANDO LOGICA CLASSICA E LOGICA DEFAULT.

Por ARAGAO, MARCELO ANTONIO THOMAZ DE., Veloso, Paulo Augusto Silva., Veloso, Sheila Regina Murgel.
Publicado em S1993

Dedução natural e cálculo de seqüentes para "geralmente" /

Por Vana, Leonardo Bruno., Benevides, Mário Roberto Folhadela., Veloso, Sheila Regina Murgel., Universidade Federal do Rio de Janeiro.
Publicado em 2008

Lógica modal da bifurcação /

Por Freitas, Renata Pereira de., Veloso, Sheila Regina Murgel., Benevides, Mário Roberto Folhadela., Universidade Federal do Rio de Janeiro.
Publicado em 2002

Extensões não-lógicas do cálculo relacional /

Por Viana, Jorge Petrúcio., Veloso, Sheila Regina Murgel., Veloso, Paulo Augusto Silva, Coordenação dos Programas de Pós-Graduação de Engenharia
Publicado em 2005