Formalización de los procesos de argumentación rebatible como sistemas deductivos etiquetados /
El objetivo principal de esta Tesis es brindar una formalización de la argumentación rebatible orientada a su adecuado tratamiento computacional. En la última década, la argumentación rebatible ha demostrado ser un puinto de confluencia para muchos acercamientos orientados a formalizar el razonamie...
Guardado en:
Autor Principal: | |
---|---|
Formato: | Libro |
Idioma: | Spanish |
Publicado: |
2001.
|
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Biblioteca Central
Volumen/Tomo: No especificado