Thomas Krennwallner — Publications
2012
Thomas Eiter, Thomas Krennwallner, Patrik Schneider, and Guohui Xiao.
Uniform Evaluation of Nonmonotonic DL-Programs.
In Thomas Lukasiewicz and Attila Sali, editors, 7th
International Symposium on Foundations of Information and Knowledge Systems
(FoIKS 2012), volume 7153 of LNCS, pages 1-22. Springer, March 2012.
[ bib |
paper ]
2011
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
First-Order Encodings of Modular Nonmonotonic Logic
Programs.
In Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers,
editors, Datalog Reloaded, 1st International Workshop on Datalog 2010,
Oxford, UK, March 16-19, 2010, volume 6702 of LNCS, pages 59-77.
Springer, December 2011.
[ bib |
paper ]
Thomas Eiter, Thomas Krennwallner, and Christoph Redl.
Nested HEX-Programs.
In Hans Tompits, editor, 19th International Conference on
Applications of Declarative Programming and Knowledge Management (INAP 2011),
Vienna, Austria, September 28-30, 2011, number arXiv:1108.5626v1 in arXiv.
Computing Research Repository (CoRR), September 2011.
[ bib |
paper ]
Thomas Eiter, Thomas Krennwallner, and Christoph Redl.
Declarative merging of and reasoning about decision
diagrams.
In Alessandro Dal Palù, Agostino Dovier, and Andrea Formisano,
editors, Workshop on Constraint Based Methods for Bioinformatics (WCB
2011), Perugia, Italy, September 12, 2011, pages 3-15. Dipartimento di
Matematica e Informatica, Universita degli Studi di Perugia, September 2011.
[ bib |
paper ]
Thomas Krennwallner.
Promoting Modular Nonmonotonic Logic Programs.
In John Gallagher and Michael Gelfond, editors, Technical
Communications of the 27th International Conference on Logic Programming
(ICLP 2011), Lexington, Kentucky, U.S.A., July 6-10, 2011, volume 11 of
Leibniz International Proceedings in Informatics (LIPIcs), pages
274-279. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2011.
[ bib |
DOI |
paper ]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Dynamic Distributed Nonmontonic Multi-Context Systems.
In Gerhard Brewka, Victor Marek, and Miroslaw Truszczynski, editors,
Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary,
Lexington, Kentucky, U.S.A., October 22-25, 2010, volume 31 of Studies
in Logic, pages 63-88. College Publications, London, July 2011.
[ bib |
paper ]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Model Streaming for Distributed Multi-Context Systems.
In Alessandra Mileo and Michael Fink, editors, 2nd International
Workshop on Logic-based Interpretation of Context: Modeling and Applications
(Log-IC 2011), Vancouver, British Columbia, Canada, May 16, 2011, volume 738
of CEUR Workshop Proceedings, pages 11-22. CEUR-WS.org, May 2011.
[ bib |
paper ]
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, and Toby
Walsh.
Symmetry Breaking for Distributed Multi-Context Systems.
In James Delgrande and Wolfgang Faber, editors, 11th
International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR 2011), Vancouver, British Columbia, Canada, May 16-19, 2011, volume
6645 of LNAI, pages 26-39. Springer, May 2011.
[ bib |
DOI |
paper ]
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and
Peter Schüller.
Pushing Efficient Evaluation of HEX Programs by Modular
Decomposition.
In James Delgrande and Wolfgang Faber, editors, 11th
International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR 2011), Vancouver, British Columbia, Canada, May 16-19, 2011, volume
6645 of LNAI, pages 93-106. Springer, May 2011.
Best Paper
http://ijcai-11.iiia.csic.es/program/best_paper_track.
[ bib |
DOI |
paper ]
Stefan Bischof, Stefan Decker, Thomas Krennwallner, Nuno Lopes, and Axel
Polleres.
Mapping between RDF and XML with XSPARQL.
Technical Report DERI-TR-2011-04-04, Digital Enterprise Research
Institute, National University of Ireland, Galway, IDA Business Park, Lower
Dangan, Galway, Ireland, April 2011.
[ bib |
paper ]
Christoph Redl, Thomas Eiter, and Thomas Krennwallner.
Declarative Belief Set Merging using Merging Plans.
In Ricardo Rocha and John Launchbury, editors, 13th
International Symposium on Practical Aspects of Declarative Languages (PADL
2011), Austin, Texas, U.S.A., January 24-25, 2011, volume 6539 of
LNCS, pages 99-114. Springer, January 2011.
[ bib |
DOI |
paper ]
2010
Thomas Krennwallner.
Combining Nonmonotonic Knowledge Bases for Modular and
Distributed Knowledge-Based Information Systems.
In Eiter et al. [eefhkl2010-buro], pages 41-41.
[ bib ]
Thomas Eiter, Adil El Ghali, Sergio Fernàndez, Stijn Heymans, Thomas
Krennwallner, and François Lèvy, editors.
BuRO 2010: 1st International Workshop on Business Models,
Business Rules and Ontologies, Brixen, Italy, 21 September 2010. Ontorule
Project, September 2010.
[ bib |
paper ]
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
Decomposition of Distributed Nonmonotonic Multi-Context
Systems.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th European
Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki,
Finland, September 13-15, 2010, volume 6341 of LNAI, pages 24-37.
Springer, September 2010.
[ bib |
DOI |
paper |
slides ]
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
The DMCS Solver for Distributed Nonmonotonic Multi-Context
Systems.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th European
Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki,
Finland, September 13-15, 2010, volume 6341 of LNAI, pages 352-355.
Springer, September 2010.
[ bib |
DOI |
paper |
slides ]
Nuno Lopes, Stefan Bischof, Orri Erling, Axel Polleres, Alexandre Passant,
Diego Berrueta, Antonio Campos, Jerome Euzenat, Kingsley Idehen, Stefan
Decker, Stephane Corlosquet, Jacek Kopecky, Janne Saarela, Thomas
Krennwallner, Davide Palmisano, and Michal Zaremba.
RDF and XML: Towards a Unified Query Layer.
In David Wood, Stefan Decker, and Ivan Herman, editors, W3C
Workshop - RDF Next Steps, Stanford, California, U.S.A., June 26-27, 2010.
World Wide Web Consortium, World Wide Web Consortium, June 2010.
[ bib |
paper ]
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
Decomposition of Distributed Nonmonotonic Multi-Context
Systems.
In Tommie Meyer and Eugenia Ternovska, editors, 13th
International Workshop on Non-Monotonic Reasoning (NMR 2010), Toronto,
Ontario, Canada, May 14-16, 2010, May 2010.
[ bib |
paper |
slides ]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Distributed Nonmonotonic Multi-Context Systems.
In Fangzhen Lin and Ulrike Sattler, editors, 12th International
Conference on the Principles of Knowledge Representation and Reasoning (KR
2010), Toronto, Ontario, Canada, May 9-13, 2010, pages 60-70. AAAI Press,
May 2010.
[ bib |
paper |
slides ]
2009
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel
Polleres.
Dynamic Querying of Mass-Storage RDF Data with Rule-Based
Entailment Regime.
In Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum,
Diana Maynard, Enrico Motta, and Krishnaprasad Thirunarayan, editors,
8th International Semantic Web Conference (ISWC 2009), Washington D.C.,
U.S.A., October 25-29, 2009, volume 5823 of LNCS, pages 310-327.
Springer, October 2009.
[ bib |
DOI |
paper ]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Relevance-driven Evaluation of Modular Nonmonotonic Logic
Programs.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, 10th
International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR 2009), Potsdam, Germany, September 14-18, 2009, volume 5753 of
LNCS, pages 87-100. Springer, September 2009.
[ bib |
DOI |
paper ]
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista
Ianni, and Thomas Krennwallner.
Combining Nonmonotonic Knowledge Bases with External
Sources.
In Silvio Ghilardi and Roberto Sebastiani, editors, 7th
International Symposium on Frontiers of Combining Systems (FroCos 2009),
Trento, Italy, September 16-18, 2009, volume 5749 of LNAI, pages
18-42. Springer, September 2009.
[ bib |
DOI ]
Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner.
Answer Set Programming: A Primer.
In Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez,
Siegfried Handschuh, Marie-Christine Rousset, and Renate A. Schmidt, editors,
5th International Reasoning Web Summer School (RW 2009),
Brixen/Bressanone, Italy, August 30-September 4, 2009, volume 5689 of
LNCS, pages 40-110. Springer, September 2009.
[ bib |
DOI |
paper |
slides ]
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner,
Thomas Lukasiewicz, and Jan Maluszynski.
Hybrid Reasoning with Rules and Ontologies.
In Francois Bry and Jan Maluszynski, editors, Semantic
Techniques for the Web: The REWERSE Perspective, volume 5500 of LNCS,
pages 1-49. Springer, September 2009.
[ bib |
DOI ]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Modular Nonmonotonic Logic Programming Revisited.
In Patricia M. Hill and David S. Warren, editors, 25th
International Conference on Logic Programming (ICLP 2009), Pasadena,
California, U.S.A., July 14-17, 2009, volume 5649 of LNCS, pages
145-159. Springer, July 2009.
[ bib |
DOI |
paper ]
Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Decomposition of Declarative Knowledge Bases with External
Functions.
In Craig Boutilier, editor, Twenty-first International Joint
Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California,
U.S.A., July 11-17, 2009, pages 752-758. AAAI Press, July 2009.
[ bib |
paper ]
Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner.
Realizing Default Logic over Description Logic Knowledge
Bases.
In Claudio Sossai and Gaetano Chemello, editors, 10th European
Conference on Symbolic and Quantitative Approaches to Reasoning with
Uncertainty (ECSQARU 2009), Verona, Italy, July 1-3, 2009, volume 5590 of
LNAI, pages 602-613. Springer, July 2009.
[ bib |
DOI |
paper |
slides ]
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel
Polleres.
A Rule System for Querying Persistent RDFS Data.
In Lora Arroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom
Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, and
Elena Simperl, editors, 6th European Semantic Web Conference (ESWC
2009), Heraklion, Greece, May 31-June 4, 2009, volume 5554 of LNCS,
pages 857-862. Springer, June 2009.
[ bib |
DOI |
paper |
slides ]
Axel Polleres, Thomas Krennwallner, Nuno Lopes, Jacek Kopecký, and Stefan
Decker.
XSPARQL Language Specification, January 2009.
W3C member submission.
[ bib |
paper ]
Thomas Krennwallner, Nuno Lopes, and Axel Polleres.
XSPARQL: Semantics, January 2009.
W3C member submission.
[ bib |
paper ]
Nuno Lopes, Thomas Krennwallner, Axel Polleres, Waseem Akhtar, and Stéphane
Corlosquet.
XSPARQL: Implementation and Test-cases, January 2009.
W3C member submission.
[ bib |
paper ]
2008
Thomas Krennwallner, Thomas Eiter, and Michael Fink.
Decomposing HEX-Programs: Preliminary Results.
In Hans Kaiser and Raimund Kirner, editors, Junior Scientist
Conference (JSC 2008), Vienna, Austria, November 16-18, 2008, pages 29-30.
Vienna University of Technology, November 2008.
[ bib ]
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Axel Polleres.
Rules and Ontologies for the Semantic Web.
In Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo
Marchiori, Axel Polleres, and Sebastian Schaffert, editors, 4th
International Reasoning Web Summer School (RW 2008), Venice, Italy, September
7-11, 2008, volume 5224 of LNCS, pages 1-53. Springer, September
2008.
[ bib |
DOI |
slides ]
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.
Exploiting conjunctive queries in description logic
programs.
Annals of Mathematics and Artificial Intelligence: Logic in AI:
A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th
birthday, 53(1-4):115-152, August 2008.
Published online: 27 January 2009.
[ bib |
DOI |
paper ]
Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, and Axel Polleres.
XSPARQL: Traveling between the XML and RDF Worlds - and
Avoiding the XSLT Pilgrimage.
In Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, and Manolis
Koubarakis, editors, 5th European Semantic Web Conference (ESWC 2008),
Tenerife, Canary Islands, Spain, June 1-5, 2008, volume 5021 of
LNCS, pages 432-447. Springer, June 2008.
[ bib |
DOI |
paper |
slides ]
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.
Exploiting Conjunctive Queries in Description Logic
Programs.
Technical Report INFSYS RR-1843-08-02, Institut für
Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna, March
2008.
[ bib |
paper ]
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.
Exploiting Conjunctive Queries in Description Logic
Programs.
In 10th International Symposium on Artificial Intelligence and
Mathematics (ISAIM 2008): Logic in Artificial Intelligence: Special Session
in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida,
U.S.A., January 2-4, 2008, ISAIM Online Proceedings, January 2008.
[ bib |
paper ]
2007
Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, and Axel Polleres.
XSPARQL: Traveling between the XML and RDF worlds - and
avoiding the XSLT pilgrimage.
Technical Report DERI-TR-2007-12-14, Digital Enterprise Research
Institute, National University of Ireland, Galway, IDA Business Park, Lower
Dangan, Galway, Ireland, December 2007.
[ bib |
paper ]
Thomas Krennwallner.
Integration of Conjunctive Queries over Description Logics
into HEX-Programs.
Master's thesis, Vienna University of Technology, Karlsplatz 13,
A-1040 Wien, October 2007.
[ bib |
paper ]
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.
Exploiting Conjunctive Queries in Description Logic
Programs.
In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo,
Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, editors, 20th
International Workshop on Description Logics (DL 2007), Brixen/Bressanone,
Italy, June 8-10, 2007, volume 250 of CEUR Workshop Proceedings,
pages 259-266. CEUR-WS.org, June 2007.
[ bib |
paper ]
$Id: index.html 7826 2012-02-07 10:06:14Z tkren $