@article{r2018-inlining-tplp,
author = {Christoph Redl},
title = {Inlining External Sources in Answer Set Programs},
journal = {Theory and Practice of Logic Programming},
volume = {},
number = {},
year = {2018},
pages = {},
note = {To appear}
}
@techreport{r2018-inconsistency-tr,
title = {Inconsistency in Answer Set Programs and Extensions},
author = {Christoph Redl},
institution = {Vienna University of Technology, Institute for Logic and Computation},
number = {LOGCOMP RR-1923-18-04},
year = {2018},
month = {June}
}
@article{ekrw2018-jair,
author = {Thomas Eiter and Tobias Kaminski and Christoph Redl and Antonius Weinzierl},
journal = {Journal of Artificial Intelligence Research},
title = {Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access},
year = {2018},
month = {July},
volume = {62},
pages = {665--727}
}
@article{eggkrsw2018-ki,
author = {Thomas Eiter and Stefano Germano and Giovambattista Ianni and Tobias Kaminski and Christoph Redl and Peter Sch{\"u}ller and Antonius Weinzierl},
title = {The {DLVHEX} System},
journal = {KI - K{\"u}nstliche Intelligenz},
volume = {32},
number = {2-3},
pages = {187--189},
year = {2018},
month = {August},
day = {14},
abstract = {HEX programs extend ASP with external atoms implemented in C++ or Python. DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention.},
issn = {1610-1987},
doi = {10.1007/s13218-018-0535-y},
url = {https://doi.org/10.1007/s13218-018-0535-y}
}
@techreport{ekrw2018-partial-tr,
title = {Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access},
author = {Thomas Eiter and Tobias Kaminski and Christoph Redl and Antonius Weinzierl},
institution = {Vienna University of Technology, Institute of Logic and Computation},
number = {LOGCOMP RR-1923-18-02},
year = {2018},
month = {January}
}
@techreport{r2018-inlining-tr,
title = {Inlining External Sources in Answer Set Programs},
author = {Christoph Redl},
institution = {Vienna University of Technology, Institute of Logic and Computation},
number = {LOGCOMP RR-1923-18-01},
year = {2018},
month = {January}
}
@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.