Defeasible logic programming: language definition, operational semantics, and parallelism

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and considering features of recent developments in...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: García, Alejandro Javier
Formato: Articulo Revision
Lenguaje:Inglés
Publicado: 2001
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9427
http://journal.info.unlp.edu.ar/wp-content/uploads/Defeasible-Logic-Programming.pdf
Aporte de:
Descripción
Sumario:This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and considering features of recent developments in the area of Defeasible Argumentation. DeLP relates and improves many aspects of the areas of Logic Programming, Defeasible Argumentation, Intelligent Agents, and Parallel Logic Programming