Dissertations details

  • Explorations in Revised Stable Models ñ a new semantics for logic programs
  • Jun 2005
  • Faculdade de Ciências e Tecnologia, UNL
  • Alexandre Pinto
  • Luís Moniz Pereira