@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.