Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
