Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Inferring preferred extensions by Pstable semantics

Autor
NIEVES, J. C.; Osorio, M.
Tipus d'activitat
Document cientificotècnic
Data
2007-07
Codi
LSI-07-26-R
Repositori
http://hdl.handle.net/2117/87510 Obrir en finestra nova
Resum
Given an argumentation framework AF, we present a normal program Psi_{AF}, such that the preferred extensions of AF correspond exactly with the pstable models of Psi_{AF}. Moreover, we motivate the notion of suitable codifications for developing metainterpreters of argumentation theory based on logic programming.
Citació
Nieves, J. C., Osorio, M. "Inferring preferred extensions by Pstable semantics". 2007.
Paraules clau
Argumentation theory, Logic programming, Non-monotonic reasoning

Participants

  • Nieves Sánchez, Juan Carlos  (autor)
  • Osorio Galindo, Mauricio  (autor)

Arxius