MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Logic programming with ordered disjunction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Applications of preferences using answer set programming  
  • by Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol — 2005 — In Proceedings Workshop on Answer Set Programming (ASP’05
  • …-isfy these additional requirements. In [3] Brewka introduced logic programs with ordered disjunction (LPODs) where…
  • Cited by 2 (1 self) – Add To MetaCart
  • Order and Negation as Failure  
  • by Davy Van Nieuwenborgh, Dirk Vermeir — 2003 — In Procs. of the Intl. Conference on Logic Programming, volume 2916 of LNCS
  • … by means of an intuitive simulation of logic programming with ordered disjunction. The simulation also…
  • Cited by 4 (2 self) – Add To MetaCart
  • PDL with preferences  
  • by Elisa Bertino — 2005 — Proc. of POLICY
  • … our approach on introducing Ordered Disjunction into PDL to express preferences (Logic Programming…
  • Cited by 3 (0 self) – Add To MetaCart
  • Answer set optimization  
  • by Gerhard Brewka, Ilkka Niemela, Miroslaw Truszczynski — 2003 — Proc. IJCAI-03
  • … with ordered disjunction (LPODs) are a special case of our approach. Let P be an LPOD, a logic program…
  • Cited by 18 (5 self) – Add To MetaCart
  • Policy monitoring with user-preferences in PDL  
  • by Elisa Bertino, Ra Mileo, Ro Provetti — 2003 — In Proceedings of IJCAI-03 Workshop for Nonmonotonic Reasoning, Action and Change
  • … to express preferences (Logic Programming with Ordered Disjunction - LPOD). In fact it seems to us natural…
  • Cited by 4 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB