pub-redl-2016.bib

@article{icghrstw2016-ieee,
  author = {Giovambattista Ianni and Francesco Calimeri and Stefano Germano and Andreas Humenberger and Christoph Redl and Daria Stepanova and Andrea Tucci and Anton Wimmer},
  title = {{Angry-HEX}: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases},
  journal = {IEEE Transactions on Computational Intelligence and AI in Games},
  year = {2016},
  note = {Accepted for publication}
}
@article{efikrs2016-tplp,
  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},
  journal = {Theory and Practice of Logic Programming},
  year = {2016},
  note = {Accepted for publication}
}
@inproceedings{ekrw2016-ijcai,
  author = {Thomas Eiter and Tobias Kaminski and Christoph Redl and Antonius Weinzierl},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), July 9--15, 2016, New York, New York, USA},
  conference = {http://ijcai-16.org/index.php/welcome/view/home},
  date = {July 9--15, 2016},
  location = {New York, New York, USA},
  month = {July},
  projectref = {FWF-27730},
  publisher = {AAAI Press},
  title = {Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access},
  year = {2016},
  note = {Accepted for publication}
}
@article{efkr2016-aij,
  author = {Thomas Eiter and
			   Michael Fink and
			   Thomas Krennwallner and
			   Christoph Redl},
  title = {Domain expansion for {ASP}-programs with external sources},
  journal = {Artif. Intell.},
  volume = {233},
  pages = {84--121},
  year = {2016},
  url = {http://dx.doi.org/10.1016/j.artint.2016.01.003},
  doi = {10.1016/j.artint.2016.01.003}
}
@incollection{ers2016-festschrift,
  author = {Thomas Eiter and Christoph Redl and Peter Sch\"{u}ller},
  title = {Problem Solving Using the {HEX} Family},
  year = {2016},
  month = {January},
  pages = {150-174},
  booktitle = {Computational Models of Rationality - Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, Tributes},
  editor = {Christoph Beierle and Gerhard Brewka and Matthias Thimm},
  series = {College Publications}
}
@techreport{r2016-abcsystem,
  title = {The ABC Benchmarking System - User Manual},
  author = {Christoph Redl},
  institution = {Vienna University of Technology, Institute for Information Systems},
  number = {INFSYS RR-1843-16-01},
  year = {2016},
  month = {January}
}

This file was generated by bibtex2html 1.97.