TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Hans Tompits

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

Research Focus

  • Logic and Computation: 100%

Research Areas

  • computational logic, declarative logic programming, computational complexity, nonmonotonic reasoning, knowledge representation

About

Basic Research in logic-based Artificial Intelligence, computational Logic and logical Programming (Answer-Set Programming)

Roles

Contact

2020W

2021S

 

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