Formalizing defeasible argumentation using a labeled deductive system
In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical syste...
Guardado en:
| Autores principales: | Chesñevar, Carlos Iván, Simari, Guillermo Ricardo |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9406 http://journal.info.unlp.edu.ar/wp-content/uploads/pap21.pdf |
| Aporte de: |
Ejemplares similares
-
A formalization of defeasible argumentation using labelled deductive systems : Preliminary report
por: Chesñevar, Carlos Iván, et al.
Publicado: (1998) -
The role of labelled deductive systems in a formal system for defeasible argumentation
por: Chesñevar, Carlos Iván, et al.
Publicado: (1999) -
A logical framework for modeling argumentation using labelled deduction
por: Chesñevar, Carlos Iván, et al.
Publicado: (2000) -
Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems
por: Chesñevar, Carlos Iván, et al.
Publicado: (2002) -
A taxonomy for argumentative frameworks based on labelled deduction
por: Chesñevar, Carlos Iván
Publicado: (2001)