pub-redl-2015.bib

@techreport{ers2015-tr2,
  author = {Thomas Eiter and Christoph Redl and Peter Sch\"{u}ller},
  title = {Problem Solving Using the {HEX} Family},
  year = {2015},
  institution = {Institut f{\"u}r Informationssysteme, Technische Universit{\"a}t Wien},
  address = {A-1040 Vienna, Austria},
  number = {INFSYS RR-1843-15-07},
  month = {December}
}

@techreport{emrs2015-hexmanual,
  title = {User Guide: dlvhex 2.X},
  author = {Thomas Eiter and Mustafa Mehuljic and Christoph Redl and Peter Sch\"uller},
  institution = {Vienna University of Technology, Institute for Information Systems},
  number = {INFSYS RR-1843-15-05},
  year = {2015},
  month = {September}
}

@inproceedings{derr2015-aspocp,
  author = {Alessandro De Rosis and Thomas Eiter and Christoph Redl and Francesco Ricca},
  booktitle = {Eighth Workshop on Answer Set Programming and Other Computing Paradigms ({ASPOCP} 2015), August 31, 2015, Cork, Ireland},
  conference = {https://sites.google.com/site/aspocp2015/},
  date = {August 31, 2015},
  keywords = {Answer Set Programming, Constraint Programming, External Sources},
  location = {Cork, Irland},
  month = {August},
  pages = {},
  projectref = {FWF-P24090, FWF-P27730},
  title = {Constraint Answer Set Programming Based on {HEX}-Programs},
  url = {},
  year = {2015}
}

@techreport{efikrs2015-tr,
  author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller},
  title = {A Model Building Framework for Answer Set Programming with External Computations},
  year = {2015},
  institution = {Institut f{\"u}r Informationssysteme, Technische Universit{\"a}t Wien},
  address = {A-1040 Vienna, Austria},
  number = {INFSYS RR-1843-15-01},
  month = {January}
}

This file was generated by bibtex2html 1.98.