Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Fink 0001
@inproceedings{DBLP:conf/das/FinkLMS18,
author = {Michael Fink and
Thomas Layer and
Georg Mackenbrock and
Michael Sprinzl},
title = {Baseline Detection in Historical Documents Using Convolutional U-Nets},
booktitle = {13th {IAPR} International Workshop on Document Analysis Systems, {DAS}
2018, Vienna, Austria, April 24-27, 2018},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DAS.2018.34},
doi = {10.1109/DAS.2018.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/das/FinkLMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/MileoDE018,
author = {Alessandra Mileo and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Stream Reasoning},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_80715},
doi = {10.1007/978-1-4614-8265-9\_80715},
timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
biburl = {https://dblp.org/rec/reference/db/MileoDE018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-09343,
author = {Michael Fink and
Thomas Layer and
Georg Mackenbrock and
Michael Sprinzl},
title = {Baseline Detection in Historical Documents using Convolutional U-Nets},
journal = {CoRR},
volume = {abs/1810.09343},
year = {2018},
url = {http://arxiv.org/abs/1810.09343},
eprinttype = {arXiv},
eprint = {1810.09343},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09343.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/ai/AmendolaEFLM16,
author = {Giovanni Amendola and
Thomas Eiter and
Michael Fink and
Nicola Leone and
Jo{\~{a}}o Moura},
title = {Semi-equilibrium models for paracoherent answer set programs},
journal = {Artif. Intell.},
volume = {234},
pages = {219--271},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.01.011},
doi = {10.1016/J.ARTINT.2016.01.011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AmendolaEFLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterFS16,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Data repair of inconsistent nonmonotonic description logic programs},
journal = {Artif. Intell.},
volume = {239},
pages = {7--53},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.06.003},
doi = {10.1016/J.ARTINT.2016.06.003},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/EiterFS16,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Computing Repairs of Inconsistent DL-Programs over {EL} Ontologies},
journal = {J. Artif. Intell. Res.},
volume = {56},
pages = {463--515},
year = {2016},
url = {https://doi.org/10.1613/jair.5047},
doi = {10.1613/JAIR.5047},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/EiterFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/CalimeriFGHIR0T16,
author = {Francesco Calimeri and
Michael Fink and
Stefano Germano and
Andreas Humenberger and
Giovambattista Ianni and
Christoph Redl and
Daria Stepanova and
Andrea Tucci and
Anton Wimmer},
title = {Angry-HEX: An Artificial Player for Angry Birds Based on Declarative
Knowledge Bases},
journal = {{IEEE} Trans. Comput. Intell. {AI} Games},
volume = {8},
number = {2},
pages = {128--139},
year = {2016},
url = {https://doi.org/10.1109/TCIAIG.2015.2509600},
doi = {10.1109/TCIAIG.2015.2509600},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tciaig/CalimeriFGHIR0T16.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}
}
@inproceedings{DBLP:conf/aaai/BeckDEF15,
author = {Harald Beck and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink},
editor = {Blai Bonet and
Sven Koenig},
title = {{LARS:} {A} Logic-Based Framework for Analyzing Reasoning over Streams},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1431--1438},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9408},
doi = {10.1609/AAAI.V29I1.9408},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BeckDEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EiterFW14,
author = {Thomas Eiter and
Michael Fink and
Antonius Weinzierl},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Preference-Based Diagnosis Selection in Multi-Context Systems},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {233--248},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_16},
doi = {10.1007/978-3-319-14726-0\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EiterFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeckDEF15,
author = {Harald Beck and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink},
title = {Towards Ideal Semantics for Analyzing Stream Reasoning},
journal = {CoRR},
volume = {abs/1505.05365},
year = {2015},
url = {http://arxiv.org/abs/1505.05365},
eprinttype = {arXiv},
eprint = {1505.05365},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeckDEF15.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/ai/EiterFSW14,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
title = {Finding explanations of inconsistency in multi-context systems},
journal = {Artif. Intell.},
volume = {216},
pages = {233--274},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.07.008},
doi = {10.1016/J.ARTINT.2014.07.008},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterFSW14.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}
}
@article{DBLP:journals/tplp/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandinno and
Michael Fink},
title = {Causal Graph Justifications of Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {603--618},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000234},
doi = {10.1017/S1471068414000234},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CabalarFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterFR014,
author = {Thomas Eiter and
Michael Fink and
Christoph Redl and
Daria Stepanova},
editor = {Carla E. Brodley and
Peter Stone},
title = {Exploiting Support Sets for Answer Set Programs with External Evaluations},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1041--1048},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8874},
doi = {10.1609/AAAI.V28I1.8874},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterFR014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/EiterF014,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Towards Practical Deletion Repair of Inconsistent DL-programs},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {169--180},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_21.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/EiterF014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EiterF014,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Towards Practical Deletion Repair of Inconsistent DL-programs},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {285--290},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-285},
doi = {10.3233/978-1-61499-419-0-285},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EiterF014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/MileoHF14,
author = {Alessandra Mileo and
Martin Homola and
Michael Fink},
editor = {Patrick Lambrix and
Eero Hyv{\"{o}}nen and
Eva Blomqvist and
Valentina Presutti and
Guilin Qi and
Uli Sattler and
Ying Ding and
Chiara Ghidini},
title = {Acquisition, Representation and Reasoning About Context with Logic
(ARCOE-Logic 2014)},
booktitle = {Knowledge Engineering and Knowledge Management - {EKAW} 2014 Satellite
Events, VISUAL, EKM1, and ARCOE-Logic, Link{\"{o}}ping, Sweden,
November 24-28, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8982},
pages = {33--34},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17966-7\_3},
doi = {10.1007/978-3-319-17966-7\_3},
timestamp = {Wed, 03 Aug 2022 17:12:19 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/MileoHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandi{\~{n}}o and
Michael Fink},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {A Complexity Assessment for Queries Involving Sufficient and Necessary
Causes},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {297--310},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_21},
doi = {10.1007/978-3-319-11558-0\_21},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CabalarFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterF014,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Computing Repairs for Inconsistent DL-programs over \emph{EL} Ontologies},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {426--441},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_30},
doi = {10.1007/978-3-319-11558-0\_30},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterF014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandinno and
Michael Fink},
title = {Causal Graph Justifications of Logic Programs},
journal = {CoRR},
volume = {abs/1409.7281},
year = {2014},
url = {http://arxiv.org/abs/1409.7281},
eprinttype = {arXiv},
eprint = {1409.7281},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CabalarFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkHM14,
author = {Michael Fink and
Martin Homola and
Alessandra Mileo},
title = {Workshop Notes of the 6th International Workshop on Acquisition, Representation
and Reasoning about Context with Logic (ARCOE-Logic 2014)},
journal = {CoRR},
volume = {abs/1412.8531},
year = {2014},
url = {http://arxiv.org/abs/1412.8531},
eprinttype = {arXiv},
eprint = {1412.8531},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/EiterFPTW13,
author = {Thomas Eiter and
Michael Fink and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits and
Stefan Woltran},
title = {Model-based recasting in answer-set programming},
journal = {J. Appl. Non Class. Logics},
volume = {23},
number = {1-2},
pages = {75--104},
year = {2013},
url = {https://doi.org/10.1080/11663081.2013.799318},
doi = {10.1080/11663081.2013.799318},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/EiterFPTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterEEF13,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {Finding similar/diverse solutions in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {3},
pages = {303--359},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000548},
doi = {10.1017/S1471068411000548},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterEEF13.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/aiia/CalimeriFGIRW13,
author = {Francesco Calimeri and
Michael Fink and
Stefano Germano and
Giovambattista Ianni and
Christoph Redl and
Anton Wimmer},
editor = {Matteo Baldoni and
Federico Chesani and
Paola Mello and
Marco Montali},
title = {AngryHEX: an Artificial Player for Angry Birds Based on Declarative
Knowledge Bases},
booktitle = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1107},
pages = {29--35},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1107/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CalimeriFGIRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterF013,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
editor = {Francesca Rossi},
title = {Data Repair of Inconsistent DL-Programs},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {869--876},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6832},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/EiterF013.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/AnticEF13,
author = {Christian Antic and
Thomas Eiter and
Michael Fink},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Hex Semantics via Approximation Fixpoint Theory},
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 = {102--115},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_11},
doi = {10.1007/978-3-642-40564-8\_11},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AnticEF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BarilaroFRT13,
author = {Rosamaria Barilaro and
Michael Fink and
Francesco Ricca and
Giorgio Terracina},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Towards Query Answering in Relational Multi-Context Systems},
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 = {168--173},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_17},
doi = {10.1007/978-3-642-40564-8\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BarilaroFRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FinkGIRS13,
author = {Michael Fink and
Stefano Germano and
Giovambattista Ianni and
Christoph Redl and
Peter Sch{\"{u}}ller},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {ActHEX: Implementing {HEX} Programs with Action Atoms},
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 = {317--322},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_31},
doi = {10.1007/978-3-642-40564-8\_31},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FinkGIRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/EiterF013,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Inconsistency Management for Description Logic Programs and Beyond},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {1--3},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_1},
doi = {10.1007/978-3-642-39666-3\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/EiterF013.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/corr/abs-1301-2215,
author = {Michael Fink and
Yuliya Lierler},
title = {Proceedings of Answer Set Programming and Other Computing Paradigms
{(ASPOCP} 2012), 5th International Workshop, September 4, 2012, Budapest,
Hungary},
journal = {CoRR},
volume = {abs/1301.2215},
year = {2013},
url = {http://arxiv.org/abs/1301.2215},
eprinttype = {arXiv},
eprint = {1301.2215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkL13,
author = {Michael Fink and
Yuliya Lierler},
title = {Proceedings of Answer Set Programming and Other Computing Paradigms
{(ASPOCP} 2013), 6th International Workshop, August 25, 2013, Istanbul,
Turkey},
journal = {CoRR},
volume = {abs/1312.7422},
year = {2013},
url = {http://arxiv.org/abs/1312.7422},
eprinttype = {arXiv},
eprint = {1312.7422},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkL13.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/birthday/EiterFF12,
author = {Thomas Eiter and
Cristina Feier and
Michael Fink},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Simulating Production Rules Using {ACTHEX}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {211--228},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_15},
doi = {10.1007/978-3-642-30743-0\_15},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/EiterFF12.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 = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterFKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Dao-TranEFWW12,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Gerald Weidinger and
Antonius Weinzierl},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver},
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 = {480--483},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_38},
doi = {10.1007/978-3-642-33353-8\_38},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Dao-TranEFWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Fink12,
author = {Michael Fink},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Paraconsistent Hybrid Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4552},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Fink12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/EiterFS12,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {Semantic Independence in DL-Programs},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {58--74},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_6},
doi = {10.1007/978-3-642-33203-6\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/EiterFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PhuocDPBEF12,
author = {Danh Le Phuoc and
Minh Dao{-}Tran and
Minh{-}Duc Pham and
Peter A. Boncz and
Thomas Eiter and
Michael Fink},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {Linked Stream Data Processing Engines: Facts and Figures},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7650},
pages = {300--312},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35173-0\_20},
doi = {10.1007/978-3-642-35173-0\_20},
timestamp = {Tue, 07 Sep 2021 13:47:51 +0200},
biburl = {https://dblp.org/rec/conf/semweb/PhuocDPBEF12.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}
}
@article{DBLP:journals/tplp/Fink11,
author = {Michael Fink},
title = {A general framework for equivalences in Answer-Set Programming by
countermodels in the logic of Here-and-There},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {171--202},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000542},
doi = {10.1017/S1471068410000542},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Fink11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrewkaEF11,
author = {Gerhard Brewka and
Thomas Eiter and
Michael Fink},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Nonmonotonic Multi-Context Systems: {A} Flexible Approach for Integrating
Heterogeneous Knowledge Sources},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {233--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_16},
doi = {10.1007/978-3-642-20832-4\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrewkaEF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrewkaEFW11,
author = {Gerhard Brewka and
Thomas Eiter and
Michael Fink and
Antonius Weinzierl},
editor = {Toby Walsh},
title = {Managed Multi-Context Systems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {786--791},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138},
doi = {10.5591/978-1-57735-516-8/IJCAI11-138},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BrewkaEFW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/EiterFIS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Peter Sch{\"{u}}ller},
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 = {The {IMPL} Policy Language for Managing Inconsistency in Multi-Context
Systems},
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 = {3--26},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_1},
doi = {10.1007/978-3-642-41524-1\_1},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/EiterFIS11.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/EiterFIS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Peter Sch{\"{u}}ller},
editor = {Alessandra Mileo and
Michael Fink},
title = {Towards a Policy Language for Managing Inconsistency in 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 = {23--35},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-738/eiter-etal.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFIS11.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/lpnmr/EiterFS11,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Approximations for Explanations of Inconsistency in Partially Known
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 = {107--119},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_11},
doi = {10.1007/978-3-642-20895-9\_11},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FinkGW11,
author = {Michael Fink and
Lucantonio Ghionna and
Antonius Weinzierl},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Relational Information Exchange and Aggregation in 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 = {120--133},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_12},
doi = {10.1007/978-3-642-20895-9\_12},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FinkGW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011logic,
editor = {Alessandra Mileo and
Michael Fink},
title = {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},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-738},
urn = {urn:nbn:de:0074-738-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/2011logic.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-3260,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {Finding Similar/Diverse Solutions in Answer Set Programming},
journal = {CoRR},
volume = {abs/1108.3260},
year = {2011},
url = {http://arxiv.org/abs/1108.3260},
eprinttype = {arXiv},
eprint = {1108.3260},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterEFS10,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Updating action domain descriptions},
journal = {Artif. Intell.},
volume = {174},
number = {15},
pages = {1172--1221},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.07.004},
doi = {10.1016/J.ARTINT.2010.07.004},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterEFS10.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/iclp/BasolEFI10,
author = {Selen Basol and
Ozan Erdem and
Michael Fink and
Giovambattista Ianni},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {{HEX} Programs with Action Atoms},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {24--33},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.24},
doi = {10.4230/LIPICS.ICLP.2010.24},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BasolEFI10.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/EiterFW10,
author = {Thomas Eiter and
Michael Fink and
Antonius Weinzierl},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Preference-Based Inconsistency Assessment in 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 = {143--155},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_14},
doi = {10.1007/978-3-642-15675-5\_14},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterFW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FinkP10,
author = {Michael Fink and
David Pearce},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {A Logical Semantics for Description Logic Programs},
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 = {156--168},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_15},
doi = {10.1007/978-3-642-15675-5\_15},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/FinkP10.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/jelia/BoglEFS10,
author = {Markus B{\"{o}}gl and
Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {The mcs-ie System for Explaining Inconsistency in 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 = {356--359},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_31},
doi = {10.1007/978-3-642-15675-5\_31},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BoglEFS10.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/kr/EiterFM10,
author = {Thomas Eiter and
Michael Fink and
Jo{\~{a}}o Moura},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Paracoherent Answer Set Programming},
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/1339},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFSW10,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Finding Explanations of Inconsistency in 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/1265},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3021,
author = {Michael Fink},
title = {A General Framework for Equivalences in Answer-Set Programming by
Countermodels in the Logic of Here-and-There},
journal = {CoRR},
volume = {abs/1006.3021},
year = {2010},
url = {http://arxiv.org/abs/1006.3021},
eprinttype = {arXiv},
eprint = {1006.3021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3021.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/iclp/EiterEEF09,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Finding Similar or Diverse Solutions in Answer Set Programming},
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 = {342--356},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_29},
doi = {10.1007/978-3-642-02846-5\_29},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/EiterEEF09.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}
}
@article{DBLP:journals/tods/EiterFGL08,
author = {Thomas Eiter and
Michael Fink and
Gianluigi Greco and
Domenico Lembo},
title = {Repair localization for query answering from inconsistent databases},
journal = {{ACM} Trans. Database Syst.},
volume = {33},
number = {2},
pages = {10:1--10:51},
year = {2008},
url = {https://doi.org/10.1145/1366102.1366107},
doi = {10.1145/1366102.1366107},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/EiterFGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterFS08,
author = {Thomas Eiter and
Michael Fink and
J{\'{a}}n Senko},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Error Classification in Action Descriptions: {A} Heuristic Approach},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {905--910},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-144.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterFS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fink08,
author = {Michael Fink},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Equivalences in Answer-Set Programming by Countermodels in the Logic
of Here-and-There},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {99--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_17},
doi = {10.1007/978-3-540-89982-2\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Fink08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterEFS07,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Comparing action descriptions based on semantic preferences},
journal = {Ann. Math. Artif. Intell.},
volume = {50},
number = {3-4},
pages = {273--304},
year = {2007},
url = {https://doi.org/10.1007/s10472-007-9077-y},
doi = {10.1007/S10472-007-9077-Y},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/EiterEFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterFFW07,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Stefan Woltran},
title = {Complexity results for answer set programming with bounded predicate
arities and implications},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {123--165},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9086-5},
doi = {10.1007/S10472-008-9086-5},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/EiterFFW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterFW07,
author = {Thomas Eiter and
Michael Fink and
Stefan Woltran},
title = {Semantical characterizations and complexity of equivalences in answer
set programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {3},
pages = {17},
year = {2007},
url = {https://doi.org/10.1145/1243996.1244000},
doi = {10.1145/1243996.1244000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EiterFW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFT07,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits},
title = {A knowledge-based approach for selecting information sources},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {3},
pages = {249--300},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002754},
doi = {10.1017/S1471068406002754},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterFTW07,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
editor = {Manuela M. Veloso},
title = {Complexity Results for Checking Equivalence of Stratified Logic Programs},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {330--335},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/051.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterFTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FinkPTW07,
author = {Michael Fink and
Reinhard Pichler and
Hans Tompits and
Stefan Woltran},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Complexity of Rule Redundancy in Non-ground Answer-Set Programming
over Finite Domains},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {123--135},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_12},
doi = {10.1007/978-3-540-72200-7\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FinkPTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EiterEFS06,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Resolving Conflicts in Action Descriptions},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {367--371},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/EiterEFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterEFS06,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Comparing Action Descriptions Based on Semantic Preferences},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {124--137},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_12},
doi = {10.1007/11853886\_12},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterEFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFS06,
author = {Thomas Eiter and
Michael Fink and
J{\'{a}}n Senko},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A Tool for Answering Queries on Action Descriptions},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {473--476},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_40},
doi = {10.1007/11853886\_40},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFTTW06,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Patrick Traxler and
Stefan Woltran},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Replacements in Non-Ground Answer-Set Programming},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {340--351},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-036.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFTTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EiterFTTW06,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Patrick Traxler and
Stefan Woltran},
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Replacements in Non-Ground Answer-Set Programming},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
pages = {145--153},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/24-final.ps.gz},
timestamp = {Thu, 16 Nov 2017 07:57:26 +0100},
biburl = {https://dblp.org/rec/conf/wlp/EiterFTTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2006,
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/proceedings.html},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wlp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604086,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits},
title = {A Knowledge-Based Approach for Selecting Information Sources},
journal = {CoRR},
volume = {abs/cs/0604086},
year = {2006},
url = {http://arxiv.org/abs/cs/0604086},
eprinttype = {arXiv},
eprint = {cs/0604086},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterFST05,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Reasoning about evolving nonmonotonic knowledge bases},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {2},
pages = {389--440},
year = {2005},
url = {https://doi.org/10.1145/1055686.1055693},
doi = {10.1145/1055686.1055693},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EiterFST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterFTW05,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Strong and Uniform Equivalence in Answer-Set Programming: Characterizations
and Complexity Results for the Non-Ground Case},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {695--700},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-109.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterFTW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterEFS05,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Updating Action Domain Descriptions},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {418--423},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1167.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterEFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Luigi Granata and
Gianluigi Greco and
Edyta Kalka and
Giovambattista Ianni and
Domenico Lembo and
Maurizio Lenzerini and
Vincenzino Lio and
Bartosz Nowicki and
Riccardo Rosati and
Marco Ruzzi and
Witold Staniszkis and
Giorgio Terracina},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Data Integration: a Challenging {ASP} Application},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {379--383},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_31},
doi = {10.1007/11546207\_31},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneEFFGGGKILLLNRRST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFS05,
author = {Thomas Eiter and
Michael Fink and
J{\'{a}}n Senko},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {KMonitor - {A} Tool for Monitoring Plan Execution in Action Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {416--421},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_38},
doi = {10.1007/11546207\_38},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneEFFGG05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Gianluigi Greco},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Boosting Information Integration: The {INFOMIX} System},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {55--66},
year = {2005},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeoneEFFGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LeoneGILTEFFGRLLRKNS05,
author = {Nicola Leone and
Gianluigi Greco and
Giovambattista Ianni and
Vincenzino Lio and
Giorgio Terracina and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Riccardo Rosati and
Domenico Lembo and
Maurizio Lenzerini and
Marco Ruzzi and
Edyta Kalka and
Bartosz Nowicki and
Witold Staniszkis},
editor = {Fatma {\"{O}}zcan},
title = {The {INFOMIX} system for advanced integration of incomplete and inconsistent
data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
pages = {915--917},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066157.1066286},
doi = {10.1145/1066157.1066286},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/LeoneGILTEFFGRLLRKNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0502078,
author = {Thomas Eiter and
Michael Fink and
Stefan Woltran},
title = {Semantical Characterizations and Complexity of Equivalences in Answer
Set Programming},
journal = {CoRR},
volume = {abs/cs/0502078},
year = {2005},
url = {http://arxiv.org/abs/cs/0502078},
eprinttype = {arXiv},
eprint = {cs/0502078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0502078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFFPW04,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Complexity of Model Checking and Bounded Predicate Arities for Non-ground
Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {377--387},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-040.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFFPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFTW04,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {On Eliminating Disjunctions in Stable Logic Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {447--458},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-047.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFTW04,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Simplifying Logic Programs Under Uniform and Strong Equivalence},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {87--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_10},
doi = {10.1007/978-3-540-24609-1\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DixEFPZ03,
author = {J{\"{u}}rgen Dix and
Thomas Eiter and
Michael Fink and
Axel Polleres and
Yingqian Zhang},
title = {Monitoring Agents using Declarative Planning},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {345--370},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-11},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/DixEFPZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EiterFFPW03,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Complexity of Answer Set Checking and Bounded Predicate Arities for
Non-ground Answer Set Programming},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-eiter-compl.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFFPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EiterFTW03,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Eliminating Disjunction from Propositional Logic Programs under Stable
Model Preservation},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-eiter-elim.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EiterFST03,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Jan Chomicki and
Ron van der Meyden and
Gunter Saake},
title = {Declarative Update Policies for Nonmonotonic Knowledge Bases},
booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl
seminar]},
pages = {85--129},
publisher = {Springer},
year = {2003},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/EiterFST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/EiterFGL03,
author = {Thomas Eiter and
Michael Fink and
Gianluigi Greco and
Domenico Lembo},
editor = {Catuscia Palamidessi},
title = {Efficient Evaluation of Logic Programs for Querying Data Integration
Systems},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {163--177},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_12},
doi = {10.1007/978-3-540-24599-5\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/EiterFGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/EiterF03,
author = {Thomas Eiter and
Michael Fink},
editor = {Catuscia Palamidessi},
title = {Uniform Equivalence of Logic Programs under the Stable Model Semantics},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {224--238},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_16},
doi = {10.1007/978-3-540-24599-5\_16},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/EiterF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DixEFPZ03,
author = {J{\"{u}}rgen Dix and
Thomas Eiter and
Michael Fink and
Axel Polleres and
Yingqian Zhang},
editor = {Andreas G{\"{u}}nter and
Rudolf Kruse and
Bernd Neumann},
title = {Monitoring Agents Using Declarative Planning},
booktitle = {{KI} 2003: Advances in Artificial Intelligence, 26th Annual German
Conference on AI, {KI} 2003, Hamburg, Germany, September 15-18, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2821},
pages = {646--660},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39451-8\_47},
doi = {10.1007/978-3-540-39451-8\_47},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/DixEFPZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFST02a,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Using Methods of Declarative Logic Programming for Intelligent Information
Agents},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {6},
pages = {645--709},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001576},
doi = {10.1017/S1471068402001576},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFST02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFST02,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {On Properties of Update Sequences Based on Causal Rejection},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {6},
pages = {711--767},
year = {2002},
url = {https://doi.org/10.1017/S1471068401001247},
doi = {10.1017/S1471068401001247},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFST02,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Generic Approach for Knowledge-Based Information-Site Selection},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {459--469},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0209019,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Reasoning about Evolving Nonmonotonic Knowledge Bases},
journal = {CoRR},
volume = {cs.AI/0209019},
year = {2002},
url = {https://arxiv.org/abs/cs/0209019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0209019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Bernhard Nebel},
title = {A Framework for Declarative Update Specifications in Logic Programs},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {649--654},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterFST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Reasoning about Evolving Nonmonotonic Knowledge Bases},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {407--421},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_28},
doi = {10.1007/3-540-45653-8\_28},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EiterFST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {An Update Front-End for Extended Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {397--401},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_30},
doi = {10.1007/3-540-45402-0\_30},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0109006,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {On Properties of Update Sequences Based on Causal Rejection},
journal = {CoRR},
volume = {cs.AI/0109006},
year = {2001},
url = {https://arxiv.org/abs/cs/0109006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0109006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-MA-0108008,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Using Methods of Declarative Logic Programming for Intelligent Information
Agents},
journal = {CoRR},
volume = {cs.MA/0108008},
year = {2001},
url = {https://arxiv.org/abs/cs/0108008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-MA-0108008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFST00,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Considerations on Updates of Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {2--20},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_2},
doi = {10.1007/3-540-40006-0\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterFST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/EglyFPT99,
author = {Uwe Egly and
Michael Fink and
Axel Polleres and
Hans Tompits},
editor = {Paul De Bra and
John J. Leggett},
title = {A Web-based Tutoring Tool for Calculating Default Logic Extensions},
booktitle = {Proceedings of WebNet 99 - World Conference on the {WWW} and Internet,
Honolulu, Hawaii, USA, October 24-30, 1999},
pages = {1251--1252},
publisher = {{AACE}},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/webnet/EglyFPT99.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 01:50 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:
