@inproceedings{r2017-ijcai,
author = {Christoph Redl},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), August 19--25, 2017, Melbourne, Australia},
conference = {ijcai-17.org},
date = {August 19--25, 2017},
location = {Melbourne, Australia},
month = {August},
projectref = {FWF-27730},
publisher = {AAAI Press},
title = {Conflict-driven {ASP} Solving with External Sources and Program Splits},
pages = {1239--1246},
year = {2017}
}
@inproceedings{ekrsw2017-rw,
author = {Thomas Eiter and Tobias Kaminski and Christoph Redl and Peter Sch{\"{u}}ller and Antonius Weinzierl},
title = {Answer Set Programming with External Source Access},
booktitle = {Reasoning Web. Semantic Interoperability on the Web - 13th International
Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
pages = {204--275},
year = {2017}
}
@inproceedings{r2017b-lpnmr,
author = {Christoph Redl},
booktitle = {Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning},
conference = {http://lpnmr2017.aalto.fi},
date = {July 3--6, 2017},
location = {Helsinki, Finland},
month = {July},
projectref = {FWF-P27730},
publisher = {Springer},
title = {Explaining Inconsistency in Answer Set Programs and Extensions},
year = {2017},
pages = {176-190}
}
@inproceedings{r2017a-lpnmr,
author = {Christoph Redl},
booktitle = {Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning},
conference = {http://lpnmr2017.aalto.fi},
date = {July 3--6, 2017},
location = {Helsinki, Finland},
month = {July},
projectref = {FWF-P27730},
publisher = {Springer},
title = {Answer Set Programs with Queries over Subprograms},
year = {2017},
pages = {160-175}
}
@inproceedings{r2017b-aaai,
author = {Christoph Redl},
booktitle = {Proceedings of the Thirty-First AAAI Conference (AAAI 2017), February 4--9, 2017, San Francisco, California, USA},
conference = {https://www.aaai.org/Conferences/AAAI/aaai17.php},
date = {February 4--9, 2017},
location = {San Francisco, California, USA},
month = {February},
projectref = {FWF-P27730},
publisher = {AAAI Press},
title = {On Equivalence and Inconsistency of Answer Set Programs with External Sources},
year = {2017},
pages = {1222--1228}
}
@inproceedings{r2017a-aaai,
author = {Christoph Redl},
booktitle = {Proceedings of the Thirty-First AAAI Conference (AAAI 2017), February 4--9, 2017, San Francisco, California, USA},
conference = {https://www.aaai.org/Conferences/AAAI/aaai17.php},
date = {February 4--9, 2017},
location = {San Francisco, California, USA},
month = {February},
projectref = {FWF-P27730},
publisher = {AAAI Press},
title = {Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining},
year = {2017},
pages = {1229--1235}
}
@inproceedings{r2017-padl,
author = {Christoph Redl},
booktitle = {Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), Paris, France, January 16-17, 2017},
editor = {Yuliya Lierler and Walid Taha},
month = {January},
year = {2017},
project = {FWF-P27730},
publisher = {Springer},
series = {LNCS},
title = {Extending Answer Set Programs with Interpreted Functions as First-class Citizens},
pages = {68--85}
}
@inproceedings{rr2017-padl,
author = {Jakob Rath and Christoph Redl},
booktitle = {Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017), Paris, France, January 16-17, 2017},
editor = {Yuliya Lierler and Walid Taha},
month = {January},
year = {2017},
project = {FWF-P27730},
publisher = {Springer},
series = {LNCS},
title = {Integrating Answer Set Programming with Procedural Languages},
pages = {50--67}
}
This file was generated by bibtex2html 1.98.