dlvhex

Literature

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, BC, Canada, May 16-19, 2011, volume 6645 of LNAI, pages 93-106. Springer, May 2011. [ DOI ]

Christoph Redl, Thomas Eiter, and Thomas Krennwallner.
Declarative Belief Set Merging using Merging Plans.
In 13th International Symposium on Practical Aspects of Declarative Languages (PADL'11). Volume 6539 of LNCS, pages 99-114. Springer, 2011.
[ DOI ]

Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni.
HEX Programs with Action Atoms.
In Manuel Hermenegildo, Ilkka Niemela, and Torsten Schaub, editors, 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, UK, 16-19 July, 2010, pages 24-33.
[ DOI ]

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.
[ DOI | paper ]

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.
[ DOI ]

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.
[ 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.
[ DOI ]

Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner.
Answer Set Programming: A Primer.
In Sergio Tessaris and Enrico Franconi and Thomas Eiter and Claudio Gutierrez and Siegfried Handschuh and 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.
[ DOI | paper |slides ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Modular Nonmonotonic Logic Programming Revisited.
In Patricia M. Hill and David S. Warren, editors, Proceedings of the 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, USA, July 14-17, 2009, pages 145-159. Springer, July 2009.
[ DOI ]

Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Decomposition of Declarative Knowledge Bases with External Functions.
In Craig Boutilier, editor, Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, USA, July 11-17, 2009, pages 752-758. AAAI Press, July 2009.
[ paper ]

Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner.
Realizing Default Logic over Description Logic Knowledge Bases.
In Claudio Sossai and Gaetano Chemello, editors, Proceedings of the 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.
[ DOI ]

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, Proceedings of the 6th Annual European Semantic Web Conference (ESWC2009), Heraklion, Greece, May 31-June 4, 2009, volume 5554 of LNCS, pages 857-862. Springer, June 2009.
[ DOI ]

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.
[ DOI ]

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, Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures, volume 5224 of LNCS, pages 1-53. Springer, September 2008.
[ DOI ]

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.
Combining answer set programming with description logics for the Semantic Web.
Artificial Intelligence, 172 (12-13), pages 1495-1539, Elsevier, August 2008.
[ DOI ]
Also available as Technical Report INFSYS RR-1843-07-04, Institut für Informationssysteme, TU Wien, March 2007.
[ paper ]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.
Exploiting Conjunctive Queries in Description Logic Programs.
In Proceedings of the 20th International Workshop on Description Logics (DL 2007), Brixen-Bressanone, Italy, June 2007.
[ paper ]
Extended version appeared in Proceedings of the 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, January 2008.
[ paper ]
Also available as Technical Report INFSYS RR-1843-08-02, Institut für Informationssysteme, TU Wien, March 2008.
[ paper ]

Roman Schindlauer.
Answer-Set Programming for the Semantic Web.
PhD thesis, Vienna University of Technology, Austria, December 2006.
[ .pdf ]

Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, and Hans Tompits.
Reasoning with Rules and Ontologies.
In Pedro Barahona, François Bry, Enrico Franconi, Ulrike Sattler, and Nicola Henze, editors, Reasoning Web, Second International Summer School, Lissabon, Portugal, Tutorial Lectures, number 4126 in Lecture Notes in Computer Science (LNCS), pages 93-127. Springer, September 2006.
[ paper ]

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning.
In York Sure and John Domingue, editors, Proceedings of the 3rd European Conference on Semantic Web (ESWC 2006), Budva, Montenegro, number 4011 in Lecture Notes in Computer Science (LNCS), pages 273-287. Springer, June 2006.
[ DOI ]

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Towards Efficient Evaluation of HEX Programs.
In Jürgen Dix and Anthony Hunter, editors, Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Answer Set Programming Track, Lakeside, UK, pages 40-46, May 2006. Available as TR IfI-06-04, Institut für Informatik, TU Clausthal, Germany.
[ paper ]

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming.
In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, Scotland, UK, pages 90-96. Professional Book Center, July 2005.
[ paper ]

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Nonmonotonic Description Logic Programs: Implementation and Experiments.
In F. Baader and A. Voronkov, editors, Proceedings 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), Montevideo, Uruguay, number 3452 in LNCS, pages 511-517. Springer, 2005.

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.
Well-founded Semantics for Description Logic Programs in the Semantic Web.
In Grigoris Antoniou and Harold Boley, editors, Proceedings of the 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), Hiroshima, Japan, number 3323 in Lecture Notes in Computer Science (LNCS), pages 81-97. Springer, November 2004.
[ DOI ]

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.
Combining Answer Set Programming with Description Logics for the Semantic Web.
In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors, Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, British Columbia, Canada, pages 141-151. AAAI Press, June 2004.
[ paper ]