TY - GEN
AU - Oetsch, Johannes
AU - Pührer, Jörg
AU - Tompits, Hans
AU - Johannes Oetsch and Jörg Pührer and Hans Tompits
TI - An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - abstract constraints
KW - aggregates
KW - answer-set programming
KW - disjunction
PY - 2012
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation