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...

Descripción completa

Guardado en:
Detalles Bibliográficos
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