Inproceedings,

Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.

, , and .
KR, page 433-443. AAAI Press, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews