Login / Signup
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Christian Kloimüllner
Johannes Oetsch
Jörg Pührer
Hans Tompits
Published in:
CoRR (2011)
Keyphrases
</>
answer set programs
answer set programming
visual information
answer sets
logic programs
machine learning
relational databases
general purpose
stable models