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

• Autores: Alejandro Javier García
• Localización: Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 1, Nº. 5, 2001 (Ejemplar dedicado a: Fifth Issue; 15 p.)
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • 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