TY - GEN
AU - Krennwallner, Thomas
AU - Thomas Krennwallner
TI - Promoting Modular Nonmonotonic Logic Programs
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Nonmonotonic Reasoning
KW - Knowledge Representation
KW - Modular Logic Programming
KW - Answer Set Programming
PY - 2011
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