Eiter, Thomas; Silvestre, Ana Leonor Representation formulas and far-field behavior of time-periodic incompressible viscous flow around a translating rigid body. arXiv:2402.12213 Preprint, arXiv:2402.12213 [math.AP] (2024). MSC: 35Q30 76D05 76D07 35B10 35A08 35C15 35C20 BibTeX Cite \textit{T. Eiter} and \textit{A. L. Silvestre}, ``Representation formulas and far-field behavior of time-periodic incompressible viscous flow around a translating rigid body'', Preprint, arXiv:2402.12213 [math.AP] (2024) Full Text: arXiv OA License
Eiter, Thomas; Kyed, Mads; Shibata, Yoshihiro Periodic \(\mathrm{L}_p\) estimates by \(\mathscr{R}\)-boundedness: applications to the Navier-Stokes equations. (English) Zbl 07767295 Acta Appl. Math. 188, Paper No. 1, 43 p. (2023). Reviewer: Rodica Luca (Iaşi) MSC: 47J35 35K90 35B10 35B45 35Q30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Acta Appl. Math. 188, Paper No. 1, 43 p. (2023; Zbl 07767295) Full Text: DOI arXiv OA License
Warren, David S. (ed.); Dahl, Veronica (ed.); Eiter, Thomas (ed.); Hermenegildo, Manuel V. (ed.); Kowalski, Robert (ed.); Rossi, Francesca (ed.) Prolog: the next 50 years. (English) Zbl 1517.68030 Lecture Notes in Computer Science 13900. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-35253-9/pbk; 978-3-031-35254-6/ebook). xvi, 394 p. (2023). MSC: 68-06 68N17 68T30 00B15 PDFBibTeX XMLCite \textit{D. S. Warren} (ed.) et al., Prolog: the next 50 years. Cham: Springer (2023; Zbl 1517.68030) Full Text: DOI
Eiter, Thomas; Kyed, Mads; Shibata, Yoshihiro Falling drop in an unbounded liquid reservoir: steady-state solutions. (English) Zbl 1514.35314 J. Math. Fluid Mech. 25, No. 2, Paper No. 34, 34 p. (2023). MSC: 35Q30 76D05 76T06 76D03 35J93 35R35 35A01 35A02 35B45 35D30 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Math. Fluid Mech. 25, No. 2, Paper No. 34, 34 p. (2023; Zbl 1514.35314) Full Text: DOI arXiv
Wang, Yisong; Eiter, Thomas; Zhang, Yuanlin; Lin, Fangzhen Witnesses for answer sets of logic programs. (English) Zbl 07672674 ACM Trans. Comput. Log. 24, No. 2, Paper No. 15, 46 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{Y. Wang} et al., ACM Trans. Comput. Log. 24, No. 2, Paper No. 15, 46 p. (2023; Zbl 07672674) Full Text: DOI
Eiter, Thomas; Hopf, Katharina; Lasarzik, Robert Weak-strong uniqueness and energy-variational solutions for a class of viscoelastoplastic fluid models. (English) Zbl 1504.35313 Adv. Nonlinear Anal. 12, Article ID 20220274, 31 p. (2023). MSC: 35Q35 35Q86 35K61 76A10 35A01 35A02 35D30 35D35 PDFBibTeX XMLCite \textit{T. Eiter} et al., Adv. Nonlinear Anal. 12, Article ID 20220274, 31 p. (2023; Zbl 1504.35313) Full Text: DOI arXiv
Eiter, Thomas; Shibata, Yoshihiro Viscous flow past a translating body with oscillating boundary. arXiv:2303.09592 Preprint, arXiv:2303.09592 [math.AP] (2023). MSC: 35B10 35B40 35Q30 35R37 76D05 76D07 BibTeX Cite \textit{T. Eiter} and \textit{Y. Shibata}, ``Viscous flow past a translating body with oscillating boundary'', Preprint, arXiv:2303.09592 [math.AP] (2023) Full Text: arXiv OA License
Eiter, Thomas (ed.); Maher, Michael (ed.); Pontelli, Enrico (ed.); De Raedt, Luc (ed.); Truszczynski, Miroslaw (ed.) Introduction to the collection of papers celebrating the 20th anniversary of TPLP. (English) Zbl 07776349 Theory Pract. Log. Program. 22, No. 6, 770-775 (2022). MSC: 68-06 68N17 00B15 PDFBibTeX XMLCite \textit{T. Eiter} (ed.) et al., Theory Pract. Log. Program. 22, No. 6, 770--775 (2022; Zbl 07776349) Full Text: DOI
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano Reasoning on \(\mathit{DL}\)-\(\mathit{Lite}_{\mathcal{R}}\) with defeasibility in ASP. (English) Zbl 07776342 Theory Pract. Log. Program. 22, No. 2, 254-304 (2022). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{L. Bozzato} et al., Theory Pract. Log. Program. 22, No. 2, 254--304 (2022; Zbl 07776342) Full Text: DOI arXiv
Eiter, Thomas; Schneider, Patrik A qualitative temporal extension of here-and-there logic. (English) Zbl 07671886 Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 159-176 (2022). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{P. Schneider}, Lect. Notes Comput. Sci. 13416, 159--176 (2022; Zbl 07671886) Full Text: DOI
Eiter, Thomas; Higuera, Nelson; Oetsch, Johannes; Pritz, Michael A neuro-symbolic ASP pipeline for visual question answering. (English) Zbl 07595337 Theory Pract. Log. Program. 22, No. 5, 739-754 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 22, No. 5, 739--754 (2022; Zbl 07595337) Full Text: DOI arXiv
Eiter, Thomas On the Oseen-type resolvent problem associated with time-periodic flow past a rotating body. (English) Zbl 1498.76022 SIAM J. Math. Anal. 54, No. 4, 4987-5012 (2022). Reviewer: Dagmar Medková (Praha) MSC: 76D07 76U05 35Q30 PDFBibTeX XMLCite \textit{T. Eiter}, SIAM J. Math. Anal. 54, No. 4, 4987--5012 (2022; Zbl 1498.76022) Full Text: DOI arXiv
Eiter, Thomas On the Stokes-type resolvent problem associated with time-periodic flow around a rotating obstacle. (English) Zbl 1490.76081 J. Math. Fluid Mech. 24, No. 2, Paper No. 52, 17 p. (2022). MSC: 76D07 76U05 47A10 35B10 76D05 35Q30 PDFBibTeX XMLCite \textit{T. Eiter}, J. Math. Fluid Mech. 24, No. 2, Paper No. 52, 17 p. (2022; Zbl 1490.76081) Full Text: DOI arXiv
Eiter, Thomas; Hopf, Katharina; Mielke, Alexander Leray-Hopf solutions to a viscoelastoplastic fluid model with nonsmooth stress-strain relation. (English) Zbl 1481.35310 Nonlinear Anal., Real World Appl. 65, Article ID 103491, 30 p. (2022). MSC: 35Q30 76D05 76A10 35Q35 76D03 PDFBibTeX XMLCite \textit{T. Eiter} et al., Nonlinear Anal., Real World Appl. 65, Article ID 103491, 30 p. (2022; Zbl 1481.35310) Full Text: DOI arXiv
Eiter, Thomas On the regularity of weak solutions to time-periodic Navier–Stokes equations in exterior domains. arXiv:2212.00429 Preprint, arXiv:2212.00429 [math.AP] (2022). MSC: 35B10 35B65 35Q30 76D03 76D05 76D07 BibTeX Cite \textit{T. Eiter}, ``On the regularity of weak solutions to time-periodic Navier--Stokes equations in exterior domains'', Preprint, arXiv:2212.00429 [math.AP] (2022) Full Text: arXiv OA License
Eiter, Thomas; Lasarzik, Robert Existence of energy-variational solutions to hyperbolic conservation laws. arXiv:2211.12307 Preprint, arXiv:2211.12307 [math.AP] (2022). MSC: 35L45 35L65 35A01 35A15 35D99 35Q31 76B03 76N10 BibTeX Cite \textit{T. Eiter} and \textit{R. Lasarzik}, ``Existence of energy-variational solutions to hyperbolic conservation laws'', Preprint, arXiv:2211.12307 [math.AP] (2022) Full Text: arXiv OA License
Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures. (English) Zbl 1522.68101 Theory Pract. Log. Program. 21, No. 5, 593-609 (2021). MSC: 68N17 68T27 68T30 PDFBibTeX XMLCite \textit{L. Bozzato} et al., Theory Pract. Log. Program. 21, No. 5, 593--609 (2021; Zbl 1522.68101) Full Text: DOI arXiv
Eiter, Thomas; Kyed, Mads; Shibata, Yoshihiro On periodic solutions for one-phase and two-phase problems of the Navier-Stokes equations. (English) Zbl 07451393 J. Evol. Equ. 21, No. 3, 2955-3014 (2021). MSC: 35Q30 76D05 76T06 35B10 35A01 35K59 35B65 35R25 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Evol. Equ. 21, No. 3, 2955--3014 (2021; Zbl 07451393) Full Text: DOI arXiv
Saribatur, Zeynep G.; Eiter, Thomas; Schüller, Peter Abstraction for non-ground answer set programs. (English) Zbl 1520.68023 Artif. Intell. 300, Article ID 103563, 72 p. (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} et al., Artif. Intell. 300, Article ID 103563, 72 p. (2021; Zbl 1520.68023) Full Text: DOI
Saribatur, Zeynep G.; Eiter, Thomas Erratum to: “Omission-based abstraction for answer set programs”. (English) Zbl 1472.68030 Theory Pract. Log. Program. 21, No. 2, 292 (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Theory Pract. Log. Program. 21, No. 2, 292 (2021; Zbl 1472.68030) Full Text: DOI
Saribatur, Zeynep G.; Eiter, Thomas Omission-based abstraction for answer set programs. (English) Zbl 1472.68029 Theory Pract. Log. Program. 21, No. 2, 145-195 (2021); erratum ibid. 21, No. 2, 292 (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Theory Pract. Log. Program. 21, No. 2, 145--195 (2021; Zbl 1472.68029) Full Text: DOI arXiv
Eiter, Thomas; Galdi, Giovanni P. Spatial decay of the vorticity field of time-periodic viscous flow past a body. (English) Zbl 1472.76034 Arch. Ration. Mech. Anal. 242, No. 1, 149-178 (2021). Reviewer: Piotr Biler (Wrocław) MSC: 76D17 76D25 76D03 35Q30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{G. P. Galdi}, Arch. Ration. Mech. Anal. 242, No. 1, 149--178 (2021; Zbl 1472.76034) Full Text: DOI arXiv
Eiter, Thomas; Kaminski, Tobias Pruning external minimality checking for answer set programs using semantic dependencies. (English) Zbl 1504.68216 Artif. Intell. 290, Article ID 103402, 34 p. (2021). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{T. Kaminski}, Artif. Intell. 290, Article ID 103402, 34 p. (2021; Zbl 1504.68216) Full Text: DOI
Eiter, Thomas On the spatially asymptotic structure of time-periodic solutions to the Navier-Stokes equations. (English) Zbl 1470.35257 Proc. Am. Math. Soc. 149, No. 8, 3439-3451 (2021). MSC: 35Q30 35B10 35B40 35D30 35C20 76D05 76D07 35E05 PDFBibTeX XMLCite \textit{T. Eiter}, Proc. Am. Math. Soc. 149, No. 8, 3439--3451 (2021; Zbl 1470.35257) Full Text: DOI arXiv
Eiter, Thomas; Kyed, Mads Viscous flow around a rigid body performing a time-periodic motion. (English) Zbl 1460.35255 J. Math. Fluid Mech. 23, No. 1, Paper No. 28, 24 p. (2021). MSC: 35Q30 35B10 76D05 76D07 76U05 41A58 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{M. Kyed}, J. Math. Fluid Mech. 23, No. 1, Paper No. 28, 24 p. (2021; Zbl 1460.35255) Full Text: DOI arXiv
Eiter, Thomas; Kiesel, Rafael Weighted Lars for quantitative stream reasoning. (English) Zbl 1464.68356 De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 729-736 (2020). MSC: 68T27 03D05 68N17 68Q17 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{R. Kiesel}, Front. Artif. Intell. Appl. 325, 729--736 (2020; Zbl 1464.68356) Full Text: DOI
Eiter, Thomas (ed.); Maratea, Marco (ed.); Vallati, Mauro (ed.) Preface: Special issue of the 25th RCRA international workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion. (English) Zbl 1496.68016 Fundam. Inform. 174, No. 3-4, i-iii (2020). MSC: 68-06 68T20 00B25 PDFBibTeX XMLCite \textit{T. Eiter} (ed.) et al., Fundam. Inform. 174, No. 3--4, i-iii (2020; Zbl 1496.68016) Full Text: DOI
Eiter, Thomas; Kiesel, Rafael \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints. (English) Zbl 1471.68047 Theory Pract. Log. Program. 20, No. 6, 895-910 (2020). MSC: 68N17 03B70 68N30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{R. Kiesel}, Theory Pract. Log. Program. 20, No. 6, 895--910 (2020; Zbl 1471.68047) Full Text: DOI arXiv
Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin Managing caching strategies for stream reasoning with reinforcement learning. (English) Zbl 1468.68152 Theory Pract. Log. Program. 20, No. 5, 625-640 (2020). MSC: 68T05 68T20 68W27 PDFBibTeX XMLCite \textit{C. Dodaro} et al., Theory Pract. Log. Program. 20, No. 5, 625--640 (2020; Zbl 1468.68152) Full Text: DOI arXiv
Eiter, Thomas Existence and spatial decay of periodic Navier-Stokes flows in exterior domains. (English) Zbl 1434.76001 Berlin: Logos Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (ISBN 978-3-8325-5108-7/pbk). x, 197 p. (2020). MSC: 76-02 76D07 35Q30 35A01 76U05 PDFBibTeX XMLCite \textit{T. Eiter}, Existence and spatial decay of periodic Navier-Stokes flows in exterior domains. Berlin: Logos Verlag; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (2020; Zbl 1434.76001)
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories. (English) Zbl 1443.68181 Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 110-134 (2019). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{L. Bozzato} et al., Lect. Notes Comput. Sci. 11560, 110--134 (2019; Zbl 1443.68181) Full Text: DOI
Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin A distributed approach to LARS stream reasoning (system paper). (English) Zbl 1434.68546 Theory Pract. Log. Program. 19, No. 5-6, 974-989 (2019). MSC: 68T20 68M14 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 19, No. 5--6, 974--989 (2019; Zbl 1434.68546) Full Text: DOI arXiv
Saribatur, Zeynep G.; Schüller, Peter; Eiter, Thomas Abstraction for non-ground answer set programs. (English) Zbl 1525.68178 Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 576-592 (2019). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} et al., Lect. Notes Comput. Sci. 11468, 576--592 (2019; Zbl 1525.68178) Full Text: DOI Link
Shen, Yi-Dong; Eiter, Thomas Determining inference semantics for disjunctive logic programs. (English) Zbl 1483.68061 Artif. Intell. 277, Article ID 103165, 28 p. (2019). MSC: 68N17 68Q25 68Q55 68T30 PDFBibTeX XMLCite \textit{Y.-D. Shen} and \textit{T. Eiter}, Artif. Intell. 277, Article ID 103165, 28 p. (2019; Zbl 1483.68061) Full Text: DOI
Eiter, Thomas; Kaminski, Tobias Pruning external minimality checking for ASP using semantic dependencies. (English) Zbl 1522.68537 Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 326-339 (2019). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{T. Kaminski}, Lect. Notes Comput. Sci. 11481, 326--339 (2019; Zbl 1522.68537) Full Text: DOI Link
Eiter, Thomas; Galdi, Giovanni P. New results for the Oseen problem with applications to the Navier-Stokes equations in exterior domains. arXiv:1904.01527 Preprint, arXiv:1904.01527 [math.AP] (2019). BibTeX Cite \textit{T. Eiter} and \textit{G. P. Galdi}, ``New results for the Oseen problem with applications to the Navier-Stokes equations in exterior domains'', Preprint, arXiv:1904.01527 [math.AP] (2019) Full Text: arXiv OA License
Beck, Harald; Dao-Tran, Minh; Eiter, Thomas LARS: a logic-based framework for analytic reasoning over streams (extended abstract). (English) Zbl 1448.68396 Tjoa, A Min (ed.) et al., SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 – February 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10706, 87-93 (2018). MSC: 68T27 68N17 68P15 PDFBibTeX XMLCite \textit{H. Beck} et al., Lect. Notes Comput. Sci. 10706, 87--93 (2018; Zbl 1448.68396) Full Text: DOI
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi Exploiting answer set programming with external sources for meta-interpretive learning. (English) Zbl 1451.68064 Theory Pract. Log. Program. 18, No. 3-4, 571-588 (2018). MSC: 68N17 68T05 PDFBibTeX XMLCite \textit{T. Kaminski} et al., Theory Pract. Log. Program. 18, No. 3--4, 571--588 (2018; Zbl 1451.68064) Full Text: DOI arXiv
Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius Exploiting partial assignments for efficient evaluation of answer set programs with external source access. (English) Zbl 1448.68398 J. Artif. Intell. Res. (JAIR) 62, 665-727 (2018). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Artif. Intell. Res. (JAIR) 62, 665--727 (2018; Zbl 1448.68398) Full Text: Link
Eiter, Thomas; Kyed, Mads Estimates of time-periodic fundamental solutions to the linearized Navier-Stokes equations. (English) Zbl 1394.35320 J. Math. Fluid Mech. 20, No. 2, 517-529 (2018). MSC: 35Q30 35B10 35A08 35E05 76D07 76D05 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{M. Kyed}, J. Math. Fluid Mech. 20, No. 2, 517--529 (2018; Zbl 1394.35320) Full Text: DOI arXiv
Beck, Harald; Dao-Tran, Minh; Eiter, Thomas LARS: a logic-based framework for analytic reasoning over streams. (English) Zbl 1448.68395 Artif. Intell. 261, 16-70 (2018). MSC: 68T27 68N17 68P15 PDFBibTeX XMLCite \textit{H. Beck} et al., Artif. Intell. 261, 16--70 (2018; Zbl 1448.68395) Full Text: DOI
Bozzato, Loris; Eiter, Thomas; Serafini, Luciano Enhancing context knowledge repositories with justifiable exceptions. (English) Zbl 1444.68196 Artif. Intell. 257, 72-126 (2018). MSC: 68T30 68P15 68T27 PDFBibTeX XMLCite \textit{L. Bozzato} et al., Artif. Intell. 257, 72--126 (2018; Zbl 1444.68196) Full Text: DOI
Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius Answer set programming with external source access. (English) Zbl 1491.68191 Ianni, Giovambattista (ed.) et al., Reasoning web. Semantic interoperability on the web. 13th international summer school 2017, London, UK, July 7–11, 2017. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 10370, 204-275 (2017). MSC: 68T20 68N17 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 10370, 204--275 (2017; Zbl 1491.68191) Full Text: DOI Link
Eiter, Thomas (ed.); Sands, David (ed.) LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. (English) Zbl 1398.68026 EPiC Series in Computing 46. Manchester: EasyChair. 522 p., open access (2017). MSC: 68-06 03-06 03B70 68T27 00B25 PDFBibTeX XMLCite \textit{T. Eiter} (ed.) and \textit{D. Sands} (ed.), LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8--12, 2017. Selected papers. Manchester: EasyChair (2017; Zbl 1398.68026) Full Text: Link
Eiter, Thomas Walter; Kyed, M. Time-periodic linearized Navier-Stokes equations: an approach based on Fourier multipliers. (English) Zbl 1387.35450 Bodnár, Tomáš (ed.) et al., Particles in flows. Based on the summer course and workshop, Prague, Czech Republic, August 2014. Cham: Birkhäuser/Springer (ISBN 978-3-319-60281-3/hbk; 978-3-319-60282-0/ebook). Advances in Mathematical Fluid Mechanics, 77-137 (2017). MSC: 35Q30 76D07 76D05 35B10 35S30 35A08 35B65 PDFBibTeX XMLCite \textit{T. W. Eiter} and \textit{M. Kyed}, in: Particles in flows. Based on the summer course and workshop, Prague, Czech Republic, August 2014. Cham: Birkhäuser/Springer. 77--137 (2017; Zbl 1387.35450) Full Text: DOI
Eiter, Thomas; Weinzierl, Antonius Preference-based inconsistency management in multi-context systems. (English) Zbl 1419.68143 J. Artif. Intell. Res. (JAIR) 60, 347-424 (2017). MSC: 68T30 68T35 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{A. Weinzierl}, J. Artif. Intell. Res. (JAIR) 60, 347--424 (2017; Zbl 1419.68143) Full Text: DOI
Beck, Harald; Eiter, Thomas; Folie, Christian Ticker: a system for incremental ASP-based stream reasoning. (English) Zbl 1422.68218 Theory Pract. Log. Program. 17, No. 5-6, 744-763 (2017). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{H. Beck} et al., Theory Pract. Log. Program. 17, No. 5--6, 744--763 (2017; Zbl 1422.68218) Full Text: DOI arXiv
Pan, Jeff Z. (ed.); Calvanese, Diego (ed.); Eiter, Thomas (ed.); Horrocks, Ian (ed.); Kifer, Michael (ed.); Lin, Fangzhen (ed.); Zhao, Yuting (ed.) Reasoning web. Logical foundation of knowledge graph construction and query answering. 12th international summer school 2016, Aberdeen, UK, September 5–9, 2016. Tutorial lectures. (English) Zbl 1358.68016 Lecture Notes in Computer Science 9885. Cham: Springer (ISBN 978-3-319-49492-0/pbk; 978-3-319-49493-7/ebook). xiv, 259 p. (2017). MSC: 68-06 68M11 68N17 68P15 68T27 68T30 00B25 PDFBibTeX XMLCite \textit{J. Z. Pan} (ed.) et al., Reasoning web. Logical foundation of knowledge graph construction and query answering. 12th international summer school 2016, Aberdeen, UK, September 5--9, 2016. Tutorial lectures. Cham: Springer (2017; Zbl 1358.68016) Full Text: DOI
Eiter, Thomas; Zach, Richard Helmut Veith (1971–2016). (English) Zbl 1409.01034 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 119, 23-26 (2016). MSC: 01A70 68-03 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{R. Zach}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 119, 23--26 (2016; Zbl 1409.01034) Full Text: Link
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter A model building framework for answer set programming with external computations. (English) Zbl 1379.68058 Theory Pract. Log. Program. 16, No. 4, 418-464 (2016). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 16, No. 4, 418--464 (2016; Zbl 1379.68058) Full Text: DOI arXiv
Beck, Harald; Bierbaumer, Bruno; Dao-Tran, Minh; Eiter, Thomas; Hellwagner, Hermann; Schekotihin, Konstantin Rule-based stream reasoning for intelligent administration of content-centric networks. (English) Zbl 1483.68021 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 522-528 (2016). MSC: 68M11 68N17 PDFBibTeX XMLCite \textit{H. Beck} et al., Lect. Notes Comput. Sci. 10021, 522--528 (2016; Zbl 1483.68021) Full Text: DOI
Saribatur, Zeynep G.; Eiter, Thomas Reactive policies with planning for action languages. (English) Zbl 1483.68424 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 463-480 (2016). MSC: 68T42 68T27 PDFBibTeX XMLCite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Lect. Notes Comput. Sci. 10021, 463--480 (2016; Zbl 1483.68424) Full Text: DOI arXiv
Eiter, Thomas; Kaminski, Tobias Exploiting contextual knowledge for hybrid classification of visual objects. (English) Zbl 1483.68429 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 223-239 (2016). MSC: 68T45 68T30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{T. Kaminski}, Lect. Notes Comput. Sci. 10021, 223--239 (2016; Zbl 1483.68429) Full Text: DOI Link
Eiter, Thomas; Fink, Michael; Stepanova, Daria Data repair of inconsistent nonmonotonic description logic programs. (English) Zbl 1386.68157 Artif. Intell. 239, 7-53 (2016). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 239, 7--53 (2016; Zbl 1386.68157) Full Text: DOI
Eiter, Thomas; Fink, Michael; Stepanova, Daria Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies. (English) Zbl 1371.68267 J. Artif. Intell. Res. (JAIR) 56, 463-515 (2016). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Artif. Intell. Res. (JAIR) 56, 463--515 (2016; Zbl 1371.68267) Full Text: DOI
Shen, Yi-Dong; Eiter, Thomas Evaluating epistemic negation in answer set programming. (English) Zbl 1358.68278 Artif. Intell. 237, 115-135 (2016). MSC: 68T27 03B42 68N17 68Q25 68T30 PDFBibTeX XMLCite \textit{Y.-D. Shen} and \textit{T. Eiter}, Artif. Intell. 237, 115--135 (2016; Zbl 1358.68278) Full Text: DOI
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph Domain expansion for ASP-programs with external sources. (English) Zbl 1351.68265 Artif. Intell. 233, 84-121 (2016). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 233, 84--121 (2016; Zbl 1351.68265) Full Text: DOI
Amendola, Giovanni; Eiter, Thomas; Fink, Michael; Leone, Nicola; Moura, João Semi-equilibrium models for paracoherent answer set programs. (English) Zbl 1351.68259 Artif. Intell. 234, 219-271 (2016). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{G. Amendola} et al., Artif. Intell. 234, 219--271 (2016; Zbl 1351.68259) Full Text: DOI Link
De Vos, Marina (ed.); Eiter, Thomas (ed.); Lierler, Yuliya (ed.); Toni, Francesca (ed.) Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. (English) Zbl 1407.68028 CEUR Workshop Proceedings 1433. Aachen: RWTH Aachen. 30 articles, not consecutively paged; electronic only, open access (2015). MSC: 68-06 68N17 00B25 PDFBibTeX XMLCite \textit{M. De Vos} (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 -- September 4, 2015. Aachen: RWTH Aachen (2015; Zbl 1407.68028) Full Text: Link Link
Eiter, Thomas (ed.); Toni, Francesca (ed.) Introduction to the 31st international conference on logic programming special issue. (English) Zbl 1379.68008 Theory Pract. Log. Program. 15, No. 4-5, 413-418 (2015). MSC: 68-06 68N17 00B25 PDFBibTeX XMLCite \textit{T. Eiter} (ed.) and \textit{F. Toni} (ed.), Theory Pract. Log. Program. 15, No. 4--5, 413--418 (2015; Zbl 1379.68008) Full Text: DOI
Feier, Cristina; Eiter, Thomas Reasoning with forest logic programs using fully enriched automata. (English) Zbl 1467.68172 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 346-353 (2015). MSC: 68T27 68N17 68Q17 68Q45 PDFBibTeX XMLCite \textit{C. Feier} and \textit{T. Eiter}, Lect. Notes Comput. Sci. 9345, 346--353 (2015; Zbl 1467.68172) Full Text: DOI
Eiter, Thomas; Šimkus, Mantas Linking open-world knowledge bases using nonmonotonic rules. (English) Zbl 1467.68177 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 294-308 (2015). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{M. Šimkus}, Lect. Notes Comput. Sci. 9345, 294--308 (2015; Zbl 1467.68177) Full Text: DOI
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas Distributed evaluation of nonmonotonic multi-context systems. (English) Zbl 1328.68223 J. Artif. Intell. Res. (JAIR) 52, 543-600 (2015). MSC: 68T35 68W15 PDFBibTeX XMLCite \textit{M. Dao-Tran} et al., J. Artif. Intell. Res. (JAIR) 52, 543--600 (2015; Zbl 1328.68223) Full Text: DOI
Eiter, Thomas; Fink, Michael; Weinzierl, Antonius Preference-based diagnosis selection in multi-context systems. (English) Zbl 1432.68438 Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 233-248 (2015). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 9060, 233--248 (2015; Zbl 1432.68438) Full Text: DOI
Eiter, Thomas; Strass, Hannes; Truszczyński, Mirosław; Woltran, Stefan A glimpse on Gerhard Brewka’s contributions to artificial intelligence. (English) Zbl 1432.68003 Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 1-16 (2015). MSC: 68-03 01A70 68T27 68T30 68T42 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 9060, 1--16 (2015; Zbl 1432.68003) Full Text: DOI
Eiter, Thomas (ed.); Strass, Hannes (ed.); Truszczyński, Mirosław (ed.); Woltran, Stefan (ed.) Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. (English) Zbl 1303.68014 Lecture Notes in Computer Science 9060. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-14725-3/pbk). xiv, 361 p. (2015). MSC: 68-06 68N17 68T27 68T30 68T42 00B30 PDFBibTeX XMLCite \textit{T. Eiter} (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer (2015; Zbl 1303.68014) Full Text: DOI
Eiter, Thomas; Fink, Michael; Stepanova, Daria Towards practical deletion repair of inconsistent DL-programs. (English) Zbl 1366.68303 Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 285-290 (2014). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., Front. Artif. Intell. Appl. 263, 285--290 (2014; Zbl 1366.68303) Full Text: Link
Amendola, Giovanni; Eiter, Thomas; Leone, Nicola Modular paracoherent answer sets. (English) Zbl 1432.68054 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 457-471 (2014). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{G. Amendola} et al., Lect. Notes Comput. Sci. 8761, 457--471 (2014; Zbl 1432.68054) Full Text: DOI
Eiter, Thomas; Fink, Michael; Stepanova, Daria Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies. (English) Zbl 1432.68437 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 426-441 (2014). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 8761, 426--441 (2014; Zbl 1432.68437) Full Text: DOI
Eiter, Thomas; Fink, Michael; Schüller, Peter; Weinzierl, Antonius Finding explanations of inconsistency in multi-context systems. (English) Zbl 1309.68177 Artif. Intell. 216, 233-274 (2014). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T30 68T27 68T35 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 216, 233--274 (2014; Zbl 1309.68177) Full Text: DOI
Calvanese, Diego; Eiter, Thomas; Ortiz, Magdalena Answering regular path queries in expressive description logics via alternating tree-automata. (English) Zbl 1360.68801 Inf. Comput. 237, 12-55 (2014). MSC: 68T30 68Q25 68Q45 68T27 68T35 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Inf. Comput. 237, 12--55 (2014; Zbl 1360.68801) Full Text: DOI
Shen, Yi-Dong; Wang, Kewen; Eiter, Thomas; Fink, Michael; Redl, Christoph; Krennwallner, Thomas; Deng, Jun FLP answer set semantics without circular justifications for general logic programs. (English) Zbl 1391.68016 Artif. Intell. 213, 1-41 (2014). MSC: 68N17 PDFBibTeX XMLCite \textit{Y.-D. Shen} et al., Artif. Intell. 213, 1--41 (2014; Zbl 1391.68016) Full Text: DOI
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter Efficient HEX-program evaluation based on unfounded sets. (English) Zbl 1361.68031 J. Artif. Intell. Res. (JAIR) 49, 269-321 (2014). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Artif. Intell. Res. (JAIR) 49, 269--321 (2014; Zbl 1361.68031) Full Text: DOI
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan Model-based recasting in answer-set programming. (English) Zbl 1400.68048 J. Appl. Non-Class. Log. 23, No. 1-2, 75-104 (2013). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Appl. Non-Class. Log. 23, No. 1--2, 75--104 (2013; Zbl 1400.68048) Full Text: DOI
Antić, Christian; Eiter, Thomas; Fink, Michael Hex semantics via approximation fixpoint theory. (English) Zbl 1405.68039 Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 102-115 (2013). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{C. Antić} et al., Lect. Notes Comput. Sci. 8148, 102--115 (2013; Zbl 1405.68039) Full Text: DOI
Eiter, Thomas; Erdem, Esra; Erdogan, Halit; Fink, Michael Finding similar/diverse solutions in answer set programming. (English) Zbl 1266.68081 Theory Pract. Log. Program. 13, No. 3, 303-359 (2013). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 13, No. 3, 303--359 (2013; Zbl 1266.68081) Full Text: DOI arXiv
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph Conflict-driven ASP solving with external sources. (English) Zbl 1260.68060 Theory Pract. Log. Program. 12, No. 4-5, 659-679 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 12, No. 4--5, 659--679 (2012; Zbl 1260.68060) Full Text: DOI arXiv
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter Exploiting unfounded sets for HEX-program evaluation. (English) Zbl 1361.68030 Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 160-175 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 7519, 160--175 (2012; Zbl 1361.68030) Full Text: DOI
Beck, Harald; Eiter, Thomas; Krennwallner, Thomas Inconsistency management for traffic regulations: formalization and complexity results. (English) Zbl 1361.68220 Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 80-93 (2012). MSC: 68T27 90B20 PDFBibTeX XMLCite \textit{H. Beck} et al., Lect. Notes Comput. Sci. 7519, 80--93 (2012; Zbl 1361.68220) Full Text: DOI
Eiter, Thomas (ed.); Krennwallner, Thomas (ed.) Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3–8, 2012. Proceedings. (English) Zbl 1250.68026 Lecture Notes in Computer Science 7487. Berlin: Springer (ISBN 978-3-642-33157-2/pbk). ix, 387 p. (2012). MSC: 68-06 68M11 68T27 68T30 00B25 PDFBibTeX XMLCite \textit{T. Eiter} (ed.) and \textit{T. Krennwallner} (ed.), Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3--8, 2012. Proceedings. Berlin: Springer (2012; Zbl 1250.68026) Full Text: DOI
Eiter, Thomas; Feier, Cristina; Fink, Michael Simulating production rules using ACTHEX. (English) Zbl 1357.68217 Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 211-228 (2012). MSC: 68T27 68N17 68T30 68T35 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 7265, 211--228 (2012; Zbl 1357.68217) Full Text: DOI
Antoniou, Grigoris; Eiter, Thomas; Wang, Kewen Forgetting for defeasible logic. (English) Zbl 1352.68225 Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 77-91 (2012). MSC: 68T27 PDFBibTeX XMLCite \textit{G. Antoniou} et al., Lect. Notes Comput. Sci. 7180, 77--91 (2012; Zbl 1352.68225) Full Text: DOI Link
Eiter, Thomas; Ortiz, Magdalena; Šimkus, Mantas Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots. (English) Zbl 1238.68153 J. Comput. Syst. Sci. 78, No. 1, 47-85 (2012). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Comput. Syst. Sci. 78, No. 1, 47--85 (2012; Zbl 1238.68153) Full Text: DOI
Bruijn, Jos De; Eiter, Thomas; Polleres, Axel; Tompits, Hans Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. (English) Zbl 1351.68273 ACM Trans. Comput. Log. 12, No. 3, Article No. 20, 39 p. (2011). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{J. De Bruijn} et al., ACM Trans. Comput. Log. 12, No. 3, Article No. 20, 39 p. (2011; Zbl 1351.68273) Full Text: DOI Link
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman Well-founded semantics for description logic programs in the semantic web. (English) Zbl 1351.68275 ACM Trans. Comput. Log. 12, No. 2, Article No. 11, 41 p. (2011). MSC: 68T30 68M11 68N17 68Q55 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., ACM Trans. Comput. Log. 12, No. 2, Article No. 11, 41 p. (2011; Zbl 1351.68275) Full Text: DOI Link
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas Dynamic distributed nonmonotonic multi-context systems. (English) Zbl 1259.68188 Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 63-88 (2011). MSC: 68T35 68T27 PDFBibTeX XMLCite \textit{M. Dao-Tran} et al., Stud. Log. (Lond.) 31, 63--88 (2011; Zbl 1259.68188)
Eiter, Thomas; Fink, Michael; Schüller, Peter Approximations for explanations of inconsistency in partially known multi-context systems. (English) Zbl 1327.68270 Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 107-119 (2011). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 6645, 107--119 (2011; Zbl 1327.68270) Full Text: DOI
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Schüller, Peter Pushing efficient evaluation of HEX programs by modular decomposition. (English) Zbl 1327.68062 Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 93-106 (2011). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 6645, 93--106 (2011; Zbl 1327.68062) Full Text: DOI
Drescher, Christian; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Walsh, Toby Symmetry breaking for distributed multi-context systems. (English) Zbl 1327.68247 Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 26-39 (2011). MSC: 68T27 68N17 68Q85 68T30 68W15 PDFBibTeX XMLCite \textit{C. Drescher} et al., Lect. Notes Comput. Sci. 6645, 26--39 (2011; Zbl 1327.68247) Full Text: DOI arXiv
Brewka, Gerhard; Eiter, Thomas; Fink, Michael Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. (English) Zbl 1326.68273 Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 233-258 (2011). MSC: 68T27 03B60 68N17 68T30 PDFBibTeX XMLCite \textit{G. Brewka} et al., Lect. Notes Comput. Sci. 6565, 233--258 (2011; Zbl 1326.68273) Full Text: DOI
Eiter, Thomas; Šimkus, Mantas FDNC: decidable nonmonotonic disjunctive logic programs with function symbols. (English) Zbl 1351.68052 ACM Trans. Comput. Log. 11, No. 2, Article No. 14, 50 p. (2010). MSC: 68N17 68Q25 68T27 68T30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{M. Šimkus}, ACM Trans. Comput. Log. 11, No. 2, Article No. 14, 50 p. (2010; Zbl 1351.68052) Full Text: DOI
Heymans, Stijn; Eiter, Thomas; Xiao, Guohui Tractable reasoning with DL-programs over Datalog-rewritable description logics. (English) Zbl 1211.68402 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 35-40 (2010). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{S. Heymans} et al., Front. Artif. Intell. Appl. 215, 35--40 (2010; Zbl 1211.68402) Full Text: DOI
Eiter, Thomas; Erdem, Esra; Fink, Michael; Senko, Ján Updating action domain descriptions. (English) Zbl 1225.68251 Artif. Intell. 174, No. 15, 1172-1221 (2010). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T30 68T27 68Q17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 174, No. 15, 1172--1221 (2010; Zbl 1225.68251) Full Text: DOI
Bögl, Markus; Eiter, Thomas; Fink, Michael; Schüller, Peter The mcs-ie system for explaining inconsistency in multi-context systems. (English) Zbl 1306.68203 Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 356-359 (2010). MSC: 68T35 68T30 PDFBibTeX XMLCite \textit{M. Bögl} et al., Lect. Notes Comput. Sci. 6341, 356--359 (2010; Zbl 1306.68203) Full Text: DOI
Bairakdar, Seif El-Din; Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas The DMCS solver for distributed nonmonotonic multi-context systems. (English) Zbl 1306.68201 Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 352-355 (2010). MSC: 68T35 68T27 68T30 PDFBibTeX XMLCite \textit{S. E. D. Bairakdar} et al., Lect. Notes Comput. Sci. 6341, 352--355 (2010; Zbl 1306.68201) Full Text: DOI
Eiter, Thomas; Fink, Michael; Weinzierl, Antonius Preference-based inconsistency assessment in multi-context systems. (English) Zbl 1306.68204 Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 143-155 (2010). MSC: 68T35 68T37 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 6341, 143--155 (2010; Zbl 1306.68204) Full Text: DOI
Bairakdar, Seif El-Din; Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas Decomposition of distributed nonmonotonic multi-context systems. (English) Zbl 1306.68200 Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 24-37 (2010). MSC: 68T35 68T27 PDFBibTeX XMLCite \textit{S. E. D. Bairakdar} et al., Lect. Notes Comput. Sci. 6341, 24--37 (2010; Zbl 1306.68200) Full Text: DOI
Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas The model checking problem for prefix classes of second-order logic: a survey. (English) Zbl 1287.68107 Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 227-250 (2010). MSC: 68Q60 03B15 03C13 68Q45 68-02 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 6300, 227--250 (2010; Zbl 1287.68107) Full Text: DOI
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas Modular nonmonotonic logic programming revisited. (English) Zbl 1251.68056 Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 145-159 (2009). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{M. Dao-Tran} et al., Lect. Notes Comput. Sci. 5649, 145--159 (2009; Zbl 1251.68056) Full Text: DOI
Eiter, Thomas; Brewka, Gerhard; Dao-Tran, Minh; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas Combining nonmonotonic knowledge bases with external sources. (English) Zbl 1193.68242 Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 18-42 (2009). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., Lect. Notes Comput. Sci. 5749, 18--42 (2009; Zbl 1193.68242) Full Text: DOI