Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems

LabeledDeductive Systems (LDS)were developed as a rigorous but fexiblemethodology 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 diferent existing ar...

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: 2002
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21797
Aporte de:

Ejemplares similares