@techreport{efkr2014-tr,
author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl},
title = {Domain Expansion for {ASP}-Programs with External Sources},
year = {2014},
institution = {Institut f{\"u}r Informationssysteme, Technische Universit{\"a}t Wien},
address = {A-1040 Vienna, Austria},
number = {INFSYS RR-1843-14-02},
month = {September}
}
@misc{cfghirst2014-ecai-angrybirds,
author = {Francesco Calimeri and Michael Fink and Stefano Germano and Andreas Humenberger and Giovambattista Ianni and Christoph Redl and Daria Stepanova and Andrea Tucci},
month = {August},
title = {{AngryHEX:} An Angry Birds-playing Agent based on {HEX}-Programs},
year = {2014},
howpublished = {Angry-Birds Competition 2014, August 20-22, 2014, Prague, Czech Replublic}
}
@phdthesis{r2014-phd,
address = {A-1040 Vienna, Karlsplatz 13},
author = {Christoph Redl},
date-modified = {2014-24-04},
month = {April},
school = {Vienna University of Technology, Knowledge-Based Systems Group},
title = {Answer Set Programming with External Sources: Algorithms and Efficient Evaluation},
year = {2014}
}
@inproceedings{efrs2014-aaai,
author = {Thomas Eiter and Michael Fink and Christoph Redl and Daria Stepanova},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference (AAAI 2014), July 27--31, 2014, Qu\'{e}bec City, Qu\'{e}bec, Canada},
conference = {http://www.aaai.org/Conferences/AAAI/aaai14.php},
date = {July 27--31, 2014},
keywords = {Answer Set Programming, External Sources, Description Logic Programs},
location = {Qu\`{e}bec City, Qu\`{e}bec, Canada},
month = {July},
projectref = {FWF-P20840, FWF-P20841, FWF-P24090, WWTF-ICT08-020},
publisher = {AAAI Press},
title = {Exploiting Support Sets for Answer Set Programs with External Evaluations},
year = {2014}
}
@inproceedings{efkr2014-inap13,
author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl},
booktitle = {Proceedings of the Twentieth International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Germany, September 11-13, 2013},
conference = {http://www.dcc.fc.up.pt/INAP-2013/},
date = {September 11-13, 2013},
editor = {Ricardo Rocha},
location = {Kiel, Germany},
month = {September},
projectref = {FWF-P24090},
title = {{HEX}-Programs with Existential Quantification},
year = {2014},
note = {Post proceedings}
}
@article{swdrkef2014-aij,
author = {Yi-Dong Shen and Kewen Wang and Jun Deng and Christoph Redl and Thomas Krennwallner and Thomas Eiter and Michael Fink},
journal = {Artificial Intelligence},
title = {{FLP} Answer Set Semantics without Circular Justifications for General Logic Programs},
year = {2014},
month = {May},
pages = {1--41},
volume = {213}
}
@article{efkrs2014-jair,
author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller},
journal = {Journal of Artificial Intelligence Research},
title = {Efficient {HEX}-Program Evaluation Based on Unfounded Sets},
year = {2014},
month = {February},
pages = {269--321},
volume = {49}
}
This file was generated by bibtex2html 1.98.