,

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.

, , и .
ICLP (Technical Communications), том 17 из LIPIcs, стр. 222-234. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии