Hans Tompits
Ao.Univ.Prof. Mag.rer.nat. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- computational logic, declarative logic programming, computational complexity, nonmonotonic reasoning, knowledge representation
About
Basic Research in logic-based Artificial Intelligence, computational Logic and logical Programming (Answer-Set Programming)
Roles
-
Associate Professor
Knowledge-Based Systems, E192-03 -
Curriculum Coordinator
Master Logic and Computation
Courses
2020W
- Artificial Intelligence Seminar / 184.068 / SE
- Bachelor Thesis for Computer Science and Business Informatics / 184.713 / PR
- Declarative Problem Solving / 184.701 / UE
- Introduction to Knowledge-based Systems / 184.737 / VU
- Logic for Knowledge Representation / 184.699 / UE
- Logic for Knowledge Representation / 184.208 / VO
- Project in Computer Science 1 / 184.718 / PR
- Project in Computer Science 2 / 184.719 / PR
- Quantum Computing / 192.070 / VU
- Refutation Systems / 192.094 / VO
- 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
2021S
- Artificial Intelligence Seminar / 184.068 / SE
- Bachelor Thesis for Computer Science and Business Informatics / 184.713 / PR
- Introduction to Artificial Intelligence / 184.735 / VU
- Knowledge-based Systems / 184.730 / VU
- Project in Computer Science 1 / 184.718 / PR
- Project in Computer Science 2 / 184.719 / PR
- Proof Systems in Modal Logic / 184.711 / VU
- 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
Projects
-
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
2011 – 2014 / Vienna Science and Technology Fund (WWFT) -
Methods and Methodologies for Developing Answer-Set Programs
2009 – 2013 / Austrian Science Fund (FWF) -
Formal Methods for Optimizing Nonmonotonic Logic Programs
2005 – 2008 / Austrian Science Fund (FWF)
Publications
2021
- Beyond Uniform Equivalence between Answer-set Programs / J. Oetsch, H. Tompits, M. Seidl, S. Woltran / ACM Transactions on Computational Logic, 22 (2021), 1; 1 - 46
2020
- Fdiro: A General Approach for a Fail-Operational System Design / T. Kain, H. Tompits, J. Müller, P. Mundhenk, M. Wesche, H. Decke / Talk: 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference (ESREL2020 PSAM15), Venice, Italy; 2020-11-01 - 2020-11-05; in: "E-proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference (ESREL2020 PSAM15)", (2020), ISBN: 978-981-14-8593-0; 8 pages
- Optimizing the Placement of Applications in Autonomous Vehicles / T. Kain, H. Tompits, J. Müller, M. Wesche, Y. Martinez Flores, H. Decke / Talk: 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference (ESREL2020 PSAM15), Venice, Italy; 2020-11-01 - 2020-11-05; in: "E-proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference", (2020), ISBN: 978-981-14-8593-0; 8 pages
- Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics / T. Geibinger, H. Tompits / Talk: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italien; 2020-09-18 - 2020-09-25; in: "Proceedings of the 36th International Conference on Logic Programming (Technical Communications)", Electronic Proceedings in Theoretical Computer Science (EPTCS), 325 (2020), 178 - 191
- Catching the Ouroboros: On debugging non-ground answer-set programs / J. Oetsch, J. Pührer, H. Tompits / Talk: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy; 2020-09-18 - 2020-09-25
- Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles / T. Kain, P. Mundhenk, J. Müller, H. Tompits, M. Wesche, H. Decke / Talk: 2nd International Workshop on Autonomous Systems Design, Grenoble, France; 2020-03-13; in: "Proceedings of the 2nd International Workshop on Autonomous Systems Design", Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 79 (2020), ISBN: 978-3-95977-141-2; 1 - 7
- Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic / S. Pkhakadze, H. Tompits / Axioms, 9 (2020), 3
2019
- On Translating Multi-Modal Logics to Quantified Propositional Logic / V. Marinkovic, H. Tompits / Talk: Gödel's Legacy: Does Future lie in the Past?, Wien; 2019-07-25 - 2019-07-27; in: "Goedel's Legacy Conference", (2019)
- A Gentzen-Type Calculus for Disjunctive Default Logic. / S. Pkhakadze, H. Tompits / Talk: Gödel's Legacy: Does Future lie in the Past?, Wien; 2019-07-25 - 2019-07-27; in: "Goedel's Legacy Conference", (2019)
- A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur / S. Pkhakadze, H. Tompits / Talk: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 2019-06-03 - 2019-06-07; in: "Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings", Lecture Notes in Computer Science, 11481 (2019), ISBN: 978-3-030-20528-7; 163 - 177
- Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language / T. Kain, H. Tompits / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings", Lecture Notes in Computer Science, 11468 (2019), ISBN: 978-3-030-19569-4; 559 - 575
- Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs / T. Geibinger, H. Tompits / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 542 - 558
2018
- A Tableau Calculus for a Multi-modal Logic of Dishonesty / S. Pavlovic, H. Tompits / Talk: 17th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2018), Trento, Italy; 2018-11-20 - 2018-11-23; in: "AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings", Springer, 11298 (2018), ISBN: 978-3-030-03839-7; 238 - 251
- From Łukasiewicz to Gentzen: On Sequent-type Refutation Calculi for Three-valued Logics / H. Tompits / Keynote Lecture: Refutation Symposium 2018 at Poznań Reasoning Week, Poznań, Poland; 2018-09-11 - 2018-09-15
- A many-sorted variant of Japaridze's polymodal provability logic / G. Berger, L. Beklemishev, H. Tompits / Logic Journal of the IGPL, 26 (2018), 5; 505 - 538
- Local Redundancy in SAT: Generalizations of Blocked Clauses / B. Kiesl, M. Seidl, H. Tompits, A. Biere / Logical Methods in Computer Science, 14 (2018), 4
- Stepwise debugging of answer-set programs / J. Pührer, J. Oetsch, H. Tompits / Theory and Practice of Logic Programming, 18 (2018), 1; 30 - 80
- An Approach for Representing Answer Sets in Natural Language / M. Fang, H. Tompits / in: "Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers.", Springer LNCS, 2018, ISBN: 978-3-030-00800-0, 115 - 131
2017
- An Approach for Representing Answer Sets in Natural Language / H. Tompits, M. Fang / Talk: 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP2017), Würzburg, Deutschland; 2017-09-19 - 2017-09-22; in: "Declare 2017 - Conference on Declarative Programming", D. Seipel, M. Hanus, S. Abreu (ed.); Technical Report, Institute of Computer Science, University of Würzburg, 499 (2017), 107 - 122
- Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? / B. Kiesl, M. Seidl, H. Tompits, A. Biere / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)", F. Bacchus (ed.); (2017), ISBN: 978-0-9992411-0-3; 4884 - 4888
- Harvey : A System for Random Testing in ASP. / A. Greßler, J. Oetsch, H. Tompits / Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland; 2017-07-03 - 2017-07-06; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)", M. Balduccini, T. Janhunen (ed.); Lecture Notes in Computer Science, Springer LNCS, 10377 (2017), ISBN: 978-3-319-61659-9; 229 - 235
- Blocked Clauses in First-Order Logic / B. Kiesl, M. Suda, M. Seidl, H. Tompits, A. Biere / Talk: Lpar-21: 21st International Conference On Logic For Programming, Artificial Intelligence And Reasoning, Maun, Botswana; 2017-05-07 - 2017-05-12; in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning", EasyChair EPiC Series in Computing, Volume 46 (2017), 31 - 48
2016
- Super-Blocked Clauses / B. Kiesl, M. Seidl, H. Tompits, A. Biere / in: "Automated Reasoning", N. Olivetti, A. Tiwari (ed.); Springer International Publishing Switzerland, 2016, ISBN: 978-3-319-40228-4, 45 - 61
2015
- On Structural Analysis of Non-Ground Answer-Set Programs / B. Kiesl, P. Schüller, H. Tompits / Talk: International Conference on Logic Programming (ICLP), Cork, Irland; 2015-08-31 - 2015-09-04; 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
2014
- On Axiomatic Rejection for the Description Logic / G. Berger, H. Tompits / in: "Declarative Programming and Knowledge Management", M. Hanus, R. Rocha (ed.); Springer LNCS, 2014, ISBN: 978-3-319-08909-6, 65 - 82
2013
- On Axiomatic Rejection for the Description Logic ALC / G. Berger, H. Tompits / Talk: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Deutschland; 2013-09-11 - 2013-09-13; in: "Kiel Declarative Programming Days 2013", M. Hanus, R. Rocha (ed.); (2013), 78 - 92
- 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 / H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf / Springer, LNAI, 2013, ISBN: 978-3-642-41523-4
- A Model-Theoretic Approach to Belief Change in Answer Set Programming / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / ACM Transactions on Computational Logic, 14 (2013), 2
- Model-Based Recasting in Answer-Set Programming / T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran / Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104
- SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging Support / P. Busoniu, J. Oetsch, J. Puehrer, P. Skocovsky, H. Tompits / 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
- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs / C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits / 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
- The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report / J. Oetsch, J. Puehrer, H. Tompits / 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
- Guided Merging of Sequence Diagrams / M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits / in: "Software Language Engineering", Lecture Notes in Computer Science Volume 7745, Springer, 2013, ISSN: 0302-9743, 164 - 183
- Model-Based Recasting in Answer-Set Programming / T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran / Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2013-83, 2013; 34 pages
2012
- Guided Merging of Sequence Diagrams / M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits / Talk: 5th International Conference on Software Language Engineering, Dresden; 2012-09-26 - 2012-09-28; in: "SLE 2012 - Pre-proceedings", K. Czarnecki, G. Hedin (ed.); Dresden (2012), 163 - 182
- Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming / J. Oetsch, J. Puehrer, H. Tompits / Talk: 26th Workshop on Logic Programming (WLP 2012), Bonn, Germany; 2012-09-24 - 2012-09-25; in: "26th Workshop on Logic Programming (WLP 2012)", (2012), 129 - 137
- An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions / J. Oetsch, J. Puehrer, H. Tompits / Talk: 28th International Conference on Logic Programming, Budapest, Hungary; 2012-08-04 - 2012-08-08; in: "Technical Communications of the 28th International Conference on Logic Programming", LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 17 (2012), 12 pages
- Annotating Answer-Set Programs in LANA / M. De Vos, D. Kisa, J. Oetsch, J. Puehrer, H. Tompits / Talk: 28th International Conference on Logic Programming, Budapest, Hungary; 2012-08-04 - 2012-08-08; in: "28th International Conference on Logic Programming", Cambridge University Press, Volume 12 / Special Issue 4-5 / Cambridge (2012), 619 - 637
- On the Small-Scope Hypothesis for Testing Answer-Set Programs / J. Oetsch, M. Prischink, J. Puehrer, M. Schwengerer, H. Tompits / Talk: 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy; 2012-06-10 - 2012-06-14; in: "13th International Conference on Principles of Knowledge Representation and Reasoning", AAAI Press, (2012), ISBN: 978-1-57735-561-8; 43 - 53
- LANA: A Language for Annotating Answer-Set Programs / M. De Vos, D. Kisa, J. Oetsch, J. Puehrer, H. Tompits / Talk: 14th International Workshop on Non-Monotonic Reasoning, Rome, Italy; 2012-06-08 - 2012-06-10; in: "14th International Workshop on Non-Monotonic Reasoning", (2012), 9 pages
- Towards Scenario-Based Testing of UML Diagrams / P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer / Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 2012-05-31 - 2012-06-01; 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
- Stepwise Debugging of Description-Logic Programs / J. Oetsch, J. Puehrer, H. Tompits / in: "Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz", Springer, LNCS 7265, 2012, (invited), 492 - 508
- Towards Semantics-Aware Merge Support in Optimistic Model Versioning / P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer / 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
- Event-Sequence Testing using Answer-Set Programming / M. Brain, E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz / International Journal On Advances in Software, 5 (2012), 3 & 4; 15 pages
2011
- Answer-Set Programming as a new Approach to Event-Sequence Testing / E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz / Talk: Third International Conference on Advances in System Testing and Validation Lifecycle (VALID'11), Barcelona, Spain; 2011-10-23 - 2011-10-29; 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
- Towards Semantics-Aware Merge Support in Optimistic Model Versioning / P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer / Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 2011-10-18; in: "Proceedings of the Models and Evolution Workshop @ MoDELS'11", (2011), 10 pages
- The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report / J. Oetsch, J. Puehrer, H. Tompits / Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 2011-09-28 - 2011-09-30; 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
- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs / C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits / Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 2011-09-28 - 2011-09-30; 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
- VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques / J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl / Talk: MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?, Birmingham, UK; 2011-06-06; in: "Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?", (2011), 16 pages
- Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison / T. Janhunen, I. Niemelä, J. Oetsch, J. Puehrer, H. Tompits / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 242 - 247
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence / J. Oetsch, H. Tompits / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 254 - 259
- Stepping through an Answer-Set Program / J. Oetsch, J. Puehrer, H. Tompits / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 134 - 147
- VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology / J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl / Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 2011-05-16 - 2011-05-19; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 382 - 387
- Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011) / S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, A. Wolf / TU Wien, Wien, 2011, 290 pages
- Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination / J. De Bruijn, T. Eiter, A. Polleres, H. Tompits / ACM Transactions on Computational Logic, 12 (2011), 3
2010
- Gentzen-type Refutation Systems for Three-Valued Logics / J. Oetsch, H. Tompits / Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 2010-09-14 - 2010-09-16; 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
- Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs / J. Oetsch, J. Puehrer, H. Tompits / Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 2010-09-14 - 2010-09-16; 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
- On Testing Answer-Set Programs / I. Niemelä, T. Janhunen, J. Oetsch, J. Puehrer, H. Tompits / Talk: 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 2010-08-16 - 2010-08-20; 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
- Methods and Methodologies for Developing Answer-Set Programs - Project Description / J. Oetsch, J. Puehrer, H. Tompits / Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 2010-07-16 - 2010-07-19; 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
- The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs / J. Oetsch, J. Puehrer, M. Schwengerer, H. Tompits / Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 2010-07-16 - 2010-07-19; 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
2009
- Kato: A Plagiarism-Detection Tool for Answer-Set Programs / J. Oetsch, M. Schwengerer, H. Tompits / Talk: 23rd Workshop on (Constraint) Logic Programming, Potsdam, Germany; 2009-09-15 - 2009-09-16; in: "23rd Workshop on (Constraint) Logic Programming", A. Wolf, U. Geske (ed.); Universitätsverlag Potsdam, (2009), ISBN: 978-3-86956-026-7; 75 - 79
- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection / J. Puehrer, H. Tompits / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 264 - 276
- ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395
- Catching the Ouroboros: On debugging non-ground answer-set programs / J. Oetsch, J. Puehrer, H. Tompits / Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 2009-07-14 - 2009-07-17; 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
- Merging Logic Programs under Answer Set Semantics / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Pasadena, Californien; 2009-07-14 - 2009-07-17; in: "Logic Programming", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 3-642-02845-4; 160 - 174
- Modularity Aspects of Disjunctive Stable Models / T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran / Journal of Artificial Intelligence Research, 35 (2009), 813 - 857
- Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity / D. Pearce, H. Tompits, S. Woltran / Theory and Practice of Logic Programming, 9 (2009), 5; 565 - 616
- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran / 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
- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / 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
2008
- Program Correspondence under the Answer-Set Semantics: The Non-Ground Case / J. Oetsch, H. Tompits / Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 2008-12-09 - 2008-12-13; 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
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence / J. Puehrer, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 2008-12-09 - 2008-12-13; 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
- A Generalised Program-Correspondence Framework: Preliminary Report / J. Oetsch, H. Tompits / Talk: Workshop on Logic Programming (WLP), Dresden, Germany; 2008-09-30 - 2008-10-01; 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
- Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic / J. De Bruijn, T. Eiter, H. Tompits / Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 2008-09-16 - 2008-09-19; 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
- Belief Revision of Logic Programs under Answer Set Semantics / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 2008-09-16 - 2008-09-19; 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
- Notions of Strong Equivalence for Logic Programs with Ordered Disjunction / W. Faber, H. Tompits, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 2008-09-16 - 2008-09-19; 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
- A Meta-Programming Technique for Debugging Answer-Set Programs / M. Gebser, J. Puehrer, T. Schaub, H. Tompits / Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 2008-07-13 - 2008-07-17; in: "AAAI-08/IAAI-08 Proceedings", D. Fox, C.P. Gomes (ed.); (2008), ISBN: 978-1-57735-368-3; 448 - 453
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets / M. Gebser, T. Schaub, H. Tompits, S. Woltran / Talk: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 2008-02-11 - 2008-02-15; 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
- Combining Answer Set Programming with Description Logics for the Semantic Web / T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits / Artificial Intelligence, 172 (2008), 12-13; 1495 - 1593
- Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination / J. De Bruijn, T. Eiter, A. Polleres, H. Tompits / 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
2007
- An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / accepted as talk for: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 2007-11-04 - 2007-11-09; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007)
- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 2007-10-04 - 2007-10-06; 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
- Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions / W. Faber, H. Tompits, S. Woltran / Talk: VLDB 2007, Wien; 2007-09-23 - 2007-09-24; in: "3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007)", (2007), 8 pages
- Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection / J. Oetsch, H. Tompits, S. Woltran / Talk: AAAI ' 07, Vancouver, Canada; 2007-07-22 - 2007-07-26; 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
- Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection / J. Oetsch, H. Tompits, S. Woltran / Poster: AAAI ' 07, Vancouver, Canada; 2007-07-22 - 2007-07-26
- A Preference-Based Framework for Updating Logic Programs / J. Delgrande, T. Schaub, H. Tompits / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 2007-05-15 - 2007-05-17; 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
- Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection / J. Oetsch, H. Tompits, S. Woltran / Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 2007-05-14 - 2007-05-17; 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
- Modularity Aspects of Disjunctive Stable Models / T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA; 2007-05-14 - 2007-05-17; 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
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report / M. Gebser, T. Schaub, H. Tompits, S. Woltran / Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 2007-05-14 - 2007-05-17; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 37 - 48
- Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains / M. Fink, R. Pichler, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 2007-05-14 - 2007-05-17; 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
- That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System Description / M. Brain, M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran / Talk: First International Workshop Software Engineering for Answer Set Programming (SEA 2007), Tempe, AZ, USA; 2007-05-14 - 2007-05-17; in: "Proceeding of the LPNMR' 07 Workshop on Software Engineering for Answer Set Programming", (2007), 71 - 85
- Debugging ASP Programs by Means of ASP / M. Brain, M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA; 2007-05-14 - 2007-05-17; 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
- Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report / D. Pearce, H. Tompits, S. Woltran / Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 2007-05-14 - 2007-05-17; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 49 - 60
- Complexity Results for Checking Equivalence of Stratified Logic Programs / T. Eiter, M. Fink, H. Tompits, S. Woltran / Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 2007-01-06 - 2007-01-12; 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
- Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination / J. De Bruijn, T. Eiter, A. Polleres, H. Tompits / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 2007-01-06 - 2007-01-12; 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
- A Knowledge-Based Approach for Selecting Information Sources / T. Eiter, M. Fink, H. Tompits / Theory and Practice of Logic Programming, 7 (2007), 3; 249 - 300
- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran / 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
- Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity / D. Pearce, H. Tompits, S. Woltran / Report for Universidad Rey Juan Carlos, Grupo de Inteligencia Artificial, 2007; Report No. GIA-TR-2007-12-01, 2007; 46 pages
- Combining Answer Set Programming with Description Logics for the Semantic Web / T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits / Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-07-04, 2007; 66 pages
2006
- dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 2006-12-18 - 2006-12-22; 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
- Forgetting in Managing Rules and Ontologies / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang / Talk: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 2006-12-18 - 2006-12-22; 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
- ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 15th International Conference on Computing (CIC 2006), Mexico City, Mexico; 2006-11-21 - 2006-11-24; in: "Proceedings of CIC-06", IEEE Computer Society, (2006), ISBN: 978-0-7695-2708-6; 3 - 11
- ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Proceedings of the JELIA2006", Springer, LNCS - Logics in Artificial Intelligence/4160 (2006), ISBN: 978-3-540-39625-3; 502 - 505
- Reasoning with Rules and Ontologies / T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits / Talk: Second International Summer School Reasoning Web 2006, Lissabon, Portugal; 2006-09-04 - 2006-09-08; 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
- A RuleML Syntax for Answer-Set Programming / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 2006-08-16; 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
- ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: ICLP'06 Workshop: Lash'06, Seattle, Washington; 2006-08-16; in: "Proceedings", (2006)
- Forgetting in Managing Rules and Ontologies / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang / Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 2006-08-16; 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
- dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 2006-08-16; 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
- On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules / J. De Bruijn, T. Eiter, A. Polleres, H. Tompits / Keynote Lecture: International Conference on Knowledge Science, Engineering and Management (KSEM), Guilin City, China (invited); 2006-08-05 - 2006-08-08; 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
- Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: European Conference on Semantic Web (ESWC 2006), Budva, Montenegro; 2006-06-11 - 2006-06-14; 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
- Replacements in Non-Ground Answer-Set Programming / T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Lake District, UK; 2006-06-02 - 2006-06-05; 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
- A Tool for Advanced Correspondence Checking in Answer-Set Programming / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 11th International Workshop on Nonmonotonic Reasoning, Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning", (2006)
- Towards Efficient Evaluation of HEX Programs / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: 11th International Workshop on Nonmonotonic Reasoning, Lakeside, UK; 2006-05-30 - 2006-06-01; 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
- A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 20th Workshop on Logic Programming, Wien; 2006-02-22 - 2006-02-24; in: "Online Proceedings - WLP 2006", (2006)
- Replacements in Non-Ground Answer-Set Programming / T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran / Talk: Workshop on Logic Programming (WLP), Vienna, Austira; 2006-02-22 - 2006-02-24; 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
- dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: WLP 2006, Wien; 2006-02-22 - 2006-02-24; in: "Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP '06)", M. Fink, H. Tompits, S. Woltran (ed.); (2006), 206 - 210
- Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24 / M. Fink, H. Tompits, S. Woltran / TU Wien, Vienna, Austria, 2006, 210 pages
- A Preference-Based Framework for Updating Logic Programs: Preliminary Report / J. Delgrande, T. Schaub, H. Tompits / 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
2005
- NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 2005-11-08; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 67
- DLV-HEX: Dealing with Semantic Web under Answer-Set Programming / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 2005-11-08; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 73
- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming / H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Sitges, Spain; 2005-10-02 - 2005-10-05; 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
- On Solution Correspondences in Answer-Set Programming / T. Eiter, H. Tompits, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scottland; 2005-07-30 - 2005-08-05; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", (2005), ISBN: 0-938075-93-4; 97 - 102
- A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 2005-07-30 - 2005-08-05; 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
- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming / H. Tompits, S. Woltran / Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 2005-07-27 - 2005-07-29; 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
- Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case / T. Eiter, M. Fink, H. Tompits, S. Woltran / Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 2005-07-09 - 2005-07-13; 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
- A General Framework for Expressing Preferences in Causal Reasoning and Planning / J. Delgrande, T. Schaub, H. Tompits / Talk: International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE), Corfu, Greece; 2005-05-22 - 2005-05-24; 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
- Nonmonotonic Description Logic Programs: Implementation and Experiments / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; 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
- Representing Paraconsistent Reasoning via Quantified Propositional Logic / P. Besnard, T. Schaub, H. Tompits, S. Woltran / in: "Inconsistency Tolerance", L. Bertossi et al. (ed.); Springer, LNCS 3300, 2005, ISBN: 3-540-24260-0, 84 - 118
- Reasoning about Evolving Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / ACM Transactions on Computational Logic, 6 (2005), 2; 389 - 440
- Test and Comparison Results / T. Eiter, M. Fink, H. Tompits / Report for European Commission, IST 2001-33570 (INFOMIX), D8.5; 2005; 42 pages
- Self-assessment Report for Years 3+4 / T. Eiter, M. Fink, H. Tompits / Report for European Commission, IST 2001-33570 (INFOMIX), D8.4; 2005; 24 pages
2004
- Well-founded Semantics for Description Logic Programs in the Semantic Web / T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits / Talk: Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan; 2004-11-08; 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
- On Acyclic and Head-Cycle Free Nested Logic Programs / T. Linke, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Saint-Malo, France; 2004-09-06 - 2004-09-10; 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
- On Eliminating Disjunctions in Stable Logic Programming / H. Tompits / Talk: Seminarvortrag, Universitaet Potsdam (invited); 2004-08-18
- On Acyclic and Head-Cycle Free Nested Logic Programs / T. Linke, H. Tompits, S. Woltran / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Whistler, BC, Canada; 2004-06-06 - 2004-06-08; in: "Proceedings of the 10th International Workshop on Non-Monotonic Reasoning", J. Delgrande, T. Schaub (ed.); (2004), ISBN: 92-990021-0-x; 267 - 275
- Domain-Specific Preferences for Causal Reasoning and Planning / J. Delgrande, T. Schaub, H. Tompits / Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 2004-06-02 - 2004-06-05; 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
- Combining Answer Set Programming with Description Logics for the Semantic Web / T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits / Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 2004-06-02 - 2004-06-05; 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
- On Eliminating Disjunctions in Stable Logic Programming / T. Eiter, M. Fink, H. Tompits, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 2004-06-02 - 2004-06-05; 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
- On Simplifying and Rewriting Logic Programs: Characterisations and Complexity / H. Tompits, S. Woltran / Talk: Seminarvortrag, Bratislava, Slowakei (invited); 2004-01-30
- Simplifying Logic Programs under Uniform and Strong Equivalence / T. Eiter, M. Fink, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Fort Lauderdale, FL, USA; 2004-01-06 - 2004-01-08; 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
- A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning / J. Delgrande, T. Schaub, H. Tompits, K. Wang / Computational Intelligence, 20 (2004), 2; 308 - 334
- On Computing Solutions to Belief Change Scenarios / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / Journal of Logic and Computation, 14 (2004), 6; 801 - 826
- Reasoning Methods for Personalization on the Semantic Web / 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 / Annals of Mathematics, Computing & Teleinformatics, 2 (2004), 1 - 24
- Domain-Specific Preferences for Causal Reasoning and Planning / J. Delgrande, T. Schaub, H. Tompits / 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
- nlp: A Compiler for Nested Logic Programming / V. Sarsakov, T. Schaub, H. Tompits, S. Woltran / 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
- Self-assessment report for year 2 / T. Eiter, W. Faber, H. Tompits / Report for European Commission, IST 2001-33570 (INFOMIX), D8.3; 2004
- Methods and Techniques for Query Optimization / T. Eiter, W. Faber, M. Fink, G. Greco, D. Lembo, H. Tompits / Report for European Commission, IST 2001-33570 (INFOMIX), D5.3; 2004
2003
- Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation / T. Eiter, M. Fink, H. Tompits, S. Woltran / Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 2003-09-26 - 2003-09-28; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 151 - 165
- Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories / P. Besnard, T. Schaub, H. Tompits, S. Woltran / Talk: III World Congress on Paraconsistency, Toulouse, France; 2003-07-28 - 2003-07-31; in: " Proceedings of the III World Congress on Paraconsistency", (2003), 73 - 84
- Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories / P. Besnard, T. Schaub, H. Tompits, S. Woltran / Talk: ECSQARU 2003, Aalborg, Denmark; 2003-07-02 - 2003-07-05; 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
- Quantifizierte Boole'sche Formeln für Anwendungen in der Wissensrepräsentation / H. Tompits / Talk: Seminarvortrag, Universität Leipzig (invited); 2003-05-13
- Comparing Different Prenexing Strategies for Quantified Boolean Formulas / U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda / Talk: International Conference on the Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy; 2003-05-05 - 2003-05-08; 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
- Comparing different prenexing strategies for quantified boolean formulas / U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda / Talk: International Conference on the Theory and Applications of Satisfiability Testing, S. Margherita Ligure - Portofino ( Italy); 2003-05-05 - 2003-05-08; 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
- Declarative Update Policies for Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / in: "Logics for Emerging Applications of Databases", J. Chomicki et al. (ed.); Springer, 2003, (invited), ISBN: 3-540-00705-9, 85 - 129
- On Different Proof-Search Strategies for Orthologic / U. Egly, H. Tompits / Studia Logica, 73 (2003), 1; 131 - 152
- A Framework for Compiling Preferences in Logic Programs / J. Delgrande, T. Schaub, H. Tompits / Theory and Practice of Logic Programming, 3 (2003), 2; 129 - 187
- Answer Set Programming for Intelligent Web Services / T. Eiter, M. Fink, R. Schindlauer, H. Tompits / ÖGAI Journal, 22 (2003), 2; 17 - 22
- Self-assessment report for year 1 / T. Eiter, M. Fink, H. Tompits / Report for European Commission, IST 2001-33570 (INFOMIX), D8.2; 2003
- Combining Answer Set Programming with Description Logics for the Semantic Web / T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits / 2003
- A Knowledge-Based Approach for Selecting Information Sources / T. Eiter, M. Fink, H. Tompits / 2003
- On Eliminating Disjunctions in Stable Logic Programming / T. Eiter, M. Fink, H. Tompits, S. Woltran / 2003
- On Computing Solutions to Belief Change Scenarios / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / 2003
2002
- On Implementing Nested Logic Programms: Overview and Comparisons / D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran / Talk: 17th Workshop on Logic Programming and Constraint Systems (WLP-02), Dresen, Germany; 2002-12-11 - 2002-12-13; in: "Proceedings of the 17th Workshop on Logic Programming and Constraint Systems", B. Fronhoefer, S. Hölldobler (ed.); (2003), ISSN: 1430-211x; 81 - 95
- On Encodings of Nested Logic Programs / H. Tompits / Talk: Seminarvortrag, Universität Leipzig, Institut für Informatik (invited); 2002-12-11
- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems / P. Besnard, T. Schaub, H. Tompits, S. Woltran / Talk: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy; 2002-09-23 - 2002-09-26; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer Verlag, (2002), ISBN: 3-540-44190-5; 320 - 331
- On Encodings of Nested Logic Programs / H. Tompits / Talk: Seminarvortrag, Simon Fraser University, Burnaby, B.C., Canada (invited); 2002-09-17
- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks / T. Eiter, V. Klotz, H. Tompits, S. Woltran / Talk: Analytic Tableaux and Related Methods (TABLEAUX), Copenhagen, Denmark; 2002-07-30 - 2002-08-01; 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
- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report / D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Copenhagen, Denmark; 2002-07-29 - 2002-08-01; in: "Proceedings of the 18th International Conference on Logic Programming", P. Stuckey (ed.); Springer Verlag, (2002), ISBN: 3-540-43930-7; 405 - 420
- Towards a Classification of Preference Handling Approaches in Nonmonotonic Reasoning / J. Delgrande, T. Schaub, H. Tompits, K. Wang / Talk: AAAI-02 Workshop, Edmonton, Alberta, Canada; 2002-07-28 - 2002-07-29; in: "Preferences in AI and CP: Symbolic Approaches ", U. Junker (ed.); Technical Report WS-02-13 (2002), ISBN: 1-57735-166-5; 16 - 24
- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems / P. Besnard, T. Schaub, H. Tompits, S. Woltran / Talk: Paraconsistent Computational Logic (PCL 2002), Copenhagen, Denmark; 2002-07-27; 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
- On Quantifier Shifting for Quantified Boolean Formulas / U. Egly, H. Tompits, S. Woltran / Talk: Fifth Internternational Symposium on the Theory and Applications of Satisfiability Testing (SAT-02), Cincinnati, Ohio, USA; 2002-05-06 - 2002-05-09; in: "Proceedings Quantified Boolean Formulas Workshop", T. Walsh, E. Giunchiglia (ed.); (2002), 48 - 61
- A Generic Approach for Knowledge-Based Information-Site Selection / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Conference on Principles of Knowledge Representation and Reasoning (KR), Toulouse, France; 2002-04-22 - 2002-04-27; 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
- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report / D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran / Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 2002-04-19 - 2002-04-21; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002)", S. Benferhat, E. Giunchiglia (ed.); (2002), 57 - 66
- Using Methods of Declarative Logic Programming for Intelligent Information Agents / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Theory and Practice of Logic Programming, 2 (2002), 6; 645 - 710
- On Properties of Update Sequences Based on Causal Rejection / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Theory and Practice of Logic Programming, 2 (2002), 6; 711 - 767
- Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07) / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Report for Institut f. Informationssysteme, TU Wien; 2002
- A Knowledge-Based Approach to Information Site Selection / T. Eiter, M. Fink, H. Tompits / 2002
- Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs / D. Pearce, T. Schaub, V. Sarsakov, H. Tompits, S. Woltran / 2002
- Reasoning about Evolving Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / 2002
2001
- Reasoning about Evolving Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Havana, Cuba; 2001-12-03 - 2001-12-07; 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
- An Update Front-End for Extended Logic Programs / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vienna, Austria; 2001-09-17 - 2001-09-19; 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
- A Framework for Declarative Update Specifications in Logic Programs / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, USA; 2001-08-04 - 2001-08-10; 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
- Specifying Update Policies for Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR), Potsdam, Germany; 2001-04-04 - 2001-04-06; 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
- Declarative Knowledge Updates through Agents / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: AISB Symposion on Adaptive Agents and Multi-Agent Systems, York, UK; 2001-03-21 - 2001-03-24; in: "Proceedings of the AISB´01 Symposion on Adaptive Agents and Multi-Agent Systems", (2001), ISBN: 1-90295-617-0; 79 - 84
2000
- Considerations on Updates of Logic Programs / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Malaga, Spain; 2000-09-29 - 2000-10-02; 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
- On Updates of Logic Programs: Semantics and Properties / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / 2000
- Using Methods of Declarative Logic Programming for Intelligent InformationAgents / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / 2000
1999
- A Web-Based Tutoring Tool for Calculating Default Logic Extensions / U. Egly, M. Fink, A. Polleres, H. Tompits / Talk: World Conference on the WWW and Internet (WEBNET), Honolulu, Hawaii; 1999-10-24 - 1999-10-30; 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
Supervisions
- Beyond Uniform Equivalence between Answer-Set Programs: Relativisation and Projection / Master Thesis by J. Oetsch / Supervisor: H. Tompits; Institut für Informationssysteme, 2012; final examination: 2013-01-15
- On Replacements in Answer-Set Programming based On Partial Evaluation / Master Thesis by A. Heindl / Supervisor: H. Tompits, S. Woltran; Institut für Informationssysteme, 2007; final examination: 2007-02-28
- Smute: A Programming Language for Processing Recursively Structured Data / Master Thesis by N. Pfaffinger / Supervisor: H. Tompits; Institut fuer Informationssysteme, 2004
- Strict Implication / Master Thesis by S. Gröbner / Supervisor: H. Tompits; Institut für Informationssysteme, 2003