Visualisation and Graphical Editing of Answer Sets: The Kara System

Kloimüllner, Christian

by Christian Kloimüllner

Reference:

Visualisation and Graphical Editing of Answer Sets: The Kara SystemChristian KloimüllnerMay 2012, Master's thesis, Vienna University of Technology, Institute of Information Systems.Note: supervised by H. Tompits and J. Puehrer

Bibtex Entry:

@mastersthesis{kloimuellner-12,
  author = {Christian Kloim{\"u}llner},
  title = {Visualisation and Graphical Editing of Answer Sets:  The Kara System},
  school = {Vienna University of Technology, Institute of Information Systems},
  month = {May},
  year = {2012},
  note = {supervised by H.~Tompits and J.~Puehrer},
  pdfps = {(\htmladdnormallink{PDF-file}{/publications/bib/pdf/kloimuellner-12.pdf})},
  url = {/files/pub/kloimuellner-12.pdf},
  category = {asp, se, vis}
}