Browsing Qatar University Institutional Repository by Publisher "AAAI Publications"

Now showing items 1-1 of 1

Logic programs with ordered disjunction: First-order semantics and expressiveness

Asuncion, Vernon; Zhang, Yan; Zhang, Heng ( AAAI Publications , 2014 , Conference Paper)
Logic programs with ordered disjunction (LPODs) (Brewka 2002) generalize normal logic programs by combining alternative and ranked options in the heads of rules. It has been showed that LPODs are useful in a number of areas ...