Skip to Content

Fakultät für Informatik TU Wien KBS Knowledge Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Thomas Krennwallner >> Publications > ASP+Debian

Tools: Drucken


Thomas Krennwallner — Publications


2010

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, Canada, May 14-16, 2010, CEUR Workshop Proceedings. CEUR-WS.org, May 2010.
bib | paper ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Distributed Nonmonotonic Multi-Context Systems.
In Fangzhen Lin and Uli Sattler, editors, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13, 2010. 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., USA, 25-29 October, 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, 14-18 September, 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, USA, 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-09), Pasadena, California, USA, 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 (ISAIM2008): Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, 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 (DL2007), 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 701 2010-03-10 07:46:08Z tkren $


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.