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 ( reposiTUm)

FINK, M. (2011). A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. Theory and Practice of Logic Programming, 11(2–3), 171–202. https://doi.org/10.1017/s1471068410000542 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Weinzierl, A. (2012). Comparing Inconsistency Resolutions in Multi-Context Systems. In D. Lassiter & M. Slavkovik (Eds.), New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (pp. 158–174). Springer, LNCS. https://doi.org/10.1007/978-3-642-31467-4_11 ( reposiTUm)

Lierler, Y., & Schüller, P. (2012). Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Correct Reasoning (pp. 436–453). Springer LNCS. https://doi.org/10.1007/978-3-642-30743-0_30 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Fink, M. (2011). Recent Advancements in Nonmonotonic Multi-Context Systems. In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) (p. 2). TU Wien. http://hdl.handle.net/20.500.12708/53878 ( reposiTUm)

Lierler, Y., & Schüller, P. (2011). Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report. In S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, & A. Wolf (Eds.), 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011) (pp. 208–219). INFSYS Research Report. http://hdl.handle.net/20.500.12708/53743 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Schüller, P., & Weinzierl, A. (2011). Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems. In C. Salinesi & O. Pastor (Eds.), Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications (pp. 575–585). Springer. https://doi.org/10.1007/978-3-642-22056-2_59 ( reposiTUm)

Weinzierl, A. (2011). Advancing Multi-Context Systems by Inconsistency Management. In C. V. Damasio, A. Preece, & U. Straccia (Eds.), Proceedings of the Doctoral Consortium and Poster Session (p. 8). http://hdl.handle.net/20.500.12708/53825 ( reposiTUm)

Fink, M., Ghionna, L., & Weinzierl, A. (2011). Relational Information Exchange and Aggregation in Multi-Context Systems. In J. P. Delgrande & W. Faber (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 120–133). Springer. https://doi.org/10.1007/978-3-642-20895-9_12 ( reposiTUm)

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 ( reposiTUm)

Krennwallner, T. (2011). Promoting Modular Nonmonotonic Logic Programs. In J. Gallagher & M. Gelfond (Eds.), Technical Communications of the 27th International Conference on Logic Programming (ICLP’11) (p. 6). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICLP.2011.274 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Weinzierl, A. (2010). Comparing Inconsistency Resolutions in Multi-Context Systems. In M. Slavkovik (Ed.), Student Session of the European Summer School for Logic, Language, and Information (p. 8). http://hdl.handle.net/20.500.12708/53395 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Fink, M., & Pearce, D. (2010). A Logical Semantics for Description Logic Programs. In T. Janhunen & I. Niemelä (Eds.), Logics in Artificial Intelligence (pp. 156–168). Springer. https://doi.org/10.1007/978-3-642-15675-5_15 ( reposiTUm)

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 ( reposiTUm)

Basol, S., Erdem, O., Fink, M., & Ianni, G. (2010). HEX Programs with Action Atoms. In M. Hermenegildo & T. Schaub (Eds.), Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK (pp. 24–33). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICLP.2010.24 ( reposiTUm)

Fink, M., & Pearce, D. (2009). Some Equivalence Concepts for Hybrid Theories. In Proceedings of the 13th Conference of the Spanish Organization for Artificial Intelligence (CAEPIA 2009) (pp. 327–336). Spanish Association for Artifical Intelligence. http://hdl.handle.net/20.500.12708/52829 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011. (2011). In A. Mileo & M. Fink (Eds.), CEUR Workshop Proceedings. CEUR-WS.org. http://hdl.handle.net/20.500.12708/23383 ( reposiTUm)

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 ( reposiTUm)

Krennwallner, T. (2011). Promoting Modular Nonmonotonic Logic Programs. Net2 WP3 Mini-Workshop, Galway, Ireland, EU. http://hdl.handle.net/20.500.12708/85144 ( reposiTUm)

Fink, M. (2011). Nonmonotonic Multi-Context Systems: Recent Advancements. Sabanci University Istanbul, Istanbul, Turkey. http://hdl.handle.net/20.500.12708/85200 ( reposiTUm)

Fink, M. (2011). HEX Programs with Action Atoms. DIADEM 1.0 Workshop, Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/85201 ( reposiTUm)

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, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/85169 ( reposiTUm)

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, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/85168 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Schüller, P. (2010). Methods and Algorithms for Managing Inconsistency in Multi-Context Systems. Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Toronto, Canada, Non-EU. http://hdl.handle.net/20.500.12708/84983 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Fink, M. (2012). A Paraconsistent Semantics for Hybrid Theories (INFSYS RR-1843-12-02). http://hdl.handle.net/20.500.12708/37695 ( reposiTUm)

Fink, M. (2009). On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (INFSYS RR-1843-09-05). http://hdl.handle.net/20.500.12708/35887 ( reposiTUm)

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 ( reposiTUm)

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 ( reposiTUm)

Fink, M. (2010). A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. arXiv. https://doi.org/10.48550/arXiv.1006.3021 ( reposiTUm)