Browsing by Subject "Negation as failure (NAF)"

Now showing items 1-1 of 1

    • Article  

      Computing argumentation in logic programming 

      Kakas, Antonis C.; Toni, F. (1999)
      In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing ...