The role of labelled deductive systems in a formal system for defeasible argumentation

There has been an increasing demand of a variety of logical systems, prompted by applications of logic in Al, logic prograrnming and other related areas. Labelled Deductive Systems (LDS) [Gab96] were developed as a flexible methodology to formalize such a kind of complex logical systems. In the las...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1999
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22256
Aporte de:

Ejemplares similares