pub-redl-2018.bib

@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},
  notes = {To appear}
}
@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},
  year = {2018},
  month = {May},
  day = {15},
  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.