Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs (2002)

AUTHORS:

Brewka Gerd , Niemelä Ilkka , Syrjänen Tommi

  • BOOKTITLE:
  • PAGES:
  • 444-455

URL:
http://www.tcs.hut.fi/~ini/papers/