| Título: | Formalizing processes in defeasible argumentation using labeled deductive systems |
| Autores: | Chesñevar, Carlos Iván |
| Fecha: |
2011-09-01 2001 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Articulo Revision |
| Tema: |
defeasible argumentation; argumentation frameworks; labeled deductive systems Ciencias Informáticas |
| Descripción: | This paper summarizes the main results developed in the author's PhD Thesis. The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework for defeasible argumentation called LDSar has been developed. The object language is that of logic programming, complemented with labels that identify distinguished elements for representing knowledge and performing inference. |
| Idioma: | Español |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |