Publikationsliste für
Thomas Eiter
als Autorin / Autor bzw. wesentlich beteiligte Person
555 Datensätze (2000 - 2022)
Die Publikationen der TU Wien sind erst ab dem Jahr 2002 vollzählig in der Publikationsdatenbank enthalten. Publikationen aus den Jahren vor 2002 können, müssen aber nicht in der Datenbank vorhanden sein.
Bücher und Buch-Herausgaben
A. Artikis, T. Eiter, A. Margara, S. Vansummeren:
"Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)";
in Buchreihe "Dagstuhl Reports",
Buchreihen-Herausgeber: Schloss Dagstuhl;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2020,
ISSN: 2192-5283,
31 S.
Zusätzliche Informationen
F. Baader, G. Brewka, T. Eiter (Hrg.):
"The European Journal on Artificial Intelligence (AI Communications), vol. 15, no. 1: Special issue on KI-2001";
IOS Press,
2002,
ISBN: 3-540-42612-4.
C. Baral, G. De Giacomo, T. Eiter (Hrg.):
"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014";
AAAI Press,
California, USA,
2014,
ISBN: 978-1-57735-657-8;
714 S.
G. Brewka, T. Eiter, S. McIlraith (Hrg.):
"Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012";
AAAI Press,
Menlo Park, California, U.S.A.,
2012,
ISBN: 978-1-57735-560-1;
676 S.
M. De Vos, T. Eiter, Y. Lierler, F. Toni:
"Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)";
in Buchreihe "CEUR Workshop Proceedings",
Buchreihen-Herausgeber: M. De Vos, T. Eiter, Y. Lierler, F. Toni;
CEUR-WS.org,
2015,
ISSN: 1613-0073.
D. Dell´Aglio, D. Anicic, P. Barnaghi, E. Della Valle, D. McGuinness, L. Bozzato, T. Eiter, M. Homola, D. Porello (Hrg.):
"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";
CEUR-WS.org,
2017,
ISSN: 1613-0073;
113 S.
D. Dell´Aglio, E. Della Valle, T. Eiter, M. Krötzsch, M. Maleshkova, R. Verborgh, F. Facca, M. Mrissa (Hrg.):
"Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016)";
CEUR-WS.org,
Aachen,
2016,
ISSN: 1613-0073;
99 S.
T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (Hrg.):
"BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings";
Ontorule Project,
2010,
50 S.
Zusätzliche Informationen
T. Eiter, E. Franconi, R. Hodgson, M. Kifer, S. Stephens (Hrg.):
"Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web";
IEEE Computer Society Press,
Los Alamitos, California, USA,
2006,
ISBN: 0-7695-2652-7;
128 S.
T. Eiter, E. Franconi, M. Kifer (Hrg.):
"Special issue on RuleML 2006. Fundamenta Informaticae Volume 82, number 3";
IOS Press,
2008,
ISSN: 0169-2968;
98 S.
T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch:
"Informal Proceedings of the 26th International Workshop on Description Logics";
in Buchreihe "CEUR Workshop Proceedings",
Buchreihen-Herausgeber: M. Jeusfeld;
CEUR-WS.org,
2013,
ISSN: 1613-0073.
T. Eiter, T. Krennwallner (Hrg.):
"Reasoning Web: Semantic Technologies for Advanced Query Answering";
Springer LNCS 7487,
Heidelberg,
2012,
ISBN: 978-3-642-33157-2;
386 S.
Zusätzliche Informationen
T. Eiter, L. Libkin (Hrg.):
"Database Theory. Theoretical Computer Science. Volume 371, Issue 3, Pages 147-264";
Elsevier Science Publishers,
Meppel, The Netherlands,
2007,
ISSN: 0304-3975;
117 S.
T. Eiter, L. Libkin (Hrg.):
"Proceedings of the 10th International Conference on Database Theory (ICDT 2005)";
Springer, LNCS 3363,
2005,
ISBN: 3-540-24288-0.
T. Eiter, M. Maratea, M. Vallati:
"Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion";
in Buchreihe "Fundamenta Informaticae",
Buchreihen-Herausgeber: D. Niwinski;
IOS Press,
2020,
ISSN: 1875-8681.
Zusätzliche Informationen
T. Eiter, D. Sands (Hrg.):
"LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46";
EasyChair EPiC Series in Computing,
2017,
ISSN: 2398-7340.
T. Eiter, D. Sands, G. Sutcliffe, A. Voronkov (Hrg.):
"IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1";
EasyChair,
2017,
ISSN: 2515-1762;
134 S.
T. Eiter, K. Schewe (Hrg.):
"Annals of Mathematics and Artificial Intelligence (AMAI), vol. 40, no. 1-2: Special issue on FOIKS-2002";
Kluwer Academic Publishers,
2004,
ISSN: 1012-2443.
T. Eiter, K. Schewe (Hrg.):
"Proceedings of the 2nd International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002), Salzau Castle, Germany";
Springer,
2002,
ISBN: 3-540-43220-5.
T. Eiter, H. Strass, M. Truszczynski, S. Woltran:
"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday";
in Buchreihe "Lecture Notes in Computer Science",
Buchreihen-Herausgeber: R. Goebel, Y. Tanaka, W. Wahlster;
Springer,
2015,
ISBN: 978-3-319-14725-3,
359 S.
J. Z. Pan, D. Calvanese, T. Eiter, I. Horrocks, M. Kifer, F. Lin, Y. Zhao (Hrg.):
"Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016";
Springer LNCS,
2017,
ISBN: 978-3-319-49493-7;
259 S.
Zusätzliche Informationen
S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt:
"Reasoning Web, Fifth International Summer School 2008, Bressanone Italy, August 30 - September 4 2009, Tutorial Lectures";
in Buchreihe "Lecture Notes in Computer Science",
Buchreihen-Herausgeber: S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt;
herausgegeben von: Springer;
Springer LNCS,
Heidelberg,
2009,
ISBN: 978-3-642-03753-5,
357 S.
Zusätzliche Informationen
Zeitschriftenartikel
G. Amendola, T. Eiter, M. Fink, N. Leone, J. Moura:
"Semi-equilibrium models for paracoherent answer set programs";
Artificial Intelligence,
234
(2016),
S. 219
- 271.
Zusätzliche Informationen
G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, R. Schindlauer, H. Tompits, S. Schaffert:
"Reasoning Methods for Personalization on the Semantic Web";
Annals of Mathematics, Computing & Teleinformatics,
2
(2004),
S. 1
- 24.
Zusätzliche Informationen
C. Baral, T. Eiter, M. Bjäreland, M. Nakamura:
"Maintenance goals of agents in a dynamic environment: Formulation and policy construction";
Artificial Intelligence,
172
(2008),
12-13;
S. 1429
- 1469.
H. Beck, M. Dao-Tran, T. Eiter:
"LARS: A Logic-based Framework for Analytic Reasoning over Streams";
Artificial Intelligence,
261
(2018),
S. 16
- 70.
Zusätzliche Informationen
H. Beck, M. Dao-Tran, T. Eiter:
"What is the Semantics of Your SPARQL Extension?";
ALP Newsletter, Vol. 28, No. 4, December 2015,
28
(2015).
H. Beck, M. Dao-Tran, T. Eiter, C. Folie:
"Stream Reasoning with LARS";
KI - Künstliche Intelligenz,
32
(2018),
2-3;
S. 193
- 195.
Zusätzliche Informationen
L. Bozatto, T. Eiter, R. Kiesel:
"Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures";
TPLP - Theory and Practice of Logic Programming,
5
(2021),
S. 593
- 609.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"Enhancing Contextualized Knowledge Repositories with Justifiable Exceptions";
Artificial Intelligence,
257
(2018),
S. 72
- 126.
Zusätzliche Informationen
G. Brewka, T. Eiter, M. Truszczynski:
"Answer Set Programming at a Glance";
Communications of the ACM,
54
(2011),
12;
S. 92
- 103.
Zusätzliche Informationen
M. Cadoli, T. Eiter, G. Gottlob:
"Complexity of Nested Circumscription and Nested Abnormality Theories";
ACM Transactions on Computational Logic,
6
(2005),
2;
S. 232
- 272.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata";
Information and Computation,
237
(2014),
S. 12
- 55.
Zusätzliche Informationen
K. Chmelina, H. Kahmen, T. Eiter, U. Egly:
"Heuristische Echtzeit-Fehlererkennung bei Deformationsmessungen während des Tunnelvortriebs";
Zeitschrift für Geodäsie, Geoinformation und Landmanagement (zfv),
128
(2003),
5;
S. 333
- 340.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Evaluation of Nonmonotonic Multi-Context Systems";
Journal of Artificial Intelligence Research,
52
(2015),
S. 543
- 600.
Zusätzliche Informationen
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
ACM Transactions on Computational Logic,
12
(2011),
3.
Zusätzliche Informationen
D. Dell´Aglio, T. Eiter, F. Heintz, D. Le Phuoc:
"Special issue on stream reasoning";
Semantic Web,
10
(2019),
3;
S. 453
- 455.
Zusätzliche Informationen
J. Dix, T. Eiter:
"Answer Set Programming and Agents";
AgentLink News,
19
(2005),
S. 14
- 17.
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
Fundamenta Informaticae,
57
(2003),
2-4;
S. 345
- 370.
T. Eiter, L. Bozzato, L. Serafini:
"Reasoning onDL-LiteRwith Defeasibility in ASP";
TPLP - Theory and Practice of Logic Programming,
21
(2021),
21;
S. 1
- 51.
Zusätzliche Informationen
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Theory and Practice of Logic Programming,
FirstView
(2011),
57 S.
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Theory and Practice of Logic Programming,
13
(2013),
3;
S. 303
- 359.
Zusätzliche Informationen
T. Eiter, E. Erdem, W. Faber, J. Senko:
"A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution";
Fundamenta Informaticae,
79
(2007),
1-2;
S. 25
- 69.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions based on Semantic Preferences";
Annals of Mathematics and Artificial Intelligence (eingeladen),
50
(2007),
3-4;
S. 273
- 304.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating action domain descriptions";
Artificial Intelligence,
174
(2010),
15;
S. 1172
- 1221.
Zusätzliche Informationen
T. Eiter, J. Esparza, C. Palamidessi, G. Plotkin, N. Shankar:
"Alonzo Church Award 2018 - Call for Nominations";
Bulletin of the EATCS (eingeladen),
124
(2018),
2 S.
T. Eiter, W. Faber, M. Fink, S. Woltran:
"Complexity results for answer set programming with bounded predicate arities and implications";
Annals of Mathematics and Artificial Intelligence (eingeladen),
51
(2007),
2-4;
S. 123
- 165.
T. Eiter, W. Faber, N. Leone, G. Pfeifer:
"Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
Theory and Practice of Logic Programming,
3
(2003),
4+5;
S. 463
- 498.
Zusätzliche Informationen
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"A Logic Programming Approach to Knowledge-State Planning, II: The DLVK System";
Artificial Intelligence,
144
(2003),
1;
S. 157
- 211.
Zusätzliche Informationen
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity";
ACM Transactions on Computational Logic,
5
(2004),
2;
S. 206
- 263.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"Answer Set Planning under Action Costs";
Journal of Artificial Intelligence Research,
19
(2003),
S. 25
- 71.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Repair Localization for Query Answering from Inconsistent Databases";
ACM Transactions on Database Systems,
33
(2008),
2;
S. 10:01
- 10:51.
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
"A Model Building Framework for Answer Set Programming with External Computations";
Theory and Practice of Logic Programming,
16
(2016),
4;
S. 418
- 464.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Conflict-driven ASP solving with external sources";
Theory and Practice of Logic Programming,
12
(2012),
4-5;
S. 659
- 679.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Domain Expansion for ASP-Programs with External Sources";
Journal of Artificial Intelligence Research,
233
(2016),
S. 84
- 121.
T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Efficient HEX-Program Evaluation based on Unfounded Sets";
Journal of Artificial Intelligence Research,
49
(2014),
S. 269
- 321.
Zusätzliche Informationen
T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
"Model-Based Recasting in Answer-Set Programming";
Journal of Applied Non-Classical Logics (JANCL),
23
(2013),
1-2;
S. 75
- 104.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"On Properties of Update Sequences Based on Causal Rejection";
Theory and Practice of Logic Programming,
2
(2002),
6;
S. 711
- 767.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
ACM Transactions on Computational Logic,
6
(2005),
2;
S. 389
- 440.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Using Methods of Declarative Logic Programming for Intelligent Information Agents";
Theory and Practice of Logic Programming,
2
(2002),
6;
S. 645
- 710.
Zusätzliche Informationen
T. Eiter, M. Fink, R. Schindlauer, H. Tompits:
"Answer Set Programming for Intelligent Web Services";
ÖGAI Journal,
22
(2003),
2;
S. 17
- 22.
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Artificial Intelligence,
216
(2014),
S. 233
- 274.
T. Eiter, M. Fink, D. Stepanova:
"Computing Repairs of Inconsistent DL-Programs over EL Ontologies";
Journal of Artificial Intelligence Research,
56
(2016),
S. 463
- 515.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Data repair of inconsistent nonmonotonic description logic programs";
Artificial Intelligence,
239
(2016),
S. 7
- 53.
Zusätzliche Informationen
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach for Selecting Information Sources";
Theory and Practice of Logic Programming,
7
(2007),
3;
S. 249
- 300.
T. Eiter, M. Fink, S. Woltran:
"Semantical Characterizations and Complexity of Equivalences in Answer Set Programming";
ACM Transactions on Computational Logic,
8
(2007),
3;
S. 1
- 53.
T. Eiter, G. Friedrich, R. Taupe, A. Weinzierl:
"Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP";
KI - Künstliche Intelligenz,
32
(2018),
2-3;
S. 197
- 198.
Zusätzliche Informationen
T. Eiter, H. Fuereder, J. Xavier Parreira, P. Schneider:
"Towards a Semantically Enriched Local Dynamic Map";
International Journal of Intelligent Transportation Systems Research,
17
(2019),
1;
S. 32
- 48.
Zusätzliche Informationen
T. Eiter, S. Germano, G. Ianni, T. Kaminski, C. Redl, P. Schüller, A. Weinzierl:
"The DLVHEX System";
KI - Künstliche Intelligenz,
32
(2018),
2-3;
S. 187
- 189.
T. Eiter, I. Giovambattista, M. Fink, C. Redl, P. Schüller:
"A Model Building Framework for {ASP} with External Computations";
Theory and Practice of Logic Programming,
16
(2015),
4;
S. 418
- 464.
Zusätzliche Informationen
T. Eiter, G. Gottlob:
"Marco Cadoli's Work on Nonmonotonic Reasoning";
Intelligenza Artificiale,
7
(2013),
1;
S. 7
- 17.
T. Eiter, G. Gottlob:
"Reasoning Under Minimal Upper Bounds in Propositional Logic";
Theoretical Computer Science,
369
(2006),
S. 82
- 115.
T. Eiter, G. Gottlob, K. Makino:
"New Results on Monotone Dualization and Generating Hypergraph Transversals";
SIAM JOURNAL ON COMPUTING,
32
(2003),
2;
S. 514
- 537.
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting conjunctive queries in description logic programs";
Annals of Mathematics and Artificial Intelligence,
53
(2008),
1-4;
S. 115
- 152.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer:
"Well-founded semantics for description logic programs in the Semantic Web";
ACM Transactions on Computational Logic,
12
(2011),
2;
S. 1
- 41.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
Artificial Intelligence,
172
(2008),
12-13;
S. 1495
- 1593.
T. Eiter, T. Ibaraki, K. Makino:
"Recognition and Dualization of Disguised Bidual Horn Functions";
Information Processing Letters,
82
(2002),
6;
S. 283
- 291.
T. Eiter, R. Ichise, J. Parreira, P. Schneider, L. Zhao:
"Deploying Spatial-Stream Query Answering in C-ITS Scenarios";
Semantic Web,
12
(2021),
1;
S. 41
- 77.
Zusätzliche Informationen
T. Eiter, T. Kaminski:
"Pruning external minimality checking for answer set programs using semantic dependencies";
Artificial Intelligence,
290
(2021).
Zusätzliche Informationen
T. Eiter, T. Kaminski, C. Redl, A. Weinzierl:
"Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access";
Journal of Artificial Intelligence Research,
62
(2018),
S. 665
- 727.
Zusätzliche Informationen
T. Eiter, G. Kern-Isberner:
"A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective";
KI - Künstliche Intelligenz,
vol. 33
(2019),
1;
S. 9
- 33.
Zusätzliche Informationen
T. Eiter, R. Kiesel:
"ASP(AC): Answer Set Programming with Algebraic Constraints";
Theory and Practice of Logic Programming,
20
(2020),
6;
S. 895
- 910.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
"Semantically Enriched Multi-Modal Routing";
International Journal of Intelligent Transportation Systems Research,
NN
(2014).
Zusätzliche Informationen
T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
"Semantically Enriched Multi-Modal Routing";
International Journal of Intelligent Transportation Systems Research,
14
(2016),
1;
S. 20
- 35.
Zusätzliche Informationen
T. Eiter, D. Lembo:
"Preface";
Journal of Applied Logic,
3
(2005),
2;
S. 251
- 252.
T. Eiter, T. Lukasiewicz:
"Causes and Explanations in the Structural-Model Approach: Tractable Cases";
Artificial Intelligence,
170
(2006),
6-7;
S. 542
- 580.
T. Eiter, T. Lukasiewicz:
"Complexity Results for Explanations in the Structural-Model Approach";
Artificial Intelligence,
154
(2004),
1-2;
S. 145
- 198.
T. Eiter, T. Lukasiewicz:
"Complexity Results for Structure-Based Causality";
Artificial Intelligence,
142
(2002),
1;
S. 53
- 89.
T. Eiter, K. Makino:
"On Computing all Abductive Explanations from a Propositional Horn Theory";
Journal of the ACM,
54
(2007),
4;
S. 24:1
- 24:54.
T. Eiter, K. Makino, G. Gottlob:
"Computational Aspects of Monotone Dualization: A Brief Survey";
Discrete Applied Mathematics,
156
(2008),
11;
S. 2035
- 2049.
T. Eiter, K. Makino, T. Ibaraki:
"Decision Lists and Related Boolean Functions";
Theoretical Computer Science,
270
(2002),
1-2;
S. 493
- 524.
T. Eiter, V. Mascardi:
"A Comparison of Environments for Developing Software Agents";
The European Journal on Artificial Intelligence (AI Communications),
15
(2002),
4;
S. 169
- 197.
T. Eiter, P. Ogris, K. Schekotihin:
"A Distributed Approach to LARS Stream Reasoning";
TPLP - Theory and Practice of Logic Programming,
19
(2019),
5-6;
S. 974
- 989.
T. Eiter, P. Ogris, K. Schekotihin:
"Managing Caching Strategies for Stream Reasoning with Reinforcement Learning";
TPLP - Theory and Practice of Logic Programming,
20
(2020),
5;
S. 625
- 640.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive query answering in the description logic SH using knots";
Journal of Computer and System Sciences,
78
(2012),
1;
S. 47
- 85.
Zusätzliche Informationen
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications";
Theory and Practice of Logic Programming,
6
(2006),
1-2;
S. 23
- 60.
T. Eiter, Y. Shen:
"Evaluating epistemic negation in answer set programming";
Artificial Intelligence,
237
(2016),
S. 115
- 135.
Zusätzliche Informationen
T. Eiter, M. Simkus:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
ACM Transactions on Computational Logic,
11
(2010),
2;
S. 1
- 45.
Zusätzliche Informationen
T. Eiter, H. Veith:
"On the complexity of Data Disjunctions";
Theoretical Computer Science,
288
(2002),
S. 101
- 128.
T. Eiter, K. Wang:
"Semantic Forgetting in Answer Set Programming";
Artificial Intelligence,
172
(2008),
14;
S. 1644
- 1672.
Zusätzliche Informationen
T. Eiter, A. Weinzierl:
"Preference-Based Inconsistency Management in Multi-Context Systems";
Journal of Artificial Intelligence Research,
60
(2017),
S. 347
- 424.
Zusätzliche Informationen
T. Kaminski, T. Eiter, K. Inoue:
"Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning";
Theory and Practice of Logic Programming,
18
(2018),
3-4;
S. 571
- 588.
Zusätzliche Informationen
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello:
"The DLV System for knowledge representation and reasoning";
ACM Transactions on Computational Logic,
Vol. 7
(2006),
3;
S. 499
- 562.
Zusätzliche Informationen
M. Miljanovic, U. Egly, T. Eiter:
"Detection of Windows in Facades Using Image Processing Algorithms";
Indian Journal of Computer Science and Engineering,
3
(2012),
4;
S. 539
- 547.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data complexity of query answering in expressive Description Logics via tableaux";
Journal of Automated Reasoning,
41
(2008),
1;
S. 61
- 98.
Zusätzliche Informationen
A. Reiterer, U. Egly, T. Eiter, H. Kahmen:
"A knowledge-based videotheodolite measurement system for object representation /monitoring";
Advances in Engineering Software,
39
(2008),
10;
S. 821
- 827.
Zusätzliche Informationen
A. Reiterer, H. Kahmen, U. Egly, T. Eiter:
"3D- Messverfahren mit Videotheodoliten und automatisierte Zielpunkterfassung mit Hilfe von Interest Operatoren";
Allgemeine Vermessungs-Nachrichten (AVN),
110
(2003),
04;
S. 150
- 156.
Zusätzliche Informationen
A. Reiterer, H. Kahmen, U. Egly, T. Eiter:
"Wissensbasierte Bildaufbereitung für ein videotheodolit-basiertes Multisensorsystem";
Allgemeine Vermessungs-Nachrichten (AVN),
111
(2004),
06;
S. 202
- 208.
Zusätzliche Informationen
A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen:
"A 3D optical deformation measurement system supported by knowledge-based and learning techniques";
Journal of Applied Geodesy,
3
(2009),
1;
S. 1
- 13.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs";
TPLP - Theory and Practice of Logic Programming,
-
(2020),
S. 1
- 51.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs";
ArXiv,
2004
(2020),
01410;
52 S.
Z. G. Saribatur, T. Eiter:
"Omission-Based Abstraction for Answer Set Programs - ERRATUM";
TPLP - Theory and Practice of Logic Programming,
21
(2021),
2;
S. 292.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter, P. Schüller:
"Abstraction for non-ground answer set programs";
Artificial Intelligence,
300
(2021),
S. 103563.
Zusätzliche Informationen
Y. Shen, T. Eiter:
"Determining Inference Semantics for Disjunctive Logic Programs";
Artificial Intelligence,
277
(2019),
S. 115
- 135.
Zusätzliche Informationen
Y. Shen, K. Wang, T. Eiter, M. Fink, C. Redl, T. Krennwallner, J. Deng:
"FLP answer set semantics without circular justifications for general logic programs";
Artificial Intelligence,
213
(2014),
S. 1
- 41.
Zusätzliche Informationen
A. Weinzierl, B. Bogaerts, J. Bomanson, T. Eiter, G. Friedrich, T. Janhunen, T. Kaminski, M. Langowski, L. Leutgeb, G. Schenner, R. Taupe:
"The Alpha Solver for Lazy-GroundingAnswer-Set Programming";
ALP Newsletter (eingeladen),
--
(2019),
12 S.
S. Woltran, T. Eiter, B. Moser, G. Dorffner, W. Faber, G. Klambauer, R. Legenstein, B. Nessler, A. Polleres:
"Österreichische AI Strategie aus Sicht der Wissenschaft";
OCG Journal,
01-02
(2020),
S. 14
- 17.
Editorials in wiss. Zeitschriften
G. Brewka, T. Eiter, M. Truszczynski:
"Answer Set Programming: An Introduction to the Special Issue";
AI Magazine,
37
(2016),
3;
S. 5
- 6.
Zusätzliche Informationen
T. Eiter:
"Obituary Helmut Veith (1971-2016)";
ACM SIGLOG News (eingeladen),
3
(2016),
2;
S. 3
- 5.
T. Eiter:
"Obituary Peter Lucas";
Almanach, Österreichische Akademie der Wissenschaften (eingeladen),
166
(2016),
S. 330
- 333.
T. Eiter, F. Toni:
"Introduction to the 31st International Conference on Logic Programming Special Issue";
Theory and Practice of Logic Programming,
15
(2015),
Special Issue 4-5;
S. 413
- 418.
Buchbeiträge
L. Bozzato, T. Eiter, L. Serafini:
"Reasoning with Justifiable Exceptions in EL^\bot Contextualized Knowledge Repositories";
in: "Description Logic, Theory Combination, and All That -- Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday",
11560;
A. Turhan, U. Sattler, F. Wolter, C. Lutz (Hrg.);
Springer LNCS,
2019, (eingeladen),
ISBN: 978-3-030-22102-7,
S. 110
- 134.
Zusätzliche Informationen
G. Brewka, T. Eiter, M. Fink:
"Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources";
in: "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond",
M. Balduccini, T. Son (Hrg.);
Springer-Verlag, Heidelberg,
Lecture Notes in Computer Science vol. 6565,
2011, (eingeladen),
ISBN: 978-3-642-20831-7,
S. 233
- 258.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Dynamic Distributed Nonmontonic Multi-Context Systems";
in: "Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary",
G. Brewka, V. Marek, M. Truszczynski (Hrg.);
College Publications,
London, United Kingdom,
2011, (eingeladen),
ISBN: 978-1-84890-042-4.
Zusätzliche Informationen
W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, J. Maluszynski:
"Hybrid Reasoning with Rules and Ontologies";
in: "Semantic Techniques for the Web: The REWERSE Perspective",
F. Bry, J. Maluszynski (Hrg.);
Springer,
Heidelberg,
2009, (eingeladen),
ISBN: 978-3-642-04580-6,
S. 1
- 49.
Zusätzliche Informationen
T. Eiter, W. Faber, G. Pfeifer, A. Polleres:
"Declarative Planning and Knowledge Representation in an Action Language";
in: "Intelligent Techniques for Planning",
I. Vlahavas, D. Vrakas (Hrg.);
Idea Group Publishing,
2005,
ISBN: 1-59140-450-9,
S. 1
- 34.
T. Eiter, C. Feier, M. Fink:
"Simulating Production Rules Using ACTHEX";
in: "Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz",
E. Erdem, J. Lee, Y. Lierler, D. Pearce (Hrg.);
Springer, LNCS 7265,
2012, (eingeladen),
ISBN: 978-3-642-30742-3,
S. 211
- 228.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
" Declarative Update Policies for Nonmonotonic Knowledge Bases";
in: "Logics for Emerging Applications of Databases",
J. Chomicki et al. (Hrg.);
Springer,
2003, (eingeladen),
ISBN: 3-540-00705-9,
S. 85
- 129.
T. Eiter, M. Fink, A. Weinzierl:
"Preference-Based Diagnosis Selection in Multi-Context Systems";
in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation",
9060;
T. Eiter, H. Strass, M. Truszczynski, S. Woltran (Hrg.);
Springer International Publishing Switzerland,
2015,
ISBN: 978-3-319-14726-0,
S. 233
- 248.
T. Eiter, G. Gottlob, T. Schwentick:
"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey";
in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday",
A. Blass, N Dershowitz, W. Reisig (Hrg.);
Springer LNCS,
Heidelberg (LNCS 6300),
2010, (eingeladen),
ISSN: 0302-9743,
S. 227
- 250.
T. Eiter, V. Mascardi, V. Subrahmanian:
"Error-Tolerant Agents";
in: "Computational Logic: From Logic Programming into the Future",
A. Kakas, F. Sadri (Hrg.);
Springer,
2002,
ISBN: 3-540-43959-5,
S. 586
- 625.
T. Eiter, H. Strass, M. Truszczynski, S. Woltran:
"A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence";
in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation",
T. Eiter, H. Strass, M. Truszczynski, S. Woltran (Hrg.);
Springer LNCS,
2015, (eingeladen),
S. 1
- 16.
A. Mileo, M. Dao-Tran, T. Eiter, M. Fink:
"Stream Reasoning";
in: "Encyclopedia of Database Systems",
L. Liu, M.T. M. Tamer (Hrg.);
Springer Science+Business Media,
2017, (eingeladen),
ISBN: 9781461482666,
S. 7
- 12.
Zusätzliche Informationen
Beiträge in Tagungsbänden
C. Baral, T. Eiter:
"A Polynomial-Time Algorithm for Constructing k-Maintainable Policies";
in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference",
D. Dubois, C. Welty, M.-A. Williams (Hrg.);
AAAI Press,
Menlo Park, CA, USA,
2004,
ISBN: 1-57735-201-7,
S. 720
- 729.
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner, K. Schekotihin:
"Stream reasoning-based control of caching strategies in CCN routers";
in: "2017 IEEE International Conference on Communications (ICC)",
IEEE Xplore Digital Library,
2017,
ISBN: 978-1-4673-9000-2,
S. 1
- 6.
Zusätzliche Informationen
H. Beck, T. Eiter, C. Folie:
"Ticker: A system for incremental ASP-based stream reasoning";
in: "Theory and Practice of Logic Programming",
Cambridge University Press,
2017,
S. 744
- 763.
Zusätzliche Informationen
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
in: "Proceedings of the 26th Annual German Conference on Artificial Intelligence (KI 2003)",
Springer,
2003,
ISBN: 3-540-20059-2,
S. 646
- 660.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"Answer Set Planning under Action Costs";
in: "Logics in Artificial in Intelligence, LNAI 2424",
S. Flesca, S. Greco, N. Leone, G. Ianni (Hrg.);
Springer,
Cosenza, Italy,
2002,
ISBN: 3-540-44190-5,
S. 186
- 197.
Zusätzliche Informationen
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings",
C. Palamidessi (Hrg.);
Springer,
2003,
ISBN: 3-540-20642-6,
S. 224
- 238.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Efficient Evaluation of Logic Programs for Querying Data Integration Systems";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings",
C. Palamidessi (Hrg.);
Springer,
2003,
ISBN: 3-540-20642-6,
S. 163
- 177.
T. Eiter, T. Geibinger, N. N. Higuera Ruiz, N. Musliu, J. Oetsch, D. Stepanova:
"Large-Neighbourhood Search for Optimisation in Answer-Set Solving";
in: "36th AAAI Conference on Artificial Intelligence (AAAI-22)",
AAAI Press,
2022,
10 S.
Zusätzliche Informationen
T. Eiter, G. Gottlob:
"Hypergraph Transversal Computation and Related Problems in Logic and AI";
in: "Logics in Artificial Intelligence, LNAI 2424",
S. Flesca, S. Greco, N. Leone, G. Ianni (Hrg.);
Springer,
Cosenza, Italy,
2002,
ISBN: 3-540-44190-5,
S. 549
- 564.
Zusätzliche Informationen
T. Eiter, G. Gottlob, K. Makino:
"New Results on Monotone Dualization and Generating Hypergraph Transversals";
in: "Proceedings of the 34th annual ACM Symposium on Theory of computing",
J. Reif (Hrg.);
ACM Press,
New York, NY, USA,
2002,
ISBN: 1-58113-495-9,
S. 14
- 22.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, C. Redl:
"HEX-Programs with Nested Program Calls";
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 (Hrg.);
Springer,
Heidelberg,
2013,
ISBN: 978-3-642-41523-4,
S. 269
- 278.
Zusätzliche Informationen
T. Eiter, T. Lukasiewicz:
"Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories";
in: "Proceedings Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI-2003)",
Morgan Kaufmann Publishers,
San Francisco, CA, USA,
2003,
ISBN: 0-127-05664-5,
S. 192
- 199.
T. Eiter, J. Oetsch, N. N. Higuera Ruiz, M. Pritz:
"A Confidence-Based Interface for Neuro-Symbolic Visual Question Answering";
in: "CLeaR Workshop AAAI 2022",
AAAI Press,
2022.
Zusätzliche Informationen
T. Eiter, C. Redl, P. Schüller:
"Problem Solving Using the HEX Family";
in: "60 Birthday: Gabriele Kern-Isberner, 2016",
herausgegeben von: Christoph Beierle, Gerhard Brewka, Matthias Thimm;
College Publications,
2016,
ISBN: 978-1-84890-198-8,
S. 150
- 174.
Zusätzliche Informationen
T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)";
in: "3rd Workshop on Trends and Applications of Answer Set Programming",
3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019),
2019,
2 S.
C. Feier, T. Eiter:
"Reasoning with Forest Logic Programs Using Fully Enriched Automata";
in: "Joint Ontology Workshops 2015",
O. Papini et al. (Hrg.);
CEUR-WS.org,
2015,
ISSN: 1613-0073,
10 S.
Zusätzliche Informationen
S. Heymans, C. Feier, T. Eiter:
"A Reasoner for Simple Conceptual Logic Programs";
in: "Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)",
Springer,
2009,
ISBN: 978-3-642-05081-7,
S. 55
- 70.
Zusätzliche Informationen
I. Timm, S. Staab, M. Siebers, C. Schon, U. Schmid, K. Sauerwald, L. Reuter, M. Ragni, C. Niederee, H. Maus, G. Kern-Isberner, T. Eiter, C. Jilek, P. Friemann, A. Dengel, H. Dames, T. Bock, J. Berndt, C. Beierle:
"Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges";
in: "Proceedings of the 41st German Conference on AI (KI 2018), Berlin, Germany, September 24-28, 2018",
11117;
Springer,
2018,
ISBN: 978-3-030-00110-0,
S. 357
- 365.
Zusätzliche Informationen
G. Xiao, T. Eiter:
"Inline Evaluation of Hybrid Knowledge Bases - PhD Description";
in: "Web Reasoning and Rule Systems - 5th International Conference",
S. Rudolph, C. Gutierrez (Hrg.);
Springer LNCS,
Galway, Ireland,
2011,
S. 300
- 305.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
G. Amendola, T. Eiter, N. Leone:
"Modular Paracoherent Answer Sets";
Vortrag: 14th European Conference on Logics in Artificial Intelligence (JELIA 2014),
Funchal, Madeira;
24.09.2014
- 26.09.2014; in: "Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings}",
E. Fermé, J. Leite (Hrg.);
LNCS/Springer,
8761
(2014),
ISBN: 978-3-319-11557-3;
S. 457
- 471.
C. Antic, T. Eiter, M. Fink:
"HEX Semantics via Approximation Fixpoint Theory";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Corunna, Spanien;
15.09.2013
- 19.09.2013; in: "Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings",
P. Cabalar, T. Son (Hrg.);
(2013),
ISBN: 978-3-642-40563-1;
S. 102
- 115.
Zusätzliche Informationen
G. Antoniou, T. Eiter, K. Wang:
"Forgetting for Defeasible Logic";
Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Mérida, Venezuela;
11.03.2012
- 15.03.2012; in: "Logic for Programming, Artificial Intelligence, and Reasoning. 18th International Conference, LPAR-18, Proceedings",
N. Bjorner, A. Voronkov (Hrg.);
LNCS, Springer,
7180
(2012),
ISBN: 978-3-642-28716-9;
S. 77
- 91.
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Toronto, Canada;
14.05.2010
- 16.05.2010; in: "13th International Workshop on Non-Monotonic Reasoning",
T. Meyer, E. Ternovska (Hrg.);
Toronto
(2010),
7 S.
Zusätzliche Informationen
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Vortrag: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010),
Helsinki, Finland;
13.09.2010
- 15.09.2010; in: "12th European Conference on Logics in Artificial Intelligence",
T. Janhunen, I. Niemelä (Hrg.);
Springer,
6341
(2010),
S. 24
- 37.
Zusätzliche Informationen
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems";
Vortrag: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010),
Helsinki, Finland;
13.09.2010
- 15.09.2010; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)",
T. Janhunen, I. Niemelä (Hrg.);
Springer,
6341
(2010),
S. 352
- 355.
Zusätzliche Informationen
C. Baral, T. Eiter:
"Polynomial-time Algorithm for Constructing k-Maintainable Policies";
Vortrag: International Conference on Automated Planning and Scheduling (ICAPS),
Whistler, BC, Canada;
03.06.2004
- 07.06.2004; in: "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling",
S. Zilberstein, J. Koehler, S. Koenig (Hrg.);
AAAI Press,
(2004),
ISBN: 1-57735-200-9;
S. 111
- 120.
C. Baral, T. Eiter, J. Zhao:
"Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Pittsburgh, Pennsylvania, USA;
09.07.2005
- 13.07.2005; in: "Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)",
M. Veloso, S. Kambhampati (Hrg.);
AAAI Press,
(2005),
ISBN: 1-57735-236-x;
S. 578
- 583.
R. Baumgartner, T. Eiter, G. Gottlob, M. Herzog, C. Koch:
"Information Extraction for the Semantic Web";
Vortrag: First International Summer School Reasoning Web 2005,
Msida, Malta;
25.07.2005
- 29.07.2005; in: "Reasoning Web",
Springer,
LNCS 3564
(2005),
ISBN: 3-540-27828-1;
S. 275
- 289.
Zusätzliche Informationen
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner, K. Schekotihin:
"Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks";
Vortrag: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016),
Larnaca;
09.11.2016
- 11.11.2016; in: "Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016",
(2016),
ISBN: 978-3-319-48757-1;
S. 522
- 528.
H. Beck, M. Dao-Tran, T. Eiter:
"Answer Update for Rule-based Stream Reasoning";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Buenos Aires, Argentinia.;
25.07.2015
- 31.07.2015; in: "Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia.",
(2015),
S. 2741
- 2747.
Zusätzliche Informationen
H. Beck, M. Dao-Tran, T. Eiter:
"Equivalent Stream Reasoning Programs";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York;
09.07.2016
- 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016",
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 929
- 935.
Zusätzliche Informationen
H. Beck, M. Dao-Tran, T. Eiter:
"LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract)";
Vortrag: International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM),
Krems, Österreich;
29.01.2018
- 02.02.2018; in: "SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings",
Krems, Austria
(2018),
ISBN: 978-3-319-73116-2;
S. 87
- 93.
Zusätzliche Informationen
H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"LARS: A Logic-based Framework for Analyzing Reasoning over Streams";
Vortrag: AAAI Conference,
Austin, Texas, USA;
25.01.2015
- 30.01.2015; in: "Proceedings of the 29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA.",
(2015),
S. 1431
- 1438.
Zusätzliche Informationen
H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"Towards a Logic-Based Framework for Analyzing Stream Reasoning";
Vortrag: 3rd International Workshop on Ordering and Reasoning (OrdRing 2014),
Riva del Garda, Trentino, Italy;
20.10.2014; in: "3rd International Workshop on Ordering and Reasoning",
(2014),
ISSN: 1613-0073;
S. 11
- 22.
H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"Towards Ideal Semantics for Analyzing Stream Reasoning";
Vortrag: International Workshop on Reactive Concepts in Knowledge Representation 2014,
Prague;
19.08.2014; in: "International Workshop on Reactive Concepts in Knowledge Representation 2014",
(2014),
S. 17
- 22.
H. Beck, T. Eiter, T. Krennwallner:
"Inconsistency Management for Traffic Regulations: Formalization and Complexity Results";
Vortrag: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012),
Toulouse, France;
26.09.2012
- 28.09.2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)",
L. del Cerro, A. Herzig, J. Mengin (Hrg.);
Springer,
7519
(2012),
ISBN: 978-3-642-33352-1;
S. 80
- 93.
Zusätzliche Informationen
H. Beck, T. Eiter, T. Krennwallner:
"Inconsistency Managment for Traffic Regulations";
Vortrag: The AAAI 2012 Workshop on Semantic Cities,
Toronto, Canada;
23.07.2012; in: "The AAAI 2012 Workshop on Semantic Cities",
B. Srivastava, F. Lecue, A. Joshi (Hrg.);
AAAI Press,
Technical Report WS-12-13
(2012),
ISBN: 978-1-57735-578-6;
Paper-Nr. 1,
6 S.
Zusätzliche Informationen
M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Vortrag: International Workshop on Description Logics (DL),
Waterloo, Canada;
04.05.2010
- 07.05.2010; in: "Proceedings of the 23rd International Workshop on Description Logics (DL-2010)",
V. Haarslev, D. Toman, G. Weddell (Hrg.);
CEUR workshop proceedings,
573
(2010),
ISSN: 1613-0073;
S. 149
- 160.
Zusätzliche Informationen
M. Bögl, T. Eiter, M. Fink, P. Schüller:
"The MCS-IE System for Explaining Inconsistency in Multi-Context Systems";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Helsinki, Finnland;
13.09.2010
- 15.09.2010; in: "Logics in Artificial Intelligence (JELIA 2010)",
T. Janhunen, I. Niemelä (Hrg.);
Lecture Notes in Artificial Intelligence/Springer,
6341
(2010),
ISSN: 0302-9743;
S. 356
- 359.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"A Datalog Translation for Reasoning on DL-lite_R with Defeasibility";
Vortrag: 32nd International Workshop on Description Logics (DL 2019),
Oslo, Norway;
18.06.2019
- 21.06.2019; in: "Informal Proceedings of the 32nd International Workshop on Description Logics (DL-2019), Oslo, Norway, June 18-21, 2019",
CEUR-WS.org,
2373
(2019),
13 S.
L. Bozzato, T. Eiter, L. Serafini:
"Contextualized Knowledge Repositories with Justifiable Exceptions";
Vortrag: International Workshop on Description Logics (DL),
Vienna, Austria;
17.07.2014
- 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics",
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.);
CEUR Workshop Proceedings,
Vol. 1193. Aachen, Deutschland
(2014),
ISSN: 1613-0073;
S. 112
- 123.
L. Bozzato, T. Eiter, L. Serafini:
"Defeasibility in contextual reasoning with CKR";
Vortrag: 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013),
Corunna, Spanien;
15.09.2013; in: "Working Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013)",
(2013),
13 S.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"Defeasibility in Contextual Reasoning with CKR";
Vortrag: Proceedings of the 29th Italian Conference on Computational Logic (CILC 2014),
Torino, Italy;
16.06.2014
- 18.06.2014; in: "Proceedings of the 29th Italian Conference on Computational Logic",
L. Giordano, V. Gliozzi, G. Pozzato (Hrg.);
CEUR Workshop Proceedings,
1195
(2014),
ISSN: 1613-0073;
S. 132
- 146.
L. Bozzato, T. Eiter, L. Serafini:
"Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract)";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Stockholm, Sweden;
13.06.2018
- 19.06.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, (IJCAI 2018), July 13-19, 2018, Stockholm, Sweden.",
Stockholm, Sweden
(2018),
ISBN: 978-0-9992411-2-7;
S. 5568
- 5572.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"Justifiable Exceptions in General Contextual Hierarchies";
Vortrag: 11th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2019),
Trento, Italy;
20.11.2019
- 22.11.2019; in: "Proceedings of the 11th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2019), November 20-22, 2019 Trento, Italy",
LNCS, Springer,
11939
(2019),
ISBN: 978-3-030-34974-5;
S. 26
- 39.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"Reasoning on DL-Lite_R with Defeasibility in ASP";
Vortrag: 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019),
Bolzano, Italy;
16.09.2019
- 19.09.2019; in: "Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), September 16-19, 2019 - Bolzano, Italy",
P. Fodor, M. Montali, D. Calvanese, D. Roman (Hrg.);
LNCS, Springer,
11784
(2019),
ISBN: 978-3-030-31095-0;
S. 19
- 35.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"Reasoning with Justifiable Exceptions in Contextual Hierarchies";
Vortrag: 16th International Conference on Principles of Knowledge Representation and Reasoning - KR 2018,
Tempe, AZ, USA;
27.10.2018
- 02.11.2018; in: "Proceedings 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), October 30 -- November 2, 2018, Tempe, Arizona, USA",
AAAI Press,
(2018),
ISBN: 978-1-57735-803-9;
S. 329
- 338.
Zusätzliche Informationen
L. Bozzato, T. Eiter, L. Serafini:
"Reasoning with Justifiable Exceptions in Contextual Hierarchies";
Vortrag: ECAI 2020,
Santiago de Compostela, Spain;
29.08.2020
- 05.09.2020; in: "ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)",
G. De Giacomo (Hrg.);
IOS Press - Frontiers in Artificial Intelligence and Applications,
325
(2020),
ISBN: 978-1-64368-101-6;
S. 2889
- 2890.
Zusätzliche Informationen
G. Brewka, T. Eiter:
"Argumentation Context Systems: A Framework for Abstract Group Argumentation";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Potsdam, Germany;
14.09.2009
- 18.09.2009; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)",
E. Erdem, F. Lin, T. Schaub (Hrg.);
LNCS, Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
S. 44
- 57.
Zusätzliche Informationen
G. Brewka, T. Eiter:
"Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Vancouver, British Columbia, Canada;
22.07.2007
- 26.07.2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence",
AAAI Press,
(2007),
ISBN: 978-1-57735-323-2;
S. 385
- 390.
G. Brewka, T. Eiter:
"From Data Integration Towards Knowledge Mediation";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Potsdam, Germany;
14.09.2009
- 18.09.2009; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)",
E. Erdem, F. Lin, T. Schaub (Hrg.);
LNCS, Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
S. 610
- 612.
Zusätzliche Informationen
G. Brewka, T. Eiter, M. Fink, A. Weinzierl:
"Managed Multi-Context Systems";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain;
16.07.2011
- 22.07.2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence",
T. Walsh (Hrg.);
(2011),
ISBN: 978-1-57735-516-8;
S. 786
- 791.
Zusätzliche Informationen
F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei:
"Foundations of Rule-Based Query";
Vortrag: Third International Summer School 2007,
Dresden, Germany;
03.09.2007
- 07.09.2007; in: "Reasoning Web",
Lecture Notes in Computer Science,
4636
(2007),
ISBN: 978-3-540-74613-3;
S. 1
- 153.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach";
Vortrag: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence,
Vancouver, British Columbia, Canada;
22.07.2007
- 26.07.2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence",
AAAI Press,
(2007),
ISBN: 978-1-57735-323-2;
S. 391
- 396.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Regular Path Queries in Expressive Description Logics with Nominals";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Pasadena, California;
11.07.2009
- 17.07.2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
(2009),
S. 714
- 720.
Zusätzliche Informationen
F. Cheng, T. Eiter, R. Robinson, A. Sattar, K. Wang:
"LPForget: A System of Forgetting in Answer Set Programming";
Vortrag: Australian Joint Conference on Artificial Intelligence,
Hobart, Tasmania, Australia;
04.12.2006
- 08.12.2006; 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;
S. 1101
- 1105.
M. Dao-Tran, H. Beck, T. Eiter:
"Contrasting RDF Stream Processing Semantics";
Vortrag: International Semantic Technology Conference (JIST),
YiChang, China;
11.11.2015
- 13.11.2015; in: "5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China.",
(2015),
8 S.
Zusätzliche Informationen
M. Dao-Tran, H. Beck, T. Eiter:
"Towards Comparing RDF Stream Processing Semantics";
Vortrag: Workshop on High-Level Declarative Stream Processing (HiDeSt),
Dresden;
22.09.2015; in: "1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.",
(2015),
S. 15
- 27.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Nonmonotonic Multi-Context Systems";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Toronto, Canada;
09.05.2010
- 13.05.2010; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)",
F. Lin, U. Sattler, M. Truszczynski (Hrg.);
AAAI Press,
Menlo Park
(2010),
S. 60
- 70.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"First-Order Encodings of Modular Nonmonotonic Logic Programs";
Vortrag: Datalog 2.0 Workshop,
Oxford, UK;
16.03.2010
- 19.03.2010; in: "Datalog Reloaded, 1st International Workshop on Datalog 2010",
O. de Moor, G. Gottlob, T. Furche, A. Sellers (Hrg.);
Springer,
6702
(2011),
ISBN: 978-3-642-24205-2;
S. 59
- 77.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Model Streaming for Distributed Multi-Context Systems";
Vortrag: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications,
Vancouver, Canada;
16.05.2011; in: "2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications",
A. Mileo, M. Fink (Hrg.);
CEUR Workshop Proceedings,
Vancouver, Canada
(2011),
ISSN: 1613-0073;
Paper-Nr. 4,
12 S.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Modular Nonmonotonic Logic Programming Revisited";
Vortrag: 25th International Conference on Logic Programming (ICLP 2009),
Pasadena, California, U.S.A.;
14.07.2009
- 17.07.2009; in: "25th International Conference on Logic Programming (ICLP 2009)",
P. Hill, D. Warren (Hrg.);
Springer,
5649
(2009),
ISBN: 978-3-642-02845-8;
S. 145
- 159.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs";
Vortrag: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009),
Potsdam, Germany;
14.09.2009
- 18.09.2009; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)",
E. Erdem, F. Lin, T. Schaub (Hrg.);
Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
S. 87
- 100.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, G. Weidinger, A. Weinzierl:
"OMiGA: An Open Minded Grounding on-the-fly Answer Set Solver";
Vortrag: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012),
Toulouse, France;
26.09.2012
- 28.09.2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)",
L. del Cerro, A. Herzig, J. Mengin (Hrg.);
Springer,
LNCS 7519
(2012),
S. 480
- 483.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, T. Krennwallner:
"Realizing Default Logic over Description Logic Knowledge Bases";
Vortrag: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009),
Verona, Italy;
01.07.2009
- 03.07.2009; in: "European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)",
C. Sossai, G. Chemello (Hrg.);
Springer,
5590
(2009),
ISBN: 978-3-642-02905-9;
S. 602
- 613.
Zusätzliche Informationen
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Hyderabad, India;
06.01.2007
- 12.01.2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)",
M. Veloso (Hrg.);
AAAI Press/IJCAI,
(2007),
ISBN: 978-1-57735-298-3;
S. 304
- 309.
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules";
Hauptvortrag: International Conference on Knowledge Science, Engineering and Management (KSEM),
Guilin City, China (eingeladen);
05.08.2006
- 08.08.2006; in: "Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 2006)",
J. Lang, F. Lin, J. Wang (Hrg.);
Lecture Notes in Computer Science, Springer,
4092
(2006),
ISBN: 3-540-37033-1;
S. 1
- 22.
J. De Bruijn, T. Eiter, H. Tompits:
"Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Sydney, Australien;
16.09.2008
- 19.09.2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)",
G. Brewka, J. Lang (Hrg.);
AAAI Press,
(2008),
ISBN: 978-1-57735-384-3;
S. 485
- 495.
Zusätzliche Informationen
A. De Rosis, T. Eiter, C. Redl, F. Ricca:
"Constraint Answer Set Programming based on HEX-Programs";
Vortrag: 8th Workshop on Answer Set Programming and Other Computing Paradigms,
Cork, Irland;
31.08.2015; in: "Proceedings of the 8th Workshop on Answer Set Programming and Other Computing Paradigms",
(2015),
15 S.
Zusätzliche Informationen
C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
"Symmetry Breaking for Distributed Multi-Context Systems";
Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011),
Vancouver, Canada;
16.05.2011
- 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning",
J. Delgrande, W. Faber (Hrg.);
Springer,
(2011),
S. 26
- 39.
Zusätzliche Informationen
T. Eiter:
"Answer Set Programming for the Semantic Web (Tutorial)";
Vortrag: International Conference on Logic Programming (ICLP),
Porto, Portugal (eingeladen);
08.09.2007
- 13.09.2007; in: "Proceedings 23th International Conference on Logic Programming (ICLP 2007)",
I. Niemelä, V. Dahl (Hrg.);
Springer Lecture Notes in Computer Science,
4670
(2007),
ISBN: 978-3-540-74608-9;
S. 23
- 26.
T. Eiter:
"Artificial Intelligence at the Gates of Dawn?";
Hauptvortrag: Informatik 2017,
Klagenfurt (eingeladen);
26.09.2016
- 30.09.2016; in: "46. Jahrestag der Gesellschaft fuer Informatik",
M. Pinzger (Hrg.);
Lni / Gi,
Wien
(2016),
ISBN: 978-3-88579-653-4;
S. 37
- 38.
Zusätzliche Informationen
T. Eiter:
"Data Integration and Answer Set Programming";
Hauptvortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Diamante, Italy (eingeladen);
05.09.2005
- 08.09.2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)",
C. Baral et al. (Hrg.);
Springer,
LNAI 3662
(2005),
ISBN: 3-540-28538-5;
S. 13
- 25.
T. Eiter:
"SMS and ASP: Hype or TST?";
Hauptvortrag: International Conference on Logic Programming (ICLP),
Udine, Italy (eingeladen);
09.12.2008
- 13.12.2008; in: "24th International Conference on Logic Programming (ICLP 2008)",
M. Garcia de la Banda, E. Pontelli (Hrg.);
Springer,
LNCS 5366
(2008),
ISBN: 978-3-540-89981-5;
S. 77
- 82.
T. Eiter, A. Artikis, A. Margara, S. Vansummeren:
"Dagstuhl Seminar on theFoundations of Composite Event Recognition";
Hauptvortrag: Dagstuhl Seminar,
Dagstuhl, Deutschland (eingeladen);
09.02.2020
- 14.02.2020; in: "Dagstuhl Seminar on the Foundations of Composite Event Recognition",
ACM SIGMOND Record,
Volume 49 / Issue 4
(2021),
S. 24
- 27.
Zusätzliche Informationen
T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Vortrag: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009),
Trento, Italy (eingeladen);
16.09.2009
- 18.09.2009; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)",
S. Ghilardi, R. Sebastiani (Hrg.);
Springer,
5749
(2009),
ISBN: 978-3-642-04221-8;
S. 18
- 42.
Zusätzliche Informationen
T. Eiter, M. Dao-Tran:
"Streaming Multi-Context Systems";
Vortrag: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
Melbourne, Australia;
19.08.2017
- 25.08.2017; in: "Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)",
C. Sierra (Hrg.);
(2017),
ISBN: 978-0-9992411-0-3;
S. 1000
- 1007.
Zusätzliche Informationen
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar or Diverse Solutions in Answer Set Programming";
Vortrag: International Conference on Logic Programming (ICLP),
Pasadena, California, USA;
14.07.2009
- 17.07.2009; in: "25th International Conference on Logic Programming (ICLP 2009)",
P. Hill, D. Warren (Hrg.);
Springer,
LNCS 5649
(2009),
ISBN: 978-3-642-02845-8;
S. 342
- 356.
T. Eiter, E. Erdem, W. Faber:
"On Reversing Actions: Algorithms and Complexity";
Poster: International Joint Conference on Artificial Intelligence (IJCAI),
Hyderabad, India;
06.01.2007
- 12.01.2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)",
M. Veloso (Hrg.);
AAAI Press/IJCAI,
(2007),
ISBN: 978-1-57735-298-3;
S. 336
- 341.
T. Eiter, E. Erdem, W. Faber:
"Plan Reversals for Recovery in Execution Monitoring";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Whistler, BC, Canada;
06.06.2004
- 08.06.2004; in: "Proceedings of the 10th International Workshop on Non-Monotonic Reasoning",
J. Delgrande, T. Schaub (Hrg.);
(2004),
ISBN: 92-990021-0-x;
S. 147
- 154.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Vortrag: Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006,
Riva del Garda, Italy;
28.08.2006
- 29.08.2006; in: "Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006",
U. Junker, W. Kiessling (Hrg.);
(2006),
S. 15
- 22.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Liverpool, UK;
13.09.2006
- 15.09.2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006",
M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (Hrg.);
Springer,
LNAI 4160
(2006),
ISBN: 978-3-540-39625-3;
S. 124
- 137.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Lake District, UK;
30.05.2006
- 01.06.2006; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track",
J. Dix, A. Hunter (Hrg.);
TU Clausthal, Institut fuer Informatik,
TR IfI-06-04, Germany
(2006),
ISSN: 1860-8477;
S. 353
- 360.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Vortrag: European Conference on Artificial Intelligence,
Riva del Garda, Italy;
29.08.2006
- 01.09.2006; in: "Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI'2006, Riva del Garda, Italy, August 29 -- September 1, 2006",
G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Hrg.);
IOS Press,
(2006),
ISBN: 1-58603-642-4;
S. 367
- 371.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Edinburgh, Scotland;
30.07.2005
- 05.08.2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)",
L. Pack Kaelbling, A. Saffiotti (Hrg.);
Professional Book Center,
(2005),
ISBN: 0-938075-93-4;
S. 418
- 423.
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Vortrag: 2nd Intl. Answer Set Programming Workshop,
Messina, Italy;
26.09.2003
- 28.09.2003; in: "Answer Set Programming - Advances in Theory and Implementation",
M. De Vos, A. Provetti (Hrg.);
CEUR-WS,
78
(2003),
ISSN: 1613-0073;
S. 69
- 83.
Zusätzliche Informationen
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Whistler, BC, Canada;
02.06.2004
- 05.06.2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference",
D. Dubois, C. Welty, M.-A. Williams (Hrg.);
AAAI Press,
Menlo Park, CA, USA
(2004),
ISBN: 1-57735-199-1;
S. 377
- 387.
Zusätzliche Informationen
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"The DLVK Planning System: Progress Report";
Poster: 8th European Conference on Artificial Intelligence, JELIA 2002,
Cosenza, Italy;
23.09.2002
- 26.09.2002; in: "Logics in Artificial Intelligence",
S. Flesca, S. Greco, N. Leone, G. Ianni (Hrg.);
Lecture Notes in Artificial Intelligence (LNAI)/Springer,
2424
(2002),
ISBN: 3-540-44190-5;
S. 541
- 544.
T. Eiter, W. Faber, P. Traxler:
"Testing Strong Equivalence of Datalog Programs: Implementation and Examples";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Diamante, Italy;
05.09.2005
- 08.09.2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)",
C. Baral et al. (Hrg.);
Springer,
LNCS 3662
(2005),
ISBN: 3-540-28538-5;
S. 437
- 441.
T. Eiter, A. Falkner, P. Schneider, P. Schüller:
"ASP-Based Signal Plan Adjustments for Traffic Flow Optimization";
Vortrag: European Conference on Artificial Intelligence (ECAI),
Santiago de Compostela, Spain;
29.08.2020
- 08.09.2020; in: "ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)",
IOS Press - Frontiers in Artificial Intelligence and Applications,
325
(2020),
ISSN: 1879-8314;
7 S.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011),
Vancouver, Canada;
16.05.2011
- 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)",
J. Delgrande, W. Faber (Hrg.);
Springer,
(2011),
S. 93
- 106.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Towards a Policy Language for Managing Inconsistency in Multi-Context Systems";
Vortrag: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications,
Vancouver, Canada;
16.05.2011; in: "Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications",
A. Mileo, M. Fink (Hrg.);
CEUR workshop proceedings,
738
(2011),
ISSN: 1613-0073;
Paper-Nr. 5,
13 S.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner:
"Decomposing HEX-Programs: Preliminary Results";
Poster: Junior Scientist Conference 2008,
Wien;
16.11.2008
- 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008",
H. Kaiser, R. Kirner (Hrg.);
(2008),
ISBN: 978-3-200-01612-5;
S. 29
- 30.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Vortrag: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009),
Pasadena, California, U.S.A.;
11.07.2009
- 17.07.2009; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
Menlo Park, California, U.S.A.
(2009),
S. 752
- 758.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Grounding HEX-Programs with Expanding Domains";
Vortrag: Workshop on Grounding and Transformations for Theories With Variables (GTTV),
Corunna, Spain;
15.09.2013; in: "2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)",
D. Pearce, S. Tasharrofi, E. Ternovska, C. Vidal (Hrg.);
Corunna, Spain
(2013),
13 S.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"HEX-Programs with Existential Quantification";
Vortrag: 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013),
Kiel, Deutschland;
11.09.2013
- 13.09.2013; in: "Kiel Declarative Programming Days 2013",
M. Hanus, R. Rocha (Hrg.);
Springer,
8439
(2014),
S. 99
- 117.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Liberal Safety for Answer Set Programs with External Sources";
Vortrag: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13),
Bellevue, Washington, USA;
14.07.2013
- 18.07.2013; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)",
M. desJardins, M. Littman (Hrg.);
AAAI Press,
Menlo Park
(2013),
S. 267
- 275.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Eliminating Unfounded Set Checking for HEX-Programs";
Vortrag: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012),
Budapest, Hungary;
24.09.2012; in: "Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary",
M. Fink, Y. Lierler (Hrg.);
CoRR - Computing Research Repository,
arXiv:1301.1390v1
(2012),
15 S.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Exploiting Unfounded Sets for HEX-Program Evaluation";
Vortrag: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012),
Toulouse, France;
26.09.2012
- 28.09.2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)",
L. del Cerro, A. Herzig, J. Mengin (Hrg.);
Springer,
LNCS 7519
(2012),
ISBN: 978-3-642-33352-1;
S. 160
- 175.
Zusätzliche Informationen
T. Eiter, M. Fink, J. Moura:
"Paracoherent Answer Set Programming";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Toronto, Canada;
09.05.2010
- 13.05.2010; in: "Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010",
F. Lin, U. Sattler, M. Truszczynski (Hrg.);
AAAI Press,
Menlo Park
(2010),
ISBN: 978-1-57735-452-9;
S. 486
- 496.
Zusätzliche Informationen
T. Eiter, M. Fink, C. Redl, D. Stepanova:
"Exploiting Support Sets for Answer Set Programs with External Evaluations";
Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014),
Québec City, Québec, Canada;
27.07.2014
- 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence",
C. Brodley, P. Stone (Hrg.);
AAAI Press,
2
(2014),
ISBN: 978-1-57735-661-5;
S. 1041
- 1048.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"A Framework for Declarative Update Specifications in Logic Programs";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Seattle, Washington, USA;
04.08.2001
- 10.08.2001; in: "Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)",
B. Nebel (Hrg.);
Morgan Kaufmann,
(2001),
ISBN: 1-55860-777-3;
S. 649
- 654.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"A Generic Approach for Knowledge-Based Information-Site Selection";
Vortrag: International Conference on Principles of Knowledge Representation and Reasoning (KR),
Toulouse, France;
22.04.2002
- 27.04.2002; in: "Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)",
D. Fensel, F. Giunchiglia, D. McGuinness, M.-A. Williams (Hrg.);
Morgan Kaufmann,
Toulouse, France
(2002),
ISBN: 1-55860-847-8;
S. 459
- 469.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"An Update Front-End for Extended Logic Programs";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Vienna, Austria;
17.09.2001
- 19.09.2001; in: "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)",
T. Eiter, W. Faber, M. Truszczynski (Hrg.);
Springer,
LNAI 2173
(2001),
ISBN: 3-540-42593-4;
S. 397
- 401.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Considerations on Updates of Logic Programs";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Malaga, Spain;
29.09.2000
- 02.10.2000; in: "Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA)",
M. Ojeda-Aciego, I.P. de Guzman, G. Brewka, L.M. Pereira (Hrg.);
Springer,
LNAI 1919
(2000),
ISBN: 3-540-41131-3;
S. 2
- 20.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Declarative Knowledge Updates through Agents";
Vortrag: AISB Symposion on Adaptive Agents and Multi-Agent Systems,
York, UK;
21.03.2001
- 24.03.2001; in: "Proceedings of the AISB´01 Symposion on Adaptive Agents and Multi-Agent Systems",
(2001),
ISBN: 1-90295-617-0;
S. 79
- 84.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Havana, Cuba;
03.12.2001
- 07.12.2001; in: "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001)",
R. Nieuwenhuis, A. Voronkov (Hrg.);
Springer,
LNAI 2250
(2001),
ISBN: 3-540-42957-3;
S. 407
- 421.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Specifying Update Policies for Nonmonotonic Knowledge Bases";
Vortrag: Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR),
Potsdam, Germany;
04.04.2001
- 06.04.2001; in: "Proceedings of the 5th Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001)",
G. Brewka, C. Witteween, T. Schaub (Hrg.);
(2001),
S. 54
- 63.
T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Vortrag: NonMon@30 - Thirty Years of Nonmonotonic Reasoning,
Lexington, Kentucky;
22.10.2010
- 25.10.2010; in: "NonMon@30 - Thirty Years of Nonmonotonic Reasoning",
(2010),
15 S.
Zusätzliche Informationen
T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011),
Vancouver, Canada;
16.05.2011
- 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)",
J. Delgrande, W. Faber (Hrg.);
Springer,
6645
(2011),
ISSN: 0302-9743;
S. 107
- 119.
Zusätzliche Informationen
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Toronto, Canada;
09.05.2010
- 13.05.2010; 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;
S. 329
- 339.
Zusätzliche Informationen
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems";
Vortrag: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications,
Potsdam, Deutschland;
14.09.2009; in: "Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009",
J. Delgrande, A. Mileo (Hrg.);
CEUR workshop proceedings,
Vol-550
(2009),
ISSN: 1613-0073;
Paper-Nr. 2,
4 S.
Zusätzliche Informationen
T. Eiter, M. Fink, J. Senko:
"A Tool for Answering Queries on Action Descriptions";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Liverpool, UK;
13.09.2006
- 15.09.2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006",
M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (Hrg.);
Springer,
LNAI 4160
(2006),
ISBN: 978-3-540-39625-3;
S. 473
- 476.
T. Eiter, M. Fink, J. Senko:
"Error Classification in Action Descriptions: A Heuristic Approach.";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Chicago, Illinois, USA;
13.07.2008
- 17.07.2008; in: "Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008",
D. Fox, C.P. Gomes (Hrg.);
AAAI Press,
(2008),
ISBN: 978-1-57735-368-3;
S. 905
- 910.
T. Eiter, M. Fink, J. Senko:
"KMonitor -- A Tool for Monitoring Plan Execution in Action Theories";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Diamante, Italy;
05.09.2005
- 08.09.2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)",
C. Baral et al. (Hrg.);
Springer,
LNCS 3662
(2005),
ISBN: 3-540-28538-5;
S. 416
- 421.
T. Eiter, M. Fink, D. Stepanova:
"Computing Repairs for Inconsistent DL-programs over EL Ontologies";
Vortrag: 14th European Conference on Logics in Artificial Intelligence (JELIA 2014),
Funchal, Madeira, Portugal;
24.09.2014
- 26.09.2014; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)",
E. Fermé, J. Leite (Hrg.);
Springer,
7519
(2014),
ISBN: 978-3-319-11557-3;
S. 426
- 441.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Data Repair of Inconsistent DL-programs";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13),
Peking, China;
03.08.2013
- 09.08.2013; in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence",
AAAI Press,
(2013),
ISBN: 978-1-57735-633-2;
S. 869
- 876.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Inconsistency Management for Description Logic Programs and Beyond";
Vortrag: RR 2013 - 7th International Conference on web Reasoning and Rule Systems,
Mannhein, Germany (eingeladen);
27.07.2013
- 29.07.2013; in: "Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings",
(2013),
S. 1
- 3.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Semantic Independence in DL-programs";
Vortrag: International Conference on Web Reasoning and Rule Systems (RR),
Vienna, Austria;
10.09.2012
- 12.09.2012; in: "Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings",
M. Krötzsch, U. Straccia (Hrg.);
Springer,
LNCS 7497
(2012),
S. 58
- 74.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Towards Practical Deletion Repair of Inconsistent DL-programs";
Vortrag: 27th International Workshop on Description Logics,
Vienna, Austria;
17.07.2014
- 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics",
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.);
CEUR-WS,
Vol-1193
(2014),
ISSN: 1613-0073;
S. 169
- 180.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Towards Practical Deletion Repair of Inconsistent DL-programs";
Vortrag: 21st European Conference on Artificial Intelligence,
Prague, Czech Republic;
18.08.2014
- 22.08.2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence",
T. Schaub, G. Friedrich, B. O´Sullivan (Hrg.);
Frontiers in Artificial Intelligence and Applications,
Volume 263
(2014),
ISBN: 978-1-61499-418-3;
S. 285
- 290.
Zusätzliche Informationen
T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Vortrag: Workshop on Logic Programming (WLP),
Vienna, Austira;
22.02.2006
- 24.02.2006; in: "Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24",
M. Fink, H. Tompits, S. Woltran (Hrg.);
TU Wien, Institut fuer Informationssysteme,
INFSYS Research Report, 1843-06-02
(2006),
Paper-Nr. 24,
9 S.
T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Lake District, UK;
02.06.2006
- 05.06.2006; in: "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5",
P. Doherty, J. Mylopoulos, C. Welty (Hrg.);
AAAI Press,
(2006),
ISBN: 978-1-57735-271-6;
S. 340
- 351.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Complexity Results for Checking Equivalence of Stratified Logic Programs";
Poster: International Joint Conference on Artificial Intelligence (IJCAI),
Hyderabad, India;
06.01.2007
- 12.01.2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
M. Veloso (Hrg.);
AAAI Press,
(2007),
ISBN: 978-1-57735-298-3;
S. 330
- 335.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation";
Vortrag: 2nd Intl. Answer Set Programming Workshop,
Messina, Italy;
26.09.2003
- 28.09.2003; in: "Answer Set Programming - Advances in Theory and Implementation",
M. De Vos, A. Provetti (Hrg.);
CEUR-WS,
78
(2003),
ISSN: 1613-0073;
S. 151
- 165.
Zusätzliche Informationen
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"On Eliminating Disjunctions in Stable Logic Programming";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Whistler, BC, Canada;
02.06.2004
- 05.06.2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference",
D. Dubois, C. Welty, M.-A. Williams (Hrg.);
AAAI Press,
(2004),
ISBN: 1-57735-201-7;
S. 447
- 457.
Zusätzliche Informationen
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Simplifying Logic Programs under Uniform and Strong Equivalence";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Fort Lauderdale, FL, USA;
06.01.2004
- 08.01.2004; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning",
V. Lifschitz, I. Niemelä (Hrg.);
Springer,
LNAI 2923
(2004),
ISBN: 3-540-20721-x;
S. 87
- 99.
Zusätzliche Informationen
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Pittsburgh, Pennsylvania, USA;
09.07.2005
- 13.07.2005; in: "Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference,",
AAAI Press / The MIT Press 2005,
(2005),
ISBN: 1-57735-236-x;
S. 695
- 700.
T. Eiter, M. Fink, A. Weinzierl:
"Preference-Based Inconsistency Assessment in Multi-Context Systems";
Vortrag: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010),
Helsinki, Finland;
13.09.2010
- 15.09.2010; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)",
T. Janhunen, I. Niemelä (Hrg.);
Springer,
6341
(2010),
ISBN: 978-3-642-15674-8;
S. 143
- 155.
Zusätzliche Informationen
T. Eiter, H. Füreder, F. Kasslatter, J. Parreira, P. Schneider:
"Towards a Semantically Enriched Local Dynamic Map";
Vortrag: 23rd World Congress on Intelligent Transport Systems 2016 (ITS WC 2016),
Melbourne, Australia;
10.10.2016
- 14.10.2016; in: "23rd World Congress on Intelligent Transport Systems 2016",
E. Chung, B. Smith (Hrg.);
IEEE,
(2016).
T. Eiter, T. Geibinger, N. Musliu, J. Oetsch, P. Skocovsky, D. Stepanova:
"Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling";
Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning,
online event;
03.11.2021
- 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021},",
(2021),
S. 280
- 290.
Zusätzliche Informationen
T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic Horn-SHIQ";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Dresden, Germany;
28.09.2008
- 01.10.2008; in: "Logics in Artificial Intelligence (JELIA 08)",
S. Hölldobler, C. Lutz, H. Wansing (Hrg.);
Lecture Notes in Artificial Intelligence,
5293
(2008),
ISBN: 978-3-540-87802-5;
S. 166
- 179.
T. Eiter, G. Gottlob, T. Schwentick:
"Second-Order Logic over Strings: Regular and Non-Regular Fragments";
Vortrag: International Conference on Developments in Language Theory (DLT),
Vienna, Austria;
16.07.2001
- 21.07.2001; in: "Proceedings Fifth International Conference on Developments in Language Theory (DLT 2001). Revised Papers",
W. Kuich et al. (Hrg.);
Springer,
(2002),
ISBN: 3-540-43453-4;
S. 37
- 56.
T. Eiter, M. Hecher, R. Kiesel:
"aspmc: An Algebraic Answer Set Counter.";
Vortrag: 37th International Conference on Logic Programming (ICLP 2021),
Porto, Portugal;
20.09.2020
- 21.09.2020; in: "Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021",
(2021).
Zusätzliche Informationen
T. Eiter, M. Hecher, R. Kiesel:
"Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.";
Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning,
virtual event;
03.11.2021
- 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021",
(2021),
S. 269
- 279.
Zusätzliche Informationen
T. Eiter, A. Hunter, F. Schwarzentruber:
"How Hard to Tell? Complexity of Belief Manipulation ThroughPropositional Announcements";
Vortrag: IJCAI 2021,
Montreal, Kanada (eingeladen);
19.08.2021
- 26.08.2021; in: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21)",
Z. Zhou (Hrg.);
IJCAI,
New York
(2021),
ISBN: 978-0-9992411-9-6;
S. 1866
- 1872.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Krennwallner:
"Answer Set Programming: A Primer";
Vortrag: 5th International Summer School Reasoning Web 2009,
Brixen-Bressanone, Italy (eingeladen);
30.08.2009
- 04.09.2009; in: "5th International Summer School Reasoning Web 2009",
S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt (Hrg.);
Springer,
5689
(2009),
ISBN: 978-3-642-03753-5;
S. 40
- 110.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Krennwallner, A. Polleres:
"Rules and Ontologies for the Semantic Web";
Vortrag: Fourth International Summer School Reasoning Web 2008,
Venice, Italy (eingeladen);
07.09.2008
- 11.09.2008; in: "Reasoning Web",
C. Baroglio, P. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, S. Schaffert (Hrg.);
Springer,
5224
(2008),
ISBN: 978-3-540-85656-6;
S. 1
- 53.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs";
Vortrag: Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek,
Fort Lauderdale, Florida, U.S.A. (eingeladen);
02.01.2008
- 04.01.2008; in: "Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM)",
M. Kaminski, M. Truszczynski (Hrg.);
(2008),
9 S.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs.";
Vortrag: International Workshop on Description Logics (DL),
Bressanone, Italy;
08.06.2007
- 10.06.2007; in: "Proceedings of the 2007 International Workshop on Description Logics (DL2007)",
D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A. Turhan, S. Tessaris (Hrg.);
CEUR Workshop Proceedings,
250
(2007),
S. 259
- 266.
Zusätzliche Informationen
T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits:
"Reasoning with Rules and Ontologies";
Vortrag: Second International Summer School Reasoning Web 2006,
Lissabon, Portugal;
04.09.2006
- 08.09.2006; in: "Lecture Notes in Computer Science. Reasoning Web",
P. Barahona, F. Bry, E. Franconi, N. Henze, U. Sattler (Hrg.);
Lecture Notes in Computer Science. Springer,
4126
(2006),
ISBN: 978-3-540-38409-0;
S. 93
- 127.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"A RuleML Syntax for Answer-Set Programming";
Poster: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006,
Seattle, USA;
16.08.2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006.",
A. Polleres, D. Decker, G. Gupta, J. De Bruijn (Hrg.);
CEUR Workshop Proceedings,
196
(2006),
S. 107
- 108.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Edinburgh, Scotland;
30.07.2005
- 05.08.2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)",
Professional Book Center,
Denver, USA
(2005),
ISBN: 0-938075-93-4;
S. 90
- 96.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"DLV-HEX: Dealing with Semantic Web under Answer-Set Programming";
Poster: International Semantic Web Conference (ISWC),
Galway, Ireland;
08.11.2005; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)",
R. Mizoguchi (Hrg.);
(2005),
S. PID 73.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics";
Poster: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06),
Hong Kong, China;
18.12.2006
- 22.12.2006; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)",
T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (Hrg.);
IEEE Computer Society Press,
(2006),
ISBN: 0-7695-2747-7;
S. 1073
- 1074.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework";
Vortrag: WLP 2006,
Wien;
22.02.2006
- 24.02.2006; in: "Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP '06)",
M. Fink, H. Tompits, S. Woltran (Hrg.);
(2006),
S. 206
- 210.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics";
Vortrag: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006,
Seattle, USA;
16.08.2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)",
A. Polleres, D. Decker, G. Gupta, J. De Bruijn (Hrg.);
CEUR Workshop Proceedings,
196
(2006),
S. 33
- 39.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning";
Vortrag: European Conference on Semantic Web (ESWC 2006),
Budva, Montenegro;
11.06.2006
- 14.06.2006; in: "The Semantic Web: Research and Applications. Proceedings 3rd European Conference on Semantic Web (ESWC 2006)",
Y. Sure, J. Domingue (Hrg.);
Lecture Notes in Computer Science. Springer,
4011
(2006),
ISBN: 3-540-34544-2;
S. 273
- 287.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics";
Poster: International Semantic Web Conference (ISWC),
Galway, Ireland;
08.11.2005; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)",
R. Mizoguchi (Hrg.);
(2005),
S. PID 67.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"Nonmonotonic Description Logic Programs: Implementation and Experiments";
Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Montevideo, Uruguay;
14.03.2005
- 18.03.2005; in: "Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning",
F. Baader, A. Voronkov (Hrg.);
Springer,
LNAI 3452
(2005),
ISBN: 3-540-25236-3;
S. 511
- 527.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"Towards Efficient Evaluation of HEX Programs";
Vortrag: 11th International Workshop on Nonmonotonic Reasoning,
Lakeside, UK;
30.05.2006
- 01.06.2006; in: "Proceedings of the 11th Workshop on Nonmonotonic Reasoning",
J. Dix, A. Hunter (Hrg.);
Clausthal University of Technology,
lfl-06-04
(2006),
ISSN: 1860-8477;
S. 40
- 46.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang:
"Forgetting in Managing Rules and Ontologies";
Vortrag: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006,
Seattle, USA;
16.08.2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)",
A. Polleres, D. Decker, G. Gupta, J. De Bruijn (Hrg.);
CEUR Workshop Proceedings,
196
(2006),
S. 1
- 16.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang:
"Forgetting in Managing Rules and Ontologies";
Vortrag: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06),
Hong Kong, China;
18.12.2006
- 22.12.2006; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)",
T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (Hrg.);
IEEE Computer Society Press,
(2006),
ISBN: 0-7695-2747-7;
S. 411
- 419.
T. Eiter, R. Ichise, J. Xavier Parreira, P. Schneider, L. Zhao:
"Deploying Spatial-Stream Query Answering in C-ITS Scenarios";
Vortrag: 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018),
Nancy, France;
13.11.2018
- 18.11.2018; in: "Proceedings of 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018), Nancy, France, November 13-18, 2018",
(2018),
ISBN: 978-3-030-03666-9;
S. 1
- 21.
Zusätzliche Informationen
T. Eiter, T. Kaminski:
"Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects";
Vortrag: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016),
Larnaca;
09.11.2016
- 11.11.2016; in: "Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings",
L. Michael, A. Kakas (Hrg.);
Lecture Notes in Computer Science,
10021
(2016),
ISBN: 978-3-319-48758-8;
S. 223
- 239.
Zusätzliche Informationen
T. Eiter, T. Kaminski:
"Pruning External Minimality Checking for ASP Using Semantic Dependencies";
Vortrag: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference,
Philadelphia, USA;
03.06.2019
- 07.06.2019; in: "Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning",
M. Balduccini, Y. Lierler, S. Woltran (Hrg.);
LNCS, Springer,
11481
(2019),
ISBN: 978-3-030-20528-7;
S. 326
- 339.
Zusätzliche Informationen
T. Eiter, T. Kaminski, C. Redl, P. Schüller, A. Weinzierl:
"Answer Set Programming with External Source Access";
Vortrag: 13th Reasoning Web Summer School (RW 2017),
London, United Kingdom (eingeladen);
07.07.2017
- 11.07.2017; 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 (Hrg.);
Springer,
10370
(2017),
ISBN: 978-3-319-61032-0;
S. 204
- 275.
T. Eiter, T. Kaminski, C. Redl, A. Weinzierl:
"Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016",
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 1058
- 1065.
Zusätzliche Informationen
T. Eiter, T. Kaminski, A. Weinzierl:
"Lazy-Grounding for Answer Set Programs with External Source Access";
Vortrag: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
Melbourne, Australia;
19.08.2017
- 25.08.2017; in: "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017",
C. Sierra (Hrg.);
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;
S. 1015
- 1022.
Zusätzliche Informationen
T. Eiter, R. Kiesel:
"On the Complexity of Sum-of-Products Problems over Semirings.";
Vortrag: 35th AAAI 2021,
virtual event;
02.02.2021
- 09.02.2021; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021",
(2021),
S. 6304
- 6311.
Zusätzliche Informationen
T. Eiter, R. Kiesel:
"Weighted LARS for Quantitative Stream Reasoning";
Vortrag: ECAI 2020,
Santiago de Compostela, Spain;
29.08.2020
- 05.09.2020; in: "24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)",
(2020),
S. 729
- 736.
Zusätzliche Informationen
T. Eiter, V. Klotz, H. Tompits, S. Woltran:
"Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks";
Vortrag: Analytic Tableaux and Related Methods (TABLEAUX),
Copenhagen, Denmark;
30.07.2002
- 01.08.2002; in: "Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
U. Egly, C. Fermüller (Hrg.);
Springer Verlag,
(2002),
ISBN: 3-540-43929-3;
S. 100
- 114.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, M. Straub:
"Semantically Enriched Multi-Modal Routing";
Vortrag: 19th ITS World Congress (ITS World 2012),
Vienna, Austria;
22.10.2012
- 26.10.2012; in: "19th ITS World Congress (ITS World 2012)",
V. Blervaque, R. Pfliegl (Hrg.);
ERTICO-ITS Europe,
Brussels
(2012),
Paper-Nr. EU-00427,
10 S.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, C. Redl:
"Declarative Merging of and Reasoning about Decision Diagrams";
Vortrag: Workshop on Constraint Based Methods for Bioinformatics (WCB),
Perugia, Italy;
12.09.2011; in: "Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011)",
A. Dal Palù, A. Dovier, A. Formisano (Hrg.);
Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia,
Perugia, Italy
(2011),
Paper-Nr. 1,
13 S.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, C. Redl:
"Nested HEX-Programs";
Vortrag: International Conference on Applications of Declarative Programming and Knowledge Management,
Vienna, Austria;
28.09.2011
- 30.09.2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)",
H. Tompits (Hrg.);
Computing Research Repository (CoRR), arXiv,
arXiv:1108.5626v1
(2011),
6 S.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, P. Schneider:
"Lightweight Spatial Conjunctive Query Answering Using Keywords";
Vortrag: 10th Extended Semantic Web Conference (ESWC 2013),
Montpellier, France;
26.05.2013
- 30.05.2013; in: "10th Extended Semantic Web Conference (ESWC 2013)",
P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (Hrg.);
Springer,
7882
(2013),
ISBN: 978-3-642-38287-1;
S. 243
- 258.
Zusätzliche Informationen
T. Eiter, T. Krennwallner, P. Schneider, G. Xiao:
"Uniform Evaluation of Nonmonotonic DL-Programs";
Vortrag: 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012),
Kiel, Germany (eingeladen);
05.03.2012
- 09.03.2012; in: "7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)",
T. Lukasiewicz, A. Sali (Hrg.);
Springer,
7153
(2012),
S. 1
- 22.
Zusätzliche Informationen
T. Eiter, D. Le-Phuoc, A. Le-Tuan:
"A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion";
Vortrag: 35th AAAI Conference on Artificial Intelligence (AAAI-21),
Palo Alto, Kalifornien, USA (eingeladen);
02.02.2021
- 09.02.2021; in: "AAAI 2021 Proceedings",
AAAI Press,
35
(2021),
ISBN: 978-1-57735-866-4;
S. 4996
- 5005.
T. Eiter, T. Lukasiewicz:
"Causes and Explanations in the Structural-Model Approach: Tractable Cases";
Vortrag: Conference on Uncertainty in Artificial Intelligence (UAI),
Edmonton, Alberta, Canada;
01.08.2002
- 04.08.2002; in: "Proceedings Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI-2002)",
A. Darwiche, N. Friedman (Hrg.);
Morgan Kaufmann,
(2002),
S. 146
- 153.
T. Eiter, T. Lukasiewicz:
"Complexity Results for Explanations in the Structural-Model Approach";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Toulouse, France;
22.04.2002
- 25.04.2002; in: "Proceedings Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR-02)",
D. Fensel et al. (Hrg.);
Morgan Kaufmann,
(2002),
ISBN: 1-55860-847-8;
S. 49
- 60.
T. Eiter, T. Lukasiewicz, L. Predoiu:
"Generalized Consistent Query Answering under Existential Rules";
Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016),
Kapstadt;
25.04.2016
- 29.04.2016; in: "Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)",
J. Delgrande, F. Wolter (Hrg.);
(2016),
ISBN: 978-1-57735-755-1;
S. 359
- 368.
Zusätzliche Informationen
T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Whistler, BC, Canada;
02.06.2004
- 05.06.2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference",
D. Dubois, C. Welty, M.-A. Williams (Hrg.);
AAAI Press,
(2004),
ISBN: 1-57735-201-7;
S. 141
- 151.
T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Well-founded Semantics for Description Logic Programs in the Semantic Web";
Vortrag: Rules and Rule Markup Languages for the Semantic Web,
Hiroshima, Japan;
08.11.2004; in: "Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004",
G. Antoniou, H. Boley (Hrg.);
Springer,
LNCS 3323
(2004),
ISBN: 3-540-23842-5;
S. 81
- 97.
Zusätzliche Informationen
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics with Transitive Roles";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Pasadena, California;
11.07.2009
- 17.07.2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
(2009),
S. 759
- 764.
Zusätzliche Informationen
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics: The Knots Approach";
Hauptvortrag: International Workshop on Logic, Language, Information and Computation (WoLLIC),
Tokyo, Japan (eingeladen);
21.06.2009
- 24.06.2009; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514",
H. Ono, M. Kanazawa, R. de Queiroz (Hrg.);
Springer Lecture Notes in Computer Science,
Heidelberg
(2009),
ISBN: 978-3-642-02260-9;
S. 26
- 36.
Zusätzliche Informationen
T. Eiter, K. Makino:
"Abduction and the Dualization Problem";
Vortrag: 6th International Conference on Discovery Science,
Sapporo, Japan (eingeladen);
17.10.2003
- 19.10.2003; in: "Proceedings 6th International Conference on Discovery Science (DS 2003)",
Springer,
Lecture Notes in Computer Science 2843
(2003),
ISBN: 3-540-20293-5;
S. 1
- 20.
T. Eiter, K. Makino:
"Generating all Abductive Explanations for Queries on Propositional Horn Theories";
Vortrag: 12th Annual Conference of the EACSL,
Vienna, Austria;
25.08.2003
- 30.08.2003; in: "Proceedings 12th Annual Conference of the EACSL (CSL 2003)",
Springer,
Lecture Notes in Computer Science 2803
(2003),
ISBN: 3-540-40801-0;
S. 197
- 211.
T. Eiter, K. Makino:
"New Results for Horn Cores and Envelopes of Horn Disjunctions";
Vortrag: 18th European Conference on Artificial Intelligence,
Patras, Greece;
21.07.2008
- 25.07.2008; in: "18th European Conference on Artificial Intelligence",
M. Ghallab, C. Spyropoulos, N. Fakotakis, N. Avouris (Hrg.);
IOS Press,
Volume 178 of Frontiers in Artificial Intelligence and Applications
(2008),
ISBN: 978-1-58603-891-5;
S. 60
- 64.
T. Eiter, K. Makino:
"On Computing all Abductive Explanations";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Edmonton, Alberta, Canada;
28.07.2002
- 01.08.2002; in: "Proceedings Eighteenth National Conference on Artificial Intelligence (AAAI '02)",
AAAI Press,
Menlo Park, CA
(2002),
ISBN: 0-262-51129-0;
S. 62
- 67.
T. Eiter, M. Mushthofa, W. Faber:
"Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities";
Vortrag: Twenty-Fourth AAAI Conference on Artificial Intelligence,
Atlanta, Georgia, USA;
11.07.2010
- 15.07.2010; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)",
M. Fox, D. Poole (Hrg.);
AAAI Press,
(2010),
ISBN: 978-1-57735-463-5;
S. 303
- 308.
Zusätzliche Informationen
T. Eiter, P. Ogris, K. Schekotihin:
"Distributed Stream Reasoning with LARS and ASP";
Vortrag: 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019),
Potsdam, Germany;
18.11.2019
- 19.11.2019; in: "3rd Workshop on Trends and Applications of Answer Set Programming",
(2019),
2 S.
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Reasoning Using Knots";
Hauptvortrag: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Doha, Qatar (eingeladen);
22.11.2008
- 27.11.2008; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)",
I. Cervesato, H. Veith, A. Voronkov (Hrg.);
Lecture Notes in Computer Science, Springer,
Volume 5330
(2008),
ISBN: 978-3-540-89438-4;
S. 377
- 390.
T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"Query Rewriting for Horn-SHIQ Plus Rules";
Vortrag: Twenty-Sixth AAAI Conference on Artificial Intelligence,
Toronto, Ontario, Canada;
22.07.2012
- 26.07.2012; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence",
J. Hoffmann, B. Selman (Hrg.);
AAAI Press,
(2012),
ISBN: 978-1-57735-568-7;
S. 726
- 733.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"Towards Practical Query Answering for Horn SHIQ.";
Vortrag: International Workshop on Description Logics (DL),
Rome, Italy;
07.06.2012
- 10.06.2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)",
Y. Kazakov, D. Lembo, F. Wolter (Hrg.);
CEUR workshop proceedings,
846
(2012),
ISSN: 1613-0073;
S. 158
- 168.
Zusätzliche Informationen
T. Eiter, J. Z. Pan, P. Schneider, M. Simkus, G. Xiao:
"A Rule-based Framework for Creating Instance Data from OpenStreetMap";
Vortrag: International Conference on Web Reasoning and Rule Systems (RR),
Berlin, Germany;
04.08.2015
- 05.08.2015; in: "Web Reasoning and Rule Systems - 9th International Conference, RR 2015",
B. ten Cate, A. Mileo (Hrg.);
Springer LNCS,
9209
(2015),
ISBN: 978-3-319-22001-7;
S. 93
- 104.
Zusätzliche Informationen
T. Eiter, J. Parreira, P. Schneider:
"Detecting Mobility Patterns using Spatial Query Answering over Streams";
Vortrag: Web Stream Processing workshop (WSP 2017) and International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017),
Vienna;
22.10.2017; 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 (Hrg.);
CEUR Workshop Proceedings,
1936
(2017),
ISSN: 1613-0073;
S. 17
- 32.
Zusätzliche Informationen
T. Eiter, J. Parreira, P. Schneider:
"Spatial Ontology-Mediated Query Answering over Mobility Streams";
Vortrag: The Semantic Web - 14th International Conference (ESWC 2017),
Portoroz, Slovenia;
28.05.2017
- 01.06.2017; in: "The Semantic Web - 14th International Conference, ESWC 2017, Proceedings, Part I",
E. Blomqvist, D. Maynard, A. Gangemi, R. Hoekstra, P. Hitzler, O. Hartig (Hrg.);
Springer Lecture Notes in Computer Science LNCS,
10249
(2017),
ISBN: 978-3-319-58067-8;
S. 219
- 237.
Zusätzliche Informationen
T. Eiter, J. Parreira, P. Schneider:
"Towards Spatial Ontology-Mediated Query Answering over Mobility Streams";
Vortrag: 3rd Stream Reasoning (SR 2016),
Kobe, Japan;
17.10.2016
- 18.10.2016; in: "Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016)",
D. Dell´Aglio, E. Della Valle, T. Eiter, M. Krötzsch (Hrg.);
CEUR,
1738
(2016),
ISSN: 1613-0073;
S. 13
- 24.
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Fort Lauderdale, FL, USA;
04.01.2004
- 06.01.2004; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning",
V. Lifschitz, I. Niemelä (Hrg.);
Springer,
LNCS 2923
(2004),
ISBN: 3-540-20721-x;
S. 100
- 113.
T. Eiter, A. Polleres:
"Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation";
Vortrag: APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming,
Reggio Calabria, Italien;
03.09.2003
- 05.09.2003; in: "APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming",
F. Buccafurri (Hrg.);
(2003),
S. 410
- 421.
Zusätzliche Informationen
T. Eiter, Z. G. Saribatur:
"Reactive Policies with Planning for Action Languages";
Vortrag: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016),
Larnaca;
09.11.2016
- 11.11.2016; in: "Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016",
Springer LNCS/LNAI,
10021
(2016),
ISBN: 978-3-319-48757-1;
S. 463
- 480.
Zusätzliche Informationen
T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems";
Vortrag: IJCAI 2019 Workshop on Explainable Artificial Intelligence,
Macau, China;
11.08.2019; in: "Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence",
(2019),
S. 7
- 13.
Zusätzliche Informationen
T. Eiter, P. Schneider, M. Simkus, G. Xiao:
"Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57";
Vortrag: 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014),
Vienna, Austria;
13.07.2014; in: "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)",
CEUR Workshop Proceedings,
1207
(2014),
ISSN: 1613-0073;
S. 51
- 57.
Zusätzliche Informationen
T. Eiter, Y. Shen:
"Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)";
Vortrag: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
Melbourne, Australia;
19.08.2017
- 25.08.2017; in: "Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)",
C. Sierra (Hrg.);
(2017),
ISBN: 978-0-9992411-0-3;
S. 5060
- 5064.
Zusätzliche Informationen
T. Eiter, M. Simkus:
"Bidirectional Answer Set Programs with Function Symbols";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Pasadena, California, USA;
11.07.2009
- 17.07.2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
(2009),
S. 765
- 771.
Zusätzliche Informationen
T. Eiter, H. Tompits, S. Woltran:
"On Solution Correspondences in Answer-Set Programming";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Edinburgh, Scottland;
30.07.2005
- 05.08.2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)",
(2005),
ISBN: 0-938075-93-4;
S. 97
- 102.
T. Eiter, P. Traxler, S. Woltran:
"An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs";
Vortrag: 10th European Conference, JELIA 2006,
Liverpool, UK;
13.09.2006
- 15.09.2006; in: "Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)",
M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (Hrg.);
Springer,
LNCS 4160
(2006),
ISBN: 3-540-39625-x;
S. 477
- 480.
T. Eiter, K. Wang:
"Forgetting and Conflict Resolving in Disjunctive Logic Programming";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Boston, USA;
16.07.2006
- 23.07.2006; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston",
AAAI Press,
(2006),
ISBN: 978-1-57735-281-5;
S. 238
- 243.
T. Eiter, K. Wang:
"Forgetting and Conflict Resolving in Disjunctive Logic Programming";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Lake District, UK;
30.05.2006
- 01.06.2006; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track",
J. Dix, A. Hunter (Hrg.);
Institut fuer Informatik, TU Clausthal, Germany.,
IfI-06-04
(2006),
ISSN: 1860-8477;
S. 85
- 92.
T. Eiter, A. Weinzierl:
"Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Stockholm, Sweden;
13.06.2018
- 19.06.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.",
Stockholm, Sweden
(2018),
ISBN: 978-0-9992411-2-7;
S. 5593
- 5597.
Zusätzliche Informationen
C. Feier, T. Eiter:
"Reasoning with Forest Logic Programs Using Fully Enriched Automata";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Lexington, KY, USA;
27.09.2015
- 30.09.2015; 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 (Hrg.);
Springer,
(2015),
ISBN: 978-3-319-23263-8;
S. 346
- 353.
Zusätzliche Informationen
S. Heymans, T. Eiter, G. Xiao:
"Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics";
Vortrag: European Conference on Artificial Intelligence (ECAI),
Lisbon, Portugal;
16.08.2010
- 20.08.2010; in: "19th European Conference on Artificial Intelligence (ECAI 2010)",
H. Coelho, R. Studer, M. Wooldridge (Hrg.);
IOS Press,
215
(2010),
ISBN: 978-1-60750-605-8;
S. 35
- 40.
Zusätzliche Informationen
S. Heymans, R. Korf, M. Erdmann, J. Puehrer, T. Eiter:
"F-Logic#: Loosely Coupling F-Logic Rules and Ontologies";
Vortrag: IEEE/WIC/ACM International Conference on Web Intelligence (WI'10),
Toronto, Kanada;
31.08.2010
- 03.09.2010; in: "Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI'10)",
H. Coelho, R. Studer, M. Wooldridge (Hrg.);
(2010),
ISBN: 978-0-7695-3801-3;
S. 248
- 255.
Zusätzliche Informationen
T. Kaminski, T. Eiter, K. Inoue:
"Meta-Interpretive Learning Using HEX-Programs";
Vortrag: IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence,
Macao, China (eingeladen);
10.08.2019
- 16.08.2019; in: "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, August 10-16, 2019, Macao",
(2019),
S. 6186
- 6190.
Zusätzliche Informationen
D. Le-Phuoc, M. Dao-Tran, M.D. Pham, P. Boncz, T. Eiter, M. Fink:
"Linked Stream Data Processing Engines: Facts and Figures";
Vortrag: International Semantic Web Conference (ISWC),
Boston, MA, USA,;
11.11.2012
- 15.11.2012; 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. (Hrg.);
Springer,
LNCS 7650
(2012),
ISBN: 978-3-642-35172-3;
S. 300
- 312.
Zusätzliche Informationen
D. Le-Phuoc, T. Eiter:
"An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks";
Vortrag: Workshop on Combining Symbolic and Sub-symbolic Methods and their Applications (CSSA),
Galway, Ireland;
19.10.2020
- 23.10.2020; in: "Proceedings of the CIKM 2020 Workshops, co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020) Galway, Ireland, October 19-23, 2020",
CEUR Workshop Proceedings,
2699
(2020),
ISSN: 1613-0073;
S. 1
- 5.
A. Le-Tuan, M. Nguyen Duc, L. Chien-Quang, T. Tran, M. Hauswirth, T. Eiter, D. Le Phuoc:
"CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion";
Vortrag: 5th Stream Reasoning Workshop (SRW 2021),
Milan, Italy;
05.10.2021
- 06.10.2021; in: "5th Stream Reasoning Workshop (SRW 2021)",
(2021).
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"Boosting Information Integration: The INFOMIX System";
Vortrag: Italian Symposium on Databases (SEBD),
Brixen, Italy;
19.06.2005
- 22.06.2005; in: "Proceedings of the 13th Italian Symposium on Databases (SEBD 2005)",
A. Cali et al. (Hrg.);
Aracne Editrice s.r.l, Roma,
(2005),
ISBN: 88-548-0122-4;
S. 55
- 66.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"Data Integration: a Challenging ASP Application";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Diamante, Italy;
05.09.2005
- 08.09.2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)",
C. Baral (Hrg.);
Springer,
LNCS 3662
(2005),
ISBN: 3-540-28538-5;
S. 379
- 383.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data";
Vortrag: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems,
Bltimore, Maryland, USA;
13.06.2005
- 15.06.2005; 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;
S. 915
- 917.
N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. Dell´Armi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C. Koch, S. Perri, A. Polleres:
"The DLV System";
Poster: 8th European Conference on Artificial Intelligence, JELIA 2002,
Cosenza, Italy (eingeladen);
23.09.2002
- 26.09.2002; in: "Logics in Artificial Intelligence",
S. Flesca, S. Greco, N. Leone, G. Ianni (Hrg.);
Lecture Notes in Artificial Intelligence, Springer,
2424
(2002),
ISBN: 3-540-44190-5;
S. 537
- 540.
Zusätzliche Informationen
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics";
Poster: National Conference on Artificial Intelligence (AAAI),
Boston, USA;
16.07.2006
- 20.07.2006; 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;
S. 275
- 280.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexity of Answering Unions of Conjunctive Queries in SHIQ";
Vortrag: International Workshop on Description Logics (DL),
Windermere, Lake District, UK;
30.05.2006
- 01.06.2006; 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 (Hrg.);
CEUR Workshop Proceedings,
189
(2006),
S. 62
- 73.
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Conjunctive Query Answering in SH using Knots";
Vortrag: International Workshop on Description Logics (DL),
Dresden, Germany;
13.05.2008
- 16.05.2008; in: "Proceedings of the 21st International Workshop on Description Logics (DL2008)",
F. Baader, C. Lutz, B. Motik (Hrg.);
CEUR Workshop proceedings,
353
(2008),
ISSN: 1613-0073;
11 S.
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Chicago, USA;
13.07.2008
- 17.07.2008; in: "23rd AAAI Conference on Artificial Intelligence",
D. Fox, C.P. Gomes (Hrg.);
AAAI Press,
(2008),
ISBN: 978-1-57735-368-3;
S. 504
- 510.
J. Puehrer, S. Heymans, T. Eiter:
"Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs";
Vortrag: The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference,
Heraklion, Griechenland;
30.05.2010
- 03.06.2010; in: "7th European Semantic Web Conference (ESWC 2010)",
A. Lora, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, T. Tudorache (Hrg.);
Springer,
5554
(2010),
ISBN: 978-3-642-13485-2;
S. 183
- 197.
Zusätzliche Informationen
C. Redl, T. Eiter, T. Krennwallner:
"Declarative Belief Set Merging using Merging Plans";
Vortrag: Internaional Symposium on Practical Aspects of Declarative Languages (PADL),
Austin, Texas, U.S.A.;
24.01.2011
- 25.01.2011; in: "13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)",
R. Rocha, J. Launchbury (Hrg.);
Springer,
6539
(2011),
ISBN: 978-3-642-18377-5;
S. 99
- 114.
Zusätzliche Informationen
A. Reiterer, U. Egly, T. Eiter, H. Kahmen:
"A Knowledge-Based Decision System for an Image-Based Measurement";
Vortrag: The Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering,
Rom;
30.08.2005
- 02.09.2005; in: "Proceedings of the Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering",
B. Topping (Hrg.);
(2005),
ISBN: 1-905088-03-5;
S. 35
- 36.
Zusätzliche Informationen
A. Reiterer, U. Egly, T. Eiter, H. Kahmen:
"A Knowledge-Based Videometric Measurement System";
Vortrag: 18th IFIP World Computer Congress WCC Toulouse 2004 / A Stream within AIAI-2004 on WCC-2004,
Toulouse;
22.08.2004
- 27.08.2004; in: "The Symposium on Professional Practive in AI ",
E. Mercier-Laurent, J. Debenham (Hrg.);
1
(2004),
ISBN: 2-907801-05-8;
S. 313
- 322.
Zusätzliche Informationen
A. Reiterer, T. Eiter:
"A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms";
Vortrag: ICIP 2006,
Atlanta, Georgia, USA;
08.10.2006
- 11.10.2006; in: "IEEE International Conference on Image Processing - ICIP 2006",
IEEE-Signal Processing Society (Hrg.);
IEEE,
Catalog No.: 06CH37815C
(2006),
ISBN: 1-4244-0481-9;
Paper-Nr. 2747,
4 S.
Zusätzliche Informationen
A. Reiterer, T. Eiter:
"A New Methode for the Evaluation of Point Detectors";
Poster: International Conference on Optical 3-D Measurement Techniques VIII,
Zürich;
09.07.2007
- 12.07.2007; in: "Optical 3-D Measurement Techniques VIII",
A. Grün, H. Kahmen (Hrg.);
Volume II
(2007),
ISBN: 3-906467-67-8;
S. 242
- 247.
Zusätzliche Informationen
A. Reiterer, T. Eiter:
"Ein neues Verfahren zur Evaluierung von Punkterfassungsalgorithmen (IOPs)";
Vortrag: Oldenburger 3D-Tage 2007,
Oldenburg;
31.01.2007
- 01.02.2007; in: "Photogrammetrie, Laserscanning, Optische 3D-Messtechniken",
T. Luhmann, C. Müller (Hrg.);
Wichmann Verlag,
(2007),
ISBN: 978-3-87907-447-1;
S. 156
- 163.
Zusätzliche Informationen
A. Reiterer, H. Kahmen, U. Egly, T. Eiter:
"Knowledge-Based Image Preprocessing for a Theodolit Measurement System";
Vortrag: 6th Conference on Optical 3-D Measurement Techniques,
Zürich;
22.09.2003
- 25.09.2003; in: "Optical 3-D Measurement Techniques VI",
A. Grün, H. Kahmen (Hrg.);
Vol. II
(2003),
ISBN: 3-906467-43-0;
S. 183
- 190.
Zusätzliche Informationen
A. Reiterer, H. Kahmen, T. Eiter, U. Egly, G. Paar:
"A Smart Videometric System";
Poster: International Conference on Optical 3-D Measurement Techniques VII,
Vienna, Austria;
03.10.2005
- 05.10.2005; in: "Proceedings Optical 3-D Measurement Techniques VII, Vol. II",
A. Grün, H. Kahmen (Hrg.);
(2005),
ISBN: 3-9501492-2-8;
S. 370
- 375.
Zusätzliche Informationen
A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen:
"Deformation Monitoring using a new kind of Optical 3D Measurement System: Components and Perspectives";
Vortrag: 13th FIG International Symposium on Deformation Measurements and Analysis; 4th IAG Symposium on Geodesy for Geotechnical and Structural Engineering,
Lissabon, Portugal;
12.05.2008
- 15.05.2008; in: "Measuring the Change",
(2008),
10 S.
Zusätzliche Informationen
A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen:
"Ein bildgestütztes 3D Deformationsmesssystem (An Image-Based 3D Deformation Measurement System)";
Poster: Pangeo 2008,
Wien;
22.09.2008
- 25.09.2008; in: "Journal of Alpine Geology, Pangeo 2008",
Mitt. Ges. Geol. Bergbaustud. Österr.,
49
(2008),
ISSN: 1563-0846;
S. 87.
Zusätzliche Informationen
Z. G. Saribatur, C. Baral, T. Eiter:
"Reactive Maintenance Policies over Equalized States in Dynamic Environments";
Vortrag: 18th EPIA Conference on Artificial Intelligence (EPIA 2017),
Porto;
05.09.2017
- 08.09.2017; in: "Proceedings of the 18th EPIA Conference on Artificial Intelligence",
Springer LNCS/LNAI,
10423
(2017),
ISBN: 978-3-319-65340-2;
S. 709
- 723.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"A Semantic Perspective on Omission Abstraction in ASP";
Vortrag: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning,
Rhodos, Griechenland;
12.09.2020
- 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020",
D. Calvanese, E. Erdem (Hrg.);
IJCAI Organization,
(2020),
ISBN: 978-0-9992411-7-2;
S. 733
- 737.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"Omission-Based Abstraction for Answer Set Programs";
Vortrag: 16th International Conference on Principles of Knowledge Representation and Reasoning - KR 2018,
Tempe, AZ, USA;
27.10.2018
- 02.11.2018; in: "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning",
AAAI Press,
(2018).
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"Reactive Policies with Planning for Action Languages";
Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016),
Kapstadt;
22.04.2016
- 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-Monotonic Reasoning",
G. Kern-Isberner, R. Wassermann (Hrg.);
(2016),
S. 143
- 152.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"Towards Abstraction in ASP with an Application on Reasoning about Agent Policies";
Vortrag: 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18),
Oxford, UK;
18.07.2018; in: "Workshop on Answer Set Programming and Other Computing Paradigms",
(2018).
Zusätzliche Informationen
Z. G. Saribatur, P. Schüller, T. Eiter:
"Abstraction for Non-Ground Answer Set Programs";
Vortrag: Workshop on Trends and Applications of Answer Set Programming,
Wien, Austria;
19.11.2018
- 20.11.2018; in: "Workshop on Trends and Applications of Answer Set Programming",
http://www.kr.tuwien.ac.at/events/taasp18/prog.html,
(2018),
15 S.
Zusätzliche Informationen
Z. G. Saribatur, P. Schüller, T. Eiter:
"Abstraction for Non-Ground Answer Set Programs";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Rende, Italy;
07.05.2019
- 11.05.2019; in: "Logics in Artificial Intelligence - 16th European Conference (JELIA 2019)",
F. Calimeri, N. Leone, M. Manna (Hrg.);
Springer LNCS,
11468
(2019),
ISBN: 978-3-030-19569-4;
S. 576
- 592.
Zusätzliche Informationen
P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Poster: Junior Scientist Conference 2010,
Vienna;
07.04.2010
- 09.04.2010; in: "Proceedings of the Junior Scientist Conference 2010",
H. Kaiser, R. Kirner (Hrg.);
(2010),
ISBN: 978-3-200-01797-9;
S. 315
- 316.
Zusätzliche Informationen
Y. Shen, T. Eiter:
"Constraint Monotonicity, Epistemic Splitting and Foundedness Are in General Too Strong in Answer Set Programming";
Vortrag: 4th Workshop on Trends and Applications of Answer Set Programming (TAASP 2020),
Klagenfurt;
23.11.2020
- 24.11.2020; in: "4th Workshop on Trends and Applications of Answer Set Programming",
(2020),
6 S.
Y. Shen, T. Eiter:
"Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)";
Vortrag: 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019),
Potsdam, Germany;
18.11.2019
- 19.11.2019; in: "3rd Workshop on Trends and Applications of Answer Set Programming",
(2019),
2 S.
Y. Shen, T. Eiter:
"Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)";
Vortrag: IJCAI 2020,
Yokohama;
01.01.2021
- 10.01.2021; in: "Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-20)",
Ch. Bessiere (Hrg.);
(2021),
ISBN: 978-0-9992411-6-5;
S. 5040
- 5044.
Zusätzliche Informationen
M. Simkus, T. Eiter:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Yerevan, Armenia;
15.10.2007
- 19.10.2007; in: "Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007)",
N Dershowitz, A. Voronkov (Hrg.);
Springer Lecture Notes in Computer Science,
4790
(2007),
ISBN: 978-3-540-75558-6;
S. 514
- 530.
M. Simkus, T. Eiter:
"Linking Open-World Knowledge Bases Using Nonmonotonic Rules";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Lexington, KY, USA;
27.09.2015
- 30.09.2015; in: "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR 2015)",
F. Calimeri, G. Ianni, M. Truszczynski (Hrg.);
Springer LNCS,
9345
(2015),
ISBN: 978-3-319-23263-8;
S. 294
- 308.
Zusätzliche Informationen
D. Van Nieuwenborgh, T. Eiter, D. Vermeir:
"Conditional Planning with External Functions";
Vortrag: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR),
Tempe, Arizona, USA;
15.05.2007
- 17.05.2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)",
C. Baral, G. Brewka, J. Schlipf (Hrg.);
Springer Lecture Notes in Computer Science,
4483
(2007),
ISBN: 978-3-540-72199-4;
S. 214
- 227.
T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp:
"First Developement steps for an Automated Knowledge-Based Deformation Interpretation System";
Vortrag: 9th Conference on Optical 3-D Measurement Techniques,
Wien;
01.07.2009
- 03.07.2009; in: "Optical 3-D Measurement Techniques IX",
A. Grün, H. Kahmen (Hrg.);
Volume I
(2009),
ISBN: 978-3-9501492-5-8;
S. 61
- 90.
Zusätzliche Informationen
T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp:
"Intelligent Deformation Interpretation";
Vortrag: Second International Workshop on Application of Artificial Intelligence and Innovations in Engineering Geodesy (AIEG 2010),
Braunschweig;
16.06.2010; in: "Application of Artificial Intelligence and Innovations in Engineering Geodesy (AIEG 2010)",
A. Reiterer, U. Egly, M. Heinert, B. Riedel (Hrg.);
(2010),
ISBN: 978-3-9501492-6-5;
S. 10
- 20.
Zusätzliche Informationen
T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp:
"Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System";
Vortrag: World Computer Congress Brisbane 2010,
Brisbane;
20.09.2010
- 23.09.2010; in: "Artificial Intelligence in Theory and Practice III; IFIP Advances in Information and Communication Technology",
M. Bramer (Hrg.);
Springer,
331
(2010),
ISSN: 1868-4238;
S. 215
- 224.
Zusätzliche Informationen
Y. Wang, J. You, L. Yuan, Y. Shen, T. Eiter:
"Eliminating Nonmonotonic DL-atoms in Description Logic Programs";
Vortrag: International Conference on Web Reasoning and Rule Systems (RR),
Mannheim, Deutschland;
27.07.2013
- 29.07.2013; in: "Proc. 7th International Conference on Web Reasoning and Rule Systems (RR 2013)",
D. Lembo, W. Faber (Hrg.);
(2013),
ISBN: 978-3-642-39665-6;
S. 168
- 182.
Zusätzliche Informationen
A. Weinzierl, M. Fink, T. Eiter:
"Meta-Reasoning in Multi-Context Systems";
Poster: Junior Scientist Conference 2010,
Vienna;
07.04.2010
- 09.04.2010; in: "Proceedings of the Junior Scientist Conference 2010",
H. Kaiser, R. Kirner (Hrg.);
(2010),
ISBN: 978-3-200-01797-9;
S. 303
- 304.
Zusätzliche Informationen
G. Xiao, T. Eiter, S. Heymans:
"The DReW System for Nonmonotonic DL-Programs";
Vortrag: Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference,
Shenzhen, China;
28.11.2012
- 30.11.2012; in: "Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference",
J. Li et al. (Hrg.);
Sprlinger,
(2012).
Zusätzliche Informationen
G. Xiao, S. Heymans, T. Eiter:
"DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs";
Vortrag: International Workshop on Business Models, Business Rules and Ontologies (BuRO),
Bressanone/Brixen, Italy;
21.09.2010; 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 (Hrg.);
Ontorule Project,
(2010),
14 S.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
M. Baaz, T. Eiter, H. Veith:
"Vienna Summer of Logic";
Vortrag: Vienna Summer of Logic,
Wien, Austria (eingeladen);
09.07.2014
- 24.07.2014.
H. Beck, M. Dao-Tran, T. Eiter:
"Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of Interest";
Vortrag: RDF Stream Processing Workshop at ESWC2015,
Portoros;
31.05.2015.
Zusätzliche Informationen
G. Brewka, T. Eiter, M. Fink:
"Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources";
Vortrag: Symposium on Constructive Mathematics in Computer Science,
Lexington, KY, USA (eingeladen);
25.10.2010
- 26.10.2010.
Zusätzliche Informationen
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Nonmonotonic Multi-Context Systems";
Vortrag: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR),
Wien (eingeladen);
11.03.2010
- 14.03.2010.
Zusätzliche Informationen
T. Eiter:
"A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning";
Hauptvortrag: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning,
Rhodos, Griechenland;
12.09.2020
- 18.09.2020.
Zusätzliche Informationen
T. Eiter:
"A Logic-Based Framework for Analyzing Reasoning over Streams";
Vortrag: Stream Reasoning Workshop 2015,
Wien;
09.11.2015
- 10.11.2015.
T. Eiter:
"A Logic-Based Frameworks for Analyzing Stream Reasoning";
Vortrag: PhDs in Logic VII,
Wien;
14.05.2015
- 16.05.2015.
T. Eiter:
"Abduction and the Dualization Problem";
Vortrag: International Symposium on Discrete Algorithms and Optimization,
Kyoto University, Kyoto, Japan (eingeladen);
04.03.2004.
T. Eiter:
"Answer Set Programming";
Vortrag: Seminar at Fondazione Bruno Kessler (FBK),
Trient, Italien;
23.03.2018
- 30.03.2018.
T. Eiter:
"Answer Set Programming and Extensions";
Vortrag: Summer School 2016: Verification Technology, Systems & Applications,
Liege, Belgium (eingeladen);
29.08.2016
- 02.09.2016.
T. Eiter:
"Answer Set Programs go 30: Past and Future";
Vortrag: International Conference on Logic Programming (ICLP),
Oxford, UK;
14.07.2018.
Zusätzliche Informationen
T. Eiter:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Vortrag: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR),
Wien (eingeladen);
11.03.2010
- 14.03.2010.
T. Eiter:
"Defeasible Reasoning in Description Logic Contexts";
Vortrag: Colloquium for Franz Baader´s 60th Birthday,
Dresden, Germany (eingeladen);
25.06.2019.
T. Eiter:
"Enhancing Context Knowledge Repositories with Exceptions";
Vortrag: Guizhou University,
Guiyang, China;
22.05.2018.
T. Eiter:
"Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Knowledge Graph Forum";
Vortrag: 2nd World Intelligence Conference (WIC),
Tianjin, China;
16.05.2018
- 18.05.2018.
T. Eiter:
"Forgetting: A Knowledge Representation and Reasoning Perspective";
Vortrag: Tandem-Workshop des SPP1921,
Limburg, Germany;
03.05.2018
- 04.05.2018.
T. Eiter:
"Georg Gottlob: Life and Pictures";
Vortrag: GG@60: Workshop on Databases and AI,
Genova, Italy (eingeladen);
02.12.2016.
T. Eiter:
"INFOMIX: Data Integration meets Nonmonotonic Deductive Databases";
Vortrag: ARISE Workshop on Exchange and Integration of Data,
Toronto, Canada;
07.10.2004.
T. Eiter:
"INFOMIX: Data Integration meets Nonmonotonic Deductive Databases";
Vortrag: Seminarvortrag,
Computer Science Dep., Univ of Manchester, UK (eingeladen);
08.12.2004.
T. Eiter:
"INFOMIX: Data Integration meets Nonmonotonic Deductive Databases";
Vortrag: Kolloquium,
Universität Klagenfurt, Österreich (eingeladen);
26.11.2004.
T. Eiter:
"INFOMIX: Progress and Demo Scenario";
Vortrag: Seminarvortrag,
Comenius Univ. Bratislava, Slowakei (eingeladen);
05.11.2004.
T. Eiter:
"Knowledge-Based System Group, Vienna University of Technology";
Vortrag: Current AI Research in Austria (CAIRA) Workshop at the 39th German conference on Artificial Intelligence,
Klagenfurt;
27.09.2016.
T. Eiter:
"LARS: A Framework for Analytic Reasoning over Streams";
Vortrag: Institute of Software, Chinese Academy of Sciences,
Beijing, China;
25.05.2018.
T. Eiter:
"Logic Programming for Stream Reasoning";
Vortrag: Autumn School on Logic Programming,
Las Cruces, New Mexico, USA (eingeladen);
20.09.2019
- 21.09.2019.
T. Eiter:
"Nonmonotonic Multi-Context Systems in Dynamic Environments";
Vortrag: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications,
Vancouver, Canada (eingeladen);
16.05.2011.
T. Eiter:
"Nonmontonic Description Logic Programs";
Vortrag: Seminarvortrag,
Computer Science Dept., Univ. of Manchaster, UK (eingeladen);
09.12.2004.
T. Eiter:
"Optimizing consistent query answering from data integration systems";
Vortrag: Dagstuhl Seminar Nr. 03241, Inconsistency Tolerance,
Schloss Dagstuhl (eingeladen);
10.06.2003.
T. Eiter:
"Paracoherent Answer Set Programming";
Vortrag: Workshop on Logic and Computer Science,
Vienna;
24.03.2011
- 25.03.2011.
T. Eiter:
"Planning by Answer Set Programming - The DLV/K System";
Vortrag: Seminarvortrag,
National Institute of Informations, Tokio, Japan (eingeladen);
09.03.2004.
T. Eiter:
"Planning by Answer Set Programming -- The DLV/K System";
Vortrag: Seminarvortrag,
Universität Leipzig (eingeladen);
04.06.2003.
T. Eiter:
"Planning by Answer Set Programming -- The DLV/K System";
Vortrag: Seminarvortrag,
Universität Potsdam (eingeladen);
06.06.2003.
T. Eiter:
"Querying Ontology Knowledge Bases Using Datalog";
Vortrag: PhDs in Logic VII,
Wien;
14.05.2015
- 16.05.2015.
T. Eiter:
"Some Thoughts on Stream Reasoning, Revision and Update";
Vortrag: Workshop on New Trends in Belief Change,
Vienna (eingeladen);
10.05.2016.
Zusätzliche Informationen
T. Eiter:
"Stream Reasoning and Multi-Context Systems";
Hauptvortrag: 4th Stream Reasoning Workshop (SR 2019),
Linköping, Sweden;
16.04.2019
- 17.04.2019.
T. Eiter:
"Streams, Multi-Context Systems, and Dynamic Configuration";
Hauptvortrag: 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution,
Tempe, AZ, USA;
29.10.2018.
Zusätzliche Informationen
T. Eiter:
"Strong and Uniform Equivalence of Logic Programs under Answer Set Semantics - the Datalog Case";
Vortrag: Seminarvortrag,
Comenius Univ. Bratislava, Slowakei (eingeladen);
14.05.2004.
T. Eiter:
"The IMPACT Systems for Heterogeneous Agents";
Vortrag: Seminarvortrag,
Comenius University Bratislava (eingeladen);
30.05.2003.
T. Eiter:
"The INFOMIX Information Integration System";
Vortrag: CologNet Workshop on Data Integration,
Wien;
23.08.2003.
T. Eiter:
"The INFOMIX System for Information Integration";
Vortrag: Seminarvortrag,
Comenius Univ. Bratislava, Slowakei (eingeladen);
30.01.2004.
T. Eiter:
"The Role of Answer Set Programming for Non-monotonic Reasoning";
Vortrag: Dagstuhl Seminar 19072 - The Role of Non-Monotonic Reasoning in Future Development of Artificial Intelligence,
Schloss Dagstuhl, Germany (eingeladen);
11.02.2019
- 15.02.2019.
T. Eiter:
"Towards a Logic-Based Framework for Analyzing Stream Reasoning";
Vortrag: Seminar of the CS Department,
KU Leuven, Belgien;
23.06.2015.
T. Eiter:
"Towards Combining Answer Set Semantics with Description Logics for the Semantic Web";
Vortrag: Seminarvortrag,
Freie Universität Bozen, Bozen, Italien (eingeladen);
08.04.2004.
T. Eiter:
"Towards Combining Answer Set Semantics with Description Logics for the Semantic Web";
Vortrag: Kolloquium,
Universität Klagenfurt, Österreich (eingeladen);
26.11.2004.
T. Eiter, M. Fink:
"Answer Set Programming for Information Agents";
Vortrag: Dagstuhl Seminar on Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481),
Schloss Dagstuhl, Wadern, Germany;
24.11.2002
- 29.11.2002.
Zusätzliche Informationen
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
Hauptvortrag: 29th International Conference on Logic Programming (ICLP 2013),
Istanbul (eingeladen);
24.08.2013
- 29.08.2013.
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Poster: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain (eingeladen);
16.07.2011
- 22.07.2011.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain (eingeladen);
16.07.2011
- 22.07.2011.
Zusätzliche Informationen
T. Eiter, M. Fink, J. Moura:
"Paracoherent Answer Set Programming";
Vortrag: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR),
Wien (eingeladen);
11.03.2010
- 14.03.2010.
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Vortrag: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR),
Wien (eingeladen);
11.03.2010
- 14.03.2010.
T. Eiter, R. Kiesel:
"ASP(AC): Answer Set Programming with Algebraic Constraints";
Vortrag: 36th International Conference on Logic Programming (ICLP 2020),
Rende, Italien;
18.09.2020
- 25.09.2020.
Zusätzliche Informationen
T. Eiter, R. Kiesel:
"Quantities in Stream Reasoning";
Vortrag: Reasoning about ACtions and Events over Streams (RACES),
Rhodes, Greece;
12.09.2020.
Zusätzliche Informationen
T. Eiter, R. Kiesel:
"Weighted LARS for Quantitative Stream Reasoning";
Vortrag: Austrian Workshop on Logic in Computer Science,
Turracher Höhe;
26.01.2020
- 29.01.2020.
T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems";
Vortrag: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning,
Rhodos, Griechenland;
12.09.2020
- 18.09.2020.
T. Eiter, Z. G. Saribatur, P. Schüller:
"Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract)";
Vortrag: TAASP - Workshop on Trends and Applications of Answer Set Programming,
Potsdam, Germany;
18.11.2019
- 19.11.2019.
T. Kaminski, T. Eiter, K. Inoue:
"Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming";
Vortrag: 28th International Conference on Inductive Logic Programming,
Ferrara, Italy;
02.09.2018
- 04.09.2018.
Zusätzliche Informationen
A. Mossburger, H. Beck, M. Dao-Tran, T. Eiter:
"A Benchmarking Framework for Stream Processors";
Poster: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW),
Bologna, Italy (eingeladen);
19.11.2016
- 23.11.2016.
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Reasoning with knots";
Vortrag: Tutorial sessions, Faculty of Computer Sicience, BUAP,
Puebla, Mexiko (eingeladen);
09.07.2009.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs (Extended Abstract)";
Vortrag: TAASP - Workshop on Trends and Applications of Answer Set Programming,
Wien;
19.11.2018
- 20.11.2018.
P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Vortrag: Junior Scientist Conference 2010,
Vienna;
07.04.2010
- 09.04.2010.
Zusätzliche Informationen
A. Weinzierl, M. Fink, T. Eiter:
"Meta-Reasoning in Multi-Context Systems";
Vortrag: Junior Scientist Conference 2010,
Vienna;
07.04.2010
- 09.04.2010.
Zusätzliche Informationen
Dissertationen (eigene und begutachtete)
S. Bittner:
"An Agent-Based Model of Reality in a Cadastre";
Betreuer/in(nen), Begutachter/in(nen): A. Frank, T. Eiter;
Institut für Geoinformation und Landesvermessung,
2001.
K. Chmelina:
"Wissensbasierte Analyse geodätischer Verschiebungsmessungen";
Betreuer/in(nen), Begutachter/in(nen): H. Kahmen, T. Eiter;
Institut für Geodäsie und Geophysik,
2002.
Zusätzliche Informationen
M. Dao-Tran:
"Distributed Nonmonotonic Multi-Context Systems: Algorithms and Efficient Evaluation";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, C. Tran;
Institut für Informationssysteme,
2014;
Rigorosum: 24.03.2014.
Zusätzliche Informationen
W. Faber:
"Enhancing Efficiency and Expressiveness in Answer Set Programming Systems";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, N. Leone;
Institut für Informationssysteme, Abteilung für Wissensbasierte Systeme,
2002.
Zusätzliche Informationen
M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Gottlob;
Institut für Informationssysteme,
2002.
A. Haret:
"Choosing What to Believe -- Belief Change Through the Lens of Rational Choice";
Betreuer/in(nen), Begutachter/in(nen): S. Woltran, T. Eiter;
Institut für Logic and Computation,
2020;
Rigorosum: 06.07.2020.
Zusätzliche Informationen
T. Kaminski:
"Integrated HEX-Algorithms and Applications in Machine Learning";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, N. Musliu;
Institut für Logic and Computation,
2020;
Rigorosum: 01.12.2020.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Query Answering in Expressive Description Logics; Techniques and Complexity Results";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, D. Calvanese;
Institut fuer Informationssysteme - AB Wissensbasierte Systeme,
2010;
Rigorosum: 25.05.2010.
Zusätzliche Informationen
A. Polleres:
"Advances in Answer Set Planning";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Gottlob;
Institut für Informationssysteme,
2003.
Zusätzliche Informationen
C. Redl:
"Answer Set Programming with External Sources: Algorithms and Efficient Evaluation";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, S. Woltran, G. Ianni;
Institut für Informationssystems,
2014;
Rigorosum: 28.05.2014.
Zusätzliche Informationen
A. Reiterer:
"A Knowledge-Based Decision System for an On-Line Videotheodolite-Based Multisensor System";
Betreuer/in(nen), Begutachter/in(nen): H. Kahmen, T. Eiter;
Institut für Geodäsie und Geophysik,
2004.
Zusätzliche Informationen
G. Sabbatini:
"Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Gottlob;
Institut für Informationssysteme,
2002.
Z. G. Saribatur:
"Abstraction for Reasoning about Agent Behavior with Answer Set Programming";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Weissenbacher;
Institut für Logic and Computation,
2019;
Rigorosum: 17.12.2019.
P. Schüller:
"Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Ianni;
Institut für Informationssysteme,
2012;
Rigorosum: 31.08.2012.
M. Simkus:
"Nonmonotonic Logic Programs with Function Symbols";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Gottlob;
Institut fuer Informationssysteme - AB Wissensbasierte Systeme,
2010;
Rigorosum: 02.06.2010.
Zusätzliche Informationen
M. Tabaei Befrouei:
"Effective Error Explanation Techniques for Concurrent Software";
Betreuer/in(nen), Begutachter/in(nen): G. Weissenbacher, T. Eiter, R. Majumdar;
Informationssysteme,
2016;
Rigorosum: 06.12.2016.
Zusätzliche Informationen
A. Weinzierl:
"Inconsistency Management under Preferences in Multi-Context Systems and Extensions";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, G. Brewka;
Institut für Informationssysteme,
2014;
Rigorosum: 04.12.2014.
J. Zakraoui:
"Web User Interface Adaptation by Means of Ontologies and Rules";
Betreuer/in(nen), Begutachter/in(nen): W.L. Zagler, T. Eiter;
Institut für Gestaltungs- und Wirkungsforschung,
2012;
Rigorosum: 19.10.2012.
Diplom- und Master-Arbeiten (eigene und betreute)
C. Antic:
"Uniform Approximation-Theoretic Semantics for Logic Programs with External Atoms";
Betreuer/in(nen): T. Eiter, M. Fink;
Institut für Informationssysteme,
2012;
Abschlussprüfung: 20.11.2012.
S. Bairakdar:
"Local Optimization for Multi-Context Systems with Constraint Pushing";
Betreuer/in(nen): T. Eiter, M. Fink, T. Krennwallner;
Institut für Informationssysteme,
2011;
Abschlussprüfung: 13.04.2011.
Zusätzliche Informationen
H. Beck:
"Inconsistency Management for Traffic Regulations";
Betreuer/in(nen): T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
2013;
Abschlussprüfung: 18.11.2013.
Zusätzliche Informationen
S. Bischof:
"Implementation and Optimization of Queries in XSPARQL";
Betreuer/in(nen): T. Eiter, T. Krennwallner, A. Polleres;
Institut für Informationssysteme,
2010.
M. Dao-Tran:
"Default Reasoning on Top of Ontologies with dl-Programs";
Betreuer/in(nen): T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
2008.
C. Drescher:
"Symmetry Breaking for Answer Set Programming";
Betreuer/in(nen): T. Eiter, M. Fink, T. Krennwallner, T. Walsh;
Institut für Informationssysteme,
2010.
Zusätzliche Informationen
A. Konev:
"Reasoning with RDF(S) and F-Logic";
Betreuer/in(nen): T. Eiter, S. Heymans, T. Krennwallner;
Institut für Informationssysteme,
2012;
Abschlussprüfung: 12.04.2012.
Zusätzliche Informationen
T. Krennwallner:
"Integration of Conjunctive Queries over Description Logics into HEX-Programs";
Betreuer/in(nen): T. Eiter, R. Schindlauer;
Institut für Informationssysteme,
2007;
Abschlussprüfung: 16.10.2007.
Zusätzliche Informationen
A. Leutgöb:
"Development of a Build System for Cross-Platform Open-Source Projects";
Betreuer/in(nen): T. Eiter, C. Redl;
Institut für Informationssysteme,
2017;
Abschlussprüfung: 09.01.2017.
J. Moura:
"Towards A Characterization Of Semi-Stable Models In The Logic Of Here-And-There";
Betreuer/in(nen): T. Eiter, M. Fink;
Institut für Informationssysteme,
2009.
M. Ortiz de la Fuente:
"Answering Conjunctive Queries in Expressive Description Logics";
Betreuer/in(nen): T. Eiter, D. Calvanese;
Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3,
2006;
Abschlussprüfung: 23.06.2006.
C. Redl:
"Development of a Belief Merging Framework for dlvhex";
Betreuer/in(nen): T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
2010.
Zusätzliche Informationen
C. Redl:
"Merging of Biomedical Decision Diagrams";
Betreuer/in(nen): T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
2010.
Zusätzliche Informationen
K. Rybenko:
"Collaborative Process Management in Construction by Means of Rules and Ontologies";
Betreuer/in(nen): T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
2009.
R. Schindlauer:
"Representation of SQL Queries for Declarative Query Analysis";
Betreuer/in(nen): T. Eiter;
Institut für Informationssysteme,
2002.
P. Schneider:
"Evaluation of Description Logic Programs using an RDBMS";
Betreuer/in(nen): T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
2011;
Abschlussprüfung: 12.01.2011.
Zusätzliche Informationen
M. Simkus:
"Deciding Description Logics around SHIQ by Translation into Decidable Disjunctive Logic Programs";
Betreuer/in(nen): T. Eiter;
Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3,
2006;
Abschlussprüfung: 23.06.2006.
O. Stashuk:
"Integrating Constraint Programming into Answer Set Programming";
Betreuer/in(nen): T. Eiter, T. Krennwallner, C. Redl;
Institut für Informationssysteme,
2013;
Abschlussprüfung: 08.10.2013.
Zusätzliche Informationen
P. Traxler:
"Techniques for Simplifying Disjunctive Datalog Programs with Negation";
Betreuer/in(nen): T. Eiter, S. Woltran;
Institut fuer Informationssystem, 184/3,
2006;
Abschlussprüfung: 2006.
T. Wijaya:
"Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs";
Betreuer/in(nen): T. Eiter, T. Krennwallner, M. Dao-Tran;
Institut für Informationssysteme,
2011;
Abschlussprüfung: 22.08.2011.
Zusätzliche Informationen
Wissenschaftliche Berichte
G. Amendola, T. Eiter, N. Leone, J. Moura:
"Semi-equilibrium models for paracoherent answer set programs";
Bericht für Institut fuer Informationssysteme, Technische Universitaet Wien;
Berichts-Nr. INFSYS RR 1843-14-07,
2014;
66 S.
C. Baral, T. Eiter, M. Bjäreland, M. Nakamura:
"Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy Construction";
2004.
M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-10-01;
Berichts-Nr. INFSYS RR 1843-10-01,
2010;
18 S.
M. Cadoli, T. Eiter, G. Gottlob:
"Complexity of Nested Circumscription and Nested Abnormality Theories";
Bericht für Institut f. Informationssysteme, TU Wien;
2002.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-04,
2009;
46 S.
Zusätzliche Informationen
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version)";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme;
Berichts-Nr. INFSYS RR-1843-08-05,
2008;
34 S.
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme;
Berichts-Nr. INFSYS RR-1843-08-12,
2008;
45 S.
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
2003.
C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
"Symmetry Breaking for Distributed Multi-Context Systems";
Bericht für CoRR - Computing Research Repository;
Berichts-Nr. arXiv:1104.3931v1,
2011;
13 S.
Zusätzliche Informationen
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Bericht für CoRR - Computing Research Repository;
Berichts-Nr. arXiv:1108.3260v1,
2011;
58 S.
T. Eiter, E. Erdem, W. Faber:
"Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework";
2004.
T. Eiter, E. Erdem, W. Faber:
"Undoing the Effects of Action Sequences";
2004.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-06;
2006;
22 S.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
Bericht für TU Wien, Institut fuer Informationssysteme;
Berichts-Nr. INFSYS RR-1843-08-13,
2008;
48 S.
T. Eiter, W. Faber, M. Fink, G. Greco, D. Lembo, H. Tompits:
"Methods and Techniques for Query Optimization";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D5.3;
2004.
T. Eiter, W. Faber, M. Fink, D. Kurushin:
"Review of Techniques and Systems for Acquisition and Tranformation of Heterogenous Data";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D1-3.;
2002.
T. Eiter, W. Faber, M. Fink, S. Woltran, L. Zalewska:
"Methods for data acquisition and transformation";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D6.2;
2003.
T. Eiter, W. Faber, N. Leone, G. Pfeifer:
"Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
2002.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"Answer Set Planning under Action Costs (INFSYS RR-1843-02-13)";
Bericht für Institut f. Informationssysteme, TU Wien;
2002.
T. Eiter, W. Faber, G. Pfeifer, M. Fink, S. Woltran:
"Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming";
2003.
T. Eiter, W. Faber, H. Tompits:
"Self-assessment report for year 2";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D8.3;
2004.
T. Eiter, M. Fink:
"Self-assessment criteria";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D8.1;
2002.
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
2003.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Optimization Methods for Logic-Based Query Answering from Inconsistent Data IntegrationSystems";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-05;
2005;
51 S.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Repair Localization for Query Answering from Inconsistent Databases";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-07-01;
2007;
55 S.
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, C. Redl, P. Schüller:
"A Model Building Framework for Answer Set Programming with External Computations";
Bericht für TU Wien;
Berichts-Nr. INFSYS RR-1843-15-01,
2015;
53 S.
Zusätzliche Informationen
T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language";
Bericht für TU Wien, Institut fuer Informationssysteme;
Berichts-Nr. INFSYS RR-1843-12-05,
2012;
33 S.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Conflict-driven ASP Solving with External Sources";
Bericht für CoRR - Computing Research Repository;
Berichts-Nr. arXiv:1210.1649v1,
2012;
19 S.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl:
"Domain Expansion for ASP-Programs with External Sources";
Bericht für Institut für Informationssystems;
Berichts-Nr. INFSYS RR-1843-14-02,
2014;
57 S.
Zusätzliche Informationen
T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller:
"Improving HEX-Program Evaluation based on Unfounded Sets";
Bericht für Institut für Informationssysteme;
Berichts-Nr. RR-1843-12-08,
2012;
47 S.
Zusätzliche Informationen
T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
"Model-Based Recasting in Answer-Set Programming";
Bericht für TU Wien, Institut fuer Informationssysteme;
Berichts-Nr. DBAI-TR-2013-83,
2013;
34 S.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07)";
Bericht für Institut f. Informationssysteme, TU Wien;
2002.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"On Updates of Logic Programs: Semantics and Properties";
2000.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
2002.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Using Methods of Declarative Logic Programming for Intelligent InformationAgents";
2000.
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Bericht für TU Wien, Institut fuer Informationssysteme;
Berichts-Nr. INFSYS RR-1843-12-09,
2012;
72 S.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Computing Repairs of Inconsistent DL-programs over EL Ontologies";
Berichts-Nr. INFSYS RR-1843-15-08,
2015;
54 S.
Zusätzliche Informationen
T. Eiter, M. Fink, D. Stepanova:
"Data Repair of Inconsistent Nonmonotonic Description Logic Programs";
Berichts-Nr. INFSYS RR-1843-15-03,
2015;
72 S.
Zusätzliche Informationen
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach for Selecting Information Sources";
2003.
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach to Information Site Selection";
2002.
T. Eiter, M. Fink, H. Tompits:
"Self-assessment report for year 1";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D8.2;
2003.
T. Eiter, M. Fink, H. Tompits:
"Self-assessment Report for Years 3+4";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D8.4;
2005;
24 S.
T. Eiter, M. Fink, H. Tompits:
"Test and Comparison Results";
Bericht für European Commission, IST 2001-33570 (INFOMIX), D8.5;
2005;
42 S.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"On Eliminating Disjunctions in Stable Logic Programming";
2003.
T. Eiter, M. Fink, S. Woltran:
"Semantical Characterizations and Complexity of Equivalences in Answer Set Programming";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-01;
2005;
58 S.
Zusätzliche Informationen
T. Eiter, G. Gottlob:
"Reasoning Under Minimal Upper Bounds in Propositional Logic";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-06;
2005;
42 S.
T. Eiter, G. Gottlob, K. Makino:
"New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05)";
Bericht für Institut f. Informationssysteme, TU Wien;
2002.
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs";
Bericht für Institut für Informationssysteme, TU Wien;
Berichts-Nr. INFSYS RR-1843-08-02,
2008;
38 S.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer:
"Well-Founded Semantics for Description Logic Programs in the Semantic Web";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR 1843-09-01,
2009;
42 S.
Zusätzliche Informationen
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-07-04,
2007;
66 S.
T. Eiter, T. Kaminski, C. Redl, A. Weinzierl:
"Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access";
Bericht für Technische Universität Wien;
Berichts-Nr. LOGCOMP RR-1923-18-02},
2018;
49 S.
T. Eiter, T. Lukasiewicz:
"Causes and Explanations in the Structural-Model Approach: Tractable Cases (INFSYS RR-1843-02-03)";
Bericht für Institut f. Informationssysteme;
2002.
T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
2003.
Zusätzliche Informationen
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme;
Berichts-Nr. INFSYS RR-1843-08-09,
2008;
17 S.
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query answering in description logics with transitive roles";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-02,
2009;
32 S.
Zusätzliche Informationen
T. Eiter, K. Makino:
"Generating all Abductive Explanations for Queries on Propositional Horn Theories";
2003.
T. Eiter, K. Makino:
"On Computing all Abductive Explanations (INFSYS RR-1843-02-04)";
Bericht für Institut f. Informationssysteme, TU Wien;
2002.
T. Eiter, K. Makino, G. Gottlob:
"Computational Aspects of Monotone Dualization: A Brief Survey";
Bericht für INFSYS RR-1843-06-01, Institut fuer Informationssysteme, Technische Universitaet Wien;
Berichts-Nr. INFSYS RR-1843-06-01,
2006.
T. Eiter, M. Mehuljic, C. Redl, P. Schüller:
"User Guide: dlvhex 2.X";
Bericht für TU Wien;
Berichts-Nr. INFSYS RR-1843-15-05,
2015;
46 S.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive Query Answering in the Description Logic SH using Knots";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-03,
2009;
37 S.
Zusätzliche Informationen
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications";
2004.
T. Eiter, C. Redl, P. Schüller:
"Problem Solving Using the HEX Family";
Berichts-Nr. NFSYS RR-1843-15-07,
2015;
26 S.
Zusätzliche Informationen
T. Eiter, K. Wang:
"Semantic Forgetting in Answer Set Programming";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR 1843-07-08,
2007;
45 S.
C. Feier, H. Aït-Kaci, J. Angele, J. De Bruijn, H. Citeau, T. Eiter, A. El Ghali, A. Kerhet, E. Kiss, R. Korf, T. Krekeler, T. Krennwallner, S. Heymans, A. Mosca, M. Rezk, G. Xiao et al.:
"D3.3 Complexity and Optimization of Combinations of Rules and Ontologies";
Berichts-Nr. D3.3,
2010;
159 S.
Zusätzliche Informationen
C. Feier, T. Eiter:
"Reasoning with Forest Logic Programs Using Fully Enriched Automata";
Berichts-Nr. INFSYS RR-1843-15-02,
2015;
20 S.
C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"D3.4 Converged and Optimized Combinations of Rules and Ontologies";
Bericht für ONTORULE project;
Berichts-Nr. D3.4,
2011;
163 S.
Zusätzliche Informationen
M. Fink, A. El Ghali, A. Chniti, R. Korf, A. Schwichtenberg, F. Lévy, J. Puehrer, T. Eiter:
"D2.6 Consistency Maintenance. Final Report";
Bericht für ONTORULE project;
Berichts-Nr. D2.6,
2011;
121 S.
Zusätzliche Informationen
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, F. Scarcello:
"The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)";
Bericht für Institut f. Informationssysteme, TU Wien;
2002.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexity of Query Answering in Expressive Description Logics with Nominals";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-03;
Berichts-Nr. INFSYS RR-1843-06-03,
2006;
44 S.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexoty of Query Answering In Expressive Description Logics via Tableaux";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR 1843-07-07,
2007;
48 S.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter, E. Franconi:
"Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases";
Bericht für Free University of Bolzano, Faculty of Informatics, Bolzano, Italy;
2005;
22 S.
Z. G. Saribatur, T. Eiter:
"Omission-Based Abstraction for Answer Set Programs";
Berichts-Nr. LOGCOMP RR-1923-18-06,
2018;
43 S.
Zusätzliche Informationen
Z. G. Saribatur, T. Eiter, P. Schüller:
"Abstraction for Non-Ground Answer Set Programs";
Berichts-Nr. LOGCOMP RR-1923-19-01,
2019;
98 S.
Zusätzliche Informationen
Y. Shen, T. Eiter:
"Evaluating Epistemic Negation in Answer Set Programming";
Berichts-Nr. INFSYS RR-1843-15-04,
2015;
31 S.
M. Simkus, T. Eiter:
"FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme;
Berichts-Nr. INFSYS RR-1843-08-01,
2008;
62 S.
A. Smetannikov, E. Soloviev, T. Eiter, W. Faber:
"Optimizing Wrapper Access and Query Plan Generation for the INFOMIX System";
Bericht für European Commission, IST 2001-33570 (INFOMIX), S7.3;
2005;
43 S.
A. Smetannikov, E. Soloviev, T. Eiter, W. Faber, M. Fink:
"Data Cleaning Tasks for the INFOMIX Demo Scenario";
Bericht für European Commission, IST 2001-33570 (INFOMIX), S7.2;
2005;
8 S.
