TU Wien Informatics

Overview
Services
Office of the Dean Coordination and Communication Communications IT Services
Institutes
Computer Engineering Information Systems Engineering Logic and Computation Visual Computing and Human-Centered Technology
Research Units
Algorithms and Complexity Automation Systems Business Informatics Compilers and Languages Computer Graphics Computer Vision Cyber-Physical Systems Databases and Artificial Intelligence Distributed Systems E-Commerce Embedded Computing Systems Formal Methods in Systems Engineering Human Computer Interaction Information and Software Engineering Knowledge-Based Systems Multidisciplinary Design and User Research Parallel Computing Pattern Recognition and Image Processing Security and Privacy Theory and Logic Visual Analytics

Research Unit Knowledge-Based Systems E192-03

Our major research topic are programming languages for knowledge, including how to represent knowledge in an understandable and intuitive way, and how to process it in an inferential manner, by manipulating chunks of knowledge in symbolic form.

Research Unit Knowledge-Based Systems

Contact

On this page

About People Activities

About

Our major research topic are programming languages for knowledge, including how to represent knowledge in an understandable and intuitive way, and how to process it in an inferential manner, by manipulating chunks of knowledge in symbolic form.

Our major research topic are programming languages for knowledge, including how to represent knowledge in an understandable and intuitive way, and how to process it in an inferential manner, by manipulating chunks of knowledge in symbolic form.

The goal of our research is to gain insight into these questions and to obtain fundamental results, to develop algorithms, and to build prototype implementations of tools for knowledge representation and reasoning.

To this end, we use methods from mathematics, theoretical computer science, and logic (formal analysis), engineering (algorithms and prototypes), as well as statistics and cognitive science (evaluation).

For more information, see our research area description.

Knowledge-Based Systems is part of the faculty’s Institute of Logic and Computation.

Uwe Egly
Uwe Egly

Associate Professor
Ao.Univ.Prof. DI Dr.

Thomas Eiter
Thomas Eiter

Head of Institute
O.Univ.Prof. DI Dr.

Maria Magdalena Ortiz de la Fuente
Maria Magdalena Ortiz de la Fuente

Assistant Professor
Asst.Prof. Dr. /MSc

Hans Tompits
Hans Tompits

Associate Professor
Ao.Univ.Prof. Mag. Dr.

Renate Robin Eilers
Renate Robin Eilers

PreDoc Researcher
MSc

Krisztina Fruzsa
Krisztina Fruzsa

PreDoc Researcher
MA

Sophie Grünbacher
Sophie Grünbacher

PreDoc Researcher
DI

Yazmin Angelica Ibanez Garcia
Yazmin Angelica Ibanez Garcia

PostDoc Researcher
Dr. /MSc

Rafael Peter David Kiesel
Rafael Peter David Kiesel

PreDoc Researcher
MSc

Davide Mario Longo
Davide Mario Longo

PreDoc Researcher
MSc

Sanja Lukumbuzya
Sanja Lukumbuzya

PreDoc Researcher
DI /BSc

Ana Alexandra Oliveira Da Costa
Ana Alexandra Oliveira Da Costa

PreDoc Researcher
MSc

Alexandra Pavlova
Alexandra Pavlova

PreDoc Researcher

Vaidyanathan Peruvemba Ramaswamy
Vaidyanathan Peruvemba Ramaswamy

PreDoc Researcher

Anna Rapberger
Anna Rapberger

PreDoc Researcher
MSc

Zeynep Gözen Saribatur Yaman
Zeynep Gözen Saribatur Yaman

PostDoc Researcher
Dr. /MSc

Peter Schüller
Peter Schüller

PostDoc Researcher
DI Dr. /Bakk.

Miroslav Stankovic
Miroslav Stankovic

PreDoc Researcher
BSc

Cornelis Lambertus Johannes Van Berkel
Cornelis Lambertus Johannes Van Berkel

PreDoc Researcher
MSc

Antonius Weinzierl
Antonius Weinzierl

PostDoc Researcher
Dipl.-Inf. Dr.

Eva Nedoma
Eva Nedoma

Administration

Matthias Schlögel
Matthias Schlögel

IT Services

2019W

 

2020

2019

2018

2017

  • Stream Reasoning / A. Mileo, M. Dao-Tran, T. Eiter, M. Fink / in: "Encyclopedia of Database Systems", L. Liu, M.T. M. Tamer (ed.); Springer Science+Business Media, 2017, (invited), ISBN: 9781461482666, 7 - 12
  • The Constraint Satisfaction Problem: Complexity and Approximability / S. Szeider, S. Ordyniak, S. Gaspers / in: "The Constraint Satisfaction Problem: Complexity and Approximability", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, ISBN: 978-3-95977-003-3, 137 - 157
  • LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46 / T. Eiter, D. Sands / EasyChair EPiC Series in Computing, 2017, ISSN: 2398-7340
  • Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017 / D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, D. Porello / CEUR-WS.org, 2017, ISSN: 1613-0073; 113 pages
  • IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1 / T. Eiter, D. Sands, G. Sutcliffe, A. Voronkov / EasyChair, 2017, ISSN: 2515-1762; 134 pages
  • Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016 / J. Z. Pan, D. Calvanese, T. Eiter, I. Horrocks, M. Kifer, F. Lin, Y. Zhao / Springer LNCS, 2017, ISBN: 978-3-319-49493-7; 259 pages
  • Managing Change in Graph-Structured Data Using Description Logics / S. Ahmetaj, M. Ortiz de la Fuente, D. Calvanese, M. Simkus / ACM Transactions on Computational Logic, 18 (2017), 4; 1 - 35
  • Preference-Based Inconsistency Management in Multi-Context Systems / T. Eiter, A. Weinzierl / Journal of Artificial Intelligence Research, 60 (2017), 347 - 424
  • Conformant planning as a case study of incremental QBF solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Annals of Mathematics and Artificial Intelligence, 80 (2017), 1; 21 - 45
  • Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis / B. Cuteri, C. Dodaro, F. Ricca, P. Schüller / Theory and Practice of Logic Programming, 17 (2017), 5-6; 780 - 799
  • Ticker: A system for incremental ASP-based stream reasoning / H. Beck, T. Eiter, C. Folie / in: "Theory and Practice of Logic Programming", Cambridge University Press, 2017, 744 - 763
  • Stream reasoning-based control of caching strategies in CCN routers / H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner, K. Schekotihin / in: "2017 IEEE International Conference on Communications (ICC)", IEEE Xplore Digital Library, 2017, ISBN: 978-1-4673-9000-2, 1 - 6
  • Expressive Stream Reasoning with Laser / H. Bazoobandi, H. Beck, J. Urbani / in: "The Semantic Web - ISWC 2017. 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I", Springer, LNCS, 2017, ISBN: 978-3-319-68287-7, 87 - 103
  • Techniques for Efficient Lazy-Grounding ASP Solving / L. Leutgeb, A. Weinzierl / 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.); (2017), 16 pages
  • Introducing Heuristics for Lazy-Grounding ASP Solving / R. Taupe, A. Weinzierl, G. Schenner / Talk: 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017), Espoo, Finnland; 2017-07-03; in: "1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017)", M. Gebser, M. Maratea, F. Ricca (ed.); (2017), 13 pages
  • On Equivalance and Inconsistency of Answer Set Programs with External Sources / C. Redl / Talk: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), San Francisco, California, USA; 2017-01-04 - 2017-01-09; in: "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)", (2017), 1222 - 1228
  • Explaining Inconsistency in Answer Set Programs and Extensions / C. Redl / Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Helsinki, Finland; 2017-07-03 - 2017-07-06; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)", (2017), 176 - 190
  • Number Restrictions on Transitive Roles in Description Logics with Nominals / V. Gutierrez-Basulto, Y.A. Ibanez Garcia, J. Jung / Talk: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), San Francisco, California USA; 2017-02-04 - 2017-02-09; in: "Proceeding of the 31st AAAI Conference on Artificial Intelligence", AAAI Press, (2017), 1121 - 1127
  • Number Restrictions on Transitive Roles in Description Logics with Nominals / Y.A. Ibanez Garcia, V. Gutierrez-Basulto, J. Jung / Talk: International Workshop on Description Logics (DL), Montpellier, France; 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", CEUR Workshop Proceedings, (2017)
  • On Query Answering in Description Logics with Number Restrictions on Transitive Roles / V. Gutierrez-Basulto, Y.A. Ibanez Garcia, J. Jung / Talk: International Workshop on Description Logics (DL), Montpellier, France; 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", (2017), 1 - 13
  • Answer Set Programs with Queries over Subprograms / C. Redl / Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Helsinki, Finland; 2017-07-03 - 2017-07-06; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)", Springer, Heidelberg (2017), 160 - 175
  • Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining / C. Redl / Talk: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), San Francisco, California, USA; 2017-01-04 - 2017-01-09; in: "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)", (2017), 1229 - 1235
  • Defeasible AceRules: A prototype / M. Diller, Adam Z. Wyner, H. Strass / Talk: Twelfth International Conference on Computational Semantics, Montpellier, Frankreich; 2017-09-19 - 2017-09-22; in: "Proceedings of the Twelfth International Conference on Computational Semantics (IWCS)", ACL anthology, W17-68 (2017)
  • Encoding monotonic multiset preferences using CI-nets / M. Diller, A. Hunter / Talk: 17. Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme, Stuttgart, Deutschland; 2017-03-06 - 2017-03-10; in: "Datenbanksysteme für Business, Technologie und Web (BTW 2017), 17. Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme (DBIS), Workshopband", (2017), ISBN: 978-3-88579-660-2; 169 - 180
  • Spatial Ontology-Mediated Query Answering over Mobility Streams / T. Eiter, J. Parreira, P. Schneider / Talk: The Semantic Web - 14th International Conference (ESWC 2017), Portoroz, Slovenia; 2017-05-28 - 2017-06-01; in: "The Semantic Web - 14th International Conference, ESWC 2017, Proceedings, Part I", E. Blomqvist, D. Maynard, A. Gangemi, R. Hoekstra, P. Hitzler, O. Hartig (ed.); Springer Lecture Notes in Computer Science LNCS, 10249 (2017), ISBN: 978-3-319-58067-8; 219 - 237
  • Event Detection and Diagnosis for Intelligent Transport Systems / P. Schneider / Talk: Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK; 2017-07-11 - 2017-07-15; in: "Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel: Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017)", N. Bassiliades, A. Bikakis, S. Constantini, E. Franconi, A. Giurca, R. Kontchakov, T. Patkos, F. Sadri, W. Van Woensel (ed.); CEUR Workshop Proceedings, 1875 (2017), ISSN: 1613-0073
  • Detecting Mobility Patterns using Spatial Query Answering over Streams / T. Eiter, J. Parreira, P. Schneider / Talk: Web Stream Processing workshop (WSP 2017) and International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017), Vienna; 2017-10-22; in: "Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017)", D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, D. Porello (ed.); CEUR Workshop Proceedings, 1936 (2017), ISSN: 1613-0073; 17 - 32
  • Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) / T. Eiter, Y. Shen / 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)", C. Sierra (ed.); (2017), ISBN: 978-0-9992411-0-3; 5060 - 5064
  • Streaming Multi-Context Systems / T. Eiter, M. Dao-Tran / 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)", C. Sierra (ed.); (2017), ISBN: 978-0-9992411-0-3; 1000 - 1007
  • The Potential of Interference-Based Proof Systems / M. Heule, B. Kiesl / Talk: The First International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop, Gothenburg, Sweden; 2017-08-06; in: "Proceedings of the First International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements", EPiC Series in Computing / EasyChair, (2017), 51 - 54
  • PRuning Through Satisfaction / M. Heule, B. Kiesl, M. Seidl, A. Biere / Talk: 13th International Haifa Verification Conference (HVC 2017), Haifa, Israel; 2017-11-13 - 2017-11-15; in: "Proceedings of the 13th Haifa Verification Conference", Lecture Notes in Computer Science / Springer, 10629 / Cham (2017), ISBN: 978-3-319-70388-6; 179 - 194
  • 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
  • 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
  • Querying with Vague Quantifiers Using Probabilistic Semantics / C. Fermüller, M. Hofer, M. Ortiz de la Fuente / Talk: 12th International Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017, London; 2017-06-21 - 2017-06-22; in: "Proceedings of Flexible Query Answering Systems 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017", H. Christiansen et al. (ed.); Springer, (2017), ISBN: 978-3-319-59692-1; 15 - 27
  • A Little Blocked Literal Goes a Long Way / B. Kiesl, M. Heule, M. Seidl / Talk: 20th International Conference on Theory and Applications of Satisfiability Testing - SAT 2017, Melbourne, Australien; 2017-08-28 - 2017-09-01; in: "Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing", S. Gaspers, T. Walsh (ed.); Lecture Notes in Computer Science (LNCS) / Springer, 10491 (2017), ISBN: 978-3-319-66262-6; 281 - 297
  • Short Proofs Without New Variables / M. Heule, B. Kiesl, A. Biere / Talk: CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden; 2017-08-06 - 2017-08-11; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings", L. de Moura (ed.); Springer, Lecture Notes in Computer Science / 10395 (2017), ISBN: 978-3-319-63046-5; 130 - 147
  • 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
  • Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report) / N. Labai, M. Homola, M. Ortiz de la Fuente / Talk: 30th International Workshop on Description Logics, Montpellier, France; 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13
  • Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming / L. Bajraktari, M. Ortiz de la Fuente, M. Simkus / Talk: 30th International Workshop on Description Logics, Montpellier, France (invited); 2017-07-18 - 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics", A. Artale, B. Glimm, R. Kontchakov (ed.); CEUR Workshop Proceedings, 1879 (2017), ISSN: 1613-0073; 1 - 13
  • Blending Lazy-Grounding and CDNL Search for Answer-Set Solving / A. Weinzierl / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Espoo, Finnland; 2017-07-03 - 2017-07-06; in: "Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017", M. Balduccini, T. Janhunen (ed.); Lecture Notes in Artificial Intelligence / Springer, 10377 (2017), ISBN: 978-3-319-61659-9; 191 - 204
  • DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL / F. Lonsing, U. Egly / Talk: CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden; 2017-08-06 - 2017-08-11; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings", Springer, Lecture Notes in Computer Science / 10395 (2017), ISBN: 978-3-319-63046-5; 371 - 384
  • Answer Set Programs with External Source Access: Integrated Evaluation and New Applications / T. Kaminski / Talk: Doctoral Consortium at the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-DC 2017), Helsinki, Finland; 2017-07-04 - 2017-07-06; in: "LPNMR 2017 Doctoral Consortium", M. De Vos (ed.); (2017), 17 - 22
  • A Unifying Principle for Clause Elimination in First-Order Logic / B. Kiesl, M. Suda / Talk: CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden; 2017-08-06 - 2017-08-11; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings", Springer, Lecture Notes in Computer Science / 10395 (2017), ISBN: 978-3-319-63046-5; 274 - 290
  • 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
  • Lazy-Grounding for Answer Set Programs with External Source Access / T. Eiter, T. Kaminski, A. Weinzierl / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017", C. Sierra (ed.); ijcai.org, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (2017), ISBN: 978-0-9992411-0-3; 1015 - 1022
  • Reactive Maintenance Policies over Equalized States in Dynamic Environments / Z. G. Saribatur, C. Baral, T. Eiter / Talk: 18th EPIA Conference on Artificial Intelligence (EPIA 2017), Porto; 2017-09-05 - 2017-09-08; in: "Proceedings of the 18th EPIA Conference on Artificial Intelligence", Springer LNCS/LNAI, 10423 (2017), ISBN: 978-3-319-65340-2; 709 - 723
  • Answer Set Programming with External Source Access / T. Eiter, T. Kaminski, C. Redl, P. Schüller, A. Weinzierl / Talk: 13th Reasoning Web Summer School (RW 2017), London, United Kingdom (invited); 2017-07-07 - 2017-07-11; in: "Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures", G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, S. Staab (ed.); Springer, 10370 (2017), ISBN: 978-3-319-61032-0; 204 - 275
  • Conflict-driven ASP Solving with External Sources and Program Splits / C. Redl / 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)", AAAI Press, (2017), 1239 - 1246
  • Integrating Answer Set Programming with Procedural Languages / J. Rath, C. Redl / Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Paris, France; 2017-01-16 - 2017-01-17; in: "Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017)", (2017), ISBN: 978-3-319-51675-2; 50 - 67
  • Extending Answer Set Programs with Interpreted Functions as First-class Citizens / C. Redl / Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Paris, France; 2017-01-16 - 2017-01-17; in: "Proceedings of the Nineteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2017)", (2017), 68 - 85

2016

2015

  • Preference-Based Diagnosis Selection in Multi-Context Systems / T. Eiter, M. Fink, A. Weinzierl / in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation", 9060; T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); Springer International Publishing Switzerland, 2015, ISBN: 978-3-319-14726-0, 233 - 248
  • A Model Building Framework for {ASP} with External Computations / T. Eiter, I. Giovambattista, M. Fink, C. Redl, P. Schüller / Theory and Practice of Logic Programming, 16 (2015), 4; 418 - 464
  • Distributed Evaluation of Nonmonotonic Multi-Context Systems / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Journal of Artificial Intelligence Research, 52 (2015), 543 - 600
  • Intra- and interdiagram consistency checking of behavioral multiview models / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Computer Languages, Systems and Structures, 44 (2015), Part A; 72 - 88
  • Exact location of the phase transition for random (1,2)-QSAT / N. Creignou, H. Daude, U. Egly, R. Rossignol / RAIRO Informatique theorique et Applications / Theoretical Informatics and Applications, 49 (2015), 1; 23 - 45
  • Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas / M. Diller, J. P. Wallner, S. Woltran / Argument & Computation, 6 (2015), 2; 149 - 177
  • Clause Elimination for SAT and QSAT / M. Heule, M. Järvisalo, F. Lonsing, M. Seidl, A. Biere / Journal of Artificial Intelligence Research, 53 (2015), 127 - 168
  • Dual-normal logic programs - the forgotten class / J. Fichte, M. Truszczynski, S. Woltran / Theory and Practice of Logic Programming, 15 (2015), 495 - 510
  • Backdoors to tractable answer-set programming / J. Fichte, S. Szeider / Artificial Intelligence, 220 (2015), 64 - 103
  • Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Journal of Artificial Intelligence Research, 53 (2015), 315 - 374
  • Inter-organizational success factors: a cause and effect model / W. Krathu, C. Pichler, G. Xiao, H. Werthner, J. Neidhardt, M. Zapletal, C. Huemer / Information Systems and E-Business Management, 15 (2015), 3; 553 - 593
  • From Classical to Consistent Query Answering under Existential Rules / T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari / in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence", AAAI Press, 2015, ISBN: 978-1-57735-698-1, 1546 - 1552
  • Reasoning with Forest Logic Programs Using Fully Enriched Automata / C. Feier, T. Eiter / in: "Joint Ontology Workshops 2015", O. Papini et al. (ed.); CEUR-WS.org, 2015, ISSN: 1613-0073, 10 pages
  • Ontology-Mediated Query Answering with Data-Tractable Description Logics / M. Bienvenu, M. Ortiz de la Fuente / Keynote Lecture: Reasoning Web, International Summer School, Berlin, Germany (invited); 2015-07-31 - 2015-08-04; in: "Reasoning Web. Web Logic Rules - 11th International Summer School", W. Faber, A. Paschke (ed.); Springer LNCS, 9203 (2015), ISBN: 978-3-319-21767-3; 218 - 307
  • Bilissel Fabrikalarda Nedensel Icra Takibi / E. Erdem, V. Patoglu, Z. G. Saribatur / Poster: Türkiye Robotbilim Konferansı (ToRK), Istanbul, Türkei; 2015-10-26 - 2015-10-27; in: "2. Türkiye Robotbilim Konferansı (ToRK), Istanbul", (2015), 2 pages
  • Variable-Deletion Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Poster: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA; 2015-01-25 - 2015-01-30; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA", B. Bonet, S. Koenig (ed.); AAAI Press, (2015), 3305 - 3312
  • Introduction to the 31st International Conference on Logic Programming Special Issue / T. Eiter, F. Toni / Theory and Practice of Logic Programming, 15 (2015), Special Issue 4-5; 413 - 418
  • Constraint Answer Set Programming based on HEX-Programs / A. De Rosis, T. Eiter, C. Redl, F. Ricca / Talk: 8th Workshop on Answer Set Programming and Other Computing Paradigms, Cork, Irland; 2015-08-31; in: "Proceedings of the 8th Workshop on Answer Set Programming and Other Computing Paradigms", (2015), 15 pages
  • 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
  • From Classical to Consistent Query Answering under Existential Rules / T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", CEUR Workshop Proceedings, 1378 (2015), 6 pages
  • Answer Set Application Programming: a Case Study on Tetris / P. Schüller, A. Weinzierl / 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.); CEUR Workshop Proceedings, 1433 (2015), ISSN: 1613-0073; Paper ID 6, 14 pages
  • DL-Lite and Conjunctive Queries Extended by Optional Matching / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), Paper ID 4, 4 pages
  • Towards Reconciling SPARQL and Certain Answers (Extended Abstract) / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 4, 6 pages
  • LARS: A Logic-based Framework for Analyzing Reasoning over Streams / H. Beck, M. Dao-Tran, T. Eiter, M. Fink / Talk: AAAI Conference, Austin, Texas, USA; 2015-01-25 - 2015-01-30; in: "Proceedings of the 29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA.", (2015), 1431 - 1438
  • Answer Update for Rule-based Stream Reasoning / H. Beck, M. Dao-Tran, T. Eiter / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentinia.; 2015-07-25 - 2015-07-31; in: "Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia.", (2015), 2741 - 2747
  • Towards Comparing RDF Stream Processing Semantics / M. Dao-Tran, H. Beck, T. Eiter / Talk: Workshop on High-Level Declarative Stream Processing (HiDeSt), Dresden; 2015-09-22; in: "1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.", (2015), 15 - 27
  • Diagnostic Reasoning for Robotics Using Action Languages / E. Erdem, V. Patoglu, Z. G. Saribatur / Talk: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015, Lexington, Kentucky, USA; 2015-09-27 - 2015-09-30; in: "Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer, Lecture Notes in Computer Science Volume 9345 (2015), ISBN: 978-3-319-23263-8; 317 - 331
  • Towards Enriching CQELS with Complex Event Processing and Path Navigation / M. Dao-Tran, D. Le-Phuoc / Talk: Workshop on High-Level Declarative Stream Processing (HiDeSt), Dresden, Germany; 2015-09-22; in: "Towards Enriching CQELS with Complex Event Processing and Path Navigation", (2015), 15 - 27
  • Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs / V. Balabanov, J. Jiang, M. Janota, M. Widl / Talk: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA; 2015-01-25 - 2015-01-30; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.", B. Bonet, S. Koenig (ed.); AAAI Press, (2015), 3694 - 3701
  • DEBS Grand Challenge: RDF Stream Processing with CQELS Framework for Real-time Analysis / D. Le-Phuoc, M. Dao-Tran, A. Le Tuan, M. Nguyen Duc, M. Hauswirth / Talk: 9th International Conference on Distributed Event-Based Systems (DEBS 2015), Oslo, Norway; 2015-06-29 - 2015-07-03; in: "DEBS Grand Challenge: RDF Stream Processing with CQELS Framework for Real-time Analysis", (2015), ISBN: 978-1-4503-3286-6; 285 - 292
  • Collecting, Integrating, Enriching and Republishing Open City Data as Linked Data / S. Bischof, C. Martin, A. Polleres, P. Schneider / Talk: International Semantic Web Conference (ISWC), Bethlehem, PA, USA; 2015-10-11 - 2015-10-15; in: "The Semantic Web - ISWC 2015. Part II", M. Arenas et al. (ed.); (2015), ISBN: 978-3-319-25010-6; 57 - 75
  • Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Talk: 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015, Singapur; 2015-05-18 - 2015-05-20; in: "Theory and Applications of Models of Computation, 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings", R. Jain, S. Jain, F. Stephan (ed.); Springer, Lecture Notes in Computer Science Volume 9076 (2015), ISBN: 978-3-319-17141-8; 428 - 440
  • Reasoning with Forest Logic Programs Using Fully Enriched Automata / C. Feier, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lexington, KY, USA; 2015-09-27 - 2015-09-30; in: "Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer, (2015), ISBN: 978-3-319-23263-8; 346 - 353
  • An extension-based approach to belief revision in abstract argumentation / M. Diller, A. Haret, T. Linsbichler, St. Rümmele, S. Woltran / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2926 - 2932
  • Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API / F. Lonsing, U. Egly / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, Texas, USA; 2015-09-24 - 2015-09-27; in: "Lecture Notes in Computer Science", Springer, 9340 (2015), 191 - 198
  • Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination / F. Lonsing, F. Bacchus, A. Biere, U. Egly, M. Seidl / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 2015-11-24 - 2015-11-28; in: "Lecture Notes in Computer Science", Springer, 9450 (2015), 418 - 433
  • Automated Benchmarking of Incremental SAT and QBF Solvers / U. Egly, F. Lonsing, J. Oetsch / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 2015-11-24 - 2015-11-28; in: "Lecture Notes in Computer Science", Springer, 9450 (2015), 178 - 186
  • Linking Open-World Knowledge Bases Using Nonmonotonic Rules / M. Simkus, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lexington, KY, USA; 2015-09-27 - 2015-09-30; in: "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR 2015)", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer LNCS, 9345 (2015), ISBN: 978-3-319-23263-8; 294 - 308
  • A Rule-based Framework for Creating Instance Data from OpenStreetMap / T. Eiter, J. Z. Pan, P. Schneider, M. Simkus, G. Xiao / Talk: International Conference on Web Reasoning and Rule Systems (RR), Berlin, Germany; 2015-08-04 - 2015-08-05; in: "Web Reasoning and Rule Systems - 9th International Conference, RR 2015", B. ten Cate, A. Mileo (ed.); Springer LNCS, 9209 (2015), ISBN: 978-3-319-22001-7; 93 - 104
  • The Combined Complexity of Reasoning with Closed Predicates in Description Logics / N. Ngo, M. Ortiz de la Fuente, M. Simkus / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), ISSN: 1613-0073; 249 - 261
  • Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", CEUR Workshop Proceedings, 1378 (2015), ISSN: 1613-0073; 162 - 171
  • Towards Reconciling SPARQL and Certain Answers / S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek / Talk: 24th International Conference on World Wide Web, WWW 2015, Florence; 2015-05-18 - 2015-05-22; in: "Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015", A. Gangemi, L. Stefano, A. Panconesi (ed.); ACM, (2015), ISBN: 978-1-4503-3469-3; 23 - 33

2014

2013

  • Workshop Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-13 September 15, 2013, La Corunna, Spain / M. Fink, M. Homola, A. Mileo, I. Varzinczak / Online Publication, held at the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2013, 49 pages
  • MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123 / A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds / IOS Press, 2013, ISSN: 0169-2968
  • Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey / M. Fink, Y. Lierler / Computing Research Repository (CoRR), arXiv:1312.7422v1, 2013, 175 pages
  • Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected Papers / H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf / Springer, LNAI, 2013, ISBN: 978-3-642-41523-4
  • Parameterized Complexity Results for Exact Bayesian Network Structure Learning / S. Ordyniak, St. Szeider / Journal of Artificial Intelligence Research, 46 (2013), 263 - 302
  • Satisfiability of acyclic and almost acyclic CNF formulas / S. Ordyniak, D. Paulusma, St. Szeider / Theoretical Computer Science, 481 (2013), 85 - 99
  • Reasoning about Explanations for Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Journal of Artificial Intelligence Research, 48 (2013), 635 - 669
  • Marco Cadoli's Work on Nonmonotonic Reasoning / T. Eiter, G. Gottlob / Intelligenza Artificiale, 7 (2013), 1; 7 - 17
  • Finding Similar/Diverse Solutions in Answer Set Programming / T. Eiter, E. Erdem, H. Erdogan, M. Fink / Theory and Practice of Logic Programming, 13 (2013), 3; 303 - 359
  • A Model-Theoretic Approach to Belief Change in Answer Set Programming / J. Delgrande, T. Schaub, H. Tompits, S. Woltran / ACM Transactions on Computational Logic, 14 (2013), 2
  • Model-Based Recasting in Answer-Set Programming / T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran / Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104
  • Unification and Projectivity in De Morgan and Kleene Algebras / S. Bova, L. Cabrer / Order, - (2013), 1 - 29
  • Generic Expression Hardness Results for Primitive Positive Formula Comparison / S. Bova, H. Chen, M. Valeriote / Information and Computation, Vol. 222 (2013), 108 - 120
  • SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging Support / P. Busoniu, J. Oetsch, J. Puehrer, P. Skocovsky, H. Tompits / in: "Theory and Practice of Logic Programming, Volume 13, Special Issue 4-5 (29th International Conference on Logic Programming)", Cambridge University Press, 2013, 657 - 673
  • HEX-Programs with Nested Program Calls / T. Eiter, T. Krennwallner, C. Redl / in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.); Springer, Heidelberg, 2013, ISBN: 978-3-642-41523-4, 269 - 278
  • Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs / C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits / in: "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011 Revised Selected Papers", Springer, LNAI, 2013, 325 - 344
  • The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report / J. Oetsch, J. Puehrer, H. Tompits / in: "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers", Springer, LNAI, 2013, 305 - 324
  • Guided Merging of Sequence Diagrams / M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, H. Tompits / in: "Software Language Engineering", Lecture Notes in Computer Science Volume 7745, Springer, 2013, ISSN: 0302-9743, 164 - 183
  • Solution extraction from long-distance resolution proofs / U. Egly, M. Widl / Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 2013-07-09; in: "International Workshop on Quantified Boolean Formulas 2013 Informal Workshop Report", M. Seidl, F. Lonsing (ed.); (2013), 10 pages
  • Defeasibility in contextual reasoning with CKR / L. Bozzato, T. Eiter, L. Serafini / Talk: 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013), Corunna, Spanien; 2013-09-15; in: "Working Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013)", (2013), 13 pages
  • Grounding HEX-Programs with Expanding Domains / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Talk: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Corunna, Spain; 2013-09-15; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)", D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (ed.); Corunna, Spain (2013), 13 pages
  • Learning Non-Ground Rules for Answer-Set Solving / A. Weinzierl / Talk: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Corunna, Spain; 2013-09-15; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)", D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (ed.); Corunna, Spain (2013), 13 pages
  • Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation / F. Lonsing, U. Egly, A. Van Gelder / Talk: 16th International Conference on Theory and Applications of Satisfiability Testing, Helsinki; 2013-07-08 - 2013-07-12; in: "Lecture Notes in Computer Science", (2013), ISBN: 978-3-642-39070-8; 100 - 115
  • Strong Backdoors to Bounded Treewidth SAT / S. Gaspers, St. Szeider / Talk: FOCS, the Annual Symposium on Foundations of Computer Science, Berkeley, CA, USA; 2013-10-27 - 2013-10-29; in: "Proceedings FOCS 2013, The 54th Annual Symposium on Foundations of Computer Science", O. Reingold (ed.); IEEE, (2013), 489 - 498
  • Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving / U. Egly, F. Lonsing, M. Widl / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa; 2013-12-15 - 2013-12-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning", Springer, 8312 (2013), ISBN: 978-3-642-45220-8; 291 - 308
  • HEX Semantics via Approximation Fixpoint Theory / C. Antic, T. Eiter, M. Fink / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Corunna, Spanien; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); (2013), ISBN: 978-3-642-40563-1; 102 - 115
  • AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases / F. Calimeri, M. Fink, S. Germano, G. Ianni, C. Redl, A. Wimmer / Talk: National Workshop and Prize on Popularize Artificial Intelligence, Turin, Italy; 2013-12-05; 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
  • ActHEX: Implementing HEX Programs with Action Atoms / M. Fink, S. Germano, G. Ianni, C. Redl, P. Schüller / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 317 - 322
  • Towards Query Answering in Relational Multi-Context Systems / R. Barilaro, M. Fink, F. Ricca, G. Terracina / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 168 - 173
  • Tractable Queries for Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 768 - 774
  • Conjunctive Regular Path Queries in Lightweight Description Logics / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 2013-08-03 - 2013-08-09; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 761 - 767
  • Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin / M. Frühstück, J. Puehrer, G. Friedrich / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 2013, Proceedings", Springer, Heidelberg (2013), 323 - 328
  • Tractability Guarantees for DL-Lite Query Answering / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 41 - 52
  • Evolving Graph Databases under Description Logic Constraints / D. Calvanese, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Ulm, Germany; 2013-07-23 - 2013-07-26; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 120 - 131
  • On Axiomatic Rejection for the Description Logic ALC / G. Berger, H. Tompits / Talk: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, Deutschland; 2013-09-11 - 2013-09-13; in: "Kiel Declarative Programming Days 2013", M. Hanus, R. Rocha (ed.); (2013), 78 - 92
  • Data Repair of Inconsistent DL-programs / T. Eiter, M. Fink, D. Stepanova / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence", AAAI Press, (2013), ISBN: 978-1-57735-633-2; 869 - 876
  • Eliminating Nonmonotonic DL-atoms in Description Logic Programs / Y. Wang, J. You, L. Yuan, Y. Shen, T. Eiter / Talk: International Conference on Web Reasoning and Rule Systems (RR), Mannheim, Deutschland; 2013-07-27 - 2013-07-29; in: "Proc. 7th International Conference on Web Reasoning and Rule Systems (RR 2013)", D. Lembo, W. Faber (ed.); (2013), ISBN: 978-3-642-39665-6; 168 - 182
  • Variable Dependencies and Q-Resolution / F. Slivovsky, St. Szeider / Talk: International Workshop on Quantified Boolean Formulas, Helsinki, Finland; 2013-06-09; in: "International Workshop on Quantified Boolean Formulas 2013 Informal Workshop Report", F. Lonsing, M. Seidl (ed.); (2013), 22 - 29
  • FO Model Checking of Interval Graphs / R. Ganian, P. Hlinený, D. Král, J. Obdrálek, J. Schwartz, J. Teska / Talk: International Colloquium on Automata, Languages and Programming (ICALP), Riga, Latvia; 2013-07-08 - 2013-07-12; in: "Automata, Languages, and Programming - 40th International Colloquium", Springer / LNCS, 7966 (2013), ISBN: 978-3-642-39211-5; 250 - 262
  • Revisiting Space in Proof Complexity: Treewidth and Pathwidth / M. Müller, St. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Klosterneuburg, Austria; 2013-08-26 - 2013-08-30; in: "The 38th International Symposium on Mathematical Foundations of Computer Science, Proceedings", K. Chatterjee, J. Sgall (ed.); Springer / LNCS, 8087 (2013), ISBN: 978-3-642-40312-5; 704 - 716
  • Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes / R. Ganian, J. Obdrálek / Talk: International Workshop on Combinatorial Algorithms (IWOCA), Rouen, France; 2013-07-10 - 2013-07-12; in: "Combinatorial Algorithms - 24th International Workshop", T. Lecroq, L. Mouchard (ed.); Springer / LNCS, 8288 (2013), ISBN: 978-3-642-45277-2; 164 - 177
  • Model Counting for Formulas of Bounded Clique-Width / F. Slivovsky, St. Szeider / Talk: International Symposium on Algorithms and Computation (ISAAC), Hong Kong; 2013-12-16 - 2013-12-18; in: "Algorithms and Computation: 24th International Symposium, ISAAC 2013", L. Cai, S. Cheng, T. Lam (ed.); Springer / LNCS, 8283 (2013), ISBN: 978-3-642-45029-7; 677 - 687
  • Backdoors to q-Horn / S. Gaspers, S. Ordyniak, M. Ramanujan, S. Saurabh, St. Szeider / Talk: Symposium on Theoretical Aspects of Computer Science (STACS), Kiel, Germany; 2013-02-27 - 2013-03-02; in: "30th Symposium on Theoretical Aspects of Computer Science (STACS´13)", N. Portier, T. Wilke (ed.); Dagstuhl Publishing, 20 (2013), ISBN: 978-3-939897-50-7; 67 - 79
  • Model Counting for CNF Formulas of Bounded Modular Treewidth / D. Paulusma, F. Slivovsky, St. Szeider / Talk: Symposium on Theoretical Aspects of Computer Science (STACS), Kiel, Germany; 2013-02-27 - 2013-03-02; in: "30th Symposium on Theoretical Aspects of Computer Science (STACS´13)", N. Portier, T. Wilke (ed.); Dagstuhl Publishing, 20 (2013), ISBN: 978-3-939897-50-7; 55 - 66
  • Parameterized Complexity and Kernel Bounds for Hard Planning Problems / C. Bäckström, P. Jonsson, S. Ordyniak, St. Szeider / Talk: Conference on Algorithms and Complexity, Barcelona, Spain; 2013-05-22 - 2013-05-24; in: "Algorithms and Complexity, 8th International Conference, CIAC 2013, Proceedings.", P. Spirakis, M. Serna (ed.); Springer / LNCS, 7878 (2013), ISBN: 978-3-642-38232-1; 13 - 24
  • Upper and Lower Bounds for Weak Backdoor Set Detection / N. Misra, S. Ordyniak, V. Raman, St. Szeider / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finland; 2013-07-08 - 2013-07-12; in: "Theory and Applications of Satisfiability Testing - SAT 2013", M. Järvisalo, A. Van Gelder (ed.); Springer / LNCS, 7962 (2013), ISBN: 978-3-642-39070-8; 394 - 402
  • A SAT Approach to Clique-Width / M. Heule, St. Szeider / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finland; 2013-07-08 - 2013-07-12; in: "Theory and Applications of Satisfiability Testing - SAT 2013", M. Järvisalo, A. Van Gelder (ed.); Springer / LNCS, 7962 (2013), ISBN: 978-3-642-39070-8; 318 - 334
  • Local Backbones / R. de Haan, I. Kanj, St. Szeider / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finland; 2013-07-08 - 2013-07-12; in: "Theory and Applications of Satisfiability Testing - SAT 2013", M. Järvisalo, A. Van Gelder (ed.); LNCS / Springer, 7962 (2013), ISBN: 978-3-642-39070-8; 377 - 393
  • Meta-kernelization with Structural Parameters / R. Ganian, F. Slivovsky, St. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Klosterneuburg, Austria; 2013-08-26 - 2013-08-30; in: "The 38th International Symposium on Mathematical Foundations of Computer Science, Proceedings", K. Chatterjee, J. Sgall (ed.); Springer / LNCS, 8087 (2013), ISBN: 978-3-642-40312-5; 457 - 468
  • On the Subexponential Time Complexity of CSP / I. Kanj, St. Szeider / Talk: AAAI Conference, Bellevue, WA, USA; 2013-07-14 - 2013-07-18; 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; 459 - 465
  • Backdoors to Normality for Disjunctive Logic Programs / J. Fichte, St. Szeider / Talk: AAAI Conference, Bellevue, WA, USA; 2013-07-14 - 2013-07-18; 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
  • Parameterized Complexity Results for Plan Reuse / R. de Haan, A. Roubickova, St. Szeider / Talk: AAAI Conference, Bellevue, WA, USA; 2013-07-14 - 2013-07-18; 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; 224 - 231
  • Backdoors to Abduction / A. Pfandler, St. Rümmele, St. Szeider / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 1046 - 1052
  • Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Talk: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, USA; 2013-10-01; in: "Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR Workshop Proceedings, Vol-1069 (2013), ISSN: 1613-0073; 31 - 40
  • VCWC: A Versioning Competition Workflow Compiler / G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238
  • Liberal Safety for Answer Set Programs with External Sources / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Talk: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 2013-07-14 - 2013-07-18; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", M. desJardins, M. Littman (ed.); AAAI Press, Menlo Park (2013), 267 - 275
  • Lightweight Spatial Conjunctive Query Answering Using Keywords / T. Eiter, T. Krennwallner, P. Schneider / Talk: 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France; 2013-05-26 - 2013-05-30; in: "10th Extended Semantic Web Conference (ESWC 2013)", P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (ed.); Springer, 7882 (2013), ISBN: 978-3-642-38287-1; 243 - 258

2012

  • The Added Value of Argumentation / S. Modgil, F. Toni, F. Bex, I. Bratko, C. I. Chesnevar, W. Dvorak, M. A. Falappa, X. Fan, S. Gaggl, A. J. Garcia, M. P. Gonzalez, Th. F. Gordon, J. Leite, M. Mozina, Ch. Reed, G. Simari, St. Szeider, P. Torroni, S. Woltran / in: "Agreement Technologies", S. Ossowski (ed.); Springer Netherlands, Dordrecht, 2012, ISBN: 978-94-007-5582-6, 357 - 403
  • Simulating Production Rules Using ACTHEX / T. Eiter, C. Feier, M. Fink / in: "Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz", E. Erdem, J. Lee, Y. Lierler, D. Pearce (ed.); Springer, LNCS 7265, 2012, (invited), ISBN: 978-3-642-30742-3, 211 - 228
  • Backdoors to Satisfaction / S. Gaspers, St. Szeider / in: "The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday", H.L. Bodlaender, R. Downey, F. Fomin, D. Marx (ed.); Springer LNCS, Berlin / Heidelberg, 2012, ISBN: 978-3-642-30890-1, 287 - 317
  • Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary / M. Fink, Y. Lierler / Computing Research Repository (CoRR), arXiv:1301.2215v1, 2012, 177 pages
  • Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 August 28, 2012 Montpellier, France / M. Fink, M. Homola, A. Mileo, I. Varzinczak / Online Publication, held at the European Conference on Artificial Intelligence (ECAI), 2012, 66 pages
  • Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 / G. Brewka, T. Eiter, S. McIlraith / AAAI Press, Menlo Park, California, U.S.A., 2012, ISBN: 978-1-57735-560-1; 676 pages
  • Reasoning Web: Semantic Technologies for Advanced Query Answering / T. Eiter, T. Krennwallner / Springer LNCS 7487, Heidelberg, 2012, ISBN: 978-3-642-33157-2; 386 pages
  • A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set / S. Gaspers, M. Liedloff / Discrete Mathematics & Theoretical Computer Science, Vol. 14 (2012), No. 1; 29 - 42
  • Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough / R. Pichler, St. Rümmele, St. Szeider, S. Woltran / Theory and Practice of Logic Programming, FirstView Article (2012), July; 1 - 24
  • Editing Graphs to Satisfy Degree Constraints: A Parameterized Approach / L. Mathieson, St. Szeider / Journal of Computer and System Sciences, Vol. 78 (2012), No. 1; 179 - 191
  • On Graph Contractions and Induced Minors / P. Hof, M. Kaminski, D. Paulusma, St. Szeider, D. Thilikos / Discrete Applied Mathematics, Vol. 160 (2012), No. 6; 799 - 809
  • Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming / G. Gutin, Ej Kim, A. Soleimanfallah, St. Szeider, A. Yeo / Algorithmica, Vol. 64 (2012), No. 1; 112 - 125
  • Detection of Windows in Facades Using Image Processing Algorithms / M. Miljanovic, U. Egly, T. Eiter / Indian Journal of Computer Science and Engineering, 3 (2012), 4; 539 - 547
  • On Independent Sets and Bicliques in Graphs / S. Gaspers, D. Kratsch, M. Liedloff / Algorithmica, Vol. 62 (2012), No. 3-4; 637 - 658
  • A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between / S. Gaspers, G. Sorkin / Journal of Computer and System Sciences, Vol. 78 (2012), No. 1; 305 - 335
  • Parameterizing by the Number of Numbers / M. R. Fellows, S. Gaspers, F. A. Rosamond / Theory of Computing Systems, Volume 50 (2012), No. 4; 675 - 693
  • The Answer Set Programming Competition / F. Calimeri, G. Ianni, T. Krennwallner, F. Ricca / AI Magazine, 33 (2012), 4; 114 - 118
  • Mapping between RDF and XML with XSPARQL / S. Bischof, D. Decker, T. Krennwallner, A. Polleres / LNCS Journal on Data Semantics, 1 (2012), 3; 147 - 185
  • Conflict-driven ASP solving with external sources / T. Eiter, M. Fink, T. Krennwallner, C. Redl / Theory and Practice of Logic Programming, 12 (2012), 4-5; 659 - 679
  • Augmenting Tractable Fragments of Abstract Argumentation / W. Dvorak, S. Ordyniak, St. Szeider / Artificial Intelligence, 186 (2012), 186; 157 - 173
  • Conjunctive query answering in the description logic SH using knots / T. Eiter, M. Ortiz de la Fuente, M. Simkus / Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85
  • Comparing Inconsistency Resolutions in Multi-Context Systems / A. Weinzierl / in: "New Directions in Logic, Language and Computation - ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers", D. Lassiter, M. Slavkovik (ed.); Springer, LNCS, Berlin Heidelberg, 2012, ISBN: 978-3-642-31466-7, 158 - 174
  • The Good, the Bad, and the Odd: Cycles in Answer-Set Programs / J. Fichte / 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
  • 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
  • Eliminating Unfounded Set Checking for HEX-Programs / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Hungary; 2012-09-24; in: "Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary", M. Fink, Y. Lierler (ed.); CoRR - Computing Research Repository, arXiv:1301.1390v1 (2012), 15 pages
  • Semantically Enriched Multi-Modal Routing / T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub / Talk: 19th ITS World Congress (ITS World 2012), Vienna, Austria; 2012-10-22 - 2012-10-26; in: "19th ITS World Congress (ITS World 2012)", V. Blervaque, R. Pfliegl (ed.); ERTICO-ITS Europe, Brussels (2012), Paper ID EU-00427, 10 pages
  • 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
  • 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
  • Inconsistency Managment for Traffic Regulations / H. Beck, T. Eiter, T. Krennwallner / Talk: The AAAI 2012 Workshop on Semantic Cities, Toronto, Canada; 2012-07-23; in: "The AAAI 2012 Workshop on Semantic Cities", B. Srivastava, F. Lecue, A. Joshi (ed.); AAAI Press, Technical Report WS-12-13 (2012), ISBN: 978-1-57735-578-6; Paper ID 1, 6 pages
  • 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
  • Resolution-Based Certificate Extraction for QBF / A. Niemetz, M. Preiner, F. Lonsing, M. Seidl, A. Biere / Talk: Int. Conference on Theory and Applications of Satisfiability Testing, Trento; 2012-06-17 - 2012-06-20; in: "Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)", Springer LNCS, 7317 (2012), ISBN: 978-3-642-31611-1; 430 - 435
  • 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
  • Reasoning and Query Answering in Description Logics / M. Ortiz de la Fuente, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 1 - 53
  • Answer Set Programming with External Sources / C. Redl / Talk: 28th International Conference on Logic Programming Doctoral Consortium, Budapest, Hungary; 2012-09-04; in: "Technical Communications of the 28th International Conference on Logic Programming", A. Dovier, Vitor Costa (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 7 / Dagstuhl, Germany (2012), ISBN: 978-3-939897-17-0; 469 - 475
  • On Finding Optimal Polytrees / S. Gaspers, M. Koivisto, M. Liedloff, S. Ordyniak, St. Szeider / Talk: AAAI Conference, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the 26th Conference on Artificial Intelligence (AAAI 2012)", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), 750 - 756
  • Don´t Be Strict in Local Search! / S. Gaspers, Ej Kim, S. Ordyniak, S. Saurabh, St. Szeider / Talk: AAAI Conference, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the 26th Conference on Artificial Intelligence (AAAI 2012)", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), 486 - 492
  • Abstract Argumentation via Monadic Second Order Logic / W. Dvorak, St. Szeider, S. Woltran / Talk: International Conference on Scalable Uncertainty Management (SUM), Marburg, Germany; 2012-09-17 - 2012-09-19; in: "Proceedings of Sixth International Conference on Scalable Uncertainty Management (SUM 2012)", E. Hüllermeier, S. Link, T. Fober, B. Seeger (ed.); Lecture Notes in Computer Science / Springer, 7520 (2012), ISBN: 978-3-642-33361-3; 85 - 98
  • The Complexity of Planning Revisited - A Parameterized Analysis / C. Bäckström, Y. Chen, P. Jonsson, S. Ordyniak, St. Szeider / Talk: AAAI Conference, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the 26th Conference on Artificial Intelligence (AAAI 2012)", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), 1735 - 1741
  • Complexity of logic-based argumentation in Schaefer's framework / U. Egly, N. Creignou, J. Schmidt / Talk: COMMA - International Conference on Computational Models of Argument, Wien; 2012-09-10 - 2012-09-12; in: "Computational Models of Argument", B. Verheij, St. Szeider, S. Woltran (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications, Vol 245 (2012), ISBN: 978-1-61499-110-6; 237 - 248
  • A Framework for the Specification of Random SAT and QSAT Formulas / N. Creignou, U. Egly, M. Seidl / 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, Heidelberg (2012), ISBN: 978-3-642-30472-9; 163 - 168
  • On Sequent Systems and Resolution for QBFs / U. Egly / Talk: International Conference on the Theory and Applications of Satisfiability Testing, Trento, Italien; 2012-06-17 - 2012-06-20; in: "Theory and Applications of Satisfiability Testing - SAT 2012", Lecture Notes in Computer Science, Springer Berlin Heidelberg, 7317 (2012), ISBN: 978-3-642-31611-1; 100 - 113
  • Valued-Based Argumentation for Tree-like Value Graphs / Ej Kim, S. Ordyniak / Talk: COMMA - International Conference on Computational Models of Argument, Vienna, Austria; 2012-09-10 - 2012-09-12; in: "Fourth International Conference on Computational Models of Argument (Comma 2012)", B. Verheij, St. Szeider, S. Woltran (ed.); IOS Press, Vol. 245 (2012), ISBN: 1614991103; 378 - 389
  • Strong Backdoors to Nested Satisfiability / S. Gaspers, St. Szeider / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Trento, Italy; 2012-06-17 - 2012-06-20; in: "Proceedings of the Fifteen International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)", A. Cimatti, R. Sebastiani (ed.); LNCS / Springer, 7317 (2012), ISBN: 978-3-642-31611-1; 58 - 71
  • Backdoors to Acyclic SAT / S. Gaspers, St. Szeider / Talk: International Colloquium on Automata, Languages and Programming (ICALP), Warwick, UK; 2012-07-09 - 2012-07-13; in: "Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP 2012)", Springer-Verlag, Lecture Notes in Computer Science / Vol. 7391 (2012), ISBN: 978-3-642-31593-0; 363 - 374
  • Linked Stream Data Processing Engines: Facts and Figures / D. Le-Phuoc, M. Dao-Tran, M.D. Pham, P. Boncz, T. Eiter, M. Fink / Talk: International Semantic Web Conference (ISWC), Boston, MA, USA,; 2012-11-11 - 2012-11-15; in: "The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II", P. Cudre-Mauroux et al. (ed.); Springer, LNCS 7650 (2012), ISBN: 978-3-642-35172-3; 300 - 312
  • Semantic Independence in DL-programs / T. Eiter, M. Fink, D. Stepanova / Talk: International Conference on Web Reasoning and Rule Systems (RR), Vienna, Austria; 2012-09-10 - 2012-09-12; in: "Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings", M. Krötzsch, U. Straccia (ed.); Springer, LNCS 7497 (2012), 58 - 74
  • OMiGA: An Open Minded Grounding on-the-fly Answer Set Solver / M. Dao-Tran, T. Eiter, M. Fink, G. Weidinger, A. Weinzierl / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), 480 - 483
  • Exploiting Unfounded Sets for HEX-Program Evaluation / T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, LNCS 7519 (2012), ISBN: 978-3-642-33352-1; 160 - 175
  • Paraconsistent Hybrid Theories / M. Fink / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 391 - 401
  • Worst-Case Optimal Reasoning with Forest Logic Programs / C. Feier / 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", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; 608 - 612
  • 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
  • Forgetting for Defeasible Logic / G. Antoniou, T. Eiter, K. Wang / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Mérida, Venezuela; 2012-03-11 - 2012-03-15; in: "Logic for Programming, Artificial Intelligence, and Reasoning. 18th International Conference, LPAR-18, Proceedings", N. Bjorner, A. Voronkov (ed.); LNCS, Springer, 7180 (2012), ISBN: 978-3-642-28716-9; 77 - 91
  • The DReW System for Nonmonotonic DL-Programs / G. Xiao, T. Eiter, S. Heymans / Talk: Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference, Shenzhen, China; 2012-11-28 - 2012-11-30; in: "Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference", J. Li et al. (ed.); Sprlinger, (2012)
  • Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets / G. Xiao, Y. Ma / Talk: ECAI 2012 - 20th European Conference on Artificial Intelligence, Montpellier, France; 2012-08-27 - 2012-08-31; in: "Proceedings of 20th European Conference on Artificial Intelligence", Ch. Bessiere, L. Raedt, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P. Lucas (ed.); IOS Press, 242 (2012), ISBN: 978-1-61499-097-0; 864 - 869
  • Query Rewriting for Horn-SHIQ Plus Rules / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario, Canada; 2012-07-22 - 2012-07-26; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence", J. Hoffmann, B. Selman (ed.); AAAI Press, (2012), ISBN: 978-1-57735-568-7; 726 - 733
  • Towards Practical Query Answering for Horn SHIQ. / T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); CEUR workshop proceedings, 846 (2012), ISSN: 1613-0073; 158 - 168
  • Answering Expressive Path Queries over Lightweight DL Knowledge Bases / M. Bienvenu, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Rome, Italy; 2012-06-07 - 2012-06-10; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)", Y. Kazakov, D. Lembo, F. Wolter (ed.); (2012), ISSN: 1613-0073; 81 - 91
  • The Complexity of Explaining Negative Query Answers in DL-Lite / D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 583 - 587
  • k-Gap Interval Graphs / F. Fomin, S. Gaspers, P. Golovach, K. Suchan, St. Szeider, E. van Leeuwen, M. Vatshelle, Y. Villanger / Talk: Latin American Theoretical Informatics Symposium, Arequipa, Peru; 2012-04-16 - 2012-04-20; in: "Proceedings of the 10th Latin American Theoretical Informatics Symposium (LATIN 2012)", D. Fernández-Baca (ed.); Lecture Notes in Computer Science / Springer, 7256 (2012), ISBN: 978-3-642-29343-6; 350 - 361
  • Computing Resolution-Path Dependencies in Linear Time / F. Slivovsky, St. Szeider / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Trento, Italy; 2012-06-17 - 2012-06-20; in: "Proceedings of the Fifteen International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)", A. Cimatti, R. Sebastiani (ed.); LNCS / Springer, 7317 (2012), ISBN: 978-3-642-31611-1; 58 - 71
  • Backdoors to Normality for Disjunctive Logic Programs / J. Fichte, St. Szeider / Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Edinburgh; 2012-09-04; in: "Proceedings of the 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", Y. Lierler, M. Fink (ed.); (2012), 99 - 113
  • 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
  • Inconsistency Management for Traffic Regulations: Formalization and Complexity Results / H. Beck, T. Eiter, T. Krennwallner / Talk: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 2012-09-26 - 2012-09-28; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (ed.); Springer, 7519 (2012), ISBN: 978-3-642-33352-1; 80 - 93

2011

2010

  • The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey / T. Eiter, G. Gottlob, T. Schwentick / in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday", A. Blass, N Dershowitz, W. Reisig (ed.); Springer LNCS, Heidelberg (LNCS 6300), 2010, (invited), ISSN: 0302-9743, 227 - 250
  • Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010) / F. Bobillo, R. Carvalho, P. da Costa, C. d´Amato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool / CEUR-Proceedings, Aachen, Vol. 654, 2010, ISSN: 1613-0073; 112 pages
  • Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010) / P. Hitzler, T. Lukasiewicz / Springer LNCS, Heidelberg, 2010, ISBN: 978-3-642-15917-6
  • Proceedings of the 1st International Workshop on Uncertainty in Description Logics (UniDL 2010) / T. Lukasiewicz, R. Penaloza, A. Turhan / CEUR-Proceedings, Aachen, Vol. 613, 2010, ISSN: 1613-0073; 87 pages
  • Theory and Applications of Satisfiability Testing - SAT 2010 / O. Strichman, St. Szeider / Springer, Edinburgh, UK, 2010, ISBN: 978-3-642-14185-0
  • BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings / T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy / Ontorule Project, 2010, 50 pages
  • Application of artificial intelligence in Geodesy - A review of theoretical foundations and practical examples / A. Reiterer, U. Egly, T. Vicovac, E. Mai, S. Moafipoor, D. Grejner-Brzezinska, C. Toth / Journal of Applied Geodesy, 4 (2010), 4; 201 - 217
  • Logical Foundations of RDF(S) with Datatypes / J. De Bruijn, S. Heymans / Journal of Artificial Intelligence Research, 38 (2010), 535 - 568
  • Constraint Satisfaction with Bounded Treewidth Revisited / M. Samer, St. Szeider / Journal of Computer and System Sciences, 76 (2010), 2; 103 - 114
  • Journal of Discrete Algorithms 8(2) - Editorial / H. Broersma, S. Dantchev, M. Johnson, St. Szeider / Journal of Discrete Algorithms, 8 (2010), 2; 101
  • A novel combination of answer set programming with description logics for the Semantic Web / T. Lukasiewicz / IEEE Transactions on Knowledge and Data Engineering, 22 (2010), 11; 1577 - 1592
  • A SAT Solver for Circuits Based on the Tableau Method / U. Egly, L. Haller / KI - Künstliche Intelligenz, 24 (2010), 1; 15 - 23
  • Answer-Set Programming Encodings for Argumentation Frameworks / U. Egly, S. Gaggl, S. Woltran / Argument & Computation, 1 (2010), 2; 147 - 177
  • Semantic search on the Web / B. Fazzinga, T. Lukasiewicz / Semantic Web, 1 (2010), 1/2; 89 - 96
  • Algorithms for Propositional Model Counting / M. Samer, St. Szeider / Journal of Discrete Algorithms, 8 (2010), 1; 50 - 64
  • Exact exponential-time algorithms for finding bicliques / D. Binkele-Raible, H. Fernau, S. Gaspers, M. Liedloff / Information Processing Letters, 111 (2010), 2; 64 - 67
  • Updating action domain descriptions / T. Eiter, E. Erdem, M. Fink, J. Senko / Artificial Intelligence, 174 (2010), 15; 1172 - 1221
  • FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols / T. Eiter, M. Simkus / ACM Transactions on Computational Logic, 11 (2010), 2; 1 - 45
  • Computational Complexity and Anytime Algorithm for Inconsistency Measurement / Y. Ma, G. Qi, G. Xiao, P. Hitzler, Z. Lin / Int. J. Software and Informatics, 1 (2010), 3 - 21
  • Algorithms and Complexity Results for Exact Bayesian Structure Learning / S. Ordyniak, St. Szeider / Poster: Conference on Uncertainty in Artificial Intelligence (UAI), Catalina Island, California, USA; 2010-07-08 - 2010-07-11; in: "Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI 2010)", P. Grünwald, P. Spirtes (ed.); AUAI Press, (2010), ISBN: 978-0-9749039-6-5; 401 - 408
  • Meta-Reasoning in Multi-Context Systems / A. Weinzierl, M. Fink, T. Eiter / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 303 - 304
  • Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems / P. Schüller, T. Eiter, M. Fink / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 315 - 316
  • An Optimization for Reasoning with Forest Logic Programs / C. Feier, S. Heymans / Talk: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010, Edinburgh; 2010-07-20; in: "Proc. of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2010)", S. Woltran, M. Balduccini (ed.); (2010), 15 pages
  • DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs / G. Xiao, S. Heymans, T. Eiter / Talk: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy; 2010-09-21; in: "1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010)", T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.); Ontorule Project, (2010), 14 pages
  • Comparing Inconsistency Resolutions in Multi-Context Systems / A. Weinzierl / Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Copenhagen, Denmark; 2010-08-09 - 2010-08-20; in: "Student Session of the European Summer School for Logic, Language, and Information", M. Slavkovik (ed.); (2010), 8 pages
  • RDF and XML: Towards a Unified Query Layer / N. Lopes, A. Polleres, A. Passant, D. Decker, S. Bischof, D. Berrueta, A. Campos, St. Corlosquet, O. Erling, J. Euzenat, K. Idehen, J. Kopecký, T. Krennwallner, D. Palmisano, J. Saarela, M. Zaremba / Talk: W3C Workshop RDF Next Steps, Stanford, Palo Alto, CA, USA; 2010-06-26 - 2010-06-27; in: "W3C Workshop on RDF Next Steps", D. Wood, D. Decker, I. Herman (ed.); (2010), 5 pages
  • Decomposition of Distributed Nonmonotonic Multi-Context Systems / S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Toronto, Canada; 2010-05-14 - 2010-05-16; in: "13th International Workshop on Non-Monotonic Reasoning", T. Meyer, E. Ternovska (ed.); Toronto (2010), 7 pages
  • Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System / T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp / Talk: World Computer Congress Brisbane 2010, Brisbane; 2010-09-20 - 2010-09-23; in: "Artificial Intelligence in Theory and Practice III; IFIP Advances in Information and Communication Technology", M. Bramer (ed.); Springer, 331 (2010), ISSN: 1868-4238; 215 - 224
  • Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities / T. Eiter, M. Mushthofa, W. Faber / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 303 - 308
  • Ontological reasoning with F-Logic Lite and its extensions / A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, A. Pieris / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 1660 - 1665
  • Combining Semantic Web search with the power of inductive reasoning / C. d´Amato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: International Conference on Scalable Uncertainty Management (SUM), Toulouse, France; 2010-09-27 - 2010-09-29; in: "Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010)", A. Deshpande, A. Hunter (ed.); Springer LNCS, 6379 (2010), ISBN: 978-3-642-15950-3; 137 - 150
  • Inductive reasoning and Semantic Web search / C. d´Amato, F. Esposito, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland; 2010-03-22 - 2010-03-26; in: "Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010)", S. Shin, S. Ossowski, M. Schumacher, M. Palakal, C. Hung (ed.); ACM, (2010), ISBN: 978-1-60558-638-0; 1446 - 1447
  • Parameterizing by the Number of Numbers / M. R. Fellows, S. Gaspers, F. A. Rosamond / Talk: International Symposium on Parameterized and Exact Computation (IPEC), Chennai, Indien; 2010-12-13 - 2010-12-15; in: "Parameterized and Exact Computation", Springer LNCS, 6478 (2010), ISSN: 0302-9743; 123 - 134
  • Semantic Web search based on ontological conjunctive queries / B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz / Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Sofia, Bulgaria; 2010-02-14 - 2010-02-19; in: "Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)", H. Prade, S. Link (ed.); Springer LNCS, 5956 (2010), ISBN: 978-3-642-11828-9; 153 - 172
  • Not So Easy Problems For Tree Decomposable Graphs / St. Szeider / Talk: International Conference on Discrete Mathematics, Mysore, India; 2008-06-06 - 2008-06-10; in: "Selected and revised papers of ICDM 2008", Ramanujan Mathematical Society (RMS), Lecture Notes Series no. 13 (2010), 179 - 190
  • Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs / J. Puehrer, S. Heymans, T. Eiter / Talk: The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, Heraklion, Griechenland; 2010-05-30 - 2010-06-03; in: "7th European Semantic Web Conference (ESWC 2010)", A. Lora, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, T. Tudorache (ed.); Springer, 5554 (2010), ISBN: 978-3-642-13485-2; 183 - 197
  • F-Logic#: Loosely Coupling F-Logic Rules and Ontologies / S. Heymans, R. Korf, M. Erdmann, J. Puehrer, T. Eiter / Talk: IEEE/WIC/ACM International Conference on Web Intelligence (WI'10), Toronto, Kanada; 2010-08-31 - 2010-09-03; in: "Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI'10)", H. Coelho, R. Studer, M. Wooldridge (ed.); (2010), ISBN: 978-0-7695-3801-3; 248 - 255
  • 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
  • Reasoning in Argumentation Frameworks of Bounded Clique-Width / W. Dvorak, St. Szeider, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 2010-09-08 - 2010-09-10; in: "Proceedings of COMMA 2010", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 219 - 230
  • Algorithms and Complexity Results for Persuasive Argumentation / E. Kim, S. Ordyniak, St. Szeider / Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 2010-09-08 - 2010-09-10; in: "Proceedings of Third International Conference on Computational Models of Argument (COMMA 2010)", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 311 - 322
  • Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming / G. Gutin, E. Kim, A. Soleimanfallah, St. Szeider, A. Yeo / Talk: International Symposium on Parameterized and Exact Computation (IPEC), Chennai, India; 2010-12-13 - 2010-12-15; in: "Parameterized and Exact Computation, 5th International Symposium, IPEC 2010", V. Raman, S. Saurabh (ed.); Springer, Lncs 6478/2010 (2010), 158 - 169
  • Satisfiability of Acyclic and Almost Acyclic CNF Formulas / S. Ordyniak, D. Paulusma, St. Szeider / Talk: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India; 2010-12-15 - 2010-12-18; in: "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)", K. Lodaya, M. Mahajan (ed.); Leibniz International Proceedings in Informatics (LIPIcs), (2010), ISSN: 1868-8969; 84 - 95
  • On Contracting Graphs to Fixed Pattern Graphs / P. Van´t Hof, M. Kaminski, D. Paulusma, St. Szeider, D. Thilikos / Talk: International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Spindlerův Mlýn, Czech Republic; 2010-01-23 - 2010-01-29; in: "36th International Conference on Current Trends in Theory and Practice of Computer Science", Springer, LNCS 5901 (2010), ISBN: 978-3-642-11265-2; 503 - 514
  • Solving MAX-r-SAT Above a Tight Lower Bound / N. Alon, G. Gutin, E. Kim, St. Szeider, A. Yeo / Talk: ACM-SIAM Symposium on Discrete Algorithms (SODA), Austin, Texas, USA; 2010-01-17 - 2010-01-19; in: "Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms", M. Charikar (ed.); ACM-SIAM, (2010), 511 - 517
  • HEX Programs with Action Atoms / S. Basol, O. Erdem, M. Fink, G. Ianni / Talk: International Conference on Logic Programming (ICLP), Edinburgh, Scotland; 2010-07-16 - 2010-07-19; in: "Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK", M. Hermenegildo, T. Schaub (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs vol. 7 (2010), ISBN: 978-3-939897-17-0; 24 - 33
  • A Logical Semantics for Description Logic Programs / M. Fink, D. Pearce / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "Logics in Artificial Intelligence - Proceedings12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010", T. Janhunen, I. Niemelä (ed.); Springer, Lecture Notes in Computer Science vol. 6341 (2010), ISBN: 978-3-642-15674-8; 156 - 168
  • Paracoherent Answer Set Programming / T. Eiter, M. Fink, J. Moura / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), ISBN: 978-1-57735-452-9; 486 - 496
  • 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
  • Preference-Based Inconsistency Assessment in Multi-Context Systems / T. Eiter, M. Fink, A. Weinzierl / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 143 - 155
  • Query Answering in the Description Logic S / M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Talk: International Workshop on Description Logics (DL), Waterloo, Canada; 2010-05-04 - 2010-05-07; 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
  • Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 / M. Ortiz de la Fuente, S. Rudolph, M. Simkus / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; 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
  • Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics / S. Heymans, T. Eiter, G. Xiao / Talk: European Conference on Artificial Intelligence (ECAI), 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, 215 (2010), ISBN: 978-1-60750-605-8; 35 - 40
  • Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers / G. Xiao, Z. Lin, Y. Ma, G. Qi / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; 340 - 349
  • The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems / S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 352 - 355
  • Decomposition of Distributed Nonmonotonic Multi-Context Systems / S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "12th European Conference on Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 24 - 37
  • Distributed Nonmonotonic Multi-Context Systems / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), 60 - 70
  • Catching the Ouroboros: On debugging non-ground answer-set programs / J. Oetsch, J. Puehrer, H. Tompits / Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 2009-07-14 - 2009-07-17; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 513 - 529
  • 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
  • The MCS-IE System for Explaining Inconsistency in Multi-Context Systems / M. Bögl, T. Eiter, M. Fink, P. Schüller / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finnland; 2010-09-13 - 2010-09-15; in: "Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Lecture Notes in Artificial Intelligence/Springer, 6341 (2010), ISSN: 0302-9743; 356 - 359
  • Finding Explanations of Inconsistency in Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 2010-05-09 - 2010-05-13; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)", AAAI Press, Menlo Park, California (2010), ISBN: 978-1-57735-451-2; 329 - 339

2009

  • Hybrid Reasoning with Rules and Ontologies / W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, J. Maluszynski / 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
  • Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009) / F. Bobillo, P. da Costa, C. d´Amato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz / CEUR-Proceedings, Aachen, Vol. 527, 2009, ISSN: 1613-0073; 88 pages
  • Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web / A. Cali, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt / LNCS Journal on Data Semantics, 12 (2009), 95 - 130
  • Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty / L. Iocchi, T. Lukasiewicz, D. Nardi, R. Rosati / ACM Transactions on Computational Logic, 10 (2009), 1
  • Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness / T. Lukasiewicz, U. Straccia / International Journal of Approximate Reasoning, 50 (2009), 6; 837 - 853
  • A 3D optical deformation measurement system supported by knowledge-based and learning techniques / A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen / Journal of Applied Geodesy, 3 (2009), 1; 1 - 13
  • A Solver for QBFs in Negation Normal Form / U. Egly, M. Seidl, S. Woltran / Constraints, 14 (2009), 1; 38 - 79
  • Modularity Aspects of Disjunctive Stable Models / T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran / Journal of Artificial Intelligence Research, 35 (2009), 813 - 857
  • Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity / D. Pearce, H. Tompits, S. Woltran / Theory and Practice of Logic Programming, 9 (2009), 5; 565 - 616
  • Complexity of the Stable Model Semantics for Queries on Incomplete Databases / J. De Bruijn, S. Heymans / in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", Springer, 2009, ISBN: 978-3-642-04237-9, 101 - 114
  • A Reasoner for Simple Conceptual Logic Programs / S. Heymans, C. Feier, T. Eiter / in: "Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)", Springer, 2009, ISBN: 978-3-642-05081-7, 55 - 70
  • spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran / in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 247 - 252
  • Hybrid Reasoning with Forest Logic Programs / C. Feier, S. Heymans / in: "Proceedings of 6th Annual European Semantic Web Conference (ESWC 2009)", Springer LNCS, 2009, ISBN: 978-3-642-02120-6, 338 - 352
  • Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 241 - 246
  • XSPARQL Language Specification / A. Polleres, T. Krennwallner, N. Lopes, J. Kopecký, D. Decker / in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages
  • XSPARQL: Implementation and Test-cases / N. Lopes, T. Krennwallner, A. Polleres, W. Akhtar, St. Corlosquet / in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages
  • XSPARQL: Semantics / T. Krennwallner, N. Lopes, A. Polleres / in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages
  • Uncertainty in the Semantic Web / T. Lukasiewicz / Keynote Lecture: International Conference on Scalable Uncertainty Management (SUM), Washington DC, USA (invited); 2009-09-28 - 2009-09-30; in: "Proceedings of the 3rd International Conference on Scalable Uncertainty Management (SUM 2009)", L. Godo, A. Pugliese (ed.); Springer Lecture Notes in Computer Science, 5785 (2009), ISBN: 978-3-642-04387-1; 2 - 11
  • Query Answering in Description Logics: The Knots Approach / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Keynote Lecture: International Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan (invited); 2009-06-21 - 2009-06-24; 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
  • Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems / T. Eiter, M. Fink, P. Schüller, A. Weinzierl / Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland; 2009-09-14; in: "Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009", J. Delgrande, A. Mileo (ed.); CEUR workshop proceedings, Vol-550 (2009), ISSN: 1613-0073; Paper ID 2, 4 pages
  • Decomposition of Declarative Knowledge Bases with External Functions / T. Eiter, M. Fink, T. Krennwallner / Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 2009-07-11 - 2009-07-17; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), 752 - 758
  • Kato: A Plagiarism-Detection Tool for Answer-Set Programs / J. Oetsch, M. Schwengerer, H. Tompits / Talk: 23rd Workshop on (Constraint) Logic Programming, Potsdam, Germany; 2009-09-15 - 2009-09-16; in: "23rd Workshop on (Constraint) Logic Programming", A. Wolf, U. Geske (ed.); Universitätsverlag Potsdam, (2009), ISBN: 978-3-86956-026-7; 75 - 79
  • Some Equivalence Concepts for Hybrid Theories / M. Fink, D. Pearce / Talk: Conference of the Spanish Organization for Artificial Intelligence (CAEPIA), Sevilla, ESP; 2009-11-09 - 2009-11-13; in: "Proceedings of the 13th Conference of the Spanish Organization for Artificial Intelligence (CAEPIA 2009)", Spanish Association for Artifical Intelligence, (2009), 327 - 336
  • Inductive Query Answering and Concept Retrieval Exploiting Local Models / C. d´Amato, N. Fanizzi, F. Esposito, T. Lukasiewicz / Talk: International Conference on Intelligent Systems Design and Applications (ISDA), Pisa, Italy; 2009-11-30 - 2009-12-02; in: "Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA 2009)", B. Lazzerini, L. Jain, A. Abraham, F. Marcelloni, F. Herrera, V. Loia (ed.); IEEE Computer Society, (2009), 1209 - 1214
  • Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web / T. Lukasiewicz, A. Ragone / Talk: IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), Milan, Italy; 2009-09-15 - 2009-09-18; in: "Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009)", R. Baeza-Yates, J. Lang, S. Mitra, S. Parsons, G. Pasi (ed.); IEEE, (2009), 395 - 402
  • A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation / T. Lukasiewicz, A. Ragone / Talk: International Workshop on Description Logics (DL), Oxford, UK; 2009-07-27 - 2009-07-30; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 47:1 - 47:12
  • Tractable Query Answering over Ontologies with Datalog+- / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: International Workshop on Description Logics (DL), Oxford, UK; 2009-07-27 - 2009-07-30; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 46:1 - 46:12
  • Uncertainty Reasoning for the Semantic Web / T. Lukasiewicz / Talk: International Conference on Web Reasoning and Rule Systems (RR), Chantilly, Virginia, USA (invited); 2009-10-25 - 2009-10-29; in: "Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)", A. Polleres, T. Swift (ed.); Springer Lecture Notes in Computer Science, 5837 (2009), ISBN: 978-3-642-05081-7; 26 - 39
  • A General Datalog-Based Framework for Tractable Query Answering over Ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: ACM Symposium on Principles of Database Systems (PODS), Providence, Rhode Island, USA; 2009-06-29 - 2009-07-02; in: "Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS 2009)", J. Paredaens, S. Jianwen (ed.); ACM Press, (2009), ISBN: 978-1-60558-553-6; 77 - 86
  • A General Datalog-Based Framework for Tractable Query Answering over Ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: Italian Symposium on Databases (SEBD), Camogli, Italy; 2009-06-21 - 2009-06-24; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 29 - 36
  • Combining Semantic Web Search with the Power of Inductive Reasoning / C. d´Amato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Washington DC, USA; 2009-10-26; in: "Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)", F. Bobillo, P. da Costa, C. d´Amato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.); CEUR-Proceedings, 527 (2009), ISSN: 1613-0073; 15 - 26
  • Fusion of Logic Programming and Description Logics / M. Simkus / Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 2009-07-14 - 2009-07-17; 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
  • From Data Integration Towards Knowledge Mediation / G. Brewka, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany; 2009-09-14 - 2009-09-18; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); LNCS, Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 610 - 612
  • Argumentation Context Systems: A Framework for Abstract Group Argumentation / G. Brewka, T. Eiter / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany; 2009-09-14 - 2009-09-18; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); LNCS, Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 44 - 57
  • Fuzzy Description Logic Reasoning using a Fixpoint Algorithm / U. Keller, S. Heymans / Talk: Symposium on Logical Foundations of Computer Science (LFCS), Deerfield Beach, Florida, U.S.A.; 2009-01-03 - 2009-01-06; in: "Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2009)", Springer, 5407 (2009), ISBN: 978-3-540-92686-3; 265 - 279
  • (1,2)-QSAT: A Good Candidate for Understanding Phase Transition Mechanisms / N. Creignou, H. Daude, U. Egly, R. Rossignol / Talk: Theory and Application of Satisfiability Testing -- SAT, Swansea; 2009-06-30 - 2009-07-03; in: "SAT 2009", O. Kullmann (ed.); Springer Lecture Notes in Computer Science (LNCS), 5584 (2009), ISSN: 0302-9743; 363 - 376
  • Finding Similar or Diverse Solutions in Answer Set Programming / T. Eiter, E. Erdem, H. Erdogan, M. Fink / Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 2009-07-14 - 2009-07-17; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 978-3-642-02845-8; 342 - 356
  • Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regime / G. Ianni, T. Krennwallner, A. Martello, A. Polleres / Talk: 8th International Semantic Web Conference (ISWC 2009), Washington D.C., U.S.A.; 2009-10-25 - 2009-10-29; 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
  • Combining Nonmonotonic Knowledge Bases with External Sources / T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner / Talk: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (invited); 2009-09-16 - 2009-09-18; 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
  • Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection / J. Puehrer, H. Tompits / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 264 - 276
  • ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions / J. Oetsch, M. Seidl, H. Tompits, S. Woltran / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 2009-09-14 - 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395
  • Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany; 2009-09-14 - 2009-09-18; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 87 - 100
  • Answer Set Programming: A Primer / T. Eiter, G. Ianni, T. Krennwallner / Talk: 5th International Summer School Reasoning Web 2009, Brixen-Bressanone, Italy (invited); 2009-08-30 - 2009-09-04; 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
  • Modular Nonmonotonic Logic Programming Revisited / M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner / Talk: 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, U.S.A.; 2009-07-14 - 2009-07-17; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 145 - 159
  • Bidirectional Answer Set Programs with Function Symbols / T. Eiter, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 765 - 771
  • Query Answering in Description Logics with Transitive Roles / T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 759 - 764
  • Regular Path Queries in Expressive Description Logics with Nominals / D. Calvanese, T. Eiter, M. Ortiz de la Fuente / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 2009-07-11 - 2009-07-17; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 714 - 720
  • Realizing Default Logic over Description Logic Knowledge Bases / M. Dao-Tran, T. Eiter, T. Krennwallner / Talk: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy; 2009-07-01 - 2009-07-03; in: "European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)", C. Sossai, G. Chemello (ed.); Springer, 5590 (2009), ISBN: 978-3-642-02905-9; 602 - 613
  • A Rule System for Querying Persistent RDFS Data / G. Ianni, T. Krennwallner, A. Martello, A. Polleres / Talk: 6th European Semantic Web Conference (ESWC 2009), Heraklion, Griechenland; 2009-05-31 - 2009-06-04; in: "6th European Semantic Web Conference (ESWC 2009)", L. Arroyo, P. Traverso, F. Ciravegna, P. Cimiano, T. Heath, E. Hyvönen, R. Mizoguchi, E. Oren, M. Sabou, E. Simperl (ed.); Springer, 5554 (2009), ISSN: 0302-9743; 857 - 862

2008

2007

2006

  • 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
  • Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web / T. Eiter, E. Franconi, R. Hodgson, M. Kifer, S. Stephens / IEEE Computer Society Press, Los Alamitos, California, USA, 2006, ISBN: 0-7695-2652-7; 128 pages
  • The DLV System for knowledge representation and reasoning / N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello / ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562
  • Temporal phylogenetic networks and logic programming / E. Erdem, V. Lifschitz, D. Ringe / Theory and Practice of Logic Programming, 6 (2006), 5; 539 - 558
  • Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications / T. Eiter, A. Polleres / Theory and Practice of Logic Programming, 6 (2006), 1-2; 23 - 60
  • Causes and Explanations in the Structural-Model Approach: Tractable Cases / T. Eiter, T. Lukasiewicz / Artificial Intelligence, 170 (2006), 6-7; 542 - 580
  • Reasoning Under Minimal Upper Bounds in Propositional Logic / T. Eiter, G. Gottlob / Theoretical Computer Science, 369 (2006), 82 - 115
  • 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
  • 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
  • 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
  • Adaptive Multi-Agent Programming in GTGolog / A. Finzi, T. Lukasiewicz / Poster: European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-28 - 2006-09-01; in: "Proceedings of the 17th biennial European Conference on Artificial Intelligence (ECAI 2006)", G. Brewka, S. Coradeschi, A. Perini, P. Traverso (ed.); IOS Press, (2006), ISBN: 1-58603-642-4; 753 - 754
  • 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
  • Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics / M. Ortiz de la Fuente, D. Calvanese, T. Eiter / Poster: National Conference on Artificial Intelligence (AAAI), Boston, USA; 2006-07-16 - 2006-07-20; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5", AAAI Press, (2006), ISBN: 978-1-57735-281-5; 275 - 280
  • 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)
  • 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)
  • 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
  • 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)
  • 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
  • A Fully Internalized Sequent Calculus for Hybrid Categorial Logics / M. Ortiz de la Fuente / Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Malaga, Spain; 2006-07-31 - 2006-08-11; in: "Proceedings of the Eleventh ESSLLI Student Session", J. Huitink, S. Katrenko (ed.); (2006), 136 - 147
  • Variable-Strength Conditional Preferences for Ranking Objects in Ontologies / T. Lukasiewicz, J. Schellhase / Talk: 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro; 2006-06-11 - 2006-06-14; in: "Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro, June 2006", Y. Sure, J. Domingue (ed.); Lecture Notes in Computer Science. Springer., 4011 (2006), ISBN: 3-540-34544-2; 288 - 302
  • A Solver for QBFs in Nonprenex Form / U. Egly, M. Seidl, S. Woltran / Talk: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 - 2006-09-01; in: "Proceedings of the ECAI 2006", IOS Press, (2006), ISBN: 1-58603-642-4; 477 - 481
  • LPForget: A System of Forgetting in Answer Set Programming / F. Cheng, T. Eiter, R. Robinson, A. Sattar, K. Wang / Talk: Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia; 2006-12-04 - 2006-12-08; in: "AI 2006: Advances in Artificial Intelligence. Proceedings 19th Australian Joint Conference on Artificial Intelligence. Lecture Notes in Computer Science.", Lecture Notes in Computer Science. Springer., 4304 (2006), ISBN: 3-540-49787-0; 1101 - 1105
  • Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web / T. Lukasiewicz / Talk: International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), Athens, Georgia, USA; 2006-11-10 - 2006-11-11; in: "Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006)", T. Eiter, E. Franconi, R. Hodgson, S. Stephens (ed.); IEEE Computer Society, (2006), ISBN: 0-7695-2652-7; 89 - 96
  • Preferences, Links, and Probabilities for Ranking Objects in Ontologies / T. Lukasiewicz, J. Schellhase / Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Athens, Georgia, USA; 2006-11-05; in: "Proceedings of the ISWC-2006 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006)", P. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool (ed.); CEUR Workshop Proceedings, 218 (2006), 65 - 66
  • An Approach to Probabilistic Data Integration for the Semantic Web / A. Cali, T. Lukasiewicz / Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Athens, Georgia, USA; 2006-11-05; in: "Proceedings of the ISWC-2006 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006)", P. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool (ed.); CEUR Workshop Proceedings, 218 (2006), 67 - 68
  • Game-Theoretic Agent Programming in Golog under Partial Observability / A. Finzi, T. Lukasiewicz / Talk: Annual German Conference on Artificial Intelligence (KI), Bremen, Germany; 2006-06-14 - 2006-06-17; in: "Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), Bremen, Germany, June 2006.", C. Freksa, M. Kohlhase, K. Schill (ed.); Lecture Notes in Computer Science, Springer., 4314 (2006), ISBN: 3-540-69911-2; 113 - 127
  • Adaptive Multi-Agent Programming in GTGolog / A. Finzi, T. Lukasiewicz / Talk: Annual German Conference on Artificial Intelligence (KI), Bremen, Germany; 2006-06-14 - 2006-06-17; in: "Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), Bremen, Germany, June 2006.", C. Freksa, M. Kohlhase, K. Schill (ed.); Lecture Notes in Computer Science. Springer., 4314 (2006), ISBN: 3-540-69911-2; 389 - 403
  • Variable-Strength Conditional Preferences for Matchmaking in Description Logics / T. Lukasiewicz, J. Schellhase / 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, UK, June 2006.", P. Doherty, J. Mylopoulos, C. Welty (ed.); AAAI Press, (2006), ISBN: 978-1-57735-271-6; 164 - 174
  • 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
  • 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
  • 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
  • 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
  • An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs / T. Eiter, P. Traxler, S. Woltran / Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNCS 4160 (2006), ISBN: 3-540-39625-x; 477 - 480
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming / T. Eiter, K. Wang / Talk: National Conference on Artificial Intelligence (AAAI), Boston, USA; 2006-07-16 - 2006-07-23; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston", AAAI Press, (2006), ISBN: 978-1-57735-281-5; 238 - 243
  • Forgetting and Conflict Resolving in Disjunctive Logic Programming / T. Eiter, K. Wang / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); Institut fuer Informatik, TU Clausthal, Germany., IfI-06-04 (2006), ISSN: 1860-8477; 85 - 92
  • Data Complexity of Answering Unions of Conjunctive Queries in SHIQ / M. Ortiz de la Fuente, D. Calvanese, T. Eiter / Talk: International Workshop on Description Logics (DL), Windermere, Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings of the 2006 International Workshop on Description Logics (DL'06). Windermere, Lake District, UK, May 30-June 1, 2006", B. Parsi, U. Sattler, D. Toman (ed.); CEUR Workshop Proceedings, 189 (2006), 62 - 73
  • 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
  • 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
  • Representing action domains with numeric-valued fluents / E. Erdem, A. Gabaldon / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 2006-09-13 - 2006-09-15; 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; 151 - 163
  • A Tool for Answering Queries on Action Descriptions / T. Eiter, M. Fink, J. Senko / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 2006-09-13 - 2006-09-15; 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
  • Comparing Action Descriptions Based on Semantic Preferences / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 2006-09-13 - 2006-09-15; 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
  • Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas / U. Egly, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Liverpool, UK; 2006-09-11 - 2006-09-12; in: "Proceedings of the 1st International Conference on Computational Models of Argument (COMMA 2006)", P. Dunne, T. Bench-Capon (ed.); IOS Press, (2006), ISBN: 1-58603-652-1; 133 - 144
  • 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
  • Comparing Action Descriptions Based on Semantic Preferences / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, Italy; 2006-08-28 - 2006-08-29; 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
  • Resolving Conflicts in Action Descriptions / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 - 2006-09-01; 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
  • Resolving Conflicts in Action Descriptions / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 2006-05-30 - 2006-06-01; 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

2005

  • Representing Paraconsistent Reasoning via Quantified Propositional Logic / P. Besnard, T. Schaub, H. Tompits, S. Woltran / in: "Inconsistency Tolerance", L. Bertossi et al. (ed.); Springer, LNCS 3300, 2005, ISBN: 3-540-24260-0, 84 - 118
  • Declarative Planning and Knowledge Representation in an Action Language / T. Eiter, W. Faber, G. Pfeifer, A. Polleres / in: "Intelligent Techniques for Planning", I. Vlahavas, D. Vrakas (ed.); Idea Group Publishing, 2005, ISBN: 1-59140-450-9, 1 - 34
  • Proceedings of the 10th International Conference on Database Theory (ICDT 2005) / T. Eiter, L. Libkin / Springer, LNCS 3363, 2005, ISBN: 3-540-24288-0
  • Complexity of Nested Circumscription and Nested Abnormality Theories / M. Cadoli, T. Eiter, G. Gottlob / ACM Transactions on Computational Logic, 6 (2005), 2; 232 - 272
  • Reasoning about Evolving Nonmonotonic Knowledge Bases / T. Eiter, M. Fink, G. Sabbatini, H. Tompits / ACM Transactions on Computational Logic, 6 (2005), 2; 389 - 440
  • Weak Nonmonotonic Probabilistic Logics / T. Lukasiewicz / Artificial Intelligence, 168 (2005), 1-2; 119 - 161
  • Nonmonotonic Probabilistic Reasoning under Variable-Strength Inheritance with Overriding / T. Lukasiewicz / Synthese, 146 (2005), 1-2; 153 - 169
  • Probabilistic Logic under Coherence: Complexity and Algorithms / V. Biazzo, A. Gilio, T. Lukasiewicz, G. Sanfilippo / Annals of Mathematics and Artificial Intelligence, Online First (2005), Online First
  • On Deciding Subsumption Problems / U. Egly, R. Pichler, S. Woltran / Annals of Mathematics and Artificial Intelligence, 43 (2005), 1-4; 255 - 294
  • Answer Set Programming and Agents / J. Dix, T. Eiter / AgentLink News, 19 (2005), 14 - 17
  • Preface / T. Eiter, D. Lembo / Journal of Applied Logic, 3 (2005), 2; 251 - 252
  • Data Integration and Answer Set Programming / T. Eiter / Keynote Lecture: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy (invited); 2005-09-05 - 2005-09-08; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral et al. (ed.); Springer, LNAI 3662 (2005), ISBN: 3-540-28538-5; 13 - 25
  • NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 2005-11-08; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 67
  • DLV-HEX: Dealing with Semantic Web under Answer-Set Programming / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 2005-11-08; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 73
  • Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG / T. Lukasiewicz / Talk: International Symposium on Imprecise Probabilities and Their Applications (ISIPTA), Pittsburgh, Pennsylvania, USA; 2005-07-20 - 2005-07-23; in: "Proceedings of the 4th International Symposium on Imprecise Probabilities and Their Applications (ISIPTA 2005)", CMU, (2005), 230 - 239
  • Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming / H. Tompits, S. Woltran / Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 2005-07-27 - 2005-07-29; in: "Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop", M. De Vos, A. Provetti (ed.); CEUR Workshop Proceedings, 142 (2005), 115 - 129
  • Probabilistic Description Logic Programs / T. Lukasiewicz / Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Barcelona, Spain; 2005-07-06 - 2005-07-08; in: "Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005)", L. Godo (ed.); Springer, LNAI 3571 (2005), ISBN: 3-540-27326-3; 737 - 749
  • Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming / H. Tompits, S. Woltran / Talk: International Conference on Logic Programming (ICLP), Sitges, Spain; 2005-10-02 - 2005-10-05; in: "Proceedings of the 21st International Conference on Logic Programming", M. Gabbrielli, G. Gupta (ed.); Springer, LNCS 3668 (2005), ISBN: 3-540-29208-x; 189 - 203
  • Specification of Assessment-Test Criteria through ASP Specifications / G. Ianni, C. Panetta, F. Ricca / Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 2005-09-27 - 2005-09-29; in: "Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop", M. De Vos, A. Provetti (ed.); CEUR Workshop Proceedings, 142 (2005), 293 - 302
  • A General Framework for Expressing Preferences in Causal Reasoning and Planning / J. Delgrande, T. Schaub, H. Tompits / Talk: International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE), Corfu, Greece; 2005-05-22 - 2005-05-24; in: "Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2005)", S. McIlraith, P. Peppas, M. Thielscher (ed.); (2005), ISSN: 1430-211x; 47 - 54
  • Game-Theoretic Golog under Partial Observability / A. Finzi, T. Lukasiewicz / Talk: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Utrecht, The Netherlands; 2005-07-25 - 2005-07-29; in: "Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)", F. Dignum, V. Dignum, S. Koenig, S. Kraus et al. (ed.); ACM Press, (2005), ISBN: 1-59593-094-9; 1301 - 1302
  • Character-Based Cladistics and Answer Set Programming / D. Brooks, E. Erdem, J. Minett, D. Ringe / Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Long Beach, California, USA; 2005-01-10 - 2005-01-11; in: "Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL 2005)", M. Hermenegildo, D. Cabeza (ed.); Springer, LNCS 3350 (2005), ISBN: 3-540-24362-3; 37 - 51
  • Game-Theoretic Agent Programming in Golog under Partial Observability / A. Finzi, T. Lukasiewicz / Talk: Workshop on Game Theoretic and Decision Theoretic Agents (GTDT), Edinburgh, Scotland; 2005-07-31 - 2005-07-31; in: "Working Notes of IJCAI-05 Workshop on Game Theoretic and Decision Theoretic Agents (GTDT 2005)", P. Gmytrasiewicz, S. Parsons (ed.); (2005)
  • Stratified Probabilistic Description Logic Programs / T. Lukasiewicz / Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Galway, Ireland; 2005-11-07 - 2005-11-07; in: "Proceedings of the ISWC-2005 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2005)", P. da Costa, K.B. Laskey, K.J. Laskey (ed.); (2005), 87 - 97
  • Nonmonotonic Logic Programs for the Semantic Web / R. Schindlauer / Talk: International Conference on Logic Programming (ICLP), Sitges, Spain; 2005-10-02 - 2005-10-05; in: "Proceedings of the 21st International Conference on Logic Programming", M. Gabbrielli, G. Gupta (ed.); Springer, LNCS 3668 (2005), ISBN: 3-540-29208-x; 446 - 447
  • The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data / N. Leone, T. Eiter, W. Faber, M. Fink et al. / Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Bltimore, Maryland, USA; 2005-06-13 - 2005-06-15; in: "Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2005 Conference)", ACM, (2005), ISBN: 1-59593-060-4; 915 - 917
  • Data Integration: a Challenging ASP Application / N. Leone, T. Eiter, W. Faber, M. Fink et al. / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 2005-09-05 - 2005-09-08; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 379 - 383
  • Genome Rearrangement and Planning / E. Erdem, E. Tillier / Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 2005-07-09 - 2005-07-13; in: "Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)", M. Veloso, S. Kambhampati (ed.); AAAI Press, (2005), ISBN: 1-57735-236-x; 1139 - 1144
  • On Solution Correspondences in Answer-Set Programming / T. Eiter, H. Tompits, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scottland; 2005-07-30 - 2005-08-05; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", (2005), ISBN: 0-938075-93-4; 97 - 102
  • Nonmonotonic Description Logic Programs: Implementation and Experiments / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 511 - 527
  • Updating Action Domain Descriptions / T. Eiter, E. Erdem, M. Fink, J. Senko / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 2005-07-30 - 2005-08-05; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", L. Pack Kaelbling, A. Saffiotti (ed.); Professional Book Center, (2005), ISBN: 0-938075-93-4; 418 - 423
  • A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming / T. Eiter, G. Ianni, R. Schindlauer, H. Tompits / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 2005-07-30 - 2005-08-05; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", Professional Book Center, Denver, USA (2005), ISBN: 0-938075-93-4; 90 - 96
  • KMonitor -- A Tool for Monitoring Plan Execution in Action Theories / T. Eiter, M. Fink, J. Senko / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 2005-09-05 - 2005-09-08; 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
  • Testing Strong Equivalence of Datalog Programs: Implementation and Examples / T. Eiter, W. Faber, P. Traxler / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 2005-09-05 - 2005-09-08; 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; 437 - 441
  • Information Extraction for the Semantic Web / R. Baumgartner, T. Eiter, G. Gottlob, M. Herzog, C. Koch / Talk: First International Summer School Reasoning Web 2005, Msida, Malta; 2005-07-25 - 2005-07-29; in: "Reasoning Web", Springer, LNCS 3564 (2005), ISBN: 3-540-27828-1; 275 - 289
  • Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains / C. Baral, T. Eiter, J. Zhao / Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 2005-07-09 - 2005-07-13; in: "Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)", M. Veloso, S. Kambhampati (ed.); AAAI Press, (2005), ISBN: 1-57735-236-x; 578 - 583
  • Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents / E. Erdem, A. Gabaldon / Talk: Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC), Edinburgh, Scotland; 2005-08-01 - 2005-08-01; in: "Working Notes of IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05)", L. Morgenstern, M. Pagnucco (ed.); (2005), 28 - 33
  • Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents / E. Erdem, A. Gabaldon / Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 2005-07-09 - 2005-07-13; in: ""Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)", M. Veloso, S. Kambhampati (ed.); AAAI Press, (2005), ISBN: 1-57735-236-x; 627 - 632
  • Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case / T. Eiter, M. Fink, H. Tompits, S. Woltran / Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 2005-07-09 - 2005-07-13; in: "Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference,", AAAI Press / The MIT Press 2005, (2005), ISBN: 1-57735-236-x; 695 - 700

2004

  • Annals of Mathematics and Artificial Intelligence (AMAI), vol. 40, no. 1-2: Special issue on FOIKS-2002 / T. Eiter, K. Schewe / Kluwer Academic Publishers, 2004, ISSN: 1012-2443
  • Complexity Results for Explanations in the Structural-Model Approach / T. Eiter, T. Lukasiewicz / Artificial Intelligence, 154 (2004), 1-2; 145 - 198
  • A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity / T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres / ACM Transactions on Computational Logic, 5 (2004), 2; 206 - 263
  • 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
  • Technical Documentation and Semantic Web Based Methods / U. Egly, B. Schiemann, J. Schneeberger / in: "Proceedings of the Symposium on Professional Practice in AI, First IFIP International Conference on Artificial Intelligence Application and Innovations (AIAI 2004) as part of: IFIP World Computer Congress (WCC 2004)", E. Mercier-Laurent, J. Debenham (ed.); IFIP Press, 2004, ISBN: 2-907801-05-8, 235 - 244
  • Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions DB / M. Citrigno, W. Faber, G. Greco, N. Leone / in: "Proceedings of CILC'04 -- Italian Conference on Computational Logic", E. Panegai, G. Rossi (ed.); issued by: `Universita degli Studi di Parma; Eigenverlag, 2004, 148 - 162
  • Enhancing the Magic-Set Method for Disjunctive Datalog Programs / C. Cumbo, W. Faber, G. Greco, N. Leone / in: "Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 2004, Proceedings", B. Demoen, V. Lifschitz (ed.); Springer, LNCS, 2004, ISBN: 3-540-22671-0, 371 - 385
  • A Polynomial-Time Algorithm for Constructing k-Maintainable Policies / C. Baral, T. Eiter / in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA, 2004, ISBN: 1-57735-201-7, 720 - 729
  • 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
  • System Description: DLV with Aggregates / T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer / in: "Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, 326 - 330
  • New DLV Features for Data Integration / F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer / in: "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings", J. Alferes, J. Leite (ed.); Springer, LNAI, 2004, ISBN: 3-540-23242-7, 698 - 701
  • Characterizations for Relativized Notions of Equivalence in Answer Set Programming / S. Woltran / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Lisbon, Portugal; 2004-09-27 - 2004-09-30; in: "Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)", J. Alferes, J. Leite (ed.); Springer, LNAI 3229 (2004), ISBN: 3-540-23242-7; 161 - 173
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas / U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda / Talk: International Conference on the Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy; 2003-05-05 - 2003-05-08; in: "Theory and Application of Satisfiability. Selected Revised Papers.", E. Giunchiglia, A. Tacchella (ed.); Springer, LNCS 2919 (2004), ISBN: 3-540-20851-8; 214 - 228
  • 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
  • Rectilinear Steiner Tree Construction Using Answer Set Programming / E. Erdem, M.D.F. Wong / 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", Springer, LNCS 3132 (2004), ISBN: 3-540-22671-0; 386 - 399
  • 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 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
  • Plan Reversals for Recovery in Execution Monitoring / T. Eiter, E. Erdem, W. Faber / 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; 147 - 154
  • Polynomial-time Algorithm for Constructing k-Maintainable Policies / C. Baral, T. Eiter / Talk: International Conference on Automated Planning and Scheduling (ICAPS), Whistler, BC, Canada; 2004-06-03 - 2004-06-07; in: "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling", S. Zilberstein, J. Koehler, S. Koenig (ed.); AAAI Press, (2004), ISBN: 1-57735-200-9; 111 - 120
  • 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
  • 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
  • Towards Automated Integration of Guess and Check Programs in Answer Set Programming / T. Eiter, A. Polleres / Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Fort Lauderdale, FL, USA; 2004-01-04 - 2004-01-06; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNCS 2923 (2004), ISBN: 3-540-20721-x; 100 - 113
  • 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
  • Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming / T. Eiter, W. Faber, M. Fink, G. Pfeifer, 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 Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA (2004), ISBN: 1-57735-199-1; 377 - 387
  • Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity / W. Faber, N. Leone, G. Pfeifer / Talk: 9th European Conference on Logics in AI (JELIA 2004), Lisbon, Portugal; 2004-09-27 - 2004-09-30; in: "Logics in Artificial Intelligence", J. Alferes, J. Leite (ed.); Springer Verlag, LNAI 3229 (2004), ISBN: 3-540-23242-7; 200 - 212

2003

2002

 

2019

2018

2017

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

 

  • Maria Magdalena Ortiz de la Fuente: Distinguished Alumna Award of the European Masters in Computational Logic / International Organization / 2014
  • Maria Magdalena Ortiz de la Fuente: EMCL Distinguished Alumni Award / Joint Consortium of the European Masters in Computational Logic / 2014
  • Maria Magdalena Ortiz de la Fuente: Austrian Federal Ministry for Science and Research: Award of Excellence 2010 / Austria / 2010
  • Maria Magdalena Ortiz de la Fuente: OCG-Förderpreis / Austria / 2007
  • Maria Magdalena Ortiz de la Fuente: The Google Anita Borg Memorial Scholarship / 2007
  • Thomas Eiter: Best Paper Award of the Third European Conference on Semantic Web (ESWC 2006), June 11-14, 2006, Budva, Montenegro / Ciskei / 2006
  • Maria Magdalena Ortiz de la Fuente: ÖGAI-Preis / Austria / 2006
  • Maria Magdalena Ortiz de la Fuente: Best Thesis Award, consortium of the European Masters in Computational Logic / International Organization / 2006
  • Thomas Eiter: Distinguished Paper Award of the Eighteenth National Conference on Artificial Intelligence (AAAI '02), July 28 -- August 1, 2002, Edmonton, Alberta (Canada) / Canada / 2002
  • Thomas Eiter: Distinguished Paper Award of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), August 4-10, 2001, Seattle, U.S.A. / USA / 2001
  • Thomas Eiter: Invention of the Year 1999 Finalist - honored by the Office of Technology Liaison (University of Maryland) / USA / 1999

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Knowledge-Based Systems’ research profile in TISS .