Lógicas modais proposicionais : estudos, proposta de tableaux para lógica modal epistêmica com operador de conhecimento comum e implementação de provadores automáticos /

Guardado en:
Detalles Bibliográficos
Autores principales: Pinto, Paulo Coelho Ventura., Benevides, Mário Roberto Folhadela, Universidade Federal do Rio de Janeiro.
Formato: Livro
Lenguaje:Português
Publicado: UFRJ/IM, 2004.
Materias:
Lógica modal.
Lógica epistêmica.
Inteligência artificial.
Acceso en línea:https://minerva.ufrj.br/F/?func=direct&doc_number=000628790&local_base=UFR01
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares