Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Thomas Krennwallner
@article{DBLP:journals/tplp/CalimeriFGIKKLM20, author = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Marco Maratea and Francesco Ricca and Torsten Schaub}, title = {ASP-Core-2 Input Language Format}, journal = {Theory Pract. Log. Program.}, volume = {20}, number = {2}, pages = {294--309}, year = {2020}, url = {https://doi.org/10.1017/S1471068419000450}, doi = {10.1017/S1471068419000450}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/CalimeriFGIKKLM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aips/KletzanderMGKS19, author = {Lucas Kletzander and Nysret Musliu and Johannes G{\"{a}}rtner and Thomas Krennwallner and Werner Schafhauser}, editor = {J. Benton and Nir Lipovetzky and Eva Onaindia and David E. Smith and Siddharth Srivastava}, title = {Exact Methods for Extended Rotating Workforce Scheduling Problems}, booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15, 2019}, pages = {519--527}, publisher = {{AAAI} Press}, year = {2019}, url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3518}, timestamp = {Thu, 10 Aug 2023 15:31:45 +0200}, biburl = {https://dblp.org/rec/conf/aips/KletzanderMGKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-04326, author = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Marco Maratea and Francesco Ricca and Torsten Schaub}, title = {ASP-Core-2 Input Language Format}, journal = {CoRR}, volume = {abs/1911.04326}, year = {2019}, url = {http://arxiv.org/abs/1911.04326}, eprinttype = {arXiv}, eprint = {1911.04326}, timestamp = {Sun, 01 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-04326.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/EiterFKR16, 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 = {https://doi.org/10.1016/j.artint.2016.01.003}, doi = {10.1016/J.ARTINT.2016.01.003}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/EiterFKR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/itsr/EiterKPRSS16, author = {Thomas Eiter and Thomas Krennwallner and Matthias Prandtstetter and Christian Rudloff and Patrik Schneider and Markus Straub}, title = {Semantically Enriched Multi-Modal Routing}, journal = {Int. J. Intell. Transp. Syst. Res.}, volume = {14}, number = {1}, pages = {20--35}, year = {2016}, url = {https://doi.org/10.1007/s13177-014-0098-8}, doi = {10.1007/S13177-014-0098-8}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/itsr/EiterKPRSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/EiterFIKRS16, 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 Pract. Log. Program.}, volume = {16}, number = {4}, pages = {418--464}, year = {2016}, url = {https://doi.org/10.1017/S1471068415000113}, doi = {10.1017/S1471068415000113}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/EiterFIKRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/Dao-TranEFK15, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, title = {Distributed Evaluation of Nonmonotonic Multi-context Systems}, journal = {J. Artif. Intell. Res.}, volume = {52}, pages = {543--600}, year = {2015}, url = {https://doi.org/10.1613/jair.4574}, doi = {10.1613/JAIR.4574}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/Dao-TranEFK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EiterFIKRS15, 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 = {CoRR}, volume = {abs/1507.01451}, year = {2015}, url = {http://arxiv.org/abs/1507.01451}, eprinttype = {arXiv}, eprint = {1507.01451}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EiterFIKRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ShenWEFRKD14, author = {Yi{-}Dong Shen and Kewen Wang and Thomas Eiter and Michael Fink and Christoph Redl and Thomas Krennwallner and Jun Deng}, title = {{FLP} answer set semantics without circular justifications for general logic programs}, journal = {Artif. Intell.}, volume = {213}, pages = {1--41}, year = {2014}, url = {https://doi.org/10.1016/j.artint.2014.05.001}, doi = {10.1016/J.ARTINT.2014.05.001}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ShenWEFRKD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/EiterFKRS14, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch{\"{u}}ller}, title = {Efficient HEX-Program Evaluation Based on Unfounded Sets}, journal = {J. Artif. Intell. Res.}, volume = {49}, pages = {269--321}, year = {2014}, url = {https://doi.org/10.1613/jair.4175}, doi = {10.1613/JAIR.4175}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/EiterFKRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/EiterFKR13, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl}, editor = {Marie desJardins and Michael L. Littman}, title = {Liberal Safety for Answer Set Programs with External Sources}, booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}}, pages = {267--275}, publisher = {{AAAI} Press}, year = {2013}, url = {https://doi.org/10.1609/aaai.v27i1.8571}, doi = {10.1609/AAAI.V27I1.8571}, timestamp = {Mon, 04 Sep 2023 15:56:33 +0200}, biburl = {https://dblp.org/rec/conf/aaai/EiterFKR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/EiterKS13, author = {Thomas Eiter and Thomas Krennwallner and Patrik Schneider}, editor = {Philipp Cimiano and {\'{O}}scar Corcho and Valentina Presutti and Laura Hollink and Sebastian Rudolph}, title = {Lightweight Spatial Conjunctive Query Answering Using Keywords}, booktitle = {The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France, May 26-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7882}, pages = {243--258}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38288-8\_17}, doi = {10.1007/978-3-642-38288-8\_17}, timestamp = {Mon, 28 Aug 2023 21:17:38 +0200}, biburl = {https://dblp.org/rec/conf/esws/EiterKS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/inap/EiterFKR13, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl}, editor = {Michael Hanus and Ricardo Rocha}, title = {hex-Programs with Existential Quantification}, booktitle = {Declarative Programming and Knowledge Management - Declarative Programming Days, {KDPD} 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8439}, pages = {99--117}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-08909-6\_7}, doi = {10.1007/978-3-319-08909-6\_7}, timestamp = {Thu, 14 Oct 2021 10:44:07 +0200}, biburl = {https://dblp.org/rec/conf/inap/EiterFKR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13, author = {Mario Alviano and Francesco Calimeri and G{\"{u}}nther Charwat and Minh Dao{-}Tran and Carmine Dodaro and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Johannes Oetsch and Andreas Pfandler and J{\"{o}}rg P{\"{u}}hrer and Christoph Redl and Francesco Ricca and Patrik Schneider and Martin Schwengerer and Lara Katharina Spendier and Johannes Peter Wallner and Guohui Xiao}, editor = {Pedro Cabalar and Tran Cao Son}, title = {The Fourth Answer Set Programming Competition: Preliminary Report}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8148}, pages = {42--53}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40564-8\_5}, doi = {10.1007/978-3-642-40564-8\_5}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/CharwatIKKPRSSWX13, author = {G{\"{u}}nther Charwat and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Andreas Pfandler and Christoph Redl and Martin Schwengerer and Lara Katharina Spendier and Johannes Peter Wallner and Guohui Xiao}, editor = {Pedro Cabalar and Tran Cao Son}, title = {{VCWC:} {A} Versioning Competition Workflow Compiler}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8148}, pages = {233--238}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40564-8\_23}, doi = {10.1007/978-3-642-40564-8\_23}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/CharwatIKKPRSSWX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1301-1390, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch{\"{u}}ller}, title = {Eliminating Unfounded Set Checking for HEX-Programs}, journal = {CoRR}, volume = {abs/1301.1390}, year = {2013}, url = {http://arxiv.org/abs/1301.1390}, eprinttype = {arXiv}, eprint = {1301.1390}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1301-1390.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/CalimeriIKR12, author = {Francesco Calimeri and Giovambattista Ianni and Thomas Krennwallner and Francesco Ricca}, title = {The Answer Set Programming Competition}, journal = {{AI} Mag.}, volume = {33}, number = {4}, pages = {114--118}, year = {2012}, url = {https://doi.org/10.1609/aimag.v33i4.2448}, doi = {10.1609/AIMAG.V33I4.2448}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/CalimeriIKR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jodsn/0002DK0P12, author = {Stefan Bischof and Stefan Decker and Thomas Krennwallner and Nuno Lopes and Axel Polleres}, title = {Mapping between {RDF} and {XML} with {XSPARQL}}, journal = {J. Data Semant.}, volume = {1}, number = {3}, pages = {147--185}, year = {2012}, url = {https://doi.org/10.1007/s13740-012-0008-7}, doi = {10.1007/S13740-012-0008-7}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jodsn/0002DK0P12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/EiterFKR12, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl}, title = {Conflict-driven {ASP} solving with external sources}, journal = {Theory Pract. Log. Program.}, volume = {12}, number = {4-5}, pages = {659--679}, year = {2012}, url = {https://doi.org/10.1017/S1471068412000233}, doi = {10.1017/S1471068412000233}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/EiterFKR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BeckEK12, author = {Harald Beck and Thomas Eiter and Thomas Krennwallner}, editor = {Biplav Srivastava and Freddy L{\'{e}}cu{\'{e}} and Anupam Joshi}, title = {Inconsistency Management for Traffic Regulations}, booktitle = {Semantic Cities, Papers from the 2012 {AAAI} Workshop, Toronto, Ontario, Canada, July 22-23, 2012}, series = {{AAAI} Technical Report}, volume = {{WS-12-13}}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/WS/AAAIW12/paper/view/5250}, timestamp = {Tue, 05 Sep 2023 08:59:27 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BeckEK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/EiterKSX12, author = {Thomas Eiter and Thomas Krennwallner and Patrik Schneider and Guohui Xiao}, editor = {Thomas Lukasiewicz and Attila Sali}, title = {Uniform Evaluation of Nonmonotonic DL-Programs}, booktitle = {Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7153}, pages = {1--22}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28472-4\_1}, doi = {10.1007/978-3-642-28472-4\_1}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/foiks/EiterKSX12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BeckEK12, author = {Harald Beck and Thomas Eiter and Thomas Krennwallner}, editor = {Luis Fari{\~{n}}as del Cerro and Andreas Herzig and J{\'{e}}r{\^{o}}me Mengin}, title = {Inconsistency Management for Traffic Regulations: Formalization and Complexity Results}, booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA} 2012, Toulouse, France, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7519}, pages = {80--93}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33353-8\_7}, doi = {10.1007/978-3-642-33353-8\_7}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BeckEK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/EiterFKRS12, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Sch{\"{u}}ller}, editor = {Luis Fari{\~{n}}as del Cerro and Andreas Herzig and J{\'{e}}r{\^{o}}me Mengin}, title = {Exploiting Unfounded Sets for HEX-Program Evaluation}, booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA} 2012, Toulouse, France, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7519}, pages = {160--175}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33353-8\_13}, doi = {10.1007/978-3-642-33353-8\_13}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/EiterFKRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rweb/2012, editor = {Thomas Eiter and Thomas Krennwallner}, title = {Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7487}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33158-9}, doi = {10.1007/978-3-642-33158-9}, isbn = {978-3-642-33157-2}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rweb/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1210-1649, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl}, title = {Conflict-driven {ASP} Solving with External Sources}, journal = {CoRR}, volume = {abs/1210.1649}, year = {2012}, url = {http://arxiv.org/abs/1210.1649}, eprinttype = {arXiv}, eprint = {1210.1649}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-1649.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Krennwallner11, author = {Thomas Krennwallner}, editor = {John P. Gallagher and Michael Gelfond}, title = {Promoting Modular Nonmonotonic Logic Programs}, booktitle = {Technical Communications of the 27th International Conference on Logic Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}}, series = {LIPIcs}, volume = {11}, pages = {274--279}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.274}, doi = {10.4230/LIPICS.ICLP.2011.274}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Krennwallner11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/inap/EiterKR11, author = {Thomas Eiter and Thomas Krennwallner and Christoph Redl}, editor = {Hans Tompits and Salvador Abreu and Johannes Oetsch and J{\"{o}}rg P{\"{u}}hrer and Dietmar Seipel and Masanobu Umeda and Armin Wolf}, title = {HEX-Programs with Nested Program Calls}, booktitle = {Applications of Declarative Programming and Knowledge Management - 19th International Conference, {INAP} 2011, and 25th Workshop on Logic Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7773}, pages = {269--278}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-41524-1\_15}, doi = {10.1007/978-3-642-41524-1\_15}, timestamp = {Sun, 02 Jun 2019 21:27:34 +0200}, biburl = {https://dblp.org/rec/conf/inap/EiterKR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/Dao-TranEFK11, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Alessandra Mileo and Michael Fink}, title = {Model Streaming for Distributed Multi-Context Systems}, booktitle = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {738}, pages = {11--22}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-738/dao-tran-etal.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:44 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/Dao-TranEFK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/DrescherEFKW11, author = {Christian Drescher and Thomas Eiter and Michael Fink and Thomas Krennwallner and Toby Walsh}, editor = {James P. Delgrande and Wolfgang Faber}, title = {Symmetry Breaking for Distributed Multi-Context Systems}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6645}, pages = {26--39}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20895-9\_5}, doi = {10.1007/978-3-642-20895-9\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/DrescherEFKW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/EiterFIKS11, author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Peter Sch{\"{u}}ller}, editor = {James P. Delgrande and Wolfgang Faber}, title = {Pushing Efficient Evaluation of {HEX} Programs by Modular Decomposition}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6645}, pages = {93--106}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20895-9\_10}, doi = {10.1007/978-3-642-20895-9\_10}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/EiterFIKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/RedlEK11, author = {Christoph Redl and Thomas Eiter and Thomas Krennwallner}, editor = {Ricardo Rocha and John Launchbury}, title = {Declarative Belief Set Merging Using Merging Plans}, booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6539}, pages = {99--114}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18378-2\_10}, doi = {10.1007/978-3-642-18378-2\_10}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/padl/RedlEK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1104-3931, author = {Christian Drescher and Thomas Eiter and Michael Fink and Thomas Krennwallner and Toby Walsh}, title = {Symmetry Breaking for Distributed Multi-Context Systems}, journal = {CoRR}, volume = {abs/1104.3931}, year = {2011}, url = {http://arxiv.org/abs/1104.3931}, eprinttype = {arXiv}, eprint = {1104.3931}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1104-3931.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1108-5626, author = {Thomas Eiter and Thomas Krennwallner and Christoph Redl}, title = {Nested HEX-Programs}, journal = {CoRR}, volume = {abs/1108.5626}, year = {2011}, url = {http://arxiv.org/abs/1108.5626}, eprinttype = {arXiv}, eprint = {1108.5626}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-5626.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/datalog/Dao-TranEFK10, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Oege de Moor and Georg Gottlob and Tim Furche and Andrew Jon Sellers}, title = {First-Order Encodings for Modular Nonmonotonic Datalog Programs}, booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6702}, pages = {59--77}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-24206-9\_4}, doi = {10.1007/978-3-642-24206-9\_4}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/datalog/Dao-TranEFK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BairakdarDEFK10, author = {Seif El{-}Din Bairakdar and Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Tomi Janhunen and Ilkka Niemel{\"{a}}}, title = {Decomposition of Distributed Nonmonotonic Multi-Context Systems}, booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA} 2010, Helsinki, Finland, September 13-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6341}, pages = {24--37}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15675-5\_5}, doi = {10.1007/978-3-642-15675-5\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BairakdarDEFK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BairakdarDEFK10a, author = {Seif El{-}Din Bairakdar and Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Tomi Janhunen and Ilkka Niemel{\"{a}}}, title = {The {DMCS} Solver for Distributed Nonmonotonic Multi-Context Systems}, booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA} 2010, Helsinki, Finland, September 13-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6341}, pages = {352--355}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15675-5\_30}, doi = {10.1007/978-3-642-15675-5\_30}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/BairakdarDEFK10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/Dao-TranEFK10, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {Distributed Nonmonotonic Multi-Context Systems}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1249}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/Dao-TranEFK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsqaru/Dao-TranEK09, author = {Minh Dao{-}Tran and Thomas Eiter and Thomas Krennwallner}, editor = {Claudio Sossai and Gaetano Chemello}, title = {Realizing Default Logic over Description Logic Knowledge Bases}, booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5590}, pages = {602--613}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02906-6\_52}, doi = {10.1007/978-3-642-02906-6\_52}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecsqaru/Dao-TranEK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/IanniKMP09, author = {Giovambattista Ianni and Thomas Krennwallner and Alessandra Martello and Axel Polleres}, editor = {Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyv{\"{o}}nen and Riichiro Mizoguchi and Eyal Oren and Marta Sabou and Elena Simperl}, title = {A Rule System for Querying Persistent {RDFS} Data}, booktitle = {The Semantic Web: Research and Applications, 6th European Semantic Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5554}, pages = {857--862}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02121-3\_70}, doi = {10.1007/978-3-642-02121-3\_70}, timestamp = {Fri, 23 Jun 2023 11:56:12 +0200}, biburl = {https://dblp.org/rec/conf/esws/IanniKMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/EiterBDFIK09, author = {Thomas Eiter and Gerhard Brewka and Minh Dao{-}Tran and Michael Fink and Giovambattista Ianni and Thomas Krennwallner}, editor = {Silvio Ghilardi and Roberto Sebastiani}, title = {Combining Nonmonotonic Knowledge Bases with External Sources}, booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5749}, pages = {18--42}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04222-5\_2}, doi = {10.1007/978-3-642-04222-5\_2}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/frocos/EiterBDFIK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Dao-TranEFK09, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Patricia M. Hill and David Scott Warren}, title = {Modular Nonmonotonic Logic Programming Revisited}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {145--159}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_16}, doi = {10.1007/978-3-642-02846-5\_16}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Dao-TranEFK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/EiterFK09, author = {Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Craig Boutilier}, title = {Decomposition of Declarative Knowledge Bases with External Functions}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, pages = {752--758}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/130.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:40 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/EiterFK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/Dao-TranEFK09, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {87--100}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_10}, doi = {10.1007/978-3-642-04238-6\_10}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/Dao-TranEFK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/EiterIK09, author = {Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner}, editor = {Sergio Tessaris and Enrico Franconi and Thomas Eiter and Claudio Gutierrez and Siegfried Handschuh and Marie{-}Christine Rousset and Renate A. Schmidt}, title = {Answer Set Programming: {A} Primer}, booktitle = {Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5689}, pages = {40--110}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03754-2\_2}, doi = {10.1007/978-3-642-03754-2\_2}, timestamp = {Thu, 10 Nov 2022 07:36:26 +0100}, biburl = {https://dblp.org/rec/conf/rweb/EiterIK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/IanniKMP09, author = {Giovambattista Ianni and Thomas Krennwallner and Alessandra Martello and Axel Polleres}, editor = {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan}, title = {Dynamic Querying of Mass-Storage {RDF} Data with Rule-Based Entailment Regimes}, booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference, {ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5823}, pages = {310--327}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04930-9\_20}, doi = {10.1007/978-3-642-04930-9\_20}, timestamp = {Tue, 07 Sep 2021 13:47:49 +0200}, biburl = {https://dblp.org/rec/conf/semweb/IanniKMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/DrabentEIKLM09, author = {Wlodzimierz Drabent and Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner and Thomas Lukasiewicz and Jan Maluszynski}, editor = {Fran{\c{c}}ois Bry and Jan Maluszynski}, title = {Hybrid Reasoning with Rules and Ontologies}, booktitle = {Semantic Techniques for the Web, The {REWERSE} Perspective}, series = {Lecture Notes in Computer Science}, volume = {5500}, pages = {1--49}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04581-3\_1}, doi = {10.1007/978-3-642-04581-3\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/DrabentEIKLM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/EiterIKS08, author = {Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner and Roman Schindlauer}, title = {Exploiting conjunctive queries in description logic programs}, journal = {Ann. Math. Artif. Intell.}, volume = {53}, number = {1-4}, pages = {115--152}, year = {2008}, url = {https://doi.org/10.1007/s10472-009-9111-3}, doi = {10.1007/S10472-009-9111-3}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/EiterIKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/AkhtarKKP08, author = {Waseem Akhtar and Jacek Kopeck{\'{y}} and Thomas Krennwallner and Axel Polleres}, editor = {Sean Bechhofer and Manfred Hauswirth and J{\"{o}}rg Hoffmann and Manolis Koubarakis}, title = {{XSPARQL:} Traveling between the {XML} and {RDF} Worlds - and Avoiding the {XSLT} Pilgrimage}, booktitle = {The Semantic Web: Research and Applications, 5th European Semantic Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5021}, pages = {432--447}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68234-9\_33}, doi = {10.1007/978-3-540-68234-9\_33}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/esws/AkhtarKKP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaim/EiterKSI08, author = {Thomas Eiter and Thomas Krennwallner and Roman Schindlauer and Giovambattista Ianni}, title = {Exploiting Conjunctive Queries in Description Logic Programs}, booktitle = {International Symposium on Artificial Intelligence and Mathematics, {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008}, year = {2008}, url = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/TEiter-ss1.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isaim/EiterKSI08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/EiterIKP08, author = {Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner and Axel Polleres}, editor = {Cristina Baroglio and Piero A. Bonatti and Jan Maluszynski and Massimo Marchiori and Axel Polleres and Sebastian Schaffert}, title = {Rules and Ontologies for the Semantic Web}, booktitle = {Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5224}, pages = {1--53}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85658-0\_1}, doi = {10.1007/978-3-540-85658-0\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rweb/EiterIKP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/EiterIKS07, author = {Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner and Roman Schindlauer}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni{-}Yasmin Turhan and Sergio Tessaris}, title = {Exploiting Conjunctive Queries in Description Logic Programs}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {250}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-250/paper\_64.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/EiterIKS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.