Skip to Content

Fakultät fĂĽr Informatik TU Wien KBS Knowledge Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > publications > publist >

Tools: Drucken



Books and Book Editorships


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

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.

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


J. Fichte, M. Truszczynski, S. Woltran:
"Dual-normal logic programs - the forgotten class";
Theory and Practice of Logic Programming, 15 (2015), 495 - 510.

More information

J. Fichte, S. Szeider:
"Backdoors to tractable answer-set programming";
Artificial Intelligence, 220 (2015), 64 - 103.

More information

G. Ianni, F. Calimeri, S. Germano, A. Humenberger, C. Redl, D. Stepanova, A. Tucci, A. Wimmer:
"Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases";
IEEE Transactions on Computational Intelligence and AI in Games, 8 (2016), 128 - 139.

More information

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

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.

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

F. Calimeri, G. Ianni, T. Krennwallner, F. Ricca:
"The Answer Set Programming Competition";
AI Magazine, 33 (2012), 4; 114 - 118.

More information

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

A. Atserias, J. Fichte, M. Thurley:
"Clause-learning algorithms with many restarts and bounded-width resolution";
Journal of Artificial Intelligence Research, 40 (2011), 1; 353 - 373.

More information

T. Eiter, M. Simkus:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
ACM Transactions on Computational Logic, 11 (2010), 2; 1 - 45.

More information

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

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

T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting conjunctive queries in description logic programs";
Annals of Mathematics and Artificial Intelligence, 53 (2008), 1-4; 115 - 152.

More information

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.

T. Eiter, E. Erdem, W. Faber, J. Senko:
"A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution";
Fundamenta Informaticae, 79 (2007), 1-2; 25 - 69.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions based on Semantic Preferences";
Annals of Mathematics and Artificial Intelligence (invited), 50 (2007), 3-4; 273 - 304.

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.

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

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.

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.

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

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

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.

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

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

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


Contributions to Books


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

W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, J. Maluszynski:
"Hybrid Reasoning with Rules and Ontologies";
in: "Semantic Techniques for the Web: The REWERSE Perspective", F. Bry, J. Maluszynski (ed.); Springer, Heidelberg, 2009, (invited), ISBN: 978-3-642-04580-6, 1 - 49.

More information

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.

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


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

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.

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

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

J. Fichte:
"The Good, the Bad, and the Odd: Cycles in Answer-Set Programs";
in: "New Directions in Logic, Language and Computation", D. Lassiter, M. Slavkovik (ed.); Springer LNCS, Springer Berlin / Heidelberg, 2012, ISBN: 978-3-642-31466-7, 78 - 90.

More information

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

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

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

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

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.

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.

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.

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.

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.


Talks and Poster Presentations (with Proceedings-Entry)


H. Tompits, M. Fang:
"An Approach for Representing Answer Sets in Natural Language";
Talk: 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP2017), Würzburg, Deutschland; 09-19-2017 - 09-22-2017; 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.

A. Greßler, J. Oetsch, H. Tompits:
"Harvey : A System for Random Testing in ASP.";
Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (ASPOCP@LPNMR 2017), Espoo, Finland; 07-03-2017 - 07-06-2017; 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.

More information

B. Kiesl, M. Seidl, H. Tompits, A. Biere:
"Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?";
Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 08-19-2017 - 08-25-2017; 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.

More information

B. Kiesl, M. Suda, M. Seidl, H. Tompits, A. Biere:
"Blocked Clauses in First-Order Logic";
Talk: Lpar-21: 21st International Conference On Logic For Programming, Artificial Intelligence And Reasoning, Maun, Botswana; 05-07-2017 - 05-12-2017; in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning", EasyChair EPiC Series in Computing, Volume 46 (2017), 31 - 48.

More information

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

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.

J. Fichte, St. Szeider:
"Backdoors to Normality for Disjunctive Logic Programs";
Talk: AAAI Conference, Bellevue, WA, USA; 07-14-2013 - 07-18-2013; in: "Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI´13)", M. desJardins, M. Littman (ed.); AAAI Press, (2013), ISBN: 978-1-57735-615-8; 320 - 327.

More information

F. Calimeri, M. Fink, S. Germano, G. Ianni, C. Redl, A. Wimmer:
"AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases";
Talk: National Workshop and Prize on Popularize Artificial Intelligence, Turin, Italy; 12-05-2013; in: "Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013", M. Baldoni, F. Chesani, P. Mello, M. Montali (ed.); (2013), ISSN: 1613-0073; 29 - 35.

More information

G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
"VCWC: A Versioning Competition Workflow Compiler";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238.

More information

M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
"The Fourth Answer Set Programming Competition: Preliminary Report";
Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53.

More information

J. Fichte, St. Szeider:
"Backdoors to Normality for Disjunctive Logic Programs";
Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Edinburgh; 09-04-2012; in: "Proceedings of the 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", Y. Lierler, M. Fink (ed.); (2012), 99 - 113.

More information

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

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

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

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

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

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

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

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

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

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

J. Fichte:
"The Good, the Bad, and the Odd: Cycles in Answer-Set Programs";
Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Ljubljana, Slovenia; 08-01-2011 - 08-12-2011; in: "Proceedings of the 2011 ESSLLI Student Session (23rd European Summer School in Logic, Language, & Information)", (2011), 9 pages.

More information

J. Fichte, St. Szeider:
"Backdoors to Tractable Answer-Set Programming";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), 863 - 868.

More information

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

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

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

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

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

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

T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Towards a Policy Language for Managing Inconsistency in Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 05-16-2011; in: "Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications", A. Mileo, M. Fink (ed.); CEUR workshop proceedings, 738 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages.

More information

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
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)", J. Delgrande, W. Faber (ed.); Springer, (2011), 93 - 106.

More information

M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Talk: International Workshop on Description Logics (DL), Waterloo, Canada; 05-04-2010 - 05-07-2010; in: "Proceedings of the 23rd International Workshop on Description Logics (DL-2010)", V. Haarslev, D. Toman, G. Weddell (ed.); CEUR workshop proceedings, 573 (2010), ISSN: 1613-0073; 149 - 160.

More information

M. Ortiz de la Fuente, S. Rudolph, M. Simkus:
"Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park, (2010), ISBN: 978-1-57735-452-9; 269 - 279.

More information

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

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

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

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

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

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

M. Simkus:
"Fusion of Logic Programming and Description Logics";
Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 07-14-2009 - 07-17-2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); LNCS, Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 551 - 552.

More information

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

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

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

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

T. Eiter, M. Simkus:
"Bidirectional Answer Set Programs with Function Symbols";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA; 07-11-2009 - 07-17-2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 765 - 771.

More information

T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics with Transitive Roles";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 07-11-2009 - 07-17-2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 759 - 764.

More information

G. Ianni, T. Krennwallner, A. Martello, A. Polleres:
"Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regime";
Talk: 8th International Semantic Web Conference (ISWC 2009), Washington D.C., U.S.A.; 10-25-2009 - 10-29-2009; in: "8th International Semantic Web Conference (ISWC 2009)", A. Bernstein, D. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, K. Thirunarayan (ed.); Springer, 5823 (2009), ISBN: 978-3-642-04929-3; 310 - 327.

More information

T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics: The Knots Approach";
Keynote Lecture: International Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan (invited); 06-21-2009 - 06-24-2009; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514", H. Ono, M. Kanazawa, R. de Queiroz (ed.); Springer Lecture Notes in Computer Science, Heidelberg (2009), ISBN: 978-3-642-02260-9; 26 - 36.

More information

T. Eiter, G. Ianni, T. Krennwallner:
"Answer Set Programming: A Primer";
Talk: 5th International Summer School Reasoning Web 2009, Brixen-Bressanone, Italy (invited); 08-30-2009 - 09-04-2009; in: "5th International Summer School Reasoning Web 2009", S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt (ed.); Springer, 5689 (2009), ISBN: 978-3-642-03753-5; 40 - 110.

More information

T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Talk: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (invited); 09-16-2009 - 09-18-2009; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (ed.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; 18 - 42.

More information

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

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

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

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

T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Reasoning Using Knots";
Keynote Lecture: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar (invited); 11-22-2008 - 11-27-2008; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)", I. Cervesato, H. Veith, A. Voronkov (ed.); Lecture Notes in Computer Science, Springer, Volume 5330 (2008), ISBN: 978-3-540-89438-4; 377 - 390.

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

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

M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses";
Talk: National Conference on Artificial Intelligence (AAAI), Chicago, USA; 07-13-2008 - 07-17-2008; in: "23rd AAAI Conference on Artificial Intelligence", D. Fox, C.P. Gomes (ed.); AAAI Press, (2008), ISBN: 978-1-57735-368-3; 504 - 510.

T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs";
Talk: Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, U.S.A. (invited); 01-02-2008 - 01-04-2008; in: "Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM)", M. Kaminski, M. Truszczynski (ed.); (2008), 9 pages.

More information

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

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

T. Eiter, G. Ianni, T. Krennwallner, A. Polleres:
"Rules and Ontologies for the Semantic Web";
Talk: Fourth International Summer School Reasoning Web 2008, Venice, Italy (invited); 09-07-2008 - 09-11-2008; in: "Reasoning Web", C. Baroglio, P. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, S. Schaffert (ed.); Springer, 5224 (2008), ISBN: 978-3-540-85656-6; 1 - 53.

More information

T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic Horn-SHIQ";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Germany; 09-28-2008 - 10-01-2008; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 166 - 179.

M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Conjunctive Query Answering in SH using Knots";
Talk: International Workshop on Description Logics (DL), Dresden, Germany; 05-13-2008 - 05-16-2008; in: "Proceedings of the 21st International Workshop on Description Logics (DL2008)", F. Baader, C. Lutz, B. Motik (ed.); CEUR Workshop proceedings, 353 (2008), ISSN: 1613-0073; 11 pages.

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).

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.

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.

T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs.";
Talk: International Workshop on Description Logics (DL), Bressanone, Italy; 06-08-2007 - 06-10-2007; in: "Proceedings of the 2007 International Workshop on Description Logics (DL2007)", D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A. Turhan, S. Tessaris (ed.); CEUR Workshop Proceedings, 250 (2007), 259 - 266.

More information

M. Simkus, T. Eiter:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Yerevan, Armenia; 10-15-2007 - 10-19-2007; in: "Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007)", N Dershowitz, A. Voronkov (ed.); Springer Lecture Notes in Computer Science, 4790 (2007), ISBN: 978-3-540-75558-6; 514 - 530.

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.

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.

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.

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.

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.

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.

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

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

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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

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.

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.

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.

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.

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.

T. Eiter, M. Fink, J. Senko:
"A Tool for Answering Queries on Action Descriptions";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 473 - 476.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 124 - 137.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Talk: Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, Italy; 08-28-2006 - 08-29-2006; in: "Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006", U. Junker, W. Kiessling (ed.); (2006), 15 - 22.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Talk: European Conference on Artificial Intelligence, Riva del Garda, Italy; 08-29-2006 - 09-01-2006; in: "Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI'2006, Riva del Garda, Italy, August 29 -- September 1, 2006", G. Brewka, S. Coradeschi, A. Perini, P. Traverso (ed.); IOS Press, (2006), ISBN: 1-58603-642-4; 367 - 371.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); TU Clausthal, Institut fuer Informatik, TR IfI-06-04, Germany (2006), ISSN: 1860-8477; 353 - 360.

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

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

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

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.

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.

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.

G. Ianni, C. Panetta, F. Ricca:
"Specification of Assessment-Test Criteria through ASP Specifications";
Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 09-27-2005 - 09-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), 293 - 302.

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.

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.

T. Eiter, M. Fink, J. Senko:
"KMonitor -- A Tool for Monitoring Plan Execution in Action Theories";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral et al. (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 416 - 421.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
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)", L. Pack Kaelbling, A. Saffiotti (ed.); Professional Book Center, (2005), ISBN: 0-938075-93-4; 418 - 423.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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

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.

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.

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.

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

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.

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.

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.

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.

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.

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

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

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

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

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

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

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

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

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


Talks and Poster Presentations (without Proceedings-Entry)


F. Calimeri, M. Fink, S. Germano, A. Humenberger, G. Ianni, C. Redl, D. Stepanova, A. Tucci:
"AngryHEX: An Angry Birds-playing Agent based on HEX-Programs";
Poster: AngryBirds Competition 2014, Prague, Czech Republic; 08-20-2014 - 08-22-2014.

More information

F. Calimeri, M. Fink, S. Germano, G. Ianni, C. Redl, D. Stepanova, A. Wimmer:
"AngryHEX: An Angry Birds-playing Agent based on HEX-Programs";
Poster: AngryBirds Competition 2013, Beijing, China; 08-06-2013 - 08-09-2013.

More information

F. Lonsing, M. Seidl:
"The QBF Gallery 2013";
Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 07-09-2013.

F. Lonsing, M. Seidl:
"The QBF Gallery 2013";
Talk: 16th International Conference on Theory and Applications of Satisfiability Testing, Helsinki; 07-08-2013 - 07-12-2013.

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.

More information

T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.

More information

M. Simkus:
"Reasoning in Logic Programs with Function Symbols and Negation under the Stable Model Semantics";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.

M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Reasoning with knots";
Talk: Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko (invited); 07-09-2009.

More information

M. Simkus:
"Bidirectional Answer Set Programs with Function Symbols";
Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 12-11-2009.

More information

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.

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

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

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

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

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


Doctor's Theses (authored and supervised)


C. Redl:
"Answer Set Programming with External Sources: Algorithms and Efficient Evaluation";
Supervisor, Reviewer: T. Eiter, S. Woltran, G. Ianni; Institut für Informationssystems, 2014; oral examination: 05-28-2014.

More information

M. Simkus:
"Nonmonotonic Logic Programs with Function Symbols";
Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 06-02-2010.

More information


Diploma and Master Theses (authored and supervised)


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

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.

M. Simkus:
"Deciding Description Logics around SHIQ by Translation into Decidable Disjunctive Logic Programs";
Supervisor: T. Eiter; Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3, 2006; final examination: 06-23-2006.

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

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


Scientific Reports


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.

M. Ortiz de la Fuente, S. Rudolph, M. Simkus:
"Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-10-03, 2010; 18 pages.

M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-10-01; Report No. INFSYS RR 1843-10-01, 2010; 18 pages.

T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query answering in description logics with transitive roles";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-02, 2009; 32 pages.

More information

T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive Query Answering in the Description Logic SH using Knots";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-03, 2009; 37 pages.

More information

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.

T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-09, 2008; 17 pages.

G. Ianni, A. Martello, C. Panetta, G. Terracina:
"Efficiently querying RDF(S) ontologies with Answer Set Programming";
Report for Institut für Informationssysteme, TU Wien; Report No. INFSYS RR-1843-08-06, 2008; 32 pages.

U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Negation Normal Form";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-03, 2008; 44 pages.

M. Simkus, T. Eiter:
"FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-01, 2008; 62 pages.

T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs";
Report for Institut für Informationssysteme, TU Wien; Report No. INFSYS RR-1843-08-02, 2008; 38 pages.

More information

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.

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.

T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-06; 2006; 22 pages.

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

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.

F. Calimeri, G. Ianni:
"Template Programs for Disjunctive Logic Programming: An Operational Semantics";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-07; 2005; 27 pages.

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

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

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

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

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.

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

More information

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

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

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

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.

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

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

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



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!

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.