TU Home
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list for
Hans Tompits
as author or essentially involved person

169 records (1999 - 2016)

The complete list of publications of the Faculty of Informatics is available from the publication database beginning with the publication year 2002. The database may but need not necessarily contain publications dated earlier than 2002.


Books and Book Editorships


  1. H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.):
    "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected Papers";
    Springer, LNAI, 2013, ISBN: 978-3-642-41523-4.

    More information

  2. S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, A. Wolf (ed.):
    "Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)";
    TU Wien, Wien, 2011, 290 pages.

  3. M. Fink, H. Tompits, S. Woltran (ed.):
    "Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24";
    TU Wien, Vienna, Austria, 2006, 210 pages.


Publications in Scientific Journals


  1. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "A Model-Theoretic Approach to Belief Change in Answer Set Programming";
    ACM Transactions on Computational Logic, 14 (2013), 2.

    More information

  2. T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
    "Model-Based Recasting in Answer-Set Programming";
    Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104.

  3. M. Brain, E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz:
    "Event-Sequence Testing using Answer-Set Programming";
    International Journal On Advances in Software, 5 (2012), 3 & 4; 15 pages.

    More information

  4. J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
    "Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
    ACM Transactions on Computational Logic, 12 (2011), 3.

    More information

  5. T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran:
    "Modularity Aspects of Disjunctive Stable Models";
    Journal of Artificial Intelligence Research, 35 (2009), 813 - 857.

    More information

  6. D. Pearce, H. Tompits, S. Woltran:
    "Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity";
    Theory and Practice of Logic Programming, 9 (2009), 5; 565 - 616.

    More information

  7. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits:
    "Combining Answer Set Programming with Description Logics for the Semantic Web";
    Artificial Intelligence, 172 (2008), 12-13; 1495 - 1593.

  8. T. Eiter, M. Fink, H. Tompits:
    "A Knowledge-Based Approach for Selecting Information Sources";
    Theory and Practice of Logic Programming, 7 (2007), 3; 249 - 300.

  9. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Reasoning about Evolving Nonmonotonic Knowledge Bases";
    ACM Transactions on Computational Logic, 6 (2005), 2; 389 - 440.

  10. G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, R. Schindlauer, H. Tompits, S. Schaffert:
    "Reasoning Methods for Personalization on the Semantic Web";
    Annals of Mathematics, Computing & Teleinformatics, 2 (2004), 1 - 24.

    More information

  11. J. Delgrande, T. Schaub, H. Tompits, K. Wang:
    "A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning";
    Computational Intelligence, 20 (2004), 2; 308 - 334.

  12. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "On Computing Solutions to Belief Change Scenarios";
    Journal of Logic and Computation, 14 (2004), 6; 801 - 826.

  13. J. Delgrande, T. Schaub, H. Tompits:
    "A Framework for Compiling Preferences in Logic Programs";
    Theory and Practice of Logic Programming, 3 (2003), 2; 129 - 187.

  14. U. Egly, H. Tompits:
    "On Different Proof-Search Strategies for Orthologic";
    Studia Logica, 73 (2003), 1; 131 - 152.

  15. T. Eiter, M. Fink, R. Schindlauer, H. Tompits:
    "Answer Set Programming for Intelligent Web Services";
    ÖGAI Journal, 22 (2003), 2; 17 - 22.

  16. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "On Properties of Update Sequences Based on Causal Rejection";
    Theory and Practice of Logic Programming, 2 (2002), 6; 711 - 767.

    More information

  17. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Using Methods of Declarative Logic Programming for Intelligent Information Agents";
    Theory and Practice of Logic Programming, 2 (2002), 6; 645 - 710.

    More information


Contributions to Books


  1. J. Oetsch, J. Puehrer, H. Tompits:
    "Stepwise Debugging of Description-Logic Programs";
    in: "Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz", Springer, LNCS 7265, 2012, (invited), 492 - 508.

    More information

  2. P. Besnard, T. Schaub, H. Tompits, S. Woltran:
    "Representing Paraconsistent Reasoning via Quantified Propositional Logic";
    in: "Inconsistency Tolerance", L. Bertossi et al. (ed.); Springer, LNCS 3300, 2005, ISBN: 3-540-24260-0, 84 - 118.

  3. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    " Declarative Update Policies for Nonmonotonic Knowledge Bases";
    in: "Logics for Emerging Applications of Databases", J. Chomicki et al. (ed.); Springer, 2003, (invited), ISBN: 3-540-00705-9, 85 - 129.


Contributions to Proceedings


  1. B. Kiesl, M. Seidl, H. Tompits, A. Biere:
    "Super-Blocked Clauses";
    in: "Automated Reasoning", N. Olivetti, A. Tiwari (ed.); Springer International Publishing Switzerland, 2016, ISBN: 978-3-319-40228-4, 45 - 61.

    More information

  2. G. Berger, H. Tompits:
    "On Axiomatic Rejection for the Description Logic";
    in: "Declarative Programming and Knowledge Management", M. Hanus, R. Rocha (ed.); Springer LNCS, 2014, ISBN: 978-3-319-08909-6, 65 - 82.

  3. P. Busoniu, J. Oetsch, J. Puehrer, P. Skocovsky, H. Tompits:
    "SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging Support";
    in: "Theory and Practice of Logic Programming, Volume 13, Special Issue 4-5 (29th International Conference on Logic Programming)", Cambridge University Press, 2013, 657 - 673.

    More information

  4. C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits:
    "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
    in: "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011 Revised Selected Papers", Springer, LNAI, 2013, 325 - 344.

    More information

  5. J. Oetsch, J. Puehrer, H. Tompits:
    "The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
    in: "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers", Springer, LNAI, 2013, 305 - 324.

    More information

  6. M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits:
    "Guided Merging of Sequence Diagrams";
    in: "Software Language Engineering", Lecture Notes in Computer Science Volume 7745, Springer, 2013, ISSN: 0302-9743, 164 - 183.

    More information

  7. P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
    "Towards Semantics-Aware Merge Support in Optimistic Model Versioning";
    in: "Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers", Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256.

    More information

  8. M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
    "spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
    in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 247 - 252.

    More information

  9. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 241 - 246.

  10. M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
    "spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
    in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Bayerische Julius-Maximilians-Universität Würzburg,, 2007, 4 pages.

  11. J. Delgrande, T. Schaub, H. Tompits:
    "A Preference-Based Framework for Updating Logic Programs: Preliminary Report";
    in: "Informal Proceedings Workshop on Preferences and their Applications in Logic Programming (PREFS 2006)", E. Pontelli, T. Son (ed.); FLOC-Workshop on Preferences and their Applications in Logic Programming (PREFS 2006), 2006, Paper ID 3, 15 pages.

  12. J. Delgrande, T. Schaub, H. Tompits:
    "Domain-Specific Preferences for Causal Reasoning and Planning";
    in: "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling", S. Zilberstein, J. Koehler, S. Koenig (ed.); AAAI Press, Menlo Park, CA, USA, 2004, ISBN: 1-57735-200-9, 63 - 72.

  13. V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
    "nlp: A Compiler for Nested Logic Programming";
    in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, 361 - 364.


Talks and Poster Presentations (with Proceedings-Entry)


  1. B. Kiesl, P. Schüller, H. Tompits:
    "On Structural Analysis of Non-Ground Answer-Set Programs";
    Talk: International Conference on Logic Programming (ICLP), Cork, Irland; 08-31-2015 - 09-04-2015; in: "Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)", M. De Vos, T. Eiter, Y. Lierler, F. Toni (ed.); 1433 (2015), ISSN: 1613-0073; 14 pages.

    More information

  2. G. Berger, H. Tompits:
    "On Axiomatic Rejection for the Description Logic ALC";
    Talk: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Deutschland; 09-11-2013 - 09-13-2013; in: "Kiel Declarative Programming Days 2013", M. Hanus, R. Rocha (ed.); (2013), 78 - 92.

  3. M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits:
    "Guided Merging of Sequence Diagrams";
    Talk: 5th International Conference on Software Language Engineering, Dresden; 09-26-2012 - 09-28-2012; in: "SLE 2012 - Pre-proceedings", K. Czarnecki, G. Hedin (ed.); Dresden (2012), 163 - 182.

    More information

  4. J. Oetsch, J. Puehrer, H. Tompits:
    "Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming";
    Talk: 26th Workshop on Logic Programming (WLP 2012), Bonn, Germany; 09-24-2012 - 09-25-2012; in: "26th Workshop on Logic Programming (WLP 2012)", (2012), 129 - 137.

    More information

  5. M. De Vos, D. Kisa, J. Oetsch, J. Puehrer, H. Tompits:
    "Annotating Answer-Set Programs in LANA";
    Talk: 28th International Conference on Logic Programming, Budapest, Hungary; 08-04-2012 - 08-08-2012; in: "28th International Conference on Logic Programming", Cambridge University Press, Volume 12 / Special Issue 4-­5 / Cambridge (2012), 619 - 637.

    More information

  6. J. Oetsch, J. Puehrer, H. Tompits:
    "An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions";
    Talk: 28th International Conference on Logic Programming, Budapest, Hungary; 08-04-2012 - 08-08-2012; in: "Technical Communications of the 28th International Conference on Logic Programming", LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 17 (2012), 12 pages.

    More information

  7. J. Oetsch, M. Prischink, J. Puehrer, M. Schwengerer, H. Tompits:
    "On the Small-Scope Hypothesis for Testing Answer-Set Programs";
    Talk: 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy; 06-10-2012 - 06-14-2012; in: "13th International Conference on Principles of Knowledge Representation and Reasoning", AAAI Press, (2012), ISBN: 978-1-57735-561-8; 43 - 53.

    More information

  8. M. De Vos, D. Kisa, J. Oetsch, J. Puehrer, H. Tompits:
    "LANA: A Language for Annotating Answer-Set Programs";
    Talk: 14th International Workshop on Non-Monotonic Reasoning, Rome, Italy; 06-08-2012 - 06-10-2012; in: "14th International Workshop on Non-Monotonic Reasoning", (2012), 9 pages.

    More information

  9. P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
    "Towards Scenario-Based Testing of UML Diagrams";
    Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155.

    More information

  10. E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz:
    "Answer-Set Programming as a new Approach to Event-Sequence Testing";
    Talk: Third International Conference on Advances in System Testing and Validation Lifecycle (VALID'11), Barcelona, Spain; 10-23-2011 - 10-29-2011; in: "Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle", Xpert Publishing Services, (2011), ISBN: 978-1-61208-168-7; 25 - 34.

    More information

  11. P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
    "Towards Semantics-Aware Merge Support in Optimistic Model Versioning";
    Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 10-18-2011; in: "Proceedings of the Models and Evolution Workshop @ MoDELS'11", (2011), 10 pages.

    More information

  12. C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits:
    "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
    Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report, 1843-11-06 (2011), 152 - 164.

    More information

  13. J. Oetsch, J. Puehrer, H. Tompits:
    "The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
    Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report, 1843-11-06 (2011), 141 - 151.

    More information

  14. J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
    "VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques";
    Talk: MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?, Birmingham, UK; 06-06-2011; in: "Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?", (2011), 16 pages.

    More information

  15. T. Janhunen, I. Niemelä, J. Oetsch, J. Puehrer, H. Tompits:
    "Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 242 - 247.

    More information

  16. J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
    "VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 382 - 387.

    More information

  17. J. Oetsch, J. Puehrer, H. Tompits:
    "Stepping through an Answer-Set Program";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 134 - 147.

    More information

  18. J. Oetsch, H. Tompits:
    "Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 254 - 259.

    More information

  19. J. Oetsch, J. Puehrer, H. Tompits:
    "Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs";
    Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 09-14-2010 - 09-16-2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Cairo, Egypt (2010), 77 - 87.

    More information

  20. J. Oetsch, H. Tompits:
    "Gentzen-type Refutation Systems for Three-Valued Logics";
    Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 09-14-2010 - 09-16-2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Kario, Ägypten (2010), 88 - 98.

    More information

  21. I. Niemelä, T. Janhunen, J. Oetsch, J. Puehrer, H. Tompits:
    "On Testing Answer-Set Programs";
    Talk: 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 08-16-2010 - 08-20-2010; in: "19th European Conference on Artificial Intelligence (ECAI 2010)", H. Coelho, R. Studer, M. Wooldridge (ed.); IOS Press, Volume 215 of Frontiers in Artificial Intelligence and Applications (2010) (2010), ISBN: 978-1-60750-605-8; 951 - 956.

    More information

  22. J. Oetsch, J. Puehrer, M. Schwengerer, H. Tompits:
    "The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 759 - 775.

    More information

  23. J. Oetsch, J. Puehrer, H. Tompits:
    "Methods and Methodologies for Developing Answer-Set Programs - Project Description";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; 154 - 161.

    More information

  24. J. Oetsch, J. Puehrer, H. Tompits:
    "Catching the Ouroboros: On debugging non-ground answer-set programs";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-14-2009 - 07-17-2009; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 513 - 529.

    More information

  25. J. Oetsch, M. Schwengerer, H. Tompits:
    "Kato: A Plagiarism-Detection Tool for Answer-Set Programs";
    Talk: 23rd Workshop on (Constraint) Logic Programming, Potsdam, Germany; 09-15-2009 - 09-16-2009; in: "23rd Workshop on (Constraint) Logic Programming", A. Wolf, U. Geske (ed.); Universitätsverlag Potsdam, (2009), ISBN: 978-3-86956-026-7; 75 - 79.

    More information

  26. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
    Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395.

    More information

  27. J. Puehrer, H. Tompits:
    "Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection";
    Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 264 - 276.

    More information

  28. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "Merging Logic Programs under Answer Set Semantics";
    Talk: International Conference on Logic Programming (ICLP), Pasadena, Californien; 07-14-2009 - 07-17-2009; in: "Logic Programming", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 3-642-02845-4; 160 - 174.

    More information

  29. J. Oetsch, H. Tompits:
    "Program Correspondence under the Answer-Set Semantics: The Non-Ground Case";
    Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 591 - 605.

    More information

  30. J. Puehrer, H. Tompits, S. Woltran:
    "Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence";
    Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 561 - 575.

    More information

  31. J. Oetsch, H. Tompits:
    "A Generalised Program-Correspondence Framework: Preliminary Report";
    Talk: Workshop on Logic Programming (WLP), Dresden, Germany; 09-30-2008 - 10-01-2008; in: "22nd Workshop on (Constraint) Logic Programming", S. Schwarz (ed.); Technical Report, University Halle-Wittenberg, Institute of Computer Science, Martin-Luther-University Halle-Wittenberg D-06099 Halle, Germany (2008), 72 - 82.

    More information

  32. J. De Bruijn, T. Eiter, H. Tompits:
    "Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 485 - 495.

    More information

  33. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "Belief Revision of Logic Programs under Answer Set Semantics";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 411 - 421.

    More information

  34. W. Faber, H. Tompits, S. Woltran:
    "Notions of Strong Equivalence for Logic Programs with Ordered Disjunction";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 433 - 443.

    More information

  35. M. Gebser, J. Puehrer, T. Schaub, H. Tompits:
    "A Meta-Programming Technique for Debugging Answer-Set Programs";
    Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 07-13-2008 - 07-17-2008; in: "AAAI-08/IAAI-08 Proceedings", D. Fox, C.P. Gomes (ed.); (2008), ISBN: 978-1-57735-368-3; 448 - 453.

    More information

  36. M. Gebser, T. Schaub, H. Tompits, S. Woltran:
    "Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets";
    Talk: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 02-11-2008 - 02-15-2008; in: "Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)", S. Hartmann, G. Kern-Isberner (ed.); Springer LNCS, 4932 (2008), ISBN: 978-3-540-77683-3; 24 - 41.

    More information

  37. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
    accepted as talk for: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 11-04-2007 - 11-09-2007; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007).

  38. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 10-04-2007 - 10-06-2007; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Seite 254-257 (2007), 4 pages.

  39. W. Faber, H. Tompits, S. Woltran:
    "Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions";
    Talk: VLDB 2007, Wien; 09-23-2007 - 09-24-2007; in: "3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007)", (2007), 8 pages.

  40. J. Oetsch, H. Tompits, S. Woltran:
    "Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Talk: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 05/AAAI07-072, 7 pages.

    More information

  41. J. Delgrande, T. Schaub, H. Tompits:
    "A Preference-Based Framework for Updating Logic Programs";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-15-2007 - 05-17-2007; in: "Proceeding of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer Lecture Notes in Computer Science, 4483 (2007), ISBN: 978-3-540-72199-4; 71 - 83.

  42. M. Brain, M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
    "Debugging ASP Programs by Means of ASP";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceeding of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)", LNCS/Springer, 4483 (2007), ISBN: 978-3-540-72199-4; 31 - 43.

    More information

  43. M. Brain, M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
    "That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System Description";
    Talk: First International Workshop Software Engineering for Answer Set Programming (SEA 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceeding of the LPNMR' 07 Workshop on Software Engineering for Answer Set Programming", (2007), 71 - 85.

  44. M. Fink, R. Pichler, H. Tompits, S. Woltran:
    "Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135.

  45. M. Gebser, T. Schaub, H. Tompits, S. Woltran:
    "Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report";
    Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 37 - 48.

  46. T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran:
    "Modularity Aspects of Disjunctive Stable Models";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceeding of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)", LNCS/Springer, 4483 (2007), ISBN: 978-3-540-72199-4; 175 - 187.

    More information

  47. J. Oetsch, H. Tompits, S. Woltran:
    "Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", D. Pearce, A. Polleres, S. Woltran, A. Valverde (ed.); (2007), 25 - 36.

  48. D. Pearce, H. Tompits, S. Woltran:
    "Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report";
    Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 49 - 60.

  49. J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
    "Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)", M. Veloso (ed.); AAAI Press/IJCAI, (2007), ISBN: 978-1-57735-298-3; 304 - 309.

  50. T. Eiter, M. Fink, H. Tompits, S. Woltran:
    "Complexity Results for Checking Equivalence of Stratified Logic Programs";
    Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)", M. Veloso (ed.); AAAI Press, (2007), ISBN: 978-1-57735-298-3; 330 - 335.

  51. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics";
    Poster: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 12-18-2006 - 12-22-2006; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)", T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (ed.); IEEE Computer Society Press, (2006), ISBN: 0-7695-2747-7; 1073 - 1074.

  52. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang:
    "Forgetting in Managing Rules and Ontologies";
    Talk: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 12-18-2006 - 12-22-2006; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)", T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (ed.); IEEE Computer Society Press, (2006), ISBN: 0-7695-2747-7; 411 - 419.

  53. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
    Talk: 15th International Conference on Computing (CIC 2006), Mexico City, Mexico; 11-21-2006 - 11-24-2006; in: "Proceedings of CIC-06", IEEE Computer Society, (2006), ISBN: 978-0-7695-2708-6; 3 - 11.

    More information

  54. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics";
    Talk: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings of the JELIA2006", Springer, LNCS - Logics in Artificial Intelligence/4160 (2006), ISBN: 978-3-540-39625-3; 502 - 505.

    More information

  55. T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits:
    "Reasoning with Rules and Ontologies";
    Talk: Second International Summer School Reasoning Web 2006, Lissabon, Portugal; 09-04-2006 - 09-08-2006; in: "Lecture Notes in Computer Science. Reasoning Web", P. Barahona, F. Bry, E. Franconi, N. Henze, U. Sattler (ed.); Lecture Notes in Computer Science. Springer, 4126 (2006), ISBN: 978-3-540-38409-0; 93 - 127.

  56. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "A RuleML Syntax for Answer-Set Programming";
    Poster: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 08-16-2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006.", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 107 - 108.

  57. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics";
    Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 08-16-2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 33 - 39.

  58. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang:
    "Forgetting in Managing Rules and Ontologies";
    Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 08-16-2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 1 - 16.

  59. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
    Talk: ICLP'06 Workshop: Lash'06, Seattle, Washington; 08-16-2006; in: "Proceedings", (2006).

    More information

  60. J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
    "On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules";
    Keynote Lecture: International Conference on Knowledge Science, Engineering and Management (KSEM), Guilin City, China (invited); 08-05-2006 - 08-08-2006; in: "Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 2006)", J. Lang, F. Lin, J. Wang (ed.); Lecture Notes in Computer Science, Springer, 4092 (2006), ISBN: 3-540-37033-1; 1 - 22.

  61. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning";
    Talk: European Conference on Semantic Web (ESWC 2006), Budva, Montenegro; 06-11-2006 - 06-14-2006; in: "The Semantic Web: Research and Applications. Proceedings 3rd European Conference on Semantic Web (ESWC 2006)", Y. Sure, J. Domingue (ed.); Lecture Notes in Computer Science. Springer, 4011 (2006), ISBN: 3-540-34544-2; 273 - 287.

  62. T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
    "Replacements in Non-Ground Answer-Set Programming";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Lake District, UK; 06-02-2006 - 06-05-2006; in: "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5", P. Doherty, J. Mylopoulos, C. Welty (ed.); AAAI Press, (2006), ISBN: 978-1-57735-271-6; 340 - 351.

  63. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "Towards Efficient Evaluation of HEX Programs";
    Talk: 11th International Workshop on Nonmonotonic Reasoning, Lakeside, UK; 05-30-2006 - 06-01-2006; in: "Proceedings of the 11th Workshop on Nonmonotonic Reasoning", J. Dix, A. Hunter (ed.); Clausthal University of Technology, lfl-06-04 (2006), ISSN: 1860-8477; 40 - 46.

  64. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "A Tool for Advanced Correspondence Checking in Answer-Set Programming";
    Talk: 11th International Workshop on Nonmonotonic Reasoning, Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning", (2006).

    More information

  65. T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
    "Replacements in Non-Ground Answer-Set Programming";
    Talk: Workshop on Logic Programming (WLP), Vienna, Austira; 02-22-2006 - 02-24-2006; in: "Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24", M. Fink, H. Tompits, S. Woltran (ed.); TU Wien, Institut fuer Informationssysteme, INFSYS Research Report, 1843-06-02 (2006), Paper ID 24, 9 pages.

  66. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework";
    Talk: WLP 2006, Wien; 02-22-2006 - 02-24-2006; in: "Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP '06)", M. Fink, H. Tompits, S. Woltran (ed.); (2006), 206 - 210.

  67. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results";
    Talk: 20th Workshop on Logic Programming, Wien; 02-22-2006 - 02-24-2006; in: "Online Proceedings - WLP 2006", (2006).

    More information

  68. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "DLV-HEX: Dealing with Semantic Web under Answer-Set Programming";
    Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 11-08-2005; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 73.

  69. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics";
    Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 11-08-2005; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 67.

  70. H. Tompits, S. Woltran:
    "Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming";
    Talk: International Conference on Logic Programming (ICLP), Sitges, Spain; 10-02-2005 - 10-05-2005; in: "Proceedings of the 21st International Conference on Logic Programming", M. Gabbrielli, G. Gupta (ed.); Springer, LNCS 3668 (2005), ISBN: 3-540-29208-x; 189 - 203.

  71. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 07-30-2005 - 08-05-2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", Professional Book Center, Denver, USA (2005), ISBN: 0-938075-93-4; 90 - 96.

  72. T. Eiter, H. Tompits, S. Woltran:
    "On Solution Correspondences in Answer-Set Programming";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scottland; 07-30-2005 - 08-05-2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", (2005), ISBN: 0-938075-93-4; 97 - 102.

  73. H. Tompits, S. Woltran:
    "Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming";
    Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 07-27-2005 - 07-29-2005; in: "Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop", M. De Vos, A. Provetti (ed.); CEUR Workshop Proceedings, 142 (2005), 115 - 129.

  74. T. Eiter, M. Fink, H. Tompits, S. Woltran:
    "Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case";
    Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 07-09-2005 - 07-13-2005; in: "Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference,", AAAI Press / The MIT Press 2005, (2005), ISBN: 1-57735-236-x; 695 - 700.

  75. J. Delgrande, T. Schaub, H. Tompits:
    "A General Framework for Expressing Preferences in Causal Reasoning and Planning";
    Talk: International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE), Corfu, Greece; 05-22-2005 - 05-24-2005; in: "Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2005)", S. McIlraith, P. Peppas, M. Thielscher (ed.); (2005), ISSN: 1430-211x; 47 - 54.

  76. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
    "Nonmonotonic Description Logic Programs: Implementation and Experiments";
    Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 03-14-2005 - 03-18-2005; in: "Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 511 - 527.

  77. T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
    "Well-founded Semantics for Description Logic Programs in the Semantic Web";
    Talk: Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan; 11-08-2004; in: "Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004", G. Antoniou, H. Boley (ed.); Springer, LNCS 3323 (2004), ISBN: 3-540-23842-5; 81 - 97.

    More information

  78. T. Linke, H. Tompits, S. Woltran:
    "On Acyclic and Head-Cycle Free Nested Logic Programs";
    Talk: International Conference on Logic Programming (ICLP), Saint-Malo, France; 09-06-2004 - 09-10-2004; in: "Proceedings of the 20th International Conference on Logic Programming", B. Demoen, V. Lifschitz (ed.); Springer, LNCS 3132 (2004), ISBN: 3-540-22671-0; 225 - 239.

  79. T. Linke, H. Tompits, S. Woltran:
    "On Acyclic and Head-Cycle Free Nested Logic Programs";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Whistler, BC, Canada; 06-06-2004 - 06-08-2004; in: "Proceedings of the 10th International Workshop on Non-Monotonic Reasoning", J. Delgrande, T. Schaub (ed.); (2004), ISBN: 92-990021-0-x; 267 - 275.

  80. J. Delgrande, T. Schaub, H. Tompits:
    "Domain-Specific Preferences for Causal Reasoning and Planning";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 673 - 682.

  81. T. Eiter, M. Fink, H. Tompits, S. Woltran:
    "On Eliminating Disjunctions in Stable Logic Programming";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 447 - 457.

    More information

  82. T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
    "Combining Answer Set Programming with Description Logics for the Semantic Web";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 141 - 151.

  83. T. Eiter, M. Fink, H. Tompits, S. Woltran:
    "Simplifying Logic Programs under Uniform and Strong Equivalence";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Fort Lauderdale, FL, USA; 01-06-2004 - 01-08-2004; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923 (2004), ISBN: 3-540-20721-x; 87 - 99.

    More information

  84. U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda:
    "Comparing Different Prenexing Strategies for Quantified Boolean Formulas";
    Talk: International Conference on the Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy; 05-05-2003 - 05-08-2003; in: "Theory and Application of Satisfiability. Selected Revised Papers.", E. Giunchiglia, A. Tacchella (ed.); Springer, LNCS 2919 (2004), ISBN: 3-540-20851-8; 214 - 228.

  85. T. Eiter, M. Fink, H. Tompits, S. Woltran:
    "Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation";
    Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 09-26-2003 - 09-28-2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 151 - 165.

    More information

  86. P. Besnard, T. Schaub, H. Tompits, S. Woltran:
    "Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories";
    Talk: III World Congress on Paraconsistency, Toulouse, France; 07-28-2003 - 07-31-2003; in: " Proceedings of the III World Congress on Paraconsistency", (2003), 73 - 84.

  87. P. Besnard, T. Schaub, H. Tompits, S. Woltran:
    "Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories";
    Talk: ECSQARU 2003, Aalborg, Denmark; 07-02-2003 - 07-05-2003; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference", T. Nielsen, N. Zhang (ed.); Springer, Lecture Notes in Computer Science 2711 (2003), ISBN: 3-540-40494-5; 528 - 539.

  88. U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda:
    "Comparing different prenexing strategies for quantified boolean formulas";
    Talk: International Conference on the Theory and Applications of Satisfiability Testing, S. Margherita Ligure - Portofino ( Italy); 05-05-2003 - 05-08-2003; in: " Proceedings of the 6th International Conference on the Theory and Applications of Satisfiability Testing (SAT-03)", J. Franco et al. (ed.); Springer, (2003), ISBN: 3-540-20851-8; 370 - 378.

  89. D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
    "On Implementing Nested Logic Programms: Overview and Comparisons";
    Talk: 17th Workshop on Logic Programming and Constraint Systems (WLP-02), Dresen, Germany; 12-11-2002 - 12-13-2002; in: "Proceedings of the 17th Workshop on Logic Programming and Constraint Systems", B. Fronhoefer, S. Hölldobler (ed.); (2003), ISSN: 1430-211x; 81 - 95.

  90. P. Besnard, T. Schaub, H. Tompits, S. Woltran:
    "Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems";
    Talk: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy; 09-23-2002 - 09-26-2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer Verlag, (2002), ISBN: 3-540-44190-5; 320 - 331.

    More information

  91. T. Eiter, V. Klotz, H. Tompits, S. Woltran:
    "Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks";
    Talk: Analytic Tableaux and Related Methods (TABLEAUX), Copenhagen, Denmark; 07-30-2002 - 08-01-2002; in: "Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods", U. Egly, C. Fermüller (ed.); Springer Verlag, (2002), ISBN: 3-540-43929-3; 100 - 114.

    More information

  92. D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
    "A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report";
    Talk: International Conference on Logic Programming (ICLP), Copenhagen, Denmark; 07-29-2002 - 08-01-2002; in: "Proceedings of the 18th International Conference on Logic Programming", P. Stuckey (ed.); Springer Verlag, (2002), ISBN: 3-540-43930-7; 405 - 420.

    More information

  93. J. Delgrande, T. Schaub, H. Tompits, K. Wang:
    "Towards a Classification of Preference Handling Approaches in Nonmonotonic Reasoning";
    Talk: AAAI-02 Workshop, Edmonton, Alberta, Canada; 07-28-2002 - 07-29-2002; in: "Preferences in AI and CP: Symbolic Approaches ", U. Junker (ed.); Technical Report WS-02-13 (2002), ISBN: 1-57735-166-5; 16 - 24.

    More information

  94. P. Besnard, T. Schaub, H. Tompits, S. Woltran:
    "Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems";
    Talk: Paraconsistent Computational Logic (PCL 2002), Copenhagen, Denmark; 07-27-2002; in: "Proceedings of the ICLP 2002 Workshop Paraconsistent Computational Logic", H. Decker, J. Villadson, T. Waragai (ed.); Volume 95 of Datalogiske Skrifter, Roskilde, Denmark (2002), 1 - 15.

    More information

  95. U. Egly, H. Tompits, S. Woltran:
    "On Quantifier Shifting for Quantified Boolean Formulas";
    Talk: Fifth Internternational Symposium on the Theory and Applications of Satisfiability Testing (SAT-02), Cincinnati, Ohio, USA; 05-06-2002 - 05-09-2002; in: "Proceedings Quantified Boolean Formulas Workshop", T. Walsh, E. Giunchiglia (ed.); (2002), 48 - 61.

    More information

  96. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "A Generic Approach for Knowledge-Based Information-Site Selection";
    Talk: International Conference on Principles of Knowledge Representation and Reasoning (KR), Toulouse, France; 04-22-2002 - 04-27-2002; in: "Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)", D. Fensel, F. Giunchiglia, D. McGuinness, M.-A. Williams (ed.); Morgan Kaufmann, Toulouse, France (2002), ISBN: 1-55860-847-8; 459 - 469.

    More information

  97. D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
    "A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report";
    Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 04-19-2002 - 04-21-2002; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002)", S. Benferhat, E. Giunchiglia (ed.); (2002), 57 - 66.

    More information

  98. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Reasoning about Evolving Nonmonotonic Knowledge Bases";
    Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Havana, Cuba; 12-03-2001 - 12-07-2001; in: "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001)", R. Nieuwenhuis, A. Voronkov (ed.); Springer, LNAI 2250 (2001), ISBN: 3-540-42957-3; 407 - 421.

  99. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "An Update Front-End for Extended Logic Programs";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vienna, Austria; 09-17-2001 - 09-19-2001; in: "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)", T. Eiter, W. Faber, M. Truszczynski (ed.); Springer, LNAI 2173 (2001), ISBN: 3-540-42593-4; 397 - 401.

  100. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "A Framework for Declarative Update Specifications in Logic Programs";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, USA; 08-04-2001 - 08-10-2001; in: "Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)", B. Nebel (ed.); Morgan Kaufmann, (2001), ISBN: 1-55860-777-3; 649 - 654.

  101. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Specifying Update Policies for Nonmonotonic Knowledge Bases";
    Talk: Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR), Potsdam, Germany; 04-04-2001 - 04-06-2001; in: "Proceedings of the 5th Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001)", G. Brewka, C. Witteween, T. Schaub (ed.); (2001), 54 - 63.

  102. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Declarative Knowledge Updates through Agents";
    Talk: AISB Symposion on Adaptive Agents and Multi-Agent Systems, York, UK; 03-21-2001 - 03-24-2001; in: "Proceedings of the AISBī01 Symposion on Adaptive Agents and Multi-Agent Systems", (2001), ISBN: 1-90295-617-0; 79 - 84.

  103. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Considerations on Updates of Logic Programs";
    Talk: European Conference on Logics in Artificial Intelligence (JELIA), Malaga, Spain; 09-29-2000 - 10-02-2000; in: "Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA)", M. Ojeda-Aciego, I.P. de Guzman, G. Brewka, L.M. Pereira (ed.); Springer, LNAI 1919 (2000), ISBN: 3-540-41131-3; 2 - 20.

  104. U. Egly, M. Fink, A. Polleres, H. Tompits:
    "A Web-Based Tutoring Tool for Calculating Default Logic Extensions";
    Talk: World Conference on the WWW and Internet (WEBNET), Honolulu, Hawaii; 10-24-1999 - 10-30-1999; in: "Proceedings of the World Conference on the WWW and Internet (WEBNET 99)", P. de Bra, J. Leggett (ed.); AACE, 1 (1999), ISBN: 1-880094-36-3; 1251 - 1252.


Talks and Poster Presentations (without Proceedings-Entry)


  1. J. Oetsch, H. Tompits, S. Woltran:
    "Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Poster: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007.

  2. H. Tompits:
    "On Eliminating Disjunctions in Stable Logic Programming";
    Talk: Seminarvortrag, Universitaet Potsdam (invited); 08-18-2004.

  3. H. Tompits, S. Woltran:
    "On Simplifying and Rewriting Logic Programs: Characterisations and Complexity";
    Talk: Seminarvortrag, Bratislava, Slowakei (invited); 01-30-2004.

  4. H. Tompits:
    "Quantifizierte Boole'sche Formeln für Anwendungen in der Wissensrepräsentation";
    Talk: Seminarvortrag, Universität Leipzig (invited); 05-13-2003.

  5. H. Tompits:
    "On Encodings of Nested Logic Programs";
    Talk: Seminarvortrag, Universität Leipzig, Institut für Informatik (invited); 12-11-2002.

  6. H. Tompits:
    "On Encodings of Nested Logic Programs";
    Talk: Seminarvortrag, Simon Fraser University, Burnaby, B.C., Canada (invited); 09-17-2002.


Diploma and Master Theses (authored and supervised)


  1. J. Oetsch:
    "Beyond Uniform Equivalence between Answer-Set Programs: Relativisation and Projection";
    Supervisor: H. Tompits; Institut für Informationssysteme, 2012; final examination: 01-15-2013.

    More information

  2. A. Heindl:
    "On Replacements in Answer-Set Programming based On Partial Evaluation";
    Supervisor: H. Tompits, S. Woltran; Institut für Informationssysteme, 2007; final examination: 02-28-2007.

  3. N. Pfaffinger:
    "Smute: A Programming Language for Processing Recursively Structured Data";
    Supervisor: H. Tompits; Institut fuer Informationssysteme, 2004.

  4. S. Gröbner:
    "Strict Implication";
    Supervisor: H. Tompits; Institut für Informationssysteme, 2003.


Scientific Reports


  1. T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
    "Model-Based Recasting in Answer-Set Programming";
    Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2013-83, 2013; 34 pages.

  2. J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
    "Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
    Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-12, 2008; 45 pages.

  3. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits:
    "Combining Answer Set Programming with Description Logics for the Semantic Web";
    Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-07-04, 2007; 66 pages.

  4. D. Pearce, H. Tompits, S. Woltran:
    "Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity";
    Report for Universidad Rey Juan Carlos, Grupo de Inteligencia Artificial, 2007; Report No. GIA-TR-2007-12-01, 2007; 46 pages.

  5. T. Eiter, M. Fink, H. Tompits:
    "Self-assessment Report for Years 3+4";
    Report for European Commission, IST 2001-33570 (INFOMIX), D8.4; 2005; 24 pages.

  6. T. Eiter, M. Fink, H. Tompits:
    "Test and Comparison Results";
    Report for European Commission, IST 2001-33570 (INFOMIX), D8.5; 2005; 42 pages.

  7. T. Eiter, W. Faber, M. Fink, G. Greco, D. Lembo, H. Tompits:
    "Methods and Techniques for Query Optimization";
    Report for European Commission, IST 2001-33570 (INFOMIX), D5.3; 2004.

  8. T. Eiter, W. Faber, H. Tompits:
    "Self-assessment report for year 2";
    Report for European Commission, IST 2001-33570 (INFOMIX), D8.3; 2004.

  9. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "On Computing Solutions to Belief Change Scenarios";
    2003.

  10. T. Eiter, M. Fink, H. Tompits:
    "A Knowledge-Based Approach for Selecting Information Sources";
    2003.

  11. T. Eiter, M. Fink, H. Tompits:
    "Self-assessment report for year 1";
    Report for European Commission, IST 2001-33570 (INFOMIX), D8.2; 2003.

  12. T. Eiter, M. Fink, H. Tompits, S. Woltran:
    "On Eliminating Disjunctions in Stable Logic Programming";
    2003.

  13. T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
    "Combining Answer Set Programming with Description Logics for the Semantic Web";
    2003.

    More information

  14. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07)";
    Report for Institut f. Informationssysteme, TU Wien; 2002.

  15. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Reasoning about Evolving Nonmonotonic Knowledge Bases";
    2002.

  16. T. Eiter, M. Fink, H. Tompits:
    "A Knowledge-Based Approach to Information Site Selection";
    2002.

  17. D. Pearce, T. Schaub, V. Sarsakov, H. Tompits, S. Woltran:
    "Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs";
    2002.

  18. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "On Updates of Logic Programs: Semantics and Properties";
    2000.

  19. T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
    "Using Methods of Declarative Logic Programming for Intelligent InformationAgents";
    2000.