TU Wien Informatics

Hans Tompits

Ao.Univ.Prof. Mag.rer.nat. Dr.techn.

Research Focus

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

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2021

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

2018

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

2013

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

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

2008

2007

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

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

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

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

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.