Login / Signup
An integrated Graphical User Interface for Debugging Answer Set Programs.
Philip Gasteiger
Carmine Dodaro
Benjamin Musitsch
Kristian Reale
Francesco Ricca
Konstantin Schekotihin
Published in:
CoRR (2016)
Keyphrases
</>
graphical user interface
answer set programs
answer set programming
user friendly
answer sets
logic programs
stable models
user interface
logic programming
graphical user interfaces
update operators
visualization tool
event calculus
machine learning
fixpoint
relational databases
high level