Thomas Eiter
O.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- intelligent agents, knowledge representation and reasoning, logic programming, knowledge bases systems, Computational Logic
About
Basic research in artificial intelligence, in particular knowledge representation and Reasoning, declarative problem solving, computational logic, intelligent agents and knowledge-based systems.
Roles
-
Head of Institute
Logic and Computation, E192 -
Head of Research Unit
Knowledge-Based Systems, E192-03 -
Full Professor
Knowledge-Based Systems, E192-03
Courses
2024W
- Artificial Intelligence Seminar / 184.068 / SE
- Bachelor Thesis for Computer Science and Business Informatics / 184.713 / PR
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Processing of Declarative Knowledge / 184.205 / VO
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
- Research Seminar LogiCS / 184.767 / SE
- Scientific Research and Writing / 193.052 / SE
- Seminar for PhD Students / 184.721 / SE
- Seminar in Knowledge Representation and Reasoning / 184.712 / SE
- Seminar in Logic / 184.264 / SE
- Seminar in Theoretical Computer Science / 184.067 / SE
- Theory of Knowledge Representation / 184.186 / VU
2025S
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
- Research Seminar LogiCS / 184.767 / SE
Projects
-
Training and Guiding AI Agents with Ethical Rules
2023 – 2027 / Vienna Science and Technology Fund (WWTF)
Publications: 177540 / 193925 / 191154 / 190260 / 190235 / 190656 -
Doktorand/inn/enprogramm der Österreichischen Akademie der Wissenschaften]
2022 – 2025 / Austrian Academy of Sciences -
HumanE AI Network
2020 – 2024 / European Commission
Publications: 138101 / 154164 -
A European AI On Demand Platform and Ecosystem
2019 – 2021 / European Commission
Publications: 138100 / 138101 / 143250 / 193264 / 193875 / 39887 / 55553 / 57886 -
Toward AI Systems That Augment and Empower Humans by Understanding Us, our Society and the World Around Us
2019 – 2020 / European Commission
Publications: 193264 / 193875 -
TU-Stream
2017 – 2021 / TU-Stream -
Dynamic knowledge-based (re)configuration of cyber-physical systems
2017 – 2020 / Austrian Research Promotion Agency (FFG)
Publications: 137204 / 139806 / 141309 / 141544 / 141545 / 141546 / 141547 / 144661 / 55542 / 55694 / 56253 / 57328 / 57536 / 57611 / 57886 / 58118 / 58119 / 58244 / 87110 / 87111 -
Integrated Evaluation of Answer Set Programs and Extensions
2015 – 2018 / Austrian Science Fund (FWF)
Publications: 142359 / 144661 / 145618 / 147598 / 148289 / 149117 / 16727 / 38596 / 38688 / 38689 / 38690 / 38954 / 55434 / 55435 / 55568 / 55705 / 55894 / 56572 / 56573 / 56574 / 56575 / 56579 / 56687 / 56904 / 56928 / 57110 / 57220 / 57263 / 57612 / 86214 / 86800 -
Doctorate's College
2014 – 2023 / Austrian Science Fund (FWF)
Publications: 138101 / 152197 / 141101 / 192701 / 192683 / 193252 / 192768 / 193203 / 193322 / 193575 / 193264 / 193875 / 195540 / 55544 / 58146 / 58147 / 58275 / 58728 / 58731 -
Distributed Heterogenous Stream Reasoning
2014 – 2017 / Austrian Science Fund (FWF) -
Evaluation of ASP Programs with External Source Access
2012 – 2015 / Austrian Science Fund (FWF)
Publications: 148289 / 149770 / 151839 / 152123 / 155846 / 155847 / 163757 / 163871 / 176427 / 23530 / 37793 / 38150 / 38595 / 53242 / 53604 / 53667 / 53703 / 54135 / 54187 / 54188 / 54189 / 54222 / 54420 / 54593 / 54594 / 54640 / 54641 / 54766 / 54768 / 54769 / 54776 / 54777 / 54813 / 54814 / 54890 / 54892 / 55270 / 55399 / 55418 / 55751 / 55753 / 55754 / 55894 / 56083 / 56355 / 85201 / 85642 / 85870 -
My personal intelligent Mobile-Service
2011 – 2013 / Austrian Research Promotion Agency (FFG)
Publications: 149770 / 154719 / 23530 / 54135 / 54188 / 54222 / 54594 -
Net2¿A Network for Enabling Networked Knowledge
2010 – 2013 / European Commission
Publications: 156223 / 163139 / 163758 / 23530 / 36851 / 53141 / 53142 / 53386 / 53603 / 53632 / 53633 / 54135 / 54222 / 54354 / 54355 / 54357 / 54594 / 55042 / 55043 / 55141 / 55142 / 85144 -
Reasoning in Hybrid Knowledge Bases
2008 – 2012 / Austrian Science Fund (FWF)
Publications: 155844 / 155846 / 156223 / 157828 / 162700 / 163139 / 163757 / 163758 / 163871 / 167640 / 168073 / 171248 / 176427 / 23014 / 23196 / 23530 / 26374 / 27169 / 35019 / 36175 / 36176 / 36177 / 36178 / 38690 / 51937 / 52302 / 52306 / 52682 / 52683 / 52684 / 52701 / 52702 / 52706 / 52739 / 52740 / 52741 / 52829 / 52989 / 53227 / 53384 / 53386 / 53391 / 53392 / 53401 / 53560 / 53595 / 53603 / 53604 / 53667 / 53703 / 53745 / 54012 / 54187 / 54188 / 54189 / 54222 / 54289 / 54354 / 54355 / 54357 / 54366 / 54367 / 54368 / 54421 / 54439 / 54555 / 54593 / 54594 / 54813 / 54814 / 54891 / 55042 / 55043 / 55141 / 55142 / 56098 / 84971 / 84972 / 84973 / 84974 / 84975 / 84976 / 84977 / 85013 / 85144 / 85168 / 85169 / 85642 -
Modular HEX-Programs
2008 – 2012 / Austrian Science Fund (FWF)
Publications: 149770 / 155844 / 155846 / 161823 / 162700 / 163757 / 163758 / 163871 / 171248 / 176424 / 176427 / 23014 / 23196 / 23383 / 23530 / 26374 / 26390 / 26391 / 26392 / 27169 / 27353 / 35019 / 35887 / 36178 / 51937 / 52302 / 52306 / 52311 / 52680 / 52682 / 52683 / 52684 / 52701 / 52702 / 52703 / 52728 / 52729 / 52987 / 52988 / 53058 / 53105 / 53132 / 53141 / 53142 / 53203 / 53242 / 53303 / 53393 / 53394 / 53419 / 53595 / 53603 / 53604 / 53632 / 53633 / 53667 / 53703 / 53812 / 53817 / 53878 / 54012 / 54135 / 54187 / 54188 / 54189 / 54222 / 54416 / 54440 / 54593 / 54640 / 54641 / 54766 / 54768 / 54890 / 55399 / 85013 / 85031 / 85034 / 85144 / 85168 / 85169 -
Cycle Double Cover Problems, Generalized Bipartizing Matchings and Snarks
2008 – 2012 / Austrian Science Fund (FWF)
Publication: 57110
Publications
2024
- Adaptive large-neighbourhood search for optimisation in answer-set programming / Eiter, T., Geibinger, T., Higuera Ruiz, N. N., Musliu, N., Oetsch, J., Pfliegler, D., & Stepanova, D. (2024). Adaptive large-neighbourhood search for optimisation in answer-set programming. Artificial Intelligence, 337, Article 104230. https://doi.org/10.1016/j.artint.2024.104230
2023
-
Neuro-Symbolic Visual Graph Question Answering with LLMs for Language Parsing
/
Bauer, J. J., Eiter, T., Higuera Ruiz, N. N., & Oetsch, J. (2023, November 21). Neuro-Symbolic Visual Graph Question Answering with LLMs for Language Parsing [Conference Presentation]. TAASP23: Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany. https://doi.org/10.34726/5462
Download: PDF (835 KB) - Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract) / Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract). In Proceedings of the 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023) (pp. 1–6).
- Contrastive Explanations for Answer-Set Programs / Eiter, T., Geibinger, T., & Oetsch, J. (2023). Contrastive Explanations for Answer-Set Programs. In Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (pp. 73–89). Springer. https://doi.org/10.1007/978-3-031-43619-2_6
- Explaining Answer-Set Programs with Abstract Constraint Atoms / Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3193–3202). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/356
- A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering / Eiter, T., Geibinger, T., Higuera, N., & Oetsch, J. (2023). A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 3668–3676). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/408
- Semiring Reasoning Frameworks in AI and Their Computational Complexity / Eiter, T., & Kiesel, R. P. D. (2023). Semiring Reasoning Frameworks in AI and Their Computational Complexity. Journal of Artificial Intelligence Research, 77, 207–293. https://doi.org/10.1613/jair.1.13970
-
Contextual Reasoning for Scene Generation. Technical Report
/
Bozzato, L., Eiter, T., Kiesel, R. P. D., & Stepanova, D. (2023). Contextual Reasoning for Scene Generation. Technical Report. https://doi.org/10.48550/arXiv.2305.02255
Download: PDF (760 KB)
Projects: AI4EU (2019–2021) / DK - Logic (2014–2023) / Humane AI (2019–2020) - Witnesses for Answer Sets of Logic Programs / Wang, Y., Eiter, T., Zhang, Y., & Lin, F. (2023). Witnesses for Answer Sets of Logic Programs. ACM Transactions on Computational Logic, Article 3568955. https://doi.org/10.1145/3568955
- Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling / EITER, T., GEIBINGER, T., MUSLIU, N., OETSCH, J., SKOČOVSKÝ, P., & STEPANOVA, D. (2023). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory and Practice of Logic Programming, 23(6), 1281–1306. https://doi.org/10.1017/S1471068423000017
- The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II / EITER, T., MAHER, M., PONTELLI, E., DE RAEDT, L., & TRUSZCZYNSKI, M. (2023). The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory and Practice of Logic Programming, 23(1). https://doi.org/10.1017/S1471068422000394
-
Progression for Monitoring in Temporal ASP
/
Soldà, D., López Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513
Download: PDF (343 KB)
Project: TAIGER (2023–2027) -
Knowledge Compilation and More with SharpSAT-TD
/
Kiesel, R., & Eiter, T. (2023). Knowledge Compilation and More with SharpSAT-TD. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th IInternational Conference on Principles of Knowledge Representation and Reasoning (pp. 406–416). IJCAI Organization. https://doi.org/10.24963/kr.2023/40
Download: PDF (298 KB)
Project: DK - Logic (2014–2023) -
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
/
Bozzato, L., Eiter, T., Kiesel, R. P. D., & Stepanova, D. (2023). Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. In Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023). 16th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2023), London, United Kingdom of Great Britain and Northern Ireland (the). CEUR-WS.org. https://doi.org/10.34726/5412
Download: PDF (1.27 MB)
Projects: AI4EU (2019–2021) / DK - Logic (2014–2023) / Humane AI (2019–2020) -
A modular neurosymbolic approach for visual graph question answering
/
Eiter, T., Higuera Ruiz, N. N., & Oetsch, J. (2023). A modular neurosymbolic approach for visual graph question answering. In A. S. d’Avila Garcez, T. R. Besold, M. Gori, & E. Jiménez-Ruiz (Eds.), Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023) (pp. 139–149). CEUR-WS.org. https://doi.org/10.34726/5409
Download: PDF (533 KB) - Prolog: The Next 50 Years / Warren, D. S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski. Robert A., & Rossi, F. (Eds.). (2023). Prolog: The Next 50 Years (Vol. 13900). Springer. https://doi.org/10.1007/978-3-031-35254-6
-
Deontic Paradoxes in ASP with Weak Constraints
/
Ciabattoni, A., Eiter, T., & Hatschka, C. (2023). Deontic Paradoxes in ASP with Weak Constraints. In Proceedings 39th International Conference on Logic Programming (pp. 367–380).
Project: TAIGER (2023–2027)
2022
- Enhancing AI Capabilities by Rules: Challenges and Opportunities / Eiter, T. (2022, December 13). Enhancing AI Capabilities by Rules: Challenges and Opportunities [Conference Presentation]. 9th International Chinese Scholar Workshop on Knowledge Representation and Reasoning, Guiyang, Guizhou, China. http://hdl.handle.net/20.500.12708/153923
- Elaboration for Neurosymbolic Compuation / Eiter, T., & Higuera Ruiz, N. N. (2022, November 29). Elaboration for Neurosymbolic Compuation [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria.
- Witnesses for Answer Sets of Logic Programs / Wang, Y., Eiter, T., Yuanlin Zhang, & Lin, F. (2022, November 29). Witnesses for Answer Sets of Logic Programs [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/154231
- Representing Normative Reasoning in Answer Set Programming Using Weak Constraints / Hatschka, C., Ciabattoni, A., & Eiter, T. (2022, November 28). Representing Normative Reasoning in Answer Set Programming Using Weak Constraints [Conference Presentation]. TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/154091
- ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) / Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract). In Proceedings of the 5th Workshop on Trends and Applications of Answer Set Programming. 5th Workshop on Trends and Applications of Answer Set Programming, Vienna, Austria.
-
The Combinatorics of HumaneAI
/
Schetinger, V., Eiter, T., Kiesel, R. P. D., & Miksch, S. (2022, November 16). The Combinatorics of HumaneAI [Poster Presentation]. Conference on AI for Humanity and Society, Stockholm, Sweden.
Project: HumanE-AI-Net (2020–2024) - Enhancing AI Capabilities by Rules: Applications and Opportunities / Eiter, T. (2022, November 4). Enhancing AI Capabilities by Rules: Applications and Opportunities [Conference Presentation]. CS Seminar, Binghamton, New York, United States of America (the).
- Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract) / Bozzato, L., Eiter, T., & Kiesel, R. P. D. (2022). Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract). In Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022). 35th International Workshop on Description Logics (DL 2022), Haifa, Israel.
- Enhancing AI Capabilities by Rules: Applications and Opportunities / Eiter, T. (2022, October 18). Enhancing AI Capabilities by Rules: Applications and Opportunities [Presentation]. interne Veranstaltung des Bosch Labs, Renningen, Germany.
- Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP / EITER, T., MAHER, M., PONTELLI, E., DE RAEDT, L., & TRUSZCZYNSKI, M. (2022). Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory and Practice of Logic Programming, 22(6), 770–775. https://doi.org/10.1017/S1471068422000345
- Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract) / Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract). In Proceedings of the 38th International Conference on Logic Programming. 38th International Conference on Logic Programming, Haifa, Israel. Open Publishing Association. http://hdl.handle.net/20.500.12708/139851
- History of KR: A Personal View / Eiter, T. (2022, July 11). History of KR: A Personal View [Presentation]. Current and Future Challenges in Knowledge Representation and Reasoning, Schloss Dagstuhl, Germany.
- Large-Neighbourhood Search for Optimisation in Answer-Set Solving / Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (pp. 5616–5625). AAAI Press. https://doi.org/10.1609/aaai.v36i5.20502
- An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography / Eiter, T., Geibinger, T., Gisbrecht, A., Higuera Ruiz, N. N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography. In KEPS 2022 Workshop on Knowledge Engineering for Planning and Scheduling. Workshop on Knowledge Engineering for Planning and Scheduling, Singapore. http://hdl.handle.net/20.500.12708/139763
- Reasoning on DL-LiteR with Defeasibility in ASP / Bozzato, L., Eiter, T., & Serafini, L. (2022). Reasoning on DL-LiteR with Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/s1471068421000132
- A Confidence-Based Interface for Neuro-Symbolic Visual Question Answering / Eiter, T., Oetsch, J., Pritz, M., & Higuera Ruiz, N. N. (2022, February 28). A Confidence-Based Interface for Neuro-Symbolic Visual Question Answering [Poster Presentation]. First International Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR 2022), Vancouver, Canada.
- ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser / Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. In G. Kern-Isberner, G. Lackemeyer, & T. Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems (pp. 565–569). IJCAI Organization. https://doi.org/10.24963/kr.2022/58
- Abstraction for Non-Ground Answer Set Programs (Extended Abstract) / Saribatur, Z. G., Eiter, T., & Schüller, P. (2022). Abstraction for Non-Ground Answer Set Programs (Extended Abstract). In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 5767–5771). https://doi.org/10.24963/ijcai.2022/807
- Reasoning on with Defeasibility in ASP / BOZZATO, L., EITER, T., & SERAFINI, L. (2022). Reasoning on with Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/S1471068421000132
- A Neuro-Symbolic ASP Pipeline for Visual Question Answering / Eiter, T., Higuera Ruiz, N. N., Oetsch, J., & Pritz, M. (2022). A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Theory and Practice of Logic Programming, 22(5), 739–754. https://doi.org/10.1017/S1471068422000229
- A Qualitative Temporal Extension of Here-and-There Logic / Eiter, T., & Schneider, P. (2022). A Qualitative Temporal Extension of Here-and-There Logic. In Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022 (pp. 159–176). https://doi.org/10.1007/978-3-031-15707-3
- Chasing Streams with Existential Rules / Urbani, J., Krötzsch, M., & Eiter, T. (2022). Chasing Streams with Existential Rules. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems (pp. 415–419). IJCAI Organization. https://doi.org/10.24963/kr.2022/43
2021
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures / Bozatto, L., Eiter, T., & Kiesel, R. P. D. (2021). Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory and Practice of Logic Programming, 21(5), 593–609. https://doi.org/10.1017/s1471068421000284
- Dagstuhl Seminar on the Foundations of Composite Event Recognition / Eiter, T., Artikis, A., Margara, A., & Vansummeren, S. (2021). Dagstuhl Seminar on the Foundations of Composite Event Recognition. In ACM SIGMOD Record (pp. 24–27). ACM SIGMOND Record. https://doi.org/10.1145/3456859.3456865
- CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion / Le-Tuan, A., Nguyen Duc, M., Chien-Quang, L., Tran, T.-K., Hauswirth, M., Eiter, T., & Le Phuoc, D. (2021). CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion. In 5th Stream Reasoning Workshop (SRW 2021). 5th Stream Reasoning Workshop (SRW 2021), Mailand, Italy. http://hdl.handle.net/20.500.12708/58752
-
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)
/
Shen, Y.-D., & Eiter, T. (2021). Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). In C. Bessiere (Ed.), Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-20) (pp. 5040–5044). http://hdl.handle.net/20.500.12708/55568
Project: IE of ASP (2015–2018) - How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements / Eiter, T., Hunter, A., & Schwarzentruber, F. (2021). How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. In Z.-H. Zhou (Ed.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI. https://doi.org/10.24963/ijcai.2021/257
-
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting
/
Eiter, T., Hecher, M., & Kiesel, R. (2021). Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. In Proceedings of the 37th International Conference on Logic Programming (ICLP 2021). 37th International Conference on Logic Programming (ICLP 2021), Unknown. http://hdl.handle.net/20.500.12708/58728
Projects: DK - Logic (2014–2023) / HYPAR (2019–2024) / START (2014–2022) -
Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting
/
Eiter, T., Hecher, M., & Kiesel, R. (2021). Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, Unknown. https://doi.org/10.24963/kr.2021/26
Projects: DK - Logic (2014–2023) / HYPAR (2019–2024) / START (2014–2022) -
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
/
Eiter, T., Geibinger, T., Musliu, N., Oetsch, J., Skočovský, P., & Stepanova, D. (2021). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, Unknown. https://doi.org/10.24963/kr.2021/27
Project: KIRAS-PrEMI (2019–2022) - A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion / Eiter, T., Le-Phuoc, D., & Le-Tuan, A. (2021). A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion. In AAAI 2021 Proceedings (pp. 4996–5005). AAAI Press. http://hdl.handle.net/20.500.12708/55682
- On the Complexity of Sum-of-Products Problems over Semirings. / Eiter, T., & Kiesel, R. P. D. (2021). On the Complexity of Sum-of-Products Problems over Semirings. In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021 (pp. 6304–6311). http://hdl.handle.net/20.500.12708/55669
-
Deploying Spatial-Stream Query Answering in C-ITS Scenarios
/
Eiter, T., Ichise, R., Parreira, J. X., Schneider, P., & Zhao, L. (2021). Deploying Spatial-Stream Query Answering in C-ITS Scenarios. Semantic Web, 12(1), 41–77. https://doi.org/10.3233/sw-200408
Project: DynaCon (2017–2020) - Omission-Based Abstraction for Answer Set Programs - ERRATUM / SARIBATUR, Z. G., & EITER, T. (2021). Omission-Based Abstraction for Answer Set Programs - ERRATUM. Theory and Practice of Logic Programming, 21(2), 292–292. https://doi.org/10.1017/s1471068420000125
- Pruning external minimality checking for answer set programs using semantic dependencies / Eiter, T., & Kaminski, T. (2021). Pruning external minimality checking for answer set programs using semantic dependencies. Artificial Intelligence, 290(103402), 103402. https://doi.org/10.1016/j.artint.2020.103402
-
Abstraction for non-ground answer set programs
/
Saribatur, Z. G., Eiter, T., & Schüller, P. (2021). Abstraction for non-ground answer set programs. Artificial Intelligence, 300(103563), 103563. https://doi.org/10.1016/j.artint.2021.103563
Projects: AI4EU (2019–2021) / DK - Logic (2014–2023) / HumanE-AI-Net (2020–2024)
2020
- Preface: Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion / Eiter, T., Maratea, M., & Vallati, M. (2020). Preface: Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundamenta Informaticae, 174(3–4), i–iii. https://doi.org/10.3233/FI-2020-1939
-
Managing Caching Strategies for Stream Reasoning with Reinforcement Learning
/
Dodaro, C., Eiter, T., Ogris, P., & Schekotihin, K. (2020). Managing Caching Strategies for Stream Reasoning with Reinforcement Learning. Theory and Practice of Logic Programming, 20(5: 36th International Conference on Logic Programming Special issue I), 625–640. https://doi.org/10.1017/s147106842000037x
Project: DynaCon (2017–2020) - Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / Eiter, T., Saribatur, Z. G., & Schüller, P. (2020). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, online, Greece. http://hdl.handle.net/20.500.12708/87081
- Weighted LARS for Quantitative Stream Reasoning / Eiter, T., & Kiesel, R. P. D. (2020). Weighted LARS for Quantitative Stream Reasoning. In 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (pp. 729–736). http://hdl.handle.net/20.500.12708/58341
- Reasoning with Justifiable Exceptions in Contextual Hierarchies / Bozzato, L., Eiter, T., & Serafini, L. (2020). Reasoning with Justifiable Exceptions in Contextual Hierarchies. In G. De Giacomo (Ed.), ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (pp. 2889–2890). IOS Press - Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/55569
- Österreichische AI Strategie aus Sicht der Wissenschaft / Moser, B., Dorffner, G., Eiter, T., Faber, W., Klambauer, G., Legenstein, R., Nessler, B., Polleres, A., & Woltran, S. (2020). Österreichische AI Strategie aus Sicht der Wissenschaft. OCG Journal, 01–02, 14–17. http://hdl.handle.net/20.500.12708/141528
- A Semantic Perspective on Omission Abstraction in ASP / Saribatur, Z. G., & Eiter, T. (2020). A Semantic Perspective on Omission Abstraction in ASP. In D. Calvanese & E. Erdem (Eds.), Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. https://doi.org/10.24963/kr.2020/75
- Quantities in Stream Reasoning / Eiter, T., & Kiesel, R. P. D. (2020). Quantities in Stream Reasoning. Reasoning about ACtions and Events over Streams (RACES), Rhodes, Greece. http://hdl.handle.net/20.500.12708/87114
- ASP(AC): Answer Set Programming with Algebraic Constraints / Eiter, T., & Kiesel, R. P. D. (2020). ASP(AC): Answer Set Programming with Algebraic Constraints. 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy. http://hdl.handle.net/20.500.12708/87113
- A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning / Eiter, T. (2020). A Hitchhiker’s Tour Through Computational Complexity in Knowledge Representation and Reasoning. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Greece. http://hdl.handle.net/20.500.12708/87087
-
ASP-Based Signal Plan Adjustments for Traffic Flow Optimization
/
Eiter, T., Falkner, A., Schneider, P., & Schüller, P. (2020). ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (p. 7). IOS Press - Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/58244
Project: DynaCon (2017–2020) - An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks / Le-Phuoc, D., & Eiter, T. (2020). An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks. In Proceedings of the CIKM 2020 Workshops, co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020) Galway, Ireland, October 19-23, 2020 (pp. 1–5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55570
- Considering Constraint Monotonicity and Foundedness in Answer Set Programming / Shen, Y.-D., & Eiter, T. (2020). Considering Constraint Monotonicity and Foundedness in Answer Set Programming. In Proceedings of the 4th Workshop on Trends and Applications of Answer Set Programming. 4th Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), Klagenfurt, Austria. http://hdl.handle.net/20.500.12708/58255
- Omission-based Abstraction for Answer Set Programs / SARIBATUR, Z. G., & EITER, T. (2020). Omission-based Abstraction for Answer Set Programs. Theory and Practice of Logic Programming, 21(2), 145–195. https://doi.org/10.1017/s1471068420000095
- ASP(AC): Answer Set Programming with Algebraic Constraints / Eiter, T., & Kiesel, R. (2020). ASP(AC): Answer Set Programming with Algebraic Constraints. Theory and Practice of Logic Programming, 20(6), 895–910. https://doi.org/10.1017/s1471068420000393
- Omission-based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. arXiv. https://doi.org/10.48550/arXiv.2004.01410
- Weighted LARS for Quantitative Stream Reasoning / Eiter, T., & Kiesel, R. P. D. (2020). Weighted LARS for Quantitative Stream Reasoning. Austrian Workshop on Logic in Computer Science, Turracher Höhe, Austria. http://hdl.handle.net/20.500.12708/87116
- Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) / Artikis, A., Eiter, T., Margara, A., & Vansummeren, S. (Eds.). (2020). Foundations of Composite Event Recognition (Dagstuhl Seminar 20071). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.10.2.19
2019
- A Distributed Approach to LARS Stream Reasoning (System paper) / Eiter, T., Ogris, P., & Schekotihin, K. (2019). A Distributed Approach to LARS Stream Reasoning (System paper). Theory and Practice of Logic Programming, 19(5–6), 974–989. https://doi.org/10.1017/s1471068419000309
-
Pruning External Minimality Checking for ASP Using Semantic Dependencies
/
Eiter, T., & Kaminski, T. D. (2019). Pruning External Minimality Checking for ASP Using Semantic Dependencies. In M. Balduccini, Y. Lierler, & S. Woltran (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 326–339). Springer. https://doi.org/10.34726/721
Download: PDF (418 KB)
Project: IE of ASP (2015–2018) - Special issue on stream reasoning / Dell´Aglio, D., Eiter, T., Heintz, F., & Le Phuoc, D. (2019). Special issue on stream reasoning. Semantic Web, 10(3), 453–455. https://doi.org/10.3233/sw-190351
- Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories / Bozzato, L., Eiter, T., & Serafini, L. (2019). Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories. In A.-Y. Turhan, U. Sattler, F. Wolter, & C. Lutz (Eds.), Description Logic, Theory Combination, and All That (pp. 110–134). Springer LNCS. https://doi.org/10.1007/978-3-030-22102-7_5
- A Datalog Translation for Reasoning on DL-lite_R with Defeasibility / Bozzato, L., Eiter, T., & Serafini, L. (2019). A Datalog Translation for Reasoning on DL-lite_R with Defeasibility. In Informal Proceedings of the 32nd International Workshop on Description Logics (DL-2019), Oslo, Norway, June 18-21, 2019 (p. 13). CEUR-WS.org. http://hdl.handle.net/20.500.12708/58059
- Meta-Interpretive Learning Using HEX-Programs / Kaminski, T., Eiter, T., & Inoue, K. (2019). Meta-Interpretive Learning Using HEX-Programs. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, Macao. https://doi.org/10.24963/ijcai.2019/860
- Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. In Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence (pp. 7–13). http://hdl.handle.net/20.500.12708/57937
- Distributed Stream Reasoning with LARS and ASP / Eiter, T., Ogris, P., & Schekotihin, K. (2019). Distributed Stream Reasoning with LARS and ASP. In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). http://hdl.handle.net/20.500.12708/55725
- Defeasible Reasoning in Description Logic Contexts / Eiter, T. (2019). Defeasible Reasoning in Description Logic Contexts. Colloquium for Franz Baader´s 60th Birthday, Dresden, Germany. http://hdl.handle.net/20.500.12708/87118
- The Role of Answer Set Programming for Non-monotonic Reasoning / Eiter, T. (2019). The Role of Answer Set Programming for Non-monotonic Reasoning. Dagstuhl Seminar 19072 - The Role of Non-Monotonic Reasoning in Future Development of Artificial Intelligence, Schloss Dagstuhl, Germany. http://hdl.handle.net/20.500.12708/87089
- Stream Reasoning and Multi-Context Systems / Eiter, T. (2019). Stream Reasoning and Multi-Context Systems. 4th Stream Reasoning Workshop (SR 2019), Linköping, Sweden. http://hdl.handle.net/20.500.12708/87088
- The Alpha Solver for Lazy-GroundingAnswer-Set Programming / Weinzierl, A., Bogaerts, B., Bomanson, J., Eiter, T., Friedrich, G., Janhunen, T., Kaminski, T., Langowski, M., Leutgeb, L., Schenner, G., & Taupe, R. (2019). The Alpha Solver for Lazy-GroundingAnswer-Set Programming. ALP Newsletter, 12. http://hdl.handle.net/20.500.12708/144033
- Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) / Shen, Y.-D., & Eiter, T. (2019). Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract). In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). http://hdl.handle.net/20.500.12708/58334
- Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP / Bozzato, L., Eiter, T., & Serafini, L. (2019). Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP. In P. Fodor, M. Montali, D. Calvanese, & D. Roman (Eds.), Rules and Reasoning (pp. 19–35). LNCS, Springer. https://doi.org/10.1007/978-3-030-31095-0_2
- Justifiable Exceptions in General Contextual Hierarchies / Bozzato, L., Eiter, T., & Serafini, L. (2019). Justifiable Exceptions in General Contextual Hierarchies. In Modeling and Using Context (pp. 26–39). LNCS, Springer. https://doi.org/10.1007/978-3-030-34974-5_3
-
Abstraction for Non-ground Answer Set Programs
/
Saribatur, Z. G., Schüller, P., & Eiter, T. (2019). Abstraction for Non-ground Answer Set Programs. In F. Calimeri, N. Leone, & M. Manna (Eds.), Logics in Artificial Intelligence (pp. 576–592). Springer LNCS. https://doi.org/10.1007/978-3-030-19570-0_38
Project: DynaCon (2017–2020) - A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective / Eiter, T., & Kern-Isberner, G. (2019). A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective. Kuenstliche Intelligenz, 33(1), 9–33. https://doi.org/10.1007/s13218-018-0564-6
- Towards a Semantically Enriched Local Dynamic Map / Eiter, T., Füreder, H., Kasslatter, F., Xavier Parreira, J., & Schneider, P. (2019). Towards a Semantically Enriched Local Dynamic Map. International Journal of Intelligent Transportation Systems Research, 17(1), 32–48. https://doi.org/10.1007/s13177-018-0154-x
- Determining Inference Semantics for Disjunctive Logic Programs / Shen, Y.-D., & Eiter, T. (2019). Determining Inference Semantics for Disjunctive Logic Programs. Artificial Intelligence, 277(103165), 103165. https://doi.org/10.1016/j.artint.2019.103165
- Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/86936
- Logic Programming for Stream Reasoning / Eiter, T. (2019). Logic Programming for Stream Reasoning. Autumn School on Logic Programming, Las Cruces, New Mexico, USA, Non-EU. http://hdl.handle.net/20.500.12708/87119
- Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / Eiter, T., Saribatur, Z. G., & Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019). http://hdl.handle.net/20.500.12708/58339
-
Abstraction for Non-Ground Answer Set Programs
/
Saribatur, Z. G., Eiter, T., & Schüller, P. (2019). Abstraction for Non-Ground Answer Set Programs (LOGCOMP RR-1923-19-01). http://hdl.handle.net/20.500.12708/39887
Project: AI4EU (2019–2021)
2018
-
Abstraction for Non-Ground Answer Set Programs
/
Saribatur, Z. G., Schüller, P., & Eiter, T. (2018). Abstraction for Non-Ground Answer Set Programs. In 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018). 2nd Workshop on Trends and Applications of Answer Set Programming 2018, Wien, Austria. http://hdl.handle.net/20.500.12708/57536
Project: DynaCon (2017–2020) - Deploying Spatial-Stream Query Answering in C-ITS Scenarios / Eiter, T., Ichise, R., Xavier Parreira, J., Schneider, P., & Zhao, L. (2018). Deploying Spatial-Stream Query Answering in C-ITS Scenarios. In Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings (pp. 386–406). https://doi.org/10.1007/978-3-030-03667-6_25
- Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges / Timm, I. J., Staab, S., Siebers, M., Schon, C., Schmid, U., Sauerwald, K., Reuter, L., Ragni, M., Niederee, C., Maus, H., Kern-Isberner, G., Eiter, T., Jilek, C., Friemann, P., Dengel, A., Dames, H., Bock, T., Berndt, J. O., & Beierle, C. (2018). Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. In KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. Springer. https://doi.org/10.1007/978-3-030-00111-7_30
-
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
/
Eiter, T., Kaminski, T., Redl, C., & Weinzierl, A. (2018). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. Journal of Artificial Intelligence Research. https://doi.org/10.1613/jair.1.11221
Download: PDF (673 KB) -
The DLVHEX System
/
Eiter, T., Germano, S., Ianni, G., Kaminski, T., Redl, C., Schüller, P., & Weinzierl, A. (2018). The DLVHEX System. Kuenstliche Intelligenz. https://doi.org/10.1007/s13218-018-0535-y
Download: PDF (212 KB) - Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP / Eiter, T., Friedrich, G., Taupe, R., & Weinzierl, A. (2018). Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. Kuenstliche Intelligenz, 32(2–3), 197–198. https://doi.org/10.1007/s13218-018-0536-x
- Stream Reasoning with LARS / Beck, H., Dao-Tran, M., Eiter, T., & Folie, C. (2018). Stream Reasoning with LARS. Kuenstliche Intelligenz, 32(2–3), 193–195. https://doi.org/10.1007/s13218-018-0537-9
- Alonzo Church Award 2018 - Call for Nominations / Eiter, T., Esparza, J., Palamidessi, C., Plotkin, G., & Shankar, N. (2018). Alonzo Church Award 2018 - Call for Nominations. European Association for Theoretical Computer Science. Bulletin, 124, 2. http://hdl.handle.net/20.500.12708/144628
- Enhancing Contextualized Knowledge Repositories with Justifiable Exceptions / Bozzato, L., Eiter, T., & Serafini, L. (2018). Enhancing Contextualized Knowledge Repositories with Justifiable Exceptions. Artificial Intelligence, 257, 72–126. https://doi.org/10.1016/j.artint.2017.12.005
- LARS: A Logic-based Framework for Analytic Reasoning over Streams / Beck, H., Dao-Tran, M., & Eiter, T. (2018). LARS: A Logic-based Framework for Analytic Reasoning over Streams. Artificial Intelligence, 261, 16–70. https://doi.org/10.1016/j.artint.2018.04.003
-
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
/
KAMINSKI, T., EITER, T., & INOUE, K. (2018). Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory and Practice of Logic Programming, 18(3–4), 571–588. https://doi.org/10.1017/s1471068418000261
Project: IE of ASP (2015–2018) -
Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming
/
Kaminski, T., Eiter, T., & Inoue, K. (2018). Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming. 28th International Conference on Inductive Logic Programming, Ferrara, Italy, EU. http://hdl.handle.net/20.500.12708/86800
Project: IE of ASP (2015–2018) - Omission-based Abstraction for Answer Set Programs (Extended Abstract) / Saribatur, Z. G., & Eiter, T. (2018). Omission-based Abstraction for Answer Set Programs (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria. http://hdl.handle.net/20.500.12708/86786
- Streams, Multi-Context Systems, and Dynamic Configuration / Eiter, T. (2018). Streams, Multi-Context Systems, and Dynamic Configuration. 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution, Tempe, AZ, USA, Non-EU. http://hdl.handle.net/20.500.12708/86860
- Answer Set Programs go 30: Past and Future / Eiter, T. (2018). Answer Set Programs go 30: Past and Future. International Conference on Logic Programming (ICLP), Sitges, Spain, Austria. http://hdl.handle.net/20.500.12708/86859
- LARS: A Framework for Analytic Reasoning over Streams / Eiter, T. (2018). LARS: A Framework for Analytic Reasoning over Streams. Institute of Software, Chinese Academy of Sciences, Beijing, China, Non-EU. http://hdl.handle.net/20.500.12708/86858
- Enhancing Context Knowledge Repositories with Exceptions / Eiter, T. (2018). Enhancing Context Knowledge Repositories with Exceptions. Guizhou University, Guiyang, China, Non-EU. http://hdl.handle.net/20.500.12708/86857
- Forgetting: A Knowledge Representation and Reasoning Perspective / Eiter, T. (2018). Forgetting: A Knowledge Representation and Reasoning Perspective. Tandem-Workshop des SPP1921, Limburg, Germany, EU. http://hdl.handle.net/20.500.12708/86855
- Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Knowledge Graph Forum / Eiter, T. (2018). Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Knowledge Graph Forum. 2nd World Intelligence Conference (WIC), Tianjin, China, Non-EU. http://hdl.handle.net/20.500.12708/86856
- Answer Set Programming / Eiter, T. (2018). Answer Set Programming. Seminar at Fondazione Bruno Kessler (FBK), Trient, Italien, EU. http://hdl.handle.net/20.500.12708/86854
- LARS: A Logic-Based Framework for Analytic Reasoning over Streams / Beck, H., Dao-Tran, M., & Eiter, T. (2018). LARS: A Logic-Based Framework for Analytic Reasoning over Streams. In SOFSEM 2018: Theory and Practice of Computer Science (pp. 87–93). https://doi.org/10.1007/978-3-319-73117-9_6
- Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract) / Eiter, T., & Weinzierl, A. (2018). Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract). In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. https://doi.org/10.24963/ijcai.2018/791
- Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) / Bozzato, L., Eiter, T., & Serafini, L. (2018). Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract). In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. https://doi.org/10.24963/ijcai.2018/786
- Reasoning with Justifiable Exceptions in Contextual Hierarchies / Bozzato, L., Eiter, T., & Serafini, L. (2018). Reasoning with Justifiable Exceptions in Contextual Hierarchies. In Proceedings 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), October 30 -- November 2, 2018, Tempe, Arizona, USA (pp. 329–338). AAAI Press. http://hdl.handle.net/20.500.12708/57710
- Omission-Based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning. 16th International Conference on Principles of Knowledge Representation and Reasoning - KR 2018, Tempe, AZ, USA, Non-EU. AAAI Press. http://hdl.handle.net/20.500.12708/57590
- Towards Abstraction in ASP with an Application on Reasoning about Agent Policies / Saribatur, Z. G., & Eiter, T. (2018). Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. In Workshop on Answer Set Programming and Other Computing Paradigms. 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP’18), Oxford, UK, EU. http://hdl.handle.net/20.500.12708/56703
- Omission-Based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs (LOGCOMP RR-1923-18-06). http://hdl.handle.net/20.500.12708/39631
- Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access / Eiter, T., Kaminski, T., Redl, C., & Weinzierl, A. (2018). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access (LOGCOMP RR-1923-18-02}). http://hdl.handle.net/20.500.12708/39455
2017
-
Answer Set Programming with External Source Access
/
Eiter, T., Kaminski, T. D., Redl, C., Schüller, P., & Weinzierl, A. (2017). Answer Set Programming with External Source Access. In G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, & S. Staab (Eds.), Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Springer. https://doi.org/10.1007/978-3-319-61033-7_7
Download: PDF (662 KB) -
Reactive Maintenance Policies over Equalized States in Dynamic Environments
/
Saribatur Yaman, Z. G., Baral, C., & Eiter, T. (2017). Reactive Maintenance Policies over Equalized States in Dynamic Environments. In E. Oliveira, J. Gama, Z. Vale, & H. L. Cardoso (Eds.), Progress in Artificial Intelligence : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings. Springer Cham. https://doi.org/10.1007/978-3-319-65340-2_58
Download: PDF (366 KB) -
Blocked Clauses in First-Order Logic
/
Kiesl, B., Suda, M., Seidl, M., Tompits, H., & Biere, A. (2017). Blocked Clauses in First-Order Logic. In T. Eiter & D. Sands (Eds.), LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EasyChair. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3121
Download: PDF (412 KB) - Stream Reasoning / Mileo, A., Dao-Tran, M., Eiter, T., & Fink, M. (2017). Stream Reasoning. In L. Liu & O. M. Tamer (Eds.), Encyclopedia of Database Systems (pp. 1–7). Springer Science+Business Media. https://doi.org/10.1007/978-1-4899-7993-3_80715-1
- Stream reasoning-based control of caching strategies in CCN routers / Beck, H., Bierbaumer, B., Dao-Tran, M., Eiter, T., Hellwagner, H., & Schekotihin, K. (2017). Stream reasoning-based control of caching strategies in CCN routers. In 2017 IEEE International Conference on Communications (ICC). IEEE Xplore Digital Library. https://doi.org/10.1109/icc.2017.7996762
-
Preference-Based Inconsistency Management in Multi-Context Systems
/
Eiter, T., & Weinzierl, A. (2017). Preference-Based Inconsistency Management in Multi-Context Systems. Journal of Artificial Intelligence Research, 60, 347–424. https://doi.org/10.1613/jair.5416
Project: IE of ASP (2015–2018) - Streaming Multi-Context Systems / Eiter, T., & Dao-Tran, M. (2017). Streaming Multi-Context Systems. In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/139
- Detecting Mobility Patterns using Spatial Query Answering over Streams / Eiter, T., Parreira, J., & Schneider, P. (2017). Detecting Mobility Patterns using Spatial Query Answering over Streams. In D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, & D. Porello (Eds.), Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017) (pp. 17–32). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/57301
- Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) / Eiter, T., & Shen, Y.-D. (2017). Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract). In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/722
- Spatial Ontology-Mediated Query Answering over Mobility Streams / Eiter, T., Parreira, J. X., & Schneider, P. (2017). Spatial Ontology-Mediated Query Answering over Mobility Streams. In E. Blomqvist, D. Maynard, A. Gangemi, R. Hoekstra, P. Hitzler, & O. Hartig (Eds.), The Semantic Web (pp. 219–237). Springer Lecture Notes in Computer Science LNCS. https://doi.org/10.1007/978-3-319-58068-5_14
- Ticker: A system for incremental ASP-based stream reasoning / BECK, H., EITER, T., & FOLIE, C. (2017). Ticker: A system for incremental ASP-based stream reasoning. In Theory and Practice of Logic Programming (pp. 744–763). Cambridge University Press. https://doi.org/10.1017/s1471068417000370
-
Lazy-Grounding for Answer Set Programs with External Source Access
/
Eiter, T., Kaminski, T., & Weinzierl, A. (2017). Lazy-Grounding for Answer Set Programs with External Source Access. In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. ijcai.org. https://doi.org/10.24963/ijcai.2017/141
Projects: CDCP (2008–2012) / IE of ASP (2015–2018) - A uniform framework for substructural logics with modalities / Lellmann, B. (2017). A uniform framework for substructural logics with modalities. In T. Eiter (Ed.), LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017 (pp. 435–455). EasyChair EPiC Series in Computing. http://hdl.handle.net/20.500.12708/57108
- Bunched Hypersequent Calculi for Distributive Substructural Logics / Ramanayake, R., & Ciabattoni, A. (2017). Bunched Hypersequent Calculi for Distributive Substructural Logics. In T. Eiter (Ed.), LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 417–434). Springer LNCS. http://hdl.handle.net/20.500.12708/57070
- Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017 / Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017. (2017). In D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, & D. Porello (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24394
- Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering / Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. (2017). In J. Z. Pan, D. Calvanese, T. Eiter, I. Horrocks, M. Kifer, F. Lin, & Y. Zhao (Eds.), Lecture Notes in Computer Science. Springer LNCS. https://doi.org/10.1007/978-3-319-49493-7
- LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46 / Eiter, T., & Sands, D. (Eds.). (2017). LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46. EasyChair EPiC Series in Computing. http://hdl.handle.net/20.500.12708/24393
- IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1 / Eiter, T., Sands, D., Sutcliffe, G., & Voronkov, A. (Eds.). (2017). IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1. EasyChair. http://hdl.handle.net/20.500.12708/24392
2016
-
A model building framework for answer set programming with external computations
/
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Schüller, P. (2016). A model building framework for answer set programming with external computations. Theory and Practice of Logic Programming, 16(4), 418–464. https://doi.org/10.1017/s1471068415000113
Project: ASP (2012–2015) -
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
/
Eiter, T., & Kaminski, T. (2016). Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects. In Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings ; Michael, Loizos; Kakas, Antonis C. 15th European Conference, JELIA 2016. https://doi.org/10.1007/978-3-319-48758-8_15
Download: PDF (3.31 MB) - Artificial Intelligence at the Gates of Dawn? / Eiter, T. (2016). Artificial Intelligence at the Gates of Dawn? In M. Pinzger (Ed.), 46. Jahrestag der Gesellschaft fuer Informatik (pp. 37–38). Lni / Gi. http://hdl.handle.net/20.500.12708/56835
-
Counting Answer Sets via Dynamic Programming
/
Fichte, J., Hecher, M., Morak, M., & Woltran, S. (2016). Counting Answer Sets via Dynamic Programming. In T. Eiter, W. Faber, & S. Woltran (Eds.), Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016) (p. 14). http://hdl.handle.net/20.500.12708/56808
Project: START (2014–2022) -
Clique-Width and Directed Width Measures for Answer-Set Programming
/
Bliem, B., Ordyniak, S., & Woltran, S. (2016). Clique-Width and Directed Width Measures for Answer-Set Programming. In T. Eiter, W. Faber, & S. Woltran (Eds.), Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016) (p. 17). http://hdl.handle.net/20.500.12708/56809
Project: START (2014–2022) -
Semantically Enriched Multi-Modal Routing
/
Eiter, T., Krennwallner, T., Prandtstetter, M., Rudloff, C., Schneider, P., & Straub, M. (2016). Semantically Enriched Multi-Modal Routing. International Journal of Intelligent Transportation Systems Research, 14(1), 20–35. https://doi.org/10.1007/s13177-014-0098-8
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / MyITS (2011–2013) -
Reactive Policies with Planning for Action Languages
/
Saribatur, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In Logics in Artificial Intelligence ; Michael, Loizos; Kakas, Antonis. 15th European Conference, JELIA 2016, November 9-11, Proceedings. https://doi.org/10.1007/978-3-319-48758-8_30
Download: PDF (301 KB) - Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks / Beck, H., Bierbaumer, B., Dao-Tran, M., Eiter, T., Hellwagner, H., & Schekotihin, K. (2016). Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks. In L. Michael & A. C. Kakas (Eds.), Logics in Artificial Intelligence (pp. 522–528). Springer. https://doi.org/10.1007/978-3-319-48758-8_34
- Computing Repairs of Inconsistent DL-Programs over EL Ontologies / Eiter, T., Fink, M., & Stepanova, D. (2016). Computing Repairs of Inconsistent DL-Programs over EL Ontologies. Journal of Artificial Intelligence Research, 56, 463–515. http://hdl.handle.net/20.500.12708/149778
- Data repair of inconsistent nonmonotonic description logic programs / Eiter, T., Fink, M., & Stepanova, D. (2016). Data repair of inconsistent nonmonotonic description logic programs. Artificial Intelligence, 239, 7–53. http://hdl.handle.net/20.500.12708/149773
- Evaluating epistemic negation in answer set programming / Eiter, T., & Shen, Y.-D. (2016). Evaluating epistemic negation in answer set programming. Artificial Intelligence, 237, 115–135. http://hdl.handle.net/20.500.12708/149772
- Semi-equilibrium models for paracoherent answer set programs / Amendola, G., Eiter, T., Fink, M., Leone, N., & Moura, J. (2016). Semi-equilibrium models for paracoherent answer set programs. Artificial Intelligence, 234, 219–271. http://hdl.handle.net/20.500.12708/149771
- Domain Expansion for ASP-Programs with External Sources / Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2016). Domain Expansion for ASP-Programs with External Sources. Journal of Artificial Intelligence Research, 233, 84–121. http://hdl.handle.net/20.500.12708/148290
- Obituary Peter Lucas / Eiter, T. (2016). Obituary Peter Lucas. Almanach, Österreichische Akademie Der Wissenschaften, 166, 330–333. http://hdl.handle.net/20.500.12708/150131
- Obituary Helmut Veith (1971-2016) / Eiter, T. (2016). Obituary Helmut Veith (1971-2016). ACM SIGLOG News, 3(2), 3–5. http://hdl.handle.net/20.500.12708/150129
- Answer Set Programming: An Introduction to the Special Issue / Brewka, G., Eiter, T., & Truszczynski, M. (2016). Answer Set Programming: An Introduction to the Special Issue. AI Magazine, 37(3), 5–6. http://hdl.handle.net/20.500.12708/149779
- A Benchmarking Framework for Stream Processors / Mossburger, A., Beck, H., Dao-Tran, M., & Eiter, T. (2016). A Benchmarking Framework for Stream Processors. 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW), Bologna, EU. http://hdl.handle.net/20.500.12708/86413
- Knowledge-Based System Group, Vienna University of Technology / Eiter, T. (2016). Knowledge-Based System Group, Vienna University of Technology. Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence, Klagenfurt, Austria. http://hdl.handle.net/20.500.12708/86469
- Some Thoughts on Stream Reasoning, Revision and Update / Eiter, T. (2016). Some Thoughts on Stream Reasoning, Revision and Update. Workshop on New Trends in Belief Change, Vienna, Austria. http://hdl.handle.net/20.500.12708/86467
- Georg Gottlob: Life and Pictures / Eiter, T. (2016). Georg Gottlob: Life and Pictures. GG@60: Workshop on Databases and AI, Genova, Italy, EU. http://hdl.handle.net/20.500.12708/86466
- Answer Set Programming and Extensions / Eiter, T. (2016). Answer Set Programming and Extensions. Summer School 2016: Verification Technology, Systems & Applications, Liege, Belgium, EU. http://hdl.handle.net/20.500.12708/86465
- Towards Spatial Ontology-Mediated Query Answering over Mobility Streams / Eiter, T., Parreira, J., & Schneider, P. (2016). Towards Spatial Ontology-Mediated Query Answering over Mobility Streams. In D. Dell´Aglio, E. Della Valle, T. Eiter, & M. Krötzsch (Eds.), Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016) (pp. 13–24). CEUR. http://hdl.handle.net/20.500.12708/55453
- Towards a Semantically Enriched Local Dynamic Map / Eiter, T., Füreder, H., Kasslatter, F., Parreira, J., & Schneider, P. (2016). Towards a Semantically Enriched Local Dynamic Map. In E. Chung & B. Smith (Eds.), 23rd World Congress on Intelligent Transport Systems 2016. IEEE. http://hdl.handle.net/20.500.12708/56863
- Generalized Consistent Query Answering under Existential Rules / Eiter, T., Lukasiewicz, T., & Predoiu, L. (2016). Generalized Consistent Query Answering under Existential Rules. In J. P. Delgrande & F. Wolter (Eds.), Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) (pp. 359–368). http://hdl.handle.net/20.500.12708/56833
- Equivalent Stream Reasoning Programs / Beck, H., Dao-Tran, M., & Eiter, T. (2016). Equivalent Stream Reasoning Programs. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 929–935). IJCAI/AAAI Press. http://hdl.handle.net/20.500.12708/56817
- Reactive Policies with Planning for Action Languages / Saribatur, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In G. Kern-Isberner & R. Wassermann (Eds.), Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (pp. 143–152). http://hdl.handle.net/20.500.12708/56763
-
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
/
Eiter, T., Kaminski, T., Redl, C., & Weinzierl, A. (2016). Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 1058–1065). IJCAI/AAAI Press. http://hdl.handle.net/20.500.12708/56579
Project: IE of ASP (2015–2018) -
Problem Solving Using the HEX Family
/
Eiter, T., Redl, C., & Schüller, P. (2016). Problem Solving Using the HEX Family. In 60 Birthday: Gabriele Kern-Isberner, 2016 (pp. 150–174). College Publications. http://hdl.handle.net/20.500.12708/56573
Project: IE of ASP (2015–2018) - Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016) / Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016). (2016). In D. Dell´Aglio, E. Della Valle, T. Eiter, M. Krötzsch, M. Maleshkova, R. Verborgh, F. M. Facca, & M. Mrissa (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24275
2015
-
Distributed Evaluation of Nonmonotonic Multi-Context Systems
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2015). Distributed Evaluation of Nonmonotonic Multi-Context Systems. Journal of Artificial Intelligence Research, 52, 543–600. https://doi.org/10.1613/jair.4574
Project: ASP (2012–2015) - Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks / Dvořák, W., Gaggl, S. A., Linsbichler, T., & Wallner, J. P. (2015). Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 249–264). Springer. https://doi.org/10.1007/978-3-319-14726-0_17
- A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence / Eiter, T., Strass, H., Truszczynski, M., & Woltran, S. (2015). A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 1–16). Springer LNCS. http://hdl.handle.net/20.500.12708/28886
- Infinite Argumentation Frameworks / Baumann, R., & Spanring, C. (2015). Infinite Argumentation Frameworks. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 281–295). Springer LNCS. https://doi.org/10.1007/978-3-319-14726-0_19
- Preference-Based Diagnosis Selection in Multi-Context Systems / Eiter, T., Fink, M., & Weinzierl, A. (2015). Preference-Based Diagnosis Selection in Multi-Context Systems. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (pp. 233–248). Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-319-14726-0_16
- Introduction to the 31st International Conference on Logic Programming Special Issue / EITER, T., & TONI, F. (2015). Introduction to the 31st International Conference on Logic Programming Special Issue. Theory and Practice of Logic Programming, 15(4–5), 413–418. https://doi.org/10.1017/s1471068415000356
- What is the Semantics of Your SPARQL Extension? / Beck, H., Dao-Tran, M., & Eiter, T. (2015). What is the Semantics of Your SPARQL Extension? ALP Newsletter, Vol. 28, No. 4, December 2015, 28. http://hdl.handle.net/20.500.12708/151858
-
Linking Open-World Knowledge Bases Using Nonmonotonic Rules
/
Eiter, T., & Simkus, M. (2015). Linking Open-World Knowledge Bases Using Nonmonotonic Rules. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 294–308). Springer LNCS. https://doi.org/10.1007/978-3-319-23264-5_25
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / HINT (2012–2017) / SEE (2012–2016) - Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of Interest / Beck, H., Dao-Tran, M., & Eiter, T. (2015). Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of Interest. RDF Stream Processing Workshop at ESWC2015, Portoros, EU. http://hdl.handle.net/20.500.12708/86208
- A Logic-Based Framework for Analyzing Reasoning over Streams / Eiter, T. (2015). A Logic-Based Framework for Analyzing Reasoning over Streams. Stream Reasoning Workshop 2015, Wien, Austria. http://hdl.handle.net/20.500.12708/86213
- Querying Ontology Knowledge Bases Using Datalog / Eiter, T. (2015). Querying Ontology Knowledge Bases Using Datalog. PhDs in Logic VII, Wien, Austria. http://hdl.handle.net/20.500.12708/86211
- A Logic-Based Frameworks for Analyzing Stream Reasoning / Eiter, T. (2015). A Logic-Based Frameworks for Analyzing Stream Reasoning. PhDs in Logic VII, Wien, Austria. http://hdl.handle.net/20.500.12708/86212
- Towards a Logic-Based Framework for Analyzing Stream Reasoning / Eiter, T. (2015). Towards a Logic-Based Framework for Analyzing Stream Reasoning. Seminar of the CS Department, KU Leuven, Belgien, EU. http://hdl.handle.net/20.500.12708/86210
-
Reasoning with Forest Logic Programs Using Fully Enriched Automata
/
Feier, C., & Eiter, T. (2015). Reasoning with Forest Logic Programs Using Fully Enriched Automata. In O. Papini (Ed.), Joint Ontology Workshops 2015 (p. 10). CEUR-WS.org. http://hdl.handle.net/20.500.12708/55418
Project: ASP (2012–2015) - Answer Set Application Programming: a Case Study on Tetris / Schüller, P., & Weinzierl, A. (2015). Answer Set Application Programming: a Case Study on Tetris. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) (p. 14). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55416
-
Reasoning with Forest Logic Programs Using Fully Enriched Automata
/
Feier, C., & Eiter, T. (2015). Reasoning with Forest Logic Programs Using Fully Enriched Automata. In F. Calimeri, G. Ianni, & M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 346–353). Springer. https://doi.org/10.1007/978-3-319-23264-5_29
Project: ASP (2012–2015) - Towards Comparing RDF Stream Processing Semantics / Dao-Tran, M., Beck, H., & Eiter, T. (2015). Towards Comparing RDF Stream Processing Semantics. In 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015. (pp. 15–27). http://hdl.handle.net/20.500.12708/56298
- Answer Update for Rule-based Stream Reasoning / Beck, H., Dao-Tran, M., & Eiter, T. (2015). Answer Update for Rule-based Stream Reasoning. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia. (pp. 2741–2747). http://hdl.handle.net/20.500.12708/56296
- Contrasting RDF Stream Processing Semantics / Dao-Tran, M., Beck, H., & Eiter, T. (2015). Contrasting RDF Stream Processing Semantics. In 5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China. (p. 8). http://hdl.handle.net/20.500.12708/56297
- LARS: A Logic-based Framework for Analyzing Reasoning over Streams / Beck, H., Dao-Tran, M., Eiter, T., & Fink, M. (2015). LARS: A Logic-based Framework for Analyzing Reasoning over Streams. In Proceedings of the 29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA. (pp. 1431–1438). http://hdl.handle.net/20.500.12708/56294
- On Structural Analysis of Non-Ground Answer-Set Programs / Kiesl, B., Schüller, P., & Tompits, H. (2015). On Structural Analysis of Non-Ground Answer-Set Programs. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) (p. 14). http://hdl.handle.net/20.500.12708/56289
-
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams
/
Charwat, G. (2015). Dynamic Programming on Tree Decompositions using Binary Decision Diagrams. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015 (p. 10). CEUR-WS.org. http://hdl.handle.net/20.500.12708/56219
Project: START (2014–2022) -
A Rule-based Framework for Creating Instance Data from OpenStreetMap
/
Eiter, T., Pan, J. Z., Schneider, P., Šimkus, M., & Xiao, G. (2015). A Rule-based Framework for Creating Instance Data from OpenStreetMap. In B. ten Cate & A. Mileo (Eds.), Web Reasoning and Rule Systems (pp. 93–104). Springer LNCS. https://doi.org/10.1007/978-3-319-22002-4_8
Projects: ASP (2012–2015) / HINT (2012–2017) / SEE (2012–2016) -
Constraint Answer Set Programming based on HEX-Programs
/
De Rosis, A., Eiter, T., Redl, C., & Ricca, F. (2015). Constraint Answer Set Programming based on HEX-Programs. In Proceedings of the 8th Workshop on Answer Set Programming and Other Computing Paradigms (p. 15). http://hdl.handle.net/20.500.12708/55894
Projects: ASP (2012–2015) / IE of ASP (2015–2018) -
Computing Repairs of Inconsistent DL-programs over EL Ontologies
/
Eiter, T., Fink, M., & Stepanova, D. (2015). Computing Repairs of Inconsistent DL-programs over EL Ontologies (INFSYS RR-1843-15-08). http://hdl.handle.net/20.500.12708/38690
Projects: Hybride Wissensbasen (2008–2012) / IE of ASP (2015–2018) -
Data Repair of Inconsistent Nonmonotonic Description Logic Programs
/
Eiter, T., Fink, M., & Stepanova, D. (2015). Data Repair of Inconsistent Nonmonotonic Description Logic Programs (INFSYS RR-1843-15-03). http://hdl.handle.net/20.500.12708/38689
Project: IE of ASP (2015–2018) -
Problem Solving Using the HEX Family
/
Eiter, T., Redl, C., & Schüller, P. (2015). Problem Solving Using the HEX Family (NFSYS RR-1843-15-07). http://hdl.handle.net/20.500.12708/38688
Project: IE of ASP (2015–2018) - Evaluating Epistemic Negation in Answer Set Programming / Shen, Y.-D., & Eiter, T. (2015). Evaluating Epistemic Negation in Answer Set Programming (INFSYS RR-1843-15-04). http://hdl.handle.net/20.500.12708/38687
- Reasoning with Forest Logic Programs Using Fully Enriched Automata / Feier, C., & Eiter, T. (2015). Reasoning with Forest Logic Programs Using Fully Enriched Automata (INFSYS RR-1843-15-02). http://hdl.handle.net/20.500.12708/38686
-
User Guide: dlvhex 2.X
/
Eiter, T., Mehuljic, M., Redl, C., & Schüller, P. (2015). User Guide: dlvhex 2.X (INFSYS RR-1843-15-05). http://hdl.handle.net/20.500.12708/38596
Project: IE of ASP (2015–2018) -
A Model Building Framework for Answer Set Programming with External Computations
/
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Schüller, P. (2015). A Model Building Framework for Answer Set Programming with External Computations (INFSYS RR-1843-15-01). http://hdl.handle.net/20.500.12708/38595
Project: ASP (2012–2015) - Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation / Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. (2015). In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-14726-0
- Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) / Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). (2015). In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/24090
2014
-
FLP answer set semantics without circular justifications for general logic programs
/
Shen, Y.-D., Wang, K., Eiter, T., Fink, M., Redl, C., Krennwallner, T., & Deng, J. (2014). FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence, 213, 1–41. https://doi.org/10.1016/j.artint.2014.05.001
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Efficient HEX-Program Evaluation based on Unfounded Sets
/
Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2014). Efficient HEX-Program Evaluation based on Unfounded Sets. Journal of Artificial Intelligence Research, 49, 269–321. https://doi.org/10.1613/jair.4175
Project: ASP (2012–2015) - Finding Explanations of Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2014). Finding Explanations of Inconsistency in Multi-Context Systems. Artificial Intelligence, 216, 233–274. https://doi.org/10.1016/j.artint.2014.07.008
-
Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata
/
Calvanese, D., Eiter, T., & Ortiz, M. (2014). Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata. Information and Computation, 237, 12–55. https://doi.org/10.1016/j.ic.2014.04.002
Projects: Hybride Wissensbasen (2008–2012) / SemDat (2012–2016) - Towards Ideal Semantics for Analyzing Stream Reasoning / Beck, H., Dao-Tran, M., Eiter, T., & Fink, M. (2014). Towards Ideal Semantics for Analyzing Stream Reasoning. In International Workshop on Reactive Concepts in Knowledge Representation 2014 (pp. 17–22). http://hdl.handle.net/20.500.12708/55986
- Characteristics of Multiple Viewpoints in Abstract Argumentation / Dunne, P. E., Dvorak, W., Linsbichler, T., & Woltran, S. (2014). Characteristics of Multiple Viewpoints in Abstract Argumentation. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (pp. 72–81). AAAI Press. http://hdl.handle.net/20.500.12708/55234
-
Semantically Enriched Multi-Modal Routing
/
Eiter, T., Krennwallner, T., Prandtstetter, M., Rudloff, C., Schneider, P., & Straub, M. (2014). Semantically Enriched Multi-Modal Routing. International Journal of Intelligent Transportation Systems Research, 14(1), 20–35. https://doi.org/10.1007/s13177-014-0098-8
Project: MyITS (2011–2013) - Vienna Summer of Logic / Baaz, M., Eiter, T., & Veith, H. (2014). Vienna Summer of Logic. Vienna Summer of Logic, Wien, Austria, Austria. http://hdl.handle.net/20.500.12708/121057
-
hex-Programs with Existential Quantification
/
Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2014). hex-Programs with Existential Quantification. In M. Hanus & R. Rocha (Eds.), Declarative Programming and Knowledge Management (pp. 99–117). Springer. https://doi.org/10.1007/978-3-319-08909-6_7
Project: ASP (2012–2015) -
Exploiting Support Sets for Answer Set Programs with External Evaluations
/
Eiter, T., Fink, M., Redl, C., & Stepanova, D. (2014). Exploiting Support Sets for Answer Set Programs with External Evaluations. In C. E. Brodley & P. Stone (Eds.), Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence (pp. 1041–1048). AAAI Press. http://hdl.handle.net/20.500.12708/55270
Project: ASP (2012–2015) -
Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies
/
Eiter, T., Fink, M., & Stepanova, D. (2014). Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies. In E. Fermé & J. Leite (Eds.), Logics in Artificial Intelligence (pp. 426–441). Springer. https://doi.org/10.1007/978-3-319-11558-0_30
Project: ASP (2012–2015) -
Towards Practical Deletion Repair of Inconsistent DL-programs
/
Eiter, T., Fink, M., & Stepanova, D. (2014). Towards Practical Deletion Repair of Inconsistent DL-programs. In T. Schaub, G. Friedrich, & B. O´Sullivan (Eds.), Proceedings of the 21st European Conference on Artificial Intelligence (pp. 285–290). Frontiers in Artificial Intelligence and Applications. http://hdl.handle.net/20.500.12708/55753
Project: ASP (2012–2015) - Inconsistencies in Hybrid Knowledge Bases / Stepanova, D. (2014). Inconsistencies in Hybrid Knowledge Bases. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning. Proceedings (pp. 1–4). AAAI Press. http://hdl.handle.net/20.500.12708/55752
-
Towards Practical Deletion Repair of Inconsistent DL-programs
/
Eiter, T., Fink, M., & Stepanova, D. (2014). Towards Practical Deletion Repair of Inconsistent DL-programs. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 169–180). CEUR-WS. http://hdl.handle.net/20.500.12708/55751
Project: ASP (2012–2015) - Contextualized Knowledge Repositories with Justifiable Exceptions / Bozzato, L., Eiter, T., & Serafini, L. (2014). Contextualized Knowledge Repositories with Justifiable Exceptions. In M. Bienvenu, M. M. Ortiz de la Fuente, R. Rosati, & M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics (pp. 112–123). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55719
- Defeasibility in Contextual Reasoning with CKR / Bozzato, L., Eiter, T., & Serafini, L. (2014). Defeasibility in Contextual Reasoning with CKR. In L. Giordano, V. Gliozzi, & G. L. Pozzato (Eds.), Proceedings of the 29th Italian Conference on Computational Logic (pp. 132–146). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55390
- Towards a Logic-Based Framework for Analyzing Stream Reasoning / Beck, H., Dao-Tran, M., Eiter, T., & Fink, M. (2014). Towards a Logic-Based Framework for Analyzing Stream Reasoning. In 3rd International Workshop on Ordering and Reasoning (pp. 11–22). http://hdl.handle.net/20.500.12708/55388
-
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57
/
Eiter, T., Schneider, P., Simkus, M., & Xiao, G. (2014). Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57. In Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) (pp. 51–57). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55387
Projects: FAIR (2013–2018) / SEE (2012–2016) - Modular Paracoherent Answer Sets / Amendola, G., Eiter, T., & Leone, N. (2014). Modular Paracoherent Answer Sets. In E. Fermé & J. Leite (Eds.), Logics in Artificial Intelligence (pp. 457–471). LNCS/Springer. https://doi.org/10.1007/978-3-319-11558-0_32
-
Nested Regular Path Queries in Description Logics
/
Bienvenu, M., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Nested Regular Path Queries in Description Logics. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014) (pp. 218–227). AAAI Press. http://hdl.handle.net/20.500.12708/55963
Projects: FAIR (2013–2018) / SEE (2012–2016) / SemDat (2012–2016) - Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory / Strass, H., & Wallner, J. P. (2014). Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. In C. Baral, G. De Giacomo, & T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (pp. 101–110). AAAI Press. http://hdl.handle.net/20.500.12708/55119
-
Domain Expansion for ASP-Programs with External Sources
/
Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2014). Domain Expansion for ASP-Programs with External Sources (INFSYS RR-1843-14-02). http://hdl.handle.net/20.500.12708/38150
Project: ASP (2012–2015) - Semi-equilibrium models for paracoherent answer set programs / Amendola, G., Eiter, T., Leone, N., & Moura, J. (2014). Semi-equilibrium models for paracoherent answer set programs (INFSYS RR 1843-14-07). http://hdl.handle.net/20.500.12708/38383
- Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 / Baral, C., De Giacomo, G., & Eiter, T. (Eds.). (2014). Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press. http://hdl.handle.net/20.500.12708/23939
2013
-
HEX-Programs with Nested Program Calls
/
Eiter, T., Krennwallner, T., & Redl, C. (2013). HEX-Programs with Nested Program Calls. In H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, & A. Wolf (Eds.), Applications of Declarative Programming and Knowledge Management (pp. 269–278). Springer. https://doi.org/10.1007/978-3-642-41524-1_15
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) -
Finding Similar/Diverse Solutions in Answer Set Programming
/
EITER, T., ERDEM, E., ERDOGAN, H., & FINK, M. (2013). Finding Similar/Diverse Solutions in Answer Set Programming. Theory and Practice of Logic Programming, 13(3), 303–359. https://doi.org/10.1017/s1471068411000548
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Liberal Safety for Answer Set Programs with External Sources
/
Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2013). Liberal Safety for Answer Set Programs with External Sources. In M. desJardins & M. Littman (Eds.), Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13) (pp. 267–275). AAAI Press. http://hdl.handle.net/20.500.12708/54593
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs
/
Wang, Y., You, J.-H., Yuan, L. Y., Shen, Y.-D., & Eiter, T. (2013). Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. In D. Lembo & W. Faber (Eds.), Web Reasoning and Rule Systems (pp. 168–182). https://doi.org/10.1007/978-3-642-39666-3_13
Project: Hybride Wissensbasen (2008–2012) - Marco Cadoli's Work on Nonmonotonic Reasoning / Eiter, T., & Gottlob, G. (2013). Marco Cadoli’s Work on Nonmonotonic Reasoning. Intelligenza Artificiale, 7(1), 7–17. http://hdl.handle.net/20.500.12708/155845
- Model-Based Recasting in Answer-Set Programming / Eiter, T., Fink, M., Pührer, J., Tompits, H., & Woltran, S. (2013). Model-Based Recasting in Answer-Set Programming. Journal of Applied Non-Classical Logics, 23(1–2), 75–104. https://doi.org/10.1080/11663081.2013.799318
- Uniform Equivalence of Logic Programs under the Stable Model Semantics / Eiter, T., & Fink, M. (2013). Uniform Equivalence of Logic Programs under the Stable Model Semantics. 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Non-EU. http://hdl.handle.net/20.500.12708/85759
-
Inconsistency Management for Description Logic Programs and Beyond
/
Eiter, T., Fink, M., & Stepanova, D. (2013). Inconsistency Management for Description Logic Programs and Beyond. In Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings (pp. 1–3). http://hdl.handle.net/20.500.12708/54814
Projects: ASP (2012–2015) / Hybride Wissensbasen (2008–2012) -
Data Repair of Inconsistent DL-programs
/
Eiter, T., Fink, M., & Stepanova, D. (2013). Data Repair of Inconsistent DL-programs. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (pp. 869–876). AAAI Press. http://hdl.handle.net/20.500.12708/54813
Projects: ASP (2012–2015) / Hybride Wissensbasen (2008–2012) -
Grounding HEX-Programs with Expanding Domains
/
Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2013). Grounding HEX-Programs with Expanding Domains. In D. Pearce, S. Tasharrofi, E. Ternovska, & C. Vidal (Eds.), 2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV’13) (p. 13). http://hdl.handle.net/20.500.12708/54766
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) -
Lightweight Spatial Conjunctive Query Answering Using Keywords
/
Eiter, T., Krennwallner, T., & Schneider, P. (2013). Lightweight Spatial Conjunctive Query Answering Using Keywords. In P. Cimiano, O. Corcho, V. Presutti, L. Hollink, & S. Rudolph (Eds.), The Semantic Web: Semantics and Big Data (pp. 243–258). Springer. https://doi.org/10.1007/978-3-642-38288-8_17
Projects: ASP (2012–2015) / Hybride Wissensbasen (2008–2012) / MyITS (2011–2013) / Net2 (2010–2013) -
Tractability Guarantees for DL-Lite Query Answering
/
Bienvenu, M., Ortiz de la Fuente, M. M., Simkus, M., & Xiao, G. (2013). Tractability Guarantees for DL-Lite Query Answering. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics (pp. 41–52). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55142
Projects: FAIR (2013–2018) / Hybride Wissensbasen (2008–2012) / Net2 (2010–2013) / SEE (2012–2016) / SemDat (2012–2016) -
Evolving Graph Databases under Description Logic Constraints
/
Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2013). Evolving Graph Databases under Description Logic Constraints. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Informal Proceedings of the 26th International Workshop on Description Logics (pp. 120–131). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55141
Projects: Hybride Wissensbasen (2008–2012) / Net2 (2010–2013) / SemDat (2012–2016) -
Defeasibility in contextual reasoning with CKR
/
Bozzato, L., Eiter, T., & Serafini, L. (2013). Defeasibility in contextual reasoning with CKR. In Working Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013) (p. 13). http://hdl.handle.net/20.500.12708/54892
Project: ASP (2012–2015) -
Hex Semantics via Approximation Fixpoint Theory
/
Antić, C., Eiter, T., & Fink, M. (2013). Hex Semantics via Approximation Fixpoint Theory. In P. Cabalar & T. C. Son (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 102–115). https://doi.org/10.1007/978-3-642-40564-8_11
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) - Model-Based Recasting in Answer-Set Programming / Eiter, T., Fink, M., Puehrer, J., Tompits, H., & Woltran, S. (2013). Model-Based Recasting in Answer-Set Programming (DBAI-TR-2013-83). http://hdl.handle.net/20.500.12708/37698
- Informal Proceedings of the 26th International Workshop on Description Logics / Informal Proceedings of the 26th International Workshop on Description Logics. (2013). In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/23749
2012
- Datalog and Its Extensions for Semantic Web Databases / Gottlob, G., Orsi, G., Pieris, A., & Šimkus, M. (2012). Datalog and Its Extensions for Semantic Web Databases. In T. Eiter & T. Krennwallner (Eds.), Reasoning Web - Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings (pp. 54–77). Springer LNCS. https://doi.org/10.1007/978-3-642-33158-9_2
-
Reasoning and Query Answering in Description Logics
/
Ortiz, M., & Šimkus, M. (2012). Reasoning and Query Answering in Description Logics. In T. Eiter & T. Krennwallner (Eds.), Reasoning Web - Semantic Technologies for Advanced Query Answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings (pp. 1–53). Springer LNCS. https://doi.org/10.1007/978-3-642-33158-9_1
Projects: Hybride Wissensbasen (2008–2012) / SemDat (2012–2016) -
Uniform Evaluation of Nonmonotonic DL-Programs
/
Eiter, T., Krennwallner, T., Schneider, P., & Xiao, G. (2012). Uniform Evaluation of Nonmonotonic DL-Programs. In T. Lukasiewicz & A. Sali (Eds.), Foundations of Information and Knowledge Systems (pp. 1–22). Springer. https://doi.org/10.1007/978-3-642-28472-4_1
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Conflict-driven ASP solving with external sources
/
EITER, T., FINK, M., KRENNWALLNER, T., & REDL, C. (2012). Conflict-driven ASP solving with external sources. Theory and Practice of Logic Programming, 12(4–5), 659–679. https://doi.org/10.1017/s1471068412000233
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) - Detection of Windows in Facades Using Image Processing Algorithms / Miljanovic, M., Egly, U., & Eiter, T. (2012). Detection of Windows in Facades Using Image Processing Algorithms. Indian Journal of Computer Science and Engineering, 3(4), 539–547. http://hdl.handle.net/20.500.12708/164414
- Simulating Production Rules Using ACTHEX / Eiter, T., Feier, C., & Fink, M. (2012). Simulating Production Rules Using ACTHEX. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Correct Reasoning (pp. 211–228). Springer, LNCS 7265. https://doi.org/10.1007/978-3-642-30743-0_15
-
Conflict-driven ASP Solving with External Sources
/
Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2012). Conflict-driven ASP Solving with External Sources. arXiv. http://hdl.handle.net/20.500.12708/176427
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
The DReW System for Nonmonotonic DL-Programs
/
Xiao, G., Eiter, T., & Heymans, S. (2012). The DReW System for Nonmonotonic DL-Programs. In J. Li (Ed.), Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference. Sprlinger. http://hdl.handle.net/20.500.12708/54368
Project: Hybride Wissensbasen (2008–2012) -
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
/
Dao-Tran, M., Eiter, T., Fink, M., Weidinger, G., & Weinzierl, A. (2012). OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 480–483). Springer. https://doi.org/10.1007/978-3-642-33353-8_38
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Inconsistency Managment for Traffic Regulations
/
Beck, H., Eiter, T., & Krennwallner, T. (2012). Inconsistency Managment for Traffic Regulations. In B. Srivastava, F. Lecue, & A. Joshi (Eds.), The AAAI 2012 Workshop on Semantic Cities (p. 6). AAAI Press. http://hdl.handle.net/20.500.12708/54135
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / MyITS (2011–2013) / Net2 (2010–2013) -
Semantically Enriched Multi-Modal Routing
/
Eiter, T., Krennwallner, T., Prandtstetter, M., Rudloff, C., Schneider, P., & Straub, M. (2012). Semantically Enriched Multi-Modal Routing. In V. Blervaque & R. Pfliegl (Eds.), 19th ITS World Congress (ITS World 2012) (p. 10). ERTICO-ITS Europe. http://hdl.handle.net/20.500.12708/54222
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / MyITS (2011–2013) / Net2 (2010–2013) -
Worst-Case Optimal Reasoning with Forest Logic Programs
/
Feier, C. (2012). Worst-Case Optimal Reasoning with Forest Logic Programs. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), 13th International Conference on Principles of Knowledge Representation and Reasoning (pp. 608–612). AAAI Press. http://hdl.handle.net/20.500.12708/54421
Project: Hybride Wissensbasen (2008–2012) -
The Complexity of Explaining Negative Query Answers in DL-Lite
/
Calvanese, D., Ortiz de la Fuente, M. M., Simkus, M., & Stefanoni, G. (2012). The Complexity of Explaining Negative Query Answers in DL-Lite. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 (pp. 583–587). AAAI Press. http://hdl.handle.net/20.500.12708/54355
Projects: Hybride Wissensbasen (2008–2012) / Net2 (2010–2013) / SemDat (2012–2016) - Strong Equivalence of Qualitative Optimization Problems / Faber, W., Truszczynski, M., & Woltran, S. (2012). Strong Equivalence of Qualitative Optimization Problems. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (pp. 188–198). AAAI Press. http://hdl.handle.net/20.500.12708/54159
-
Conjunctive query answering in the description logic SH using knots
/
Eiter, T., Ortiz, M., & Šimkus, M. (2012). Conjunctive query answering in the description logic SH using knots. Journal of Computer and System Sciences, 78(1), 47–85. https://doi.org/10.1016/j.jcss.2011.02.012
Projects: Hybride Wissensbasen (2008–2012) / Net2 (2010–2013) / SemDat (2012–2016) -
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results
/
Beck, H., Eiter, T., & Krennwallner, T. (2012). Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 80–93). Springer. https://doi.org/10.1007/978-3-642-33353-8_7
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / MyITS (2011–2013) - Forgetting for Defeasible Logic / Antoniou, G., Eiter, T., & Wang, K. (2012). Forgetting for Defeasible Logic. In N. Bjørner & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 77–91). LNCS, Springer. https://doi.org/10.1007/978-3-642-28717-6_9
-
Linked Stream Data Processing Engines: Facts and Figures
/
Le-Phuoc, D., Dao-Tran, M., Pham, M.-D., Boncz, P., Eiter, T., & Fink, M. (2012). Linked Stream Data Processing Engines: Facts and Figures. In P. Cudre-Mauroux (Ed.), The Semantic Web – ISWC 2012 (pp. 300–312). Springer. https://doi.org/10.1007/978-3-642-35173-0_20
Project: HEX-Programme (2008–2012) -
Paraconsistent Hybrid Theories
/
Fink, M. (2012). Paraconsistent Hybrid Theories. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 (pp. 391–401). AAAI Press. http://hdl.handle.net/20.500.12708/54439
Projects: Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Semantic Independence in DL-programs
/
Eiter, T., Fink, M., & Stepanova, D. (2012). Semantic Independence in DL-programs. In M. Krötzsch & U. Straccia (Eds.), Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings (pp. 58–74). Springer. http://hdl.handle.net/20.500.12708/54366
Project: Hybride Wissensbasen (2008–2012) -
Towards Practical Query Answering for Horn SHIQ.
/
Eiter, T., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2012). Towards Practical Query Answering for Horn SHIQ. In Y. Kazakov, D. Lembo, & F. Wolter (Eds.), Proc. of the 2012 International Workshop on Description Logics (DL 2012) (pp. 158–168). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/54289
Projects: Hybride Wissensbasen (2008–2012) / SemDat (2012–2016) -
Eliminating Unfounded Set Checking for HEX-Programs
/
Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Eliminating Unfounded Set Checking for HEX-Programs. In M. Fink & Y. Lierler (Eds.), Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary (p. 15). CoRR - Computing Research Repository. http://hdl.handle.net/20.500.12708/54189
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Exploiting Unfounded Sets for HEX-Program Evaluation
/
Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Exploiting Unfounded Sets for HEX-Program Evaluation. In L. F. del Cerro, A. Herzig, & J. Mengin (Eds.), Logics in Artificial Intelligence (pp. 160–175). Springer. https://doi.org/10.1007/978-3-642-33353-8_13
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Fixed-Parameter Algorithms for Finding Minimal Models
/
Lackner, M., & Pfandler, A. (2012). Fixed-Parameter Algorithms for Finding Minimal Models. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/54179
Project: TTPC (2008–2012) -
Complexity-Sensitive Decision Procedures for Abstract Argumentation
/
Dvorak, W., Järvisalo, M., Wallner, J. P., & Woltran, S. (2012). Complexity-Sensitive Decision Procedures for Abstract Argumentation. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. of Principles of Knowledge Representation and Reasoning (pp. 54–64). AAAI Press. http://hdl.handle.net/20.500.12708/54155
Project: Argu (2009–2012) -
Belief Revision within Fragments of Propositional Logic
/
Creignou, N., Papini, O., Pichler, R., & Woltran, S. (2012). Belief Revision within Fragments of Propositional Logic. In G. Brewka, T. Eiter, & S. McIlraith (Eds.), Proceedings of 13#^{th} int. conf. on Principles of Knowledge Representation and Reasoning (p. 11). AAAI Press. http://hdl.handle.net/20.500.12708/54154
Project: TTPC (2008–2012) -
Query Rewriting for Horn-SHIQ Plus Rules
/
Eiter, T., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2012). Query Rewriting for Horn-SHIQ Plus Rules. In J. Hoffmann & B. Selman (Eds.), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (pp. 726–733). AAAI Press. http://hdl.handle.net/20.500.12708/54357
Projects: Hybride Wissensbasen (2008–2012) / Net2 (2010–2013) / SemDat (2012–2016) -
Improving HEX-Program Evaluation based on Unfounded Sets
/
Eiter, T., Fink, M., Krennwallner, T., Redl, C., & Schüller, P. (2012). Improving HEX-Program Evaluation based on Unfounded Sets (RR-1843-12-08). http://hdl.handle.net/20.500.12708/37793
Project: ASP (2012–2015) -
Finding Explanations of Inconsistency in Multi-Context Systems
/
Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2012). Finding Explanations of Inconsistency in Multi-Context Systems (INFSYS RR-1843-12-09). http://hdl.handle.net/20.500.12708/37697
Project: IncMan (2009–2012) -
Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language
/
Eiter, T., Fink, M., Ianni, G., & Schüller, P. (2012). Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language (INFSYS RR-1843-12-05). http://hdl.handle.net/20.500.12708/37696
Project: IncMan (2009–2012) -
Reasoning Web. Semantic Technologies for Advanced Query Answering
/
Reasoning Web. Semantic Technologies for Advanced Query Answering. (2012). In T. Eiter & T. Krennwallner (Eds.), Lecture Notes in Computer Science. Springer LNCS 7487. https://doi.org/10.1007/978-3-642-33158-9
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / MyITS (2011–2013) / Net2 (2010–2013) - Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 / Brewka, G., Eiter, T., & McIlraith, S. (Eds.). (2012). Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012. AAAI Press. http://hdl.handle.net/20.500.12708/23590
2011
-
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
/
Brewka, G., Eiter, T., & Fink, M. (2011). Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. In M. Balduccini & T. C. Son (Eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (pp. 233–258). Springer-Verlag, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_16
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) - Well-founded semantics for description logic programs in the Semantic Web / Eiter, T., Ianni, G., Lukasiewicz, T., & Schindlauer, R. (2011). Well-founded semantics for description logic programs in the Semantic Web. ACM Transactions on Computational Logic, 12(2), 1–41. https://doi.org/10.1145/1877714.1877717
-
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
/
Bruijn, J. D., Eiter, T., Polleres, A., & Tompits, H. (2011). Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination. ACM Transactions on Computational Logic, 12(3), 1–39. https://doi.org/10.1145/1929954.1929957
Project: Methods (2009–2013) -
Answer Set Programming at a Glance
/
Brewka, G., Eiter, T., & Truszczyński, M. (2011). Answer Set Programming at a Glance. Communications of the ACM, 54(12), 92–103. https://doi.org/10.1145/2043174.2043195
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
/
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning. 11th International Conference, LPNMR 2011 (pp. 93–106). Springer. https://doi.org/10.1007/978-3-642-20895-9_10
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Symmetry Breaking for Distributed Multi-Context Systems
/
Drescher, C., Eiter, T., Fink, M., Krennwallner, T., & Walsh, T. (2011). Symmetry Breaking for Distributed Multi-Context Systems. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning. 11th International Conference, LPNMR 2011 (pp. 26–39). Springer. https://doi.org/10.1007/978-3-642-20895-9_5
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) / Net2 (2010–2013) - Finding Similar/Diverse Solutions in Answer Set Programming / EITER, T., ERDEM, E., ERDOGAN, H., & FINK, M. (2011). Finding Similar/Diverse Solutions in Answer Set Programming. Theory and Practice of Logic Programming, 13(3), 303–359. https://doi.org/10.1017/s1471068411000548
- Finding Similar/Diverse Solutions in Answer Set Programming / Eiter, T., Erdem, E., Erdogan, H., & Fink, M. (2011). Finding Similar/Diverse Solutions in Answer Set Programming. arXiv. https://doi.org/10.48550/arXiv.1108.3260
-
Symmetry Breaking for Distributed Multi-Context Systems
/
Drescher, C., Eiter, T., Fink, M., Krennwallner, T., & Walsh, T. (2011). Symmetry Breaking for Distributed Multi-Context Systems. arXiv. https://doi.org/10.48550/arXiv.1104.3931
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Dynamic Distributed Nonmontonic Multi-Context Systems
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). Dynamic Distributed Nonmontonic Multi-Context Systems. In G. Brewka, V. Marek, & M. Truszczynski (Eds.), Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary. College Publications. http://hdl.handle.net/20.500.12708/27169
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Managed Multi-Context Systems
/
Brewka, G., Eiter, T., Fink, M., & Weinzierl, A. (2011). Managed Multi-Context Systems. In T. Walsh (Ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (pp. 786–791). AAAI Press/International Joint Conferences on Artificial Intelligence. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-138
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
/
Eiter, T., Fink, M., & Schüller, P. (2011). Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 107–119). Springer. https://doi.org/10.1007/978-3-642-20895-9_11
Project: IncMan (2009–2012) - Nonmonotonic Multi-Context Systems in Dynamic Environments / Eiter, T. (2011). Nonmonotonic Multi-Context Systems in Dynamic Environments. International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland, EU. http://hdl.handle.net/20.500.12708/85189
-
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
/
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/85168
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) - Paracoherent Answer Set Programming / Eiter, T. (2011). Paracoherent Answer Set Programming. Workshop on Logic and Computer Science, Vienna, Austria. http://hdl.handle.net/20.500.12708/85190
-
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
/
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., & Schüller, P. (2011). Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, Austria. http://hdl.handle.net/20.500.12708/85169
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) - Inline Evaluation of Hybrid Knowledge Bases - PhD Description / Xiao, G., & Eiter, T. (2011). Inline Evaluation of Hybrid Knowledge Bases - PhD Description. In S. Rudolph & C. Gutierrez (Eds.), Web Reasoning and Rule Systems - 5th International Conference (pp. 300–305). Springer LNCS. http://hdl.handle.net/20.500.12708/53739
-
Nested HEX-Programs
/
Eiter, T., Krennwallner, T., & Redl, C. (2011). Nested HEX-Programs. In H. Tompits (Ed.), 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) (p. 6). Computing Research Repository (CoRR), arXiv. http://hdl.handle.net/20.500.12708/53703
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Declarative Merging of and Reasoning about Decision Diagrams
/
Eiter, T., Krennwallner, T., & Redl, C. (2011). Declarative Merging of and Reasoning about Decision Diagrams. In A. Dal Palù, A. Dovier, & A. Formisano (Eds.), Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011) (p. 13). Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia. http://hdl.handle.net/20.500.12708/53667
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems
/
Eiter, T., Fink, M., Ianni, G., & Schüller, P. (2011). Towards a Policy Language for Managing Inconsistency in Multi-Context Systems. In A. Mileo & M. Fink (Eds.), Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications (p. 13). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53654
Project: IncMan (2009–2012) -
Model Streaming for Distributed Multi-Context Systems
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). Model Streaming for Distributed Multi-Context Systems. In A. Mileo & M. Fink (Eds.), 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications (p. 12). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/53632
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) / Net2 (2010–2013) -
First-Order Encodings of Modular Nonmonotonic Logic Programs
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). First-Order Encodings of Modular Nonmonotonic Logic Programs. In O. de Moor, G. Gottlob, T. Furche, & A. Sellers (Eds.), Datalog Reloaded, 1st International Workshop on Datalog 2010 (pp. 59–77). Springer. http://hdl.handle.net/20.500.12708/53303
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Declarative Belief Set Merging Using Merging Plans
/
Redl, C., Eiter, T., & Krennwallner, T. (2011). Declarative Belief Set Merging Using Merging Plans. In R. Rocha & J. Launchbury (Eds.), Practical Aspects of Declarative Languages (pp. 99–114). Springer. https://doi.org/10.1007/978-3-642-18378-2_10
Projects: ASP (2012–2015) / HEX-Programme (2008–2012) / IncMan (2009–2012) - D2.6 Consistency Maintenance. Final Report / Fink, M., El Ghali, A., Chniti, A., Korf, R., Schwichtenberg, A., Lévy, F., Puehrer, J., & Eiter, T. (2011). D2.6 Consistency Maintenance. Final Report (D2.6). http://hdl.handle.net/20.500.12708/37100
- D3.4 Converged and Optimized Combinations of Rules and Ontologies / Feier, C., Eiter, T., Kifer, M., Mosca, A., Rezk, M., Rosati, R., Ortiz de la Fuente, M. M., Simkus, M., Tran, T.-K., & Xiao, G. (2011). D3.4 Converged and Optimized Combinations of Rules and Ontologies (D3.4). http://hdl.handle.net/20.500.12708/37097
2010
-
FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols
/
Eiter, T., & Šimkus, M. (2010). FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols. ACM Transactions on Computational Logic, 11(2), 1–50. https://doi.org/10.1145/1656242.1656249
Project: Hybride Wissensbasen (2008–2012) -
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
/
Pührer, J., Heymans, S., & Eiter, T. (2010). Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. In A. Lora, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, & T. Tudorache (Eds.), The Semantic Web: Research and Applications : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 2, 2010, Proceedings, Part I (pp. 183–197). Springer. https://doi.org/10.1007/978-3-642-13486-9_13
Projects: Hybride Wissensbasen (2008–2012) / Methods (2009–2013) - Updating action domain descriptions / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2010). Updating action domain descriptions. Artificial Intelligence, 174(15), 1172–1221. https://doi.org/10.1016/j.artint.2010.07.004
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey / Eiter, T., Gottlob, G., & Schwentick, T. (2010). The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. In A. Blass, N. Dershowitz, & W. Reisig (Eds.), Fields of Logic and Computation (pp. 227–250). Springer LNCS. https://doi.org/10.1007/978-3-642-15025-8_13
-
Meta-Reasoning in Multi-Context Systems
/
Weinzierl, A., Fink, M., & Eiter, T. (2010). Meta-Reasoning in Multi-Context Systems. Junior Scientist Conference 2010, Wien, Austria. http://hdl.handle.net/20.500.12708/85031
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
/
Brewka, G., Eiter, T., & Fink, M. (2010). Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Symposium on Constructive Mathematics in Computer Science, Lexington, KY, USA, Non-EU. http://hdl.handle.net/20.500.12708/85034
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Distributed Nonmonotonic Multi-Context Systems
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Distributed Nonmonotonic Multi-Context Systems. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85013
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) - Finding Explanations of Inconsistency in Multi-Context Systems / Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2010). Finding Explanations of Inconsistency in Multi-Context Systems. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85011
- Combining Nonmonotonic Knowledge Bases with External Sources / Eiter, T. (2010). Combining Nonmonotonic Knowledge Bases with External Sources. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85012
- Paracoherent Answer Set Programming / Eiter, T., Fink, M., & Moura, J. (2010). Paracoherent Answer Set Programming. Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien, Austria. http://hdl.handle.net/20.500.12708/85008
-
Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems
/
Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. Junior Scientist Conference 2010, Wien, Austria. http://hdl.handle.net/20.500.12708/84986
Project: IncMan (2009–2012) -
Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems
/
Krennwallner, T. (2010). Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems. In T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, & F. Lévy (Eds.), 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010) (p. 41). Ontorule Project. http://hdl.handle.net/20.500.12708/53595
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities
/
Eiter, T., Mushthofa, M., & Faber, W. (2010). Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. In M. Fox & D. Poole (Eds.), Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010) (pp. 303–308). AAAI Press. http://hdl.handle.net/20.500.12708/53560
Projects: Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Paracoherent Answer Set Programming
/
Eiter, T., Fink, M., & Moura, J. (2010). Paracoherent Answer Set Programming. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 (pp. 486–496). AAAI Press. http://hdl.handle.net/20.500.12708/53419
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies
/
Heymans, S., Korf, R., Erdmann, M., Puehrer, J., & Eiter, T. (2010). F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. In H. Coelho, R. Studer, & M. Wooldridge (Eds.), 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. https://doi.org/10.1109/wi-iat.2010.44
Project: Hybride Wissensbasen (2008–2012) -
Meta-Reasoning in Multi-Context Systems
/
Weinzierl, A., Fink, M., & Eiter, T. (2010). Meta-Reasoning in Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 303–304). http://hdl.handle.net/20.500.12708/53394
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Preference-Based Inconsistency Assessment in Multi-Context Systems
/
Eiter, T., Fink, M., & Weinzierl, A. (2010). Preference-Based Inconsistency Assessment in Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 143–155). Springer. https://doi.org/10.1007/978-3-642-15675-5_14
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Query Answering in the Description Logic S
/
Bienvenu, M., Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2010). Query Answering in the Description Logic S. In V. Haarslev, D. Toman, & G. Weddell (Eds.), Proceedings of the 23rd International Workshop on Description Logics (DL-2010) (pp. 149–160). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53392
Project: Hybride Wissensbasen (2008–2012) -
DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs
/
Xiao, G., Heymans, S., & Eiter, T. (2010). DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs. In T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, & F. Lévy (Eds.), 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010) (p. 14). Ontorule Project. http://hdl.handle.net/20.500.12708/53386
Projects: Hybride Wissensbasen (2008–2012) / Net2 (2010–2013) -
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
/
Heymans, S., Eiter, T., & Xiao, G. (2010). Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. In H. Coelho, R. Studer, & M. Wooldridge (Eds.), 19th European Conference on Artificial Intelligence (ECAI 2010) (pp. 35–40). IOS Press. http://hdl.handle.net/20.500.12708/53384
Project: Hybride Wissensbasen (2008–2012) -
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
/
Bögl, M., Eiter, T., Fink, M., & Schüller, P. (2010). The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 356–359). Lecture Notes in Artificial Intelligence/Springer. https://doi.org/10.1007/978-3-642-15675-5_31
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
/
Bairakdar, S. E.-D., Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 352–355). Springer. https://doi.org/10.1007/978-3-642-15675-5_30
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) / Net2 (2010–2013) -
Decomposition of Distributed Nonmonotonic Multi-Context Systems
/
Bairakdar, S. E.-D., Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Decomposition of Distributed Nonmonotonic Multi-Context Systems. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 24–37). Springer. https://doi.org/10.1007/978-3-642-15675-5_5
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) / Net2 (2010–2013) -
Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems
/
Schüller, P., Eiter, T., & Fink, M. (2010). Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2010 (pp. 315–316). http://hdl.handle.net/20.500.12708/53119
Project: IncMan (2009–2012) -
Decomposition of Distributed Nonmonotonic Multi-Context Systems
/
Bairakdar, S. E.-D., Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Decomposition of Distributed Nonmonotonic Multi-Context Systems. In T. Meyer & E. Ternovska (Eds.), 13th International Workshop on Non-Monotonic Reasoning (p. 7). http://hdl.handle.net/20.500.12708/53105
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Finding Explanations of Inconsistency in Multi-Context Systems
/
Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2010). Finding Explanations of Inconsistency in Multi-Context Systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10) (pp. 329–339). AAAI Press. http://hdl.handle.net/20.500.12708/53103
Project: IncMan (2009–2012) -
Distributed Nonmonotonic Multi-Context Systems
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2010). Distributed Nonmonotonic Multi-Context Systems. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010) (pp. 60–70). AAAI Press. http://hdl.handle.net/20.500.12708/53058
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) - Query Answering in the Description Logic S / Bienvenu, M., Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2010). Query Answering in the Description Logic S (INFSYS RR 1843-10-01). http://hdl.handle.net/20.500.12708/36759
- D3.3 Complexity and Optimization of Combinations of Rules and Ontologies / Feier, C., Aït-Kaci, H., Angele, J., De Bruijn, J., Citeau, H., Eiter, T., El Ghali, A., Kerhet, V., Kiss, E., Korf, R., Krekeler, T., Krennwallner, T., Heymans, S., Mosca, A., Rezk, M., & Xiao, G. (2010). D3.3 Complexity and Optimization of Combinations of Rules and Ontologies (D3.3). http://hdl.handle.net/20.500.12708/37095
- Intelligent Deformation Interpretation / Vicovac, T., Reiterer, A., Egly, U., Eiter, T., & Rieke-Zapp, D. (2010). Intelligent Deformation Interpretation. In A. Reiterer, U. Egly, M. Heinert, & B. Riedel (Eds.), Application of Artificial Intelligence and Innovations in Engineering Geodesy (AIEG 2010) (pp. 10–20). http://hdl.handle.net/20.500.12708/42560
- Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System / Vicovac, T., Reiterer, A., Egly, U., Eiter, T., & Rieke-Zapp, D. (2010). Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System. In M. Bramer (Ed.), Artificial Intelligence in Theory and Practice III (pp. 215–224). Springer. https://doi.org/10.1007/978-3-642-15286-3_21
-
BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings
/
Eiter, T., El Ghali, A., Fernández, S., Heymans, S., Krennwallner, T., & Lévy, F. (Eds.). (2010). BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings. Ontorule Project. http://hdl.handle.net/20.500.12708/23196
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012)
2009
-
Answer Set Programming: A Primer
/
Eiter, T., Ianni, G., & Krennwallner, T. (2009). Answer Set Programming: A Primer. In S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M.-C. Rousset, & R. Schmidt (Eds.), Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures (pp. 40–110). Springer. https://doi.org/10.1007/978-3-642-03754-2_2
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Realizing Default Logic over Description Logic Knowledge Bases
/
Dao-Tran, M., Eiter, T., & Krennwallner, T. (2009). Realizing Default Logic over Description Logic Knowledge Bases. In C. Sossai & G. Chemello (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty (pp. 602–613). Springer. https://doi.org/10.1007/978-3-642-02906-6_52
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Argumentation Context Systems: A Framework for Abstract Group Argumentation
/
Brewka, G., & Eiter, T. (2009). Argumentation Context Systems: A Framework for Abstract Group Argumentation. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 44–57). LNCS, Springer. https://doi.org/10.1007/978-3-642-04238-6_7
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
From Data Integration towards Knowledge Mediation
/
Brewka, G., & Eiter, T. (2009). From Data Integration towards Knowledge Mediation. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 610–612). LNCS, Springer. https://doi.org/10.1007/978-3-642-04238-6_66
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) - Finding Similar or Diverse Solutions in Answer Set Programming / Eiter, T., Erdem, E., Erdoğan, H., & Fink, M. (2009). Finding Similar or Diverse Solutions in Answer Set Programming. In P. Hill & D. S. Warren (Eds.), Logic Programming (pp. 342–356). Springer. https://doi.org/10.1007/978-3-642-02846-5_29
-
Hybrid Reasoning with Rules and Ontologies
/
Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., & Maluszynski, J. (2009). Hybrid Reasoning with Rules and Ontologies. In F. Bry & J. Maluszynski (Eds.), Semantic Techniques for the Web (pp. 1–49). Springer. https://doi.org/10.1007/978-3-642-04581-3_1
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) - A 3D optical deformation measurement system supported by knowledge-based and learning techniques / Reiterer, A., Lehmann, M., Miljanovic, M., Ali, H., Paar, G., Egly, U., Eiter, T., & Kahmen, H. (2009). A 3D optical deformation measurement system supported by knowledge-based and learning techniques. Journal of Applied Geodesy, 3(1), 1–13. http://hdl.handle.net/20.500.12708/165576
-
Reasoning with knots
/
Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2009). Reasoning with knots. Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko, Non-EU. http://hdl.handle.net/20.500.12708/84974
Project: Hybride Wissensbasen (2008–2012) -
Reasoning Web. Semantic Technologies for Information Systems
/
Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., & Schmidt, R. (Eds.). (2009). Reasoning Web. Semantic Technologies for Information Systems. Springer LNCS. https://doi.org/10.1007/978-3-642-03754-2
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) - A Reasoner for Simple Conceptual Logic Programs / Heymans, S., Feier, C., & Eiter, T. (2009). A Reasoner for Simple Conceptual Logic Programs. In Web Reasoning and Rule Systems (pp. 55–70). Springer. https://doi.org/10.1007/978-3-642-05082-4_5
-
Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems
/
Eiter, T., Fink, M., Schüller, P., & Weinzierl, A. (2009). Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems. In J. P. Delgrande & A. Mileo (Eds.), Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009 (p. 4). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/52823
Project: IncMan (2009–2012) -
Bidirectional Answer Set Programs with Function Symbols
/
Eiter, T., & Simkus, M. (2009). Bidirectional Answer Set Programs with Function Symbols. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 765–771). AAAI Press. http://hdl.handle.net/20.500.12708/52741
Project: Hybride Wissensbasen (2008–2012) -
Regular Path Queries in Expressive Description Logics with Nominals
/
Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2009). Regular Path Queries in Expressive Description Logics with Nominals. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 714–720). AAAI Press. http://hdl.handle.net/20.500.12708/52740
Project: Hybride Wissensbasen (2008–2012) -
Query Answering in Description Logics with Transitive Roles
/
Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Query Answering in Description Logics with Transitive Roles. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 759–764). AAAI Press. http://hdl.handle.net/20.500.12708/52739
Project: Hybride Wissensbasen (2008–2012) -
Query Answering in Description Logics: The Knots Approach
/
Eiter, T., Lutz, C., Ortiz, M., & Šimkus, M. (2009). Query Answering in Description Logics: The Knots Approach. In H. Ono, M. Kanazawa, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information and Computation (pp. 26–36). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-02261-6_3
Project: Hybride Wissensbasen (2008–2012) -
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2009). Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 87–100). Springer. https://doi.org/10.1007/978-3-642-04238-6_10
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012) -
Combining Nonmonotonic Knowledge Bases with External Sources
/
Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., & Krennwallner, T. (2009). Combining Nonmonotonic Knowledge Bases with External Sources. In S. Ghilardi & R. Sebastiani (Eds.), Frontiers of Combining Systems (pp. 18–42). Springer. https://doi.org/10.1007/978-3-642-04222-5_2
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Modular Nonmonotonic Logic Programming Revisited
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2009). Modular Nonmonotonic Logic Programming Revisited. In P. Hill & D. S. Warren (Eds.), Logic Programming (pp. 145–159). Springer. https://doi.org/10.1007/978-3-642-02846-5_16
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Decomposition of Declarative Knowledge Bases with External Functions
/
Eiter, T., Fink, M., & Krennwallner, T. (2009). Decomposition of Declarative Knowledge Bases with External Functions. In C. Boutilier (Ed.), Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 752–758). AAAI Press. http://hdl.handle.net/20.500.12708/52683
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) / IncMan (2009–2012) -
Well-Founded Semantics for Description Logic Programs in the Semantic Web
/
Eiter, T., Ianni, G., Lukasiewicz, T., & Schindlauer, R. (2009). Well-Founded Semantics for Description Logic Programs in the Semantic Web (INFSYS RR 1843-09-01). http://hdl.handle.net/20.500.12708/36178
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) -
Query answering in description logics with transitive roles
/
Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Query answering in description logics with transitive roles (INFSYS RR-1843-09-02). http://hdl.handle.net/20.500.12708/36177
Project: Hybride Wissensbasen (2008–2012) -
Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata
/
Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2009). Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata (INFSYS RR-1843-09-04). http://hdl.handle.net/20.500.12708/36175
Project: Hybride Wissensbasen (2008–2012) -
Conjunctive Query Answering in the Description Logic SH using Knots
/
Eiter, T., Ortiz de la Fuente, M. M., & Simkus, M. (2009). Conjunctive Query Answering in the Description Logic SH using Knots (INFSYS RR-1843-09-03). http://hdl.handle.net/20.500.12708/36176
Project: Hybride Wissensbasen (2008–2012) - First Developement steps for an Automated Knowledge-Based Deformation Interpretation System / Vicovac, T., Reiterer, A., Egly, U., Eiter, T., & Rieke-Zapp, D. (2009). First Developement steps for an Automated Knowledge-Based Deformation Interpretation System. In A. Grün & H. Kahmen (Eds.), Optical 3-D Measurement Techniques IX (pp. 61–90). http://hdl.handle.net/20.500.12708/42385
2008
- Data complexity of query answering in expressive Description Logics via tableaux / Ortiz, M., Calvanese, D., & Eiter, T. (2008). Data complexity of query answering in expressive Description Logics via tableaux. Journal of Automated Reasoning, 41(1), 61–98. https://doi.org/10.1007/s10817-008-9102-9
- Repair Localization for Query Answering from Inconsistent Databases / Eiter, T., Fink, M., Greco, G., & Lembo, D. (2008). Repair Localization for Query Answering from Inconsistent Databases. ACM Transactions on Database Systems, 33(2), 10:01-10:51. http://hdl.handle.net/20.500.12708/169726
- A knowledge-based videotheodolite measurement system for object representation /monitoring / Reiterer, A., Egly, U., Eiter, T., & Kahmen, H. (2008). A knowledge-based videotheodolite measurement system for object representation /monitoring. Advances in Engineering Software, 39(10), 821–827. http://hdl.handle.net/20.500.12708/168962
- Combining Answer Set Programming with Description Logics for the Semantic Web / Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2008). Combining Answer Set Programming with Description Logics for the Semantic Web. Artificial Intelligence, 172(12–13), 1495–1539. https://doi.org/10.1016/j.artint.2008.04.002
-
Exploiting conjunctive queries in description logic programs
/
Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2008). Exploiting conjunctive queries in description logic programs. Annals of Mathematics and Artificial Intelligence, 53(1–4), 115–152. https://doi.org/10.1007/s10472-009-9111-3
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) - Maintenance goals of agents in a dynamic environment: Formulation and policy construction / Baral, C., Eiter, T., Bjäreland, M., & Nakamura, M. (2008). Maintenance goals of agents in a dynamic environment: Formulation and policy construction. Artificial Intelligence, 172(12–13), 1429–1469. https://doi.org/10.1016/j.artint.2008.03.005
- Computational Aspects of Monotone Dualization: A Brief Survey / Eiter, T., Makino, K., & Gottlob, G. (2008). Computational Aspects of Monotone Dualization: A Brief Survey. Discrete Applied Mathematics, 156(11), 2035–2049. https://doi.org/10.1016/j.dam.2007.04.017
- Semantic Forgetting in Answer Set Programming / Eiter, T., & Wang, K. (2008). Semantic Forgetting in Answer Set Programming. Artificial Intelligence, 172(14), 1644–1672. https://doi.org/10.1016/j.artint.2008.05.002
- Updating Action Domain Descriptions / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2008). Updating Action Domain Descriptions (INFSYS RR-1843-08-13). http://hdl.handle.net/20.500.12708/35067
- Reasoning Using Knots / Eiter, T., Ortiz, M., & Šimkus, M. (2008). Reasoning Using Knots. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 377–390). Lecture Notes in Computer Science, Springer. https://doi.org/10.1007/978-3-540-89439-1_27
- New Results for Horn Cores and Envelopes of Horn Disjunctions / Eiter, T., & Makino, K. (2008). New Results for Horn Cores and Envelopes of Horn Disjunctions. In M. Ghallab, C. Spyropoulos, N. Fakotakis, & N. Avouris (Eds.), 18th European Conference on Artificial Intelligence (pp. 60–64). IOS Press. http://hdl.handle.net/20.500.12708/52625
-
Rules and Ontologies for the Semantic Web
/
Eiter, T., Ianni, G., Krennwallner, T., & Polleres, A. (2008). Rules and Ontologies for the Semantic Web. In C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, & S. Schaffert (Eds.), Reasoning Web (pp. 1–53). Springer. https://doi.org/10.1007/978-3-540-85658-0_1
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) - Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination / De Bruijn, J., Eiter, T., Polleres, A. F., & Tompits, H. (2008). Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination (INFSYS RR-1843-08-12). http://hdl.handle.net/20.500.12708/35363
- SMS and ASP: Hype or TST? / Eiter, T. (2008). SMS and ASP: Hype or TST? In M. Garcia de la Banda & E. Pontelli (Eds.), Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings (pp. 77–82). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_13
- Rules and Rule Markup Languages for the Semantic Web / Eiter, T., Franconi, E., & Kifer, M. (2008). Rules and Rule Markup Languages for the Semantic Web. Fundamenta Informaticae, 82(3), i. http://hdl.handle.net/20.500.12708/22869
- Query Answering in the Description Logic Horn-SHIQ / Eiter, T., Gottlob, G., Ortiz, M., & Šimkus, M. (2008). Query Answering in the Description Logic Horn-SHIQ. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (pp. 166–179). Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-540-87803-2_15
- Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic / De Bruijn, J., Eiter, T., & Tompits, H. (2008). Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. In G. Brewka & J. Lang (Eds.), Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR’08) (pp. 485–495). AAAI Press. http://hdl.handle.net/20.500.12708/52557
-
Decomposing HEX-Programs: Preliminary Results
/
Eiter, T., Fink, M., & Krennwallner, T. (2008). Decomposing HEX-Programs: Preliminary Results. In H. Kaiser & R. Kirner (Eds.), Proceedings of the Junior Scientist Conference 2008 (pp. 29–30). http://hdl.handle.net/20.500.12708/52311
Project: HEX-Programme (2008–2012) -
Exploiting Conjunctive Queries in Description Logic Programs
/
Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2008). Exploiting Conjunctive Queries in Description Logic Programs. In M. Kaminski & M. Truszczynski (Eds.), Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM) (p. 9). http://hdl.handle.net/20.500.12708/52306
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) - Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses / Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2008). Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. In D. Fox & C. P. Gomes (Eds.), 23rd AAAI Conference on Artificial Intelligence (pp. 504–510). AAAI Press. http://hdl.handle.net/20.500.12708/52283
- Conjunctive Query Answering in SH using Knots / Ortiz de la Fuente, M. M., Simkus, M., & Eiter, T. (2008). Conjunctive Query Answering in SH using Knots. In F. Baader, C. Lutz, & B. Motik (Eds.), Proceedings of the 21st International Workshop on Description Logics (DL2008) (p. 11). CEUR Workshop proceedings. http://hdl.handle.net/20.500.12708/52270
- Error Classification in Action Descriptions: A Heuristic Approach. / Eiter, T., Fink, M., & Senko, J. (2008). Error Classification in Action Descriptions: A Heuristic Approach. In D. Fox & C. P. Gomes (Eds.), Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 (pp. 905–910). AAAI Press. http://hdl.handle.net/20.500.12708/52190
- Ein bildgestütztes 3D Deformationsmesssystem (An Image-Based 3D Deformation Measurement System) / Reiterer, A., Lehmann, M., Miljanovic, M., Ali, H., Paar, G., Egly, U., Eiter, T., & Kahmen, H. (2008). Ein bildgestütztes 3D Deformationsmesssystem (An Image-Based 3D Deformation Measurement System). In Journal of Alpine Geology, Pangeo 2008 (p. 87). Mitt. Ges. Geol. Bergbaustud. Österr. http://hdl.handle.net/20.500.12708/42265
- Deformation Monitoring using a new kind of Optical 3D Measurement System: Components and Perspectives / Reiterer, A., Lehmann, M., Miljanovic, M., Ali, H., Paar, G., Egly, U., Eiter, T., & Kahmen, H. (2008). Deformation Monitoring using a new kind of Optical 3D Measurement System: Components and Perspectives. In Measuring the Change (p. 10). http://hdl.handle.net/20.500.12708/42215
- Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles / Eiter, T., Lutz, C., Ortiz de la Fuente, M. M., & Simkus, M. (2008). Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles (INFSYS RR-1843-08-09). http://hdl.handle.net/20.500.12708/35361
- Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version) / Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2008). Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version) (INFSYS RR-1843-08-05). http://hdl.handle.net/20.500.12708/35357
- FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols / Simkus, M., & Eiter, T. (2008). FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols (INFSYS RR-1843-08-01). http://hdl.handle.net/20.500.12708/35353
-
Exploiting Conjunctive Queries in Description Logic Programs
/
Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2008). Exploiting Conjunctive Queries in Description Logic Programs (INFSYS RR-1843-08-02). http://hdl.handle.net/20.500.12708/35019
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012)
2007
- A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution / Eiter, T., Erdem, E., Faber, W., & Senko, J. (2007). A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution. Fundamenta Informaticae, 79(1–2), 25–69. http://hdl.handle.net/20.500.12708/169658
- On Computing all Abductive Explanations from a Propositional Horn Theory / Eiter, T., & Makino, K. (2007). On Computing all Abductive Explanations from a Propositional Horn Theory. Journal of the ACM, 54(5), 24. https://doi.org/10.1145/1284320.1284323
- Comparing Action Descriptions based on Semantic Preferences / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2007). Comparing Action Descriptions based on Semantic Preferences. Annals of Mathematics and Artificial Intelligence, 50(3–4), 273–304. http://hdl.handle.net/20.500.12708/169636
- A Knowledge-Based Approach for Selecting Information Sources / Eiter, T., Fink, M., & Tompits, H. (2007). A Knowledge-Based Approach for Selecting Information Sources. Theory and Practice of Logic Programming, 7(3), 249–300. http://hdl.handle.net/20.500.12708/169633
- Semantical Characterizations and Complexity of Equivalences in Answer Set Programming / Eiter, T., Fink, M., & Woltran, S. (2007). Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. ACM Transactions on Computational Logic, 8(3), 1–53. http://hdl.handle.net/20.500.12708/169634
- Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach / Calvanese, D., Eiter, T., & Ortiz de la Fuente, M. M. (2007). Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (pp. 391–396). AAAI Press. http://hdl.handle.net/20.500.12708/51871
- Complexity results for answer set programming with bounded predicate arities and implications / Eiter, T., Faber, W., Fink, M., & Woltran, S. (2007). Complexity results for answer set programming with bounded predicate arities and implications. Annals of Mathematics and Artificial Intelligence, 51(2–4), 123–165. https://doi.org/10.1007/s10472-008-9086-5
- Preface: Database Theory / Eiter, T., & Libkin, L. (2007). Preface: Database Theory. Theoretical Computer Science, 371(3), 147. https://doi.org/10.1016/j.tcs.2006.11.004
- FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols / Simkus, M., & Eiter, T. (2007). FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. In N. Dershowitz & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 514–530). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-75560-9_37
- Answer Set Programming for the Semantic Web (Tutorial) / Eiter, T. (2007). Answer Set Programming for the Semantic Web (Tutorial). In I. Niemelä & V. Dahl (Eds.), Proceedings 23th International Conference on Logic Programming (ICLP 2007) (pp. 23–26). Springer Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51943
-
Exploiting Conjunctive Queries in Description Logic Programs.
/
Eiter, T., Ianni, G., Krennwallner, T., & Schindlauer, R. (2007). Exploiting Conjunctive Queries in Description Logic Programs. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, & S. Tessaris (Eds.), Proceedings of the 2007 International Workshop on Description Logics (DL2007) (pp. 259–266). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51937
Projects: HEX-Programme (2008–2012) / Hybride Wissensbasen (2008–2012) - Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems / Brewka, G., & Eiter, T. (2007). Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (pp. 385–390). AAAI Press. http://hdl.handle.net/20.500.12708/51915
- Conditional Planning with External Functions / Van Nieuwenborgh, D., Eiter, T., & Vermeir, D. (2007). Conditional Planning with External Functions. In C. Baral, G. Brewka, & J. Schlipf (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 214–227). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-72200-7_19
- Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination / De Bruijn, J., Eiter, T., Polleres, A. F., & Tompits, H. (2007). Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) (pp. 304–309). AAAI Press/IJCAI. http://hdl.handle.net/20.500.12708/51912
- On Reversing Actions: Algorithms and Complexity / Eiter, T., Erdem, E., & Faber, W. (2007). On Reversing Actions: Algorithms and Complexity. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) (pp. 336–341). AAAI Press/IJCAI. http://hdl.handle.net/20.500.12708/51911
- Foundations of Rule-Based Query / Bry, F., Eisinger, N., Eiter, T., Furche, T., Gottlob, G., Ley, C., Linse, B., Pichler, R., & Wei, F. (2007). Foundations of Rule-Based Query. In Reasoning Web (pp. 1–153). Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51850
- Complexity Results for Checking Equivalence of Stratified Logic Programs / Eiter, T., Fink, M., Tompits, H., & Woltran, S. (2007). Complexity Results for Checking Equivalence of Stratified Logic Programs. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (pp. 330–335). AAAI Press. http://hdl.handle.net/20.500.12708/51779
- A New Methode for the Evaluation of Point Detectors / Reiterer, A., & Eiter, T. (2007). A New Methode for the Evaluation of Point Detectors. In A. Grün & H. Kahmen (Eds.), Optical 3-D Measurement Techniques VIII (pp. 242–247). http://hdl.handle.net/20.500.12708/42086
- Ein neues Verfahren zur Evaluierung von Punkterfassungsalgorithmen (IOPs) / Reiterer, A., & Eiter, T. (2007). Ein neues Verfahren zur Evaluierung von Punkterfassungsalgorithmen (IOPs). In T. Luhmann & C. Müller (Eds.), Photogrammetrie, Laserscanning, Optische 3D-Messtechniken (pp. 156–163). Wichmann Verlag. http://hdl.handle.net/20.500.12708/42056
- Semantic Forgetting in Answer Set Programming / Eiter, T., & Wang, K. (2007). Semantic Forgetting in Answer Set Programming (INFSYS RR 1843-07-08). http://hdl.handle.net/20.500.12708/33098
- Data Complexoty of Query Answering In Expressive Description Logics via Tableaux / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2007). Data Complexoty of Query Answering In Expressive Description Logics via Tableaux (INFSYS RR 1843-07-07). http://hdl.handle.net/20.500.12708/33097
- Combining Answer Set Programming with Description Logics for the Semantic Web / Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2007). Combining Answer Set Programming with Description Logics for the Semantic Web (INFSYS RR-1843-07-04). http://hdl.handle.net/20.500.12708/33092
- Repair Localization for Query Answering from Inconsistent Databases / Eiter, T., Fink, M., Greco, G., & Lembo, D. (2007). Repair Localization for Query Answering from Inconsistent Databases. http://hdl.handle.net/20.500.12708/33085
2006
- Causes and Explanations in the Structural-Model Approach: Tractable Cases / Eiter, T., & Lukasiewicz, T. (2006). Causes and Explanations in the Structural-Model Approach: Tractable Cases. Artificial Intelligence, 170(6–7), 542–580. http://hdl.handle.net/20.500.12708/173415
- Reasoning Under Minimal Upper Bounds in Propositional Logic / Eiter, T., & Gottlob, G. (2006). Reasoning Under Minimal Upper Bounds in Propositional Logic. Theoretical Computer Science, 369, 82–115. http://hdl.handle.net/20.500.12708/173436
- Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications / Eiter, T., & Polleres, A. F. (2006). Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications. Theory and Practice of Logic Programming, 6(1–2), 23–60. http://hdl.handle.net/20.500.12708/173435
- The DLV System for knowledge representation and reasoning / Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2006). The DLV System for knowledge representation and reasoning. ACM Transactions on Computational Logic, VOL. 7(3), 499–562. http://hdl.handle.net/20.500.12708/173399
- A Tool for Answering Queries on Action Descriptions / Eiter, T., Fink, M., & Senko, J. (2006). A Tool for Answering Queries on Action Descriptions. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006 (pp. 473–476). Springer. http://hdl.handle.net/20.500.12708/51563
- Reasoning with Rules and Ontologies / Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., & Tompits, H. (2006). Reasoning with Rules and Ontologies. In P. Barahona, F. Bry, E. Franconi, N. Henze, & U. Sattler (Eds.), Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures (pp. 93–127). Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/11837787_4
- An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs / Eiter, T., Traxler, P., & Woltran, S. (2006). An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006) (pp. 477–480). Springer. http://hdl.handle.net/20.500.12708/51589
- dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics. In A. F. Polleres, S. Decker, G. Gupta, & J. De Bruijn (Eds.), Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (pp. 33–39). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51581
- dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In M. Fink, H. Tompits, & S. Woltran (Eds.), Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP ’06) (pp. 206–210). http://hdl.handle.net/20.500.12708/51580
- Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning. In Y. Sure & J. Domingue (Eds.), The Semantic Web: Research and Applications. Proceedings 3rd European Conference on Semantic Web (ESWC 2006) (pp. 273–287). Lecture Notes in Computer Science. Springer. http://hdl.handle.net/20.500.12708/51579
- Forgetting and Conflict Resolving in Disjunctive Logic Programming / Eiter, T., & Wang, K. (2006). Forgetting and Conflict Resolving in Disjunctive Logic Programming. In Proceedings 21th National Conference on Artificial Intelligence (AAAI ’06), July 16-23, 2006, Boston (pp. 238–243). AAAI Press. http://hdl.handle.net/20.500.12708/51575
- Comparing Action Descriptions Based on Semantic Preferences / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. In M. Fisher, W. van der Hoek, B. Konev, & A. Lisitsa (Eds.), Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006 (pp. 124–137). Springer. http://hdl.handle.net/20.500.12708/51562
- On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules / De Bruijn, J., Eiter, T., Polleres, A. F., & Tompits, H. (2006). On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules. In J. Lang, F. Lin, & J. Wang (Eds.), Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 2006) (pp. 1–22). Lecture Notes in Computer Science, Springer. http://hdl.handle.net/20.500.12708/51660
- LPForget: A System of Forgetting in Answer Set Programming / Cheng, F.-L., Eiter, T., Robinson, N., Sattar, A., & Wang, K. (2006). LPForget: A System of Forgetting in Answer Set Programming. In AI 2006: Advances in Artificial Intelligence. Proceedings 19th Australian Joint Conference on Artificial Intelligence. Lecture Notes in Computer Science. (pp. 1101–1105). Lecture Notes in Computer Science. Springer. http://hdl.handle.net/20.500.12708/51659
- Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. In Proceedings 21th National Conference on Artificial Intelligence (AAAI ’06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5 (pp. 275–280). AAAI Press. http://hdl.handle.net/20.500.12708/51654
- A RuleML Syntax for Answer-Set Programming / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). A RuleML Syntax for Answer-Set Programming. In A. F. Polleres, S. Decker, G. Gupta, & J. De Bruijn (Eds.), Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006. (pp. 107–108). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51748
- Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web / Lukasiewicz, T. (2006). Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. In T. Eiter, E. Franconi, R. Hodgson, & S. Stephens (Eds.), Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006) (pp. 89–96). IEEE Computer Society. http://hdl.handle.net/20.500.12708/51717
- dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics. In T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, & Y.-M. Cheung (Eds.), Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06) (pp. 1073–1074). IEEE Computer Society Press. http://hdl.handle.net/20.500.12708/51711
- Forgetting and Conflict Resolving in Disjunctive Logic Programming / Eiter, T., & Wang, K. (2006). Forgetting and Conflict Resolving in Disjunctive Logic Programming. In J. Dix & A. Hunter (Eds.), Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track (pp. 85–92). Institut fuer Informatik, TU Clausthal, Germany. http://hdl.handle.net/20.500.12708/51658
- Data Complexity of Answering Unions of Conjunctive Queries in SHIQ / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. In B. Parsi, U. Sattler, & D. Toman (Eds.), Proceedings of the 2006 International Workshop on Description Logics (DL’06). Windermere, Lake District, UK, May 30-June 1, 2006 (pp. 62–73). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51655
- Towards Efficient Evaluation of HEX Programs / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2006). Towards Efficient Evaluation of HEX Programs. In J. Dix & A. Hunter (Eds.), Proceedings of the 11th Workshop on Nonmonotonic Reasoning (pp. 40–46). Clausthal University of Technology. http://hdl.handle.net/20.500.12708/51648
- Forgetting in Managing Rules and Ontologies / Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., & Wang, K. (2006). Forgetting in Managing Rules and Ontologies. In T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, & Y.-M. Cheung (Eds.), Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06) (pp. 411–419). IEEE Computer Society Press. http://hdl.handle.net/20.500.12708/51645
- Forgetting in Managing Rules and Ontologies / Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., & Wang, K. (2006). Forgetting in Managing Rules and Ontologies. In A. F. Polleres, S. Decker, G. Gupta, & J. De Bruijn (Eds.), Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) (pp. 1–16). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/51641
- Replacements in Non-Ground Answer-Set Programming / Eiter, T., Fink, M., Tompits, H., Traxler, P., & Woltran, S. (2006). Replacements in Non-Ground Answer-Set Programming. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5 (pp. 340–351). AAAI Press. http://hdl.handle.net/20.500.12708/51567
- Replacements in Non-Ground Answer-Set Programming / Eiter, T., Fink, M., Tompits, H., Traxler, P., & Woltran, S. (2006). Replacements in Non-Ground Answer-Set Programming. In M. Fink, H. Tompits, & S. Woltran (Eds.), Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24 (p. 9). TU Wien, Institut fuer Informationssysteme. http://hdl.handle.net/20.500.12708/51566
- Comparing Action Descriptions Based on Semantic Preferences / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. In U. Junker & W. Kiessling (Eds.), Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006 (pp. 15–22). http://hdl.handle.net/20.500.12708/51561
- Resolving Conflicts in Action Descriptions / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Resolving Conflicts in Action Descriptions. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.), Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI’2006, Riva del Garda, Italy, August 29 -- September 1, 2006 (pp. 367–371). IOS Press. http://hdl.handle.net/20.500.12708/51560
- Resolving Conflicts in Action Descriptions / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Resolving Conflicts in Action Descriptions. In J. Dix & A. Hunter (Eds.), Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track (pp. 353–360). TU Clausthal, Institut fuer Informatik. http://hdl.handle.net/20.500.12708/51557
- A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms / Reiterer, A., & Eiter, T. (2006). A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms. In IEEE-Signal Processing Society (Ed.), IEEE International Conference on Image Processing - ICIP 2006 (p. 4). IEEE. http://hdl.handle.net/20.500.12708/41997
- Data Complexity of Query Answering in Expressive Description Logics with Nominals / Ortiz de la Fuente, M. M., Calvanese, D., & Eiter, T. (2006). Data Complexity of Query Answering in Expressive Description Logics with Nominals (INFSYS RR-1843-06-03). http://hdl.handle.net/20.500.12708/33074
- Comparing Action Descriptions Based on Semantic Preferences / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2006). Comparing Action Descriptions Based on Semantic Preferences. http://hdl.handle.net/20.500.12708/33066
- Computational Aspects of Monotone Dualization: A Brief Survey / Eiter, T., Makino, K., & Gottlob, G. (2006). Computational Aspects of Monotone Dualization: A Brief Survey (INFSYS RR-1843-06-01). http://hdl.handle.net/20.500.12708/33067
- Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web / Eiter, T., Franconi, E., Hodgson, R., Kifer, M., & Stephens, S. (Eds.). (2006). Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web. IEEE Computer Society Press. http://hdl.handle.net/20.500.12708/22323
2005
- Reasoning about Evolving Nonmonotonic Knowledge Bases / Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2005). Reasoning about Evolving Nonmonotonic Knowledge Bases. ACM Transactions on Computational Logic, 6(2), 389–440. http://hdl.handle.net/20.500.12708/173370
- Complexity of Nested Circumscription and Nested Abnormality Theories / Cadoli, M., Eiter, T., & Gottlob, G. (2005). Complexity of Nested Circumscription and Nested Abnormality Theories. ACM Transactions on Computational Logic, 6(2), 232–272. http://hdl.handle.net/20.500.12708/173369
- Declarative Planning and Knowledge Representation in an Action Language / Eiter, T., Faber, W., Pfeifer, G., & Polleres, A. F. (2005). Declarative Planning and Knowledge Representation in an Action Language. In I. Vlahavas & D. Vrakas (Eds.), Intelligent Techniques for Planning (pp. 1–34). Idea Group Publishing. http://hdl.handle.net/20.500.12708/25376
- Answer Set Programming and Agents / Dix, J., & Eiter, T. (2005). Answer Set Programming and Agents. AgentLink News, 19, 14–17. http://hdl.handle.net/20.500.12708/173373
- Preface / Eiter, T., & Lembo, D. (2005). Preface. Journal of Applied Logic, 3(2), 251–252. http://hdl.handle.net/20.500.12708/173371
- Nonmonotonic Description Logic Programs: Implementation and Experiments / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). Nonmonotonic Description Logic Programs: Implementation and Experiments. In F. Baader & A. Voronkov (Eds.), Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (pp. 511–527). Springer. http://hdl.handle.net/20.500.12708/51275
- Data Integration: a Challenging ASP Application / Leone, N., Eiter, T., Faber, W., & Fink, M. (2005). Data Integration: a Challenging ASP Application. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 379–383). Springer. http://hdl.handle.net/20.500.12708/51271
- Data Integration and Answer Set Programming / Eiter, T. (2005). Data Integration and Answer Set Programming. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 13–25). Springer. http://hdl.handle.net/20.500.12708/51265
- Testing Strong Equivalence of Datalog Programs: Implementation and Examples / Eiter, T., Faber, W., & Traxler, P. (2005). Testing Strong Equivalence of Datalog Programs: Implementation and Examples. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 437–441). Springer. http://hdl.handle.net/20.500.12708/51264
- KMonitor -- A Tool for Monitoring Plan Execution in Action Theories / Eiter, T., Fink, M., & Senko, J. (2005). KMonitor -- A Tool for Monitoring Plan Execution in Action Theories. In C. Baral (Ed.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) (pp. 416–421). Springer. http://hdl.handle.net/20.500.12708/51262
- The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data / Leone, N., Eiter, T., Faber, W., & Fink, M. (2005). The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2005 Conference) (pp. 915–917). ACM. http://hdl.handle.net/20.500.12708/51257
- DLV-HEX: Dealing with Semantic Web under Answer-Set Programming / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). DLV-HEX: Dealing with Semantic Web under Answer-Set Programming. In R. Mizoguchi (Ed.), Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005) (p. PID 73). http://hdl.handle.net/20.500.12708/51348
- NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics. In R. Mizoguchi (Ed.), Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005) (p. PID 67). http://hdl.handle.net/20.500.12708/51347
- A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming / Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2005). A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 90–96). Professional Book Center. http://hdl.handle.net/20.500.12708/51276
- Updating Action Domain Descriptions / Eiter, T., Erdem, E., Fink, M., & Senko, J. (2005). Updating Action Domain Descriptions. In L. Pack Kaelbling & A. Saffiotti (Eds.), Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 418–423). Professional Book Center. http://hdl.handle.net/20.500.12708/51261
- Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains / Baral, C., Eiter, T., & Zhao, J. (2005). Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains. In M. Veloso & S. Kambhampati (Eds.), Proceedings 20th National Conference on Artificial Intelligence (AAAI ’05) (pp. 578–583). AAAI Press. http://hdl.handle.net/20.500.12708/51258
- On Solution Correspondences in Answer-Set Programming / Eiter, T., Tompits, H., & Woltran, S. (2005). On Solution Correspondences in Answer-Set Programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) (pp. 97–102). http://hdl.handle.net/20.500.12708/51105
- Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case / Eiter, T., Fink, M., Tompits, H., & Woltran, S. (2005). Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, (pp. 695–700). AAAI Press / The MIT Press 2005. http://hdl.handle.net/20.500.12708/51104
- Information Extraction for the Semantic Web / Baumgartner, R., Eiter, T., Gottlob, G., Herzog, M., & Koch, C. (2005). Information Extraction for the Semantic Web. In Reasoning Web (pp. 275–289). Springer. http://hdl.handle.net/20.500.12708/51025
- A Smart Videometric System / Reiterer, A., Kahmen, H., Eiter, T., Egly, U., & Paar, G. (2005). A Smart Videometric System. In A. Grün & H. Kahmen (Eds.), Proceedings Optical 3-D Measurement Techniques VII, Vol. II (pp. 370–375). http://hdl.handle.net/20.500.12708/41914
- A Knowledge-Based Decision System for an Image-Based Measurement / Reiterer, A., Egly, U., Eiter, T., & Kahmen, H. (2005). A Knowledge-Based Decision System for an Image-Based Measurement. In B. H. V. Topping (Ed.), Proceedings of the Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering (pp. 35–36). http://hdl.handle.net/20.500.12708/41891
- Semantical Characterizations and Complexity of Equivalences in Answer Set Programming / Eiter, T., Fink, M., & Woltran, S. (2005). Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. http://hdl.handle.net/20.500.12708/33032
- Data Cleaning Tasks for the INFOMIX Demo Scenario / Smetannikov, A., Soloviev, E., Eiter, T., Faber, W., & Fink, M. (2005). Data Cleaning Tasks for the INFOMIX Demo Scenario. http://hdl.handle.net/20.500.12708/33057
- Optimizing Wrapper Access and Query Plan Generation for the INFOMIX System / Smetannikov, A., Soloviev, E., Eiter, T., & Faber, W. (2005). Optimizing Wrapper Access and Query Plan Generation for the INFOMIX System. http://hdl.handle.net/20.500.12708/33056
- Test and Comparison Results / Eiter, T., Fink, M., & Tompits, H. (2005). Test and Comparison Results. http://hdl.handle.net/20.500.12708/33055
- Self-assessment Report for Years 3+4 / Eiter, T., Fink, M., & Tompits, H. (2005). Self-assessment Report for Years 3+4. http://hdl.handle.net/20.500.12708/33054
- Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases / Ortiz de la Fuente, M. M., Calvanese, D., Eiter, T., & Franconi, E. (2005). Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases. http://hdl.handle.net/20.500.12708/33043
- Reasoning Under Minimal Upper Bounds in Propositional Logic / Eiter, T., & Gottlob, G. (2005). Reasoning Under Minimal Upper Bounds in Propositional Logic. http://hdl.handle.net/20.500.12708/33042
- Optimization Methods for Logic-Based Query Answering from Inconsistent Data IntegrationSystems / Eiter, T., Fink, M., Greco, G., & Lembo, D. (2005). Optimization Methods for Logic-Based Query Answering from Inconsistent Data IntegrationSystems. http://hdl.handle.net/20.500.12708/33041
- Proceedings of the 10th International Conference on Database Theory (ICDT 2005) / Eiter, T., & Libkin, L. (Eds.). (2005). Proceedings of the 10th International Conference on Database Theory (ICDT 2005). Springer, LNCS 3363. http://hdl.handle.net/20.500.12708/22298
2004
- INFOMIX: Data Integration meets Nonmonotonic Deductive Databases / Eiter, T. (2004). INFOMIX: Data Integration meets Nonmonotonic Deductive Databases. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84331
- Nonmontonic Description Logic Programs / Eiter, T. (2004). Nonmontonic Description Logic Programs. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84329
- Towards Combining Answer Set Semantics with Description Logics for the Semantic Web / Eiter, T. (2004). Towards Combining Answer Set Semantics with Description Logics for the Semantic Web. Kolloquium, Leopold-Franzens Universität Innsbruck, Austria. http://hdl.handle.net/20.500.12708/84330
- INFOMIX: Progress and Demo Scenario / Eiter, T. (2004). INFOMIX: Progress and Demo Scenario. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84328
- INFOMIX: Data Integration meets Nonmonotonic Deductive Databases / Eiter, T. (2004). INFOMIX: Data Integration meets Nonmonotonic Deductive Databases. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84327
- INFOMIX: Data Integration meets Nonmonotonic Deductive Databases / Eiter, T. (2004). INFOMIX: Data Integration meets Nonmonotonic Deductive Databases. ARISE Workshop on Exchange and Integration of Data, Toronto, Canada, Austria. http://hdl.handle.net/20.500.12708/84326
- Towards Combining Answer Set Semantics with Description Logics for the Semantic Web / Eiter, T. (2004). Towards Combining Answer Set Semantics with Description Logics for the Semantic Web. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84324
- Strong and Uniform Equivalence of Logic Programs under Answer Set Semantics - the Datalog Case / Eiter, T. (2004). Strong and Uniform Equivalence of Logic Programs under Answer Set Semantics - the Datalog Case. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84325
- Planning by Answer Set Programming - The DLV/K System / Eiter, T. (2004). Planning by Answer Set Programming - The DLV/K System. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84323
- Abduction and the Dualization Problem / Eiter, T. (2004). Abduction and the Dualization Problem. International Symposium on Discrete Algorithms and Optimization, Kyoto University, Kyoto, Japan, Austria. http://hdl.handle.net/20.500.12708/84322
- The INFOMIX System for Information Integration / Eiter, T. (2004). The INFOMIX System for Information Integration. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84321
- Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy Construction / Baral, C., Eiter, T., Bjäreland, M., & Nakamura, M. (2004). Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy Construction. http://hdl.handle.net/20.500.12708/32949
- Self-assessment report for year 2 / Eiter, T., Faber, W., & Tompits, H. (2004). Self-assessment report for year 2. http://hdl.handle.net/20.500.12708/32952
- Methods and Techniques for Query Optimization / Eiter, T., Faber, W., Fink, M., Greco, G., Lembo, D., & Tompits, H. (2004). Methods and Techniques for Query Optimization. http://hdl.handle.net/20.500.12708/32951
- Undoing the Effects of Action Sequences / Eiter, T., Erdem, E., & Faber, W. (2004). Undoing the Effects of Action Sequences. http://hdl.handle.net/20.500.12708/32948
- Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework / Eiter, T., Erdem, E., & Faber, W. (2004). Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework. http://hdl.handle.net/20.500.12708/32947
- Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications / Eiter, T., & Polleres, A. F. (2004). Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications. http://hdl.handle.net/20.500.12708/32945
2003
- The INFOMIX Information Integration System / Eiter, T. (2003). The INFOMIX Information Integration System. CologNet Workshop on Data Integration, Wien, Austria. http://hdl.handle.net/20.500.12708/84260
- Planning by Answer Set Programming -- The DLV/K System / Eiter, T. (2003). Planning by Answer Set Programming -- The DLV/K System. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84259
- Planning by Answer Set Programming -- The DLV/K System / Eiter, T. (2003). Planning by Answer Set Programming -- The DLV/K System. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84258
- The IMPACT Systems for Heterogeneous Agents / Eiter, T. (2003). The IMPACT Systems for Heterogeneous Agents. Seminarvortrag, Regensburg, Germany, EU. http://hdl.handle.net/20.500.12708/84257
- Optimizing consistent query answering from data integration systems / Eiter, T. (2003). Optimizing consistent query answering from data integration systems. Dagstuhl Seminar Nr. 03241, Inconsistency Tolerance, Dagstuhl, Germany, Austria. http://hdl.handle.net/20.500.12708/84251
- Self-assessment report for year 1 / Eiter, T., Fink, M., & Tompits, H. (2003). Self-assessment report for year 1. http://hdl.handle.net/20.500.12708/32957
- Methods for data acquisition and transformation / Eiter, T., Faber, W., Fink, M., Woltran, S., & Zalewska, L. (2003). Methods for data acquisition and transformation. http://hdl.handle.net/20.500.12708/32954
- Monitoring Agents using Declarative Planning / Dix, J., Eiter, T., Fink, M., Polleres, A. F., & Zhang, Y. (2003). Monitoring Agents using Declarative Planning. http://hdl.handle.net/20.500.12708/32936
- Generating all Abductive Explanations for Queries on Propositional Horn Theories / Eiter, T., & Makino, K. (2003). Generating all Abductive Explanations for Queries on Propositional Horn Theories. http://hdl.handle.net/20.500.12708/32935
- Uniform Equivalence of Logic Programs under the Stable Model Semantics / Eiter, T., & Fink, M. (2003). Uniform Equivalence of Logic Programs under the Stable Model Semantics. http://hdl.handle.net/20.500.12708/32934
- Combining Answer Set Programming with Description Logics for the Semantic Web / Eiter, T., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2003). Combining Answer Set Programming with Description Logics for the Semantic Web. http://hdl.handle.net/20.500.12708/32933
- A Knowledge-Based Approach for Selecting Information Sources / Eiter, T., Fink, M., & Tompits, H. (2003). A Knowledge-Based Approach for Selecting Information Sources. http://hdl.handle.net/20.500.12708/32932
- Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming / Eiter, T., Faber, W., Pfeifer, G., Fink, M., & Woltran, S. (2003). Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming. http://hdl.handle.net/20.500.12708/32930
- On Eliminating Disjunctions in Stable Logic Programming / Eiter, T., Fink, M., Tompits, H., & Woltran, S. (2003). On Eliminating Disjunctions in Stable Logic Programming. http://hdl.handle.net/20.500.12708/32929
2002
- Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07) / Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2002). Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07). http://hdl.handle.net/20.500.12708/32795
- Reasoning about Evolving Nonmonotonic Knowledge Bases / Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2002). Reasoning about Evolving Nonmonotonic Knowledge Bases. http://hdl.handle.net/20.500.12708/32789
- Answer Set Programming for Information Agents / Eiter, T., & Fink, M. (2002). Answer Set Programming for Information Agents. Dagstuhl Seminar on Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481), Schloss Dagstuhl, Wadern, Germany, Austria. http://hdl.handle.net/20.500.12708/84084
- Self-assessment criteria / Eiter, T., & Fink, M. (2002). Self-assessment criteria. http://hdl.handle.net/20.500.12708/32953
- Review of Techniques and Systems for Acquisition and Tranformation of Heterogenous Data / Eiter, T., Faber, W., Fink, M., & Kurushin, D. (2002). Review of Techniques and Systems for Acquisition and Tranformation of Heterogenous Data. http://hdl.handle.net/20.500.12708/32799
- The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14) / Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., & Scarcello, F. (2002). The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14). http://hdl.handle.net/20.500.12708/32798
- Answer Set Planning under Action Costs (INFSYS RR-1843-02-13) / Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. F. (2002). Answer Set Planning under Action Costs (INFSYS RR-1843-02-13). http://hdl.handle.net/20.500.12708/32797
- Complexity of Nested Circumscription and Nested Abnormality Theories / Cadoli, M., Eiter, T., & Gottlob, G. (2002). Complexity of Nested Circumscription and Nested Abnormality Theories. http://hdl.handle.net/20.500.12708/32796
- New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05) / Eiter, T., Gottlob, G., & Makino, K. (2002). New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05). http://hdl.handle.net/20.500.12708/32794
- Causes and Explanations in the Structural-Model Approach: Tractable Cases (INFSYS RR-1843-02-03) / Eiter, T., & Lukasiewicz, T. (2002). Causes and Explanations in the Structural-Model Approach: Tractable Cases (INFSYS RR-1843-02-03). http://hdl.handle.net/20.500.12708/32793
- On Computing all Abductive Explanations (INFSYS RR-1843-02-04) / Eiter, T., & Makino, K. (2002). On Computing all Abductive Explanations (INFSYS RR-1843-02-04). http://hdl.handle.net/20.500.12708/32792
- Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming / Eiter, T., Faber, W., Leone, N., & Pfeifer, G. (2002). Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. http://hdl.handle.net/20.500.12708/32791
- A Knowledge-Based Approach to Information Site Selection / Eiter, T., Fink, M., & Tompits, H. (2002). A Knowledge-Based Approach to Information Site Selection. http://hdl.handle.net/20.500.12708/32788
2000
- On Updates of Logic Programs: Semantics and Properties / Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2000). On Updates of Logic Programs: Semantics and Properties. http://hdl.handle.net/20.500.12708/32955
- Using Methods of Declarative Logic Programming for Intelligent InformationAgents / Eiter, T., Fink, M., Sabbatini, G., & Tompits, H. (2000). Using Methods of Declarative Logic Programming for Intelligent InformationAgents. http://hdl.handle.net/20.500.12708/32956
Supervisions
2024
-
Streaming and Quantitative Extensions of Answer Set Programming
/
Kiesel, R. P. D. (2024). Streaming and Quantitative Extensions of Answer Set Programming [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119341
Download: PDF (7.8 MB)
2023
-
Reboots in lazy-grounding ASP-solving
/
Behofsics, P. (2023). Reboots in lazy-grounding ASP-solving [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.110660
Download: PDF (1.02 MB) -
GS-VQA: Zero-shot neural-symbolic visual question answering with vision-language models
/
Hadl, J. (2023). GS-VQA: Zero-shot neural-symbolic visual question answering with vision-language models [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109680
Download: PDF (1.71 MB)
2022
-
Representing normative reasoning in answer set programming using weak constraints
/
Hatschka, C. (2022). Representing normative reasoning in answer set programming using weak constraints [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.99420
Download: PDF (925 KB) -
Epistemic Logic Programs
/
Strasser, A. (2022). Epistemic Logic Programs [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.38206
Download: PDF (803 KB) -
Evaluation techniques for algebraic answer set counting over idempotent semirings
/
Ritter, M. C. (2022). Evaluation techniques for algebraic answer set counting over idempotent semirings [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.97203
Download: PDF (881 KB)
2021
-
Real time logics and reasoning answerset semantics for metric temporal logic
/
Funk, N. M. (2021). Real time logics and reasoning answerset semantics for metric temporal logic [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.78240
Download: PDF (633 KB)
2020
-
Integrated HEX-algorithms and applications in machine learning
/
Kaminski, T. (2020). Integrated HEX-algorithms and applications in machine learning [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.86520
Download: PDF (3.57 MB) -
Declarative adaptive interface monitoring
/
Brocanelli, S. (2020). Declarative adaptive interface monitoring [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.72168
Download: PDF (1.55 MB) -
Weight learning in LP MLN for collective classification
/
Oosterhuis, J. (2020). Weight learning in LP MLN for collective classification [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.66402
Download: PDF (1.55 MB)
2019
-
Abstraction for reasoning about agent behavior with answer set programming
/
Saribatur Yaman, Z. G. (2019). Abstraction for reasoning about agent behavior with answer set programming [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.73740
Download: PDF (2.19 MB)
2018
-
Expressive rule-based stream reasoning
/
Beck, H. (2018). Expressive rule-based stream reasoning [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.61225
Download: PDF (2.14 MB) -
Modular nonmonotonic logic programs
/
Krennwallner, T. (2018). Modular nonmonotonic logic programs [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.59982
Download: PDF (1.67 MB)
2017
-
Using Neuroevolution for physics-based character animation in two dimensions
/
Gegendorfer, A. (2017). Using Neuroevolution for physics-based character animation in two dimensions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.39566
Download: PDF (1.75 MB)
2016
-
Development of a build system for cross-platform open-source projects
/
Leutgöb, A. (2016). Development of a build system for cross-platform open-source projects [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.27843
Download: PDF (1.51 MB) -
Distributed computation of diagnoses for inconsistent multi-context systems
/
Salcher, F. (2016). Distributed computation of diagnoses for inconsistent multi-context systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.24879
Download: PDF (1.13 MB)
2015
-
Deformation monitoring using artificial intelligence techniques
/
Miljanović, M. (2015). Deformation monitoring using artificial intelligence techniques [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.24501
Download: PDF (12.2 MB) -
Inconsistencies in hybrid Knowledge Bases
/
Stepanova, D. (2015). Inconsistencies in hybrid Knowledge Bases [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.29175
Download: PDF (2.5 MB)
2014
-
Inconsistency management under preferences for multi-context systems and extensions
/
Weinzierl, A. (2014). Inconsistency management under preferences for multi-context systems and extensions [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.25013
Download: PDF (1.67 MB) -
Reasoning with forest logic programs
/
Feier, C. M. (2014). Reasoning with forest logic programs [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.25916
Download: PDF (1.2 MB) -
Answer set programming with external sources : algorithms and efficient evaluation
/
Redl, C. (2014). Answer set programming with external sources : algorithms and efficient evaluation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.24972
Download: PDF (1.51 MB) -
Combining ontologies and statistics for sensor data quality improvement
/
Solomakhina, N. (2014). Combining ontologies and statistics for sensor data quality improvement [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23187
Download: PDF (2.72 MB) -
Distributed nonmonotonic multi-context systems : algorithms and efficient evaluation
/
Dao-Tran, M. (2014). Distributed nonmonotonic multi-context systems : algorithms and efficient evaluation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.22501
Download: PDF (1.17 MB)
2013
-
Inline evaluation of hybrid knowledge bases
/
Xiao, G. (2013). Inline evaluation of hybrid knowledge bases [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.23403
Download: PDF (1.7 MB) -
Integrating constraint programming into answer set programming
/
Stashuk, O. (2013). Integrating constraint programming into answer set programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.22001
Download: PDF (513 KB) -
Planning in graph databases under description logic constraints
/
Ahmetaj, S. (2013). Planning in graph databases under description logic constraints [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21986
Download: PDF (721 KB) -
Inconsistency management for traffic regulations
/
Beck, H. (2013). Inconsistency management for traffic regulations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.22347
Download: PDF (1.05 MB) -
OMiGA - an open minded grounding on-the-fly answer set solver
/
Weidinger, G. (2013). OMiGA - an open minded grounding on-the-fly answer set solver [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.21783
Download: PDF (670 KB) - A logic programming approach to query completeness / Paramonov, S. (2013). A logic programming approach to query completeness [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160406
2012
-
Uniform approximation-theoretic semantics for logic programs with external atoms
/
Antic, C. (2012). Uniform approximation-theoretic semantics for logic programs with external atoms [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-60975
Download: PDF (669 KB) -
Web user interface adaptation by means of ontologies and rules
/
Zakraoui, J. (2012). Web user interface adaptation by means of ontologies and rules [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-57995
Download: PDF (1.45 MB) -
Inconsistency in multi-context systems : analysis and efficient evaluation
/
Schüller, P. (2012). Inconsistency in multi-context systems : analysis and efficient evaluation [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-61266
Download: PDF (1.39 MB) - Reasoning with RDF(S) and F-logic / Artem, K. (2012). Reasoning with RDF(S) and F-logic [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161089
2011
-
The top-down evaluation techniques for modular nonmonotonic logic programs
/
Wijaya, T. K. (2011). The top-down evaluation techniques for modular nonmonotonic logic programs [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44298
Download: PDF (529 KB) -
Logical formalization of Semantic Business Vocabulary and Rules
/
Solomakhin, D. (2011). Logical formalization of Semantic Business Vocabulary and Rules [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42910
Download: PDF (1.63 MB) -
Local optimization for multi-context systems with constraint pushing
/
Bairakdar, S. E.-D. (2011). Local optimization for multi-context systems with constraint pushing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42943
Download: PDF (1010 KB) - Explaining query answers in lightweight ontologies : the DL-Lite case / Stefanoni, G. (2011). Explaining query answers in lightweight ontologies : the DL-Lite case [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161189
- Query answering in the description logic Horn-SHIQ / Tran, T. K. (2011). Query answering in the description logic Horn-SHIQ [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161188
2010
-
Merging of biomedical decision diagrams
/
Redl, C. (2010). Merging of biomedical decision diagrams [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43913
Download: PDF (1.17 MB) -
Query answering in expressive description logics : techniques and complexity results
/
Ortiz, M. (2010). Query answering in expressive description logics : techniques and complexity results [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37221
Download: PDF (1.59 MB) -
Implementation and optimisation of queries in XSPARQL
/
Bischof, S. (2010). Implementation and optimisation of queries in XSPARQL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42454
Download: PDF (921 KB) -
Symmetry breaking for answer set programming
/
Drescher, C. (2010). Symmetry breaking for answer set programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-38347
Download: PDF (407 KB) -
Development of a Belief Merging framework for dlvhex
/
Redl, C. (2010). Development of a Belief Merging framework for dlvhex [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42213
Download: PDF (1.32 MB) - A practical automata-based technique for reasoning in expressive description logics / Carbotta, D. (2010). A practical automata-based technique for reasoning in expressive description logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160856
- Nonmonotonic logic programs with function symbols / Šimkus, M. (2010). Nonmonotonic logic programs with function symbols [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159844
- Evaluation of description logic programs using an RDBMS / Schneider, P. (2010). Evaluation of description logic programs using an RDBMS [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159924
2009
-
Towards RIF-OWL combination : an effective rasoning technique in integrating OWL and negation-free rules
/
Al-Manir, M. S. (2009). Towards RIF-OWL combination : an effective rasoning technique in integrating OWL and negation-free rules [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29275
Download: PDF (1.17 MB) -
Evaluation of answer set programs with bounded predicate arities
/
Mushthofa, M. (2009). Evaluation of answer set programs with bounded predicate arities [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-36890
Download: PDF (959 KB) -
Towards a characterization of semi-stable models in the logic of here-and-there
/
Moura, J. M. G. (2009). Towards a characterization of semi-stable models in the logic of here-and-there [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37491
Download: PDF (548 KB) - Theoretical foundations of an ontology-based visual tool for query formulation support / Guagliardo, P. (2009). Theoretical foundations of an ontology-based visual tool for query formulation support [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186561
- Hybrid reasoning with simple conceptual logic programs / Fraz, S. (2009). Hybrid reasoning with simple conceptual logic programs [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186560
- Collaborative process management in construction by means of rules and ontologies / Rybenko, K. (2009). Collaborative process management in construction by means of rules and ontologies [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186116
2008
-
Default reasoning on top of ontologies with dl-programs
/
Dao Tran, M. (2008). Default reasoning on top of ontologies with dl-programs [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-23056
Download: PDF (1.28 MB)
2007
-
Integration of conjunctive queries over description logics into HEX-programs
/
Krennwallner, T. (2007). Integration of conjunctive queries over description logics into HEX-programs [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-20598
Download: PDF (1.4 MB)
2006
-
Answer-set programming for the semantic web
/
Schindlauer, R. (2006). Answer-set programming for the semantic web [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18016
Download: PDF (1.58 MB) - Techniques for simplifying disjunctive datalog programs with negation / Traxler, P. (2006). Techniques for simplifying disjunctive datalog programs with negation [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185524
- Answering conjunctive queries in expressive description logics / Ortiz, M. (2006). Answering conjunctive queries in expressive description logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185108
- Deciding description logics around SHIQ by translation into decidable disjunctive logic programs / Šimkus, M. (2006). Deciding description logics around SHIQ by translation into decidable disjunctive logic programs [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185107
2003
- Advances in answer set planning / Polleres, A. F. (2003). Advances in answer set planning [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186782
2002
- Representation of SQL queries for declarative query analysis / Schindlauer, R. (2002). Representation of SQL queries for declarative query analysis [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181765
- Declarative logic-programming components for information agents / Fink, M. (2002). Declarative logic-programming components for information agents [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181711
- Enhancing efficiency and expressiveness in answer set programming systems / Faber, W. (2002). Enhancing efficiency and expressiveness in answer set programming systems [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181245
- Declarative logic programming for representing evolving nonmonotonic knowledge bases / Sabbatini, G. (2002). Declarative logic programming for representing evolving nonmonotonic knowledge bases [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180877
Awards
-
Alan Robinson 20 Years Test of Time Award
2023 / Association for Logic Programming / UK -
KR 2022 Test of Time Award
2022 / International Conference on Principles of Knowledge Representation and Reasoning / USA -
Full Member of the Austrian Academy of Sciences (ÖAW)
2022 / Mitgliedschaft / Austria -
ACM Fellow
2020 / ACM Fellowship / USA -
Best Paper of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
2019 / 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), September 16-19, 2019, Bolzano, Italy / Germany -
Best Systems Paper Award of the 35th International Conference on Logic Programming (ICLP 2019)
2019 / 35th International Conference on Logic Programming (ICLP 2019), September 22-25, 2019, Las Cruces, New Mexico, USA / UK -
Best Student Paper of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019)
2019 / 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Jun 3-7, 2019, Philadelphia, USA / USA -
Best Paper Award of the 34th International Conference on Logic Programming (ICLP 2018)
2018 / 34th International Conference on Logic Programming (ICLP 2018), July 14- 17, 2018, Oxford, UK / UK -
Best Paper Award of the 14th Extended Semantic Web Conference (ESWC 2017)
2017 / 14th Extended Semantic Web Conference (ESWC 2017), May 28 - June 1, 2017, Portoroz, Slovenia / Germany -
Member of Academia Europea (London)
2016 / Academia Europea (London) Membership / UK -
Prominent Paper Award 2013
2013 / Artificial Intelligence Journal / USA -
ICLP 2013 Test of the Time Award
2013 / 29th International Conference on Logic Programming (ICLP 2013), August 24-29, Istanbul, TurkeyURKEY / UK -
Vienna Content Award 2012 / Smart Cities (MyITS system prototype)
2012 / Vienna Content Award 2012 / Smart Cities / Austria -
Corresponding Member of the Austrian Academy of Sciences (ÖAW)
2007 / Mitgliedschaft / Austria -
EurAI Fellow
2006 / Fellowship of the European Association for Artificial Intelligence / Germany -
Distinguished Paper Award of the 18th National Conference on Artificial Intelligence (AAAI '02)
2002 / 18th National Conference on Artificial Intelligence (AAAI '02), July 28 -- August 1, 2002, Edmonton, Alberta (Canada) / Canada -
Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)
2001 / 17th International JointConference on Artificial Intelligence (IJCAI 2001), August 4-10, 2001, Seattle, U.S.A. / USA -
Invention of the Year 1999 Finalist (University of Maryland)
1999 / Office of Technology Liaison, University of Maryland / USA
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Thomas Eiter’s research profile in TISS .