UNIP - Universidade Paulista

• Central de Atendimento UNIP 0800 010 9000
• Unidades
• Central do Aluno
• Disciplina Online
• TV WEB Unip
• Universidade Paulista - UNIP
• WebMail
• Busca
• Mapa do Site

• Universidade
  • Campi
  • Clínicas
  • Dados Institucionais
  • Estatuto
  • Histórico
  • Institutos
  • Missão
  • Objetivos
  • Reitoria
  • Regimento Geral
  • Mapa do site
• Ensino
  • Graduação
    • Cursos Superiores Tecnológicos
    • Cursos Superiores Tecnológicos a Distância
    • Cursos Superiores Tradicionais
    • Inscrição On-line
    • Relação de Docentes
  • Pós-Graduação Lato Sensu
    • Cursos
    • Cursos a Distância
    • Inscrição On-line
    • Lista de Aprovados
    • Secretaria Virtual
  • Programas de Mestrado e Doutorado
  • Cursos a Distância
  • Extensão Comunitária
• Pesquisas
  • Bolsas de Iniciação Científica para Discentes
  • Programa de Incentivo à Publicação
  • Comitê de Ética em Pesquisa
  • Encontros Científicos
  • Grupos de Pesquisa
  • Links de Interesse
  • Notícias
  • Produção Intelectual do Corpo Docente
  • Programa de Auxílio à Participação em Reuniões Científicas
  • Programa Individual de Pesquisa para Docentes
  • Pesquisas Financiadas
    • UNIP
    • PIBIC/CNPq
    • Santander/UNIP
• Serviços
  • Alunos
    • Atlética UNIP
    • Disciplina On-line
    • Enade
    • Estágio - Licenciatura
    • Laboratório
    • Preenchimento da Folha da PII
    • Secretaria On-line
    • Solicitação de Software
  • Biblioteca
    • Acervo e Serviços
    • Pesquisar Acervo
    • Bases de Dados On-line
    • Conteúdo Programático On-line
    • Guia de Normalização
    • Novidades
    • Regulamento Geral
  • Ex-Alunos
    • Instituto de Acompanhamento Profissional
  • Professores
    • Webmail
  • Suporte ao Ensino
• Comunicação
  • Agenda
  • Desenvolvimento
  • Multiensino
  • Notícias
  • Publicações
  • TV UNIP
  • TV WEB UNIP
• Vestibular
  • Edital
  • Gabarito
  • Inscrições
  • Lista de Aprovados
  • Manual do Candidato

Links Relacionados

• Programa de Incentivo à Publicação

Você está em: Universidade Paulista / Pesquisa / Programa de Incentivo à Publicação / Deontic verification for railway interlocking safety based on vector annotated logic programming (preliminar version)

Programa de Incentivo à Publicação

Obra: Deontic verification for railway interlocking safety based on vector annotated logic programming (preliminar version)
Autor: Kazumi Nakamatsu, Jair Minoro Abe e Atsuyuki Suzuki3

Resumo

We have already proposed an annotated logic program called an EVALP (Extended Vector Annotated Logic Program) to deal with deontic reasoning. In this paper, we propose an automatic verification system forrailway interlocking safety based on EVALP programming as an application of EVALP.