Combining quantitative and qualitative reasoning in defeasible argumentation
Labeled Deductive Systems (LDS) were developed as a rigorous but exible method- ology to formalize complex logical systems, such as temporal logics, database query languages and defeasible reasoning systems. LDSAR is a LDS-based framework for defeasible argumentation which subsumes di erent existin...
Guardado en:
| Autores principales: | Chesñevar, Carlos Iván, Simari, Guillermo Ricardo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2002
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23110 |
| Aporte de: |
Ejemplares similares
-
Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems
por: Chesñevar, Carlos Iván, et al.
Publicado: (2002) -
The role of labelled deductive systems in a formal system for defeasible argumentation
por: Chesñevar, Carlos Iván, et al.
Publicado: (1999) -
A formalization of defeasible argumentation using labelled deductive systems : Preliminary report
por: Chesñevar, Carlos Iván, et al.
Publicado: (1998) -
Distinguishing ground from nonground information in defeasible argumentation
por: Chesñevar, Carlos Iván, et al.
Publicado: (1995) -
Consequence operators for defeasible argumentation: characterization and logical properties
por: Chesñevar, Carlos Iván, et al.
Publicado: (2001)