dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Thomas Krennwallner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao: Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22
2011
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Krennwallner: Promoting Modular Nonmonotonic Logic Programs. ICLP (Technical Communications) 2011: 274-279
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Redl, Thomas Eiter, Thomas Krennwallner: Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems CoRR abs/1104.3931: (2011)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Krennwallner, Christoph Redl: Nested HEX-Programs CoRR abs/1108.5626: (2011)
2010
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 352-355
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Distributed Nonmonotonic Multi-Context Systems. KR 2010
2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Thomas Krennwallner: Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU 2009: 602-613
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: A Rule System for Querying Persistent RDFS Data. ESWC 2009: 857-862
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Michael Fink, Thomas Krennwallner: Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. International Semantic Web Conference 2009: 310-327
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner: Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner: Answer Set Programming: A Primer. Reasoning Web 2009: 40-110
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWaseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres: XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. ESWC 2008: 432-447
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni: Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres: Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1-4): 115-152 (2008)
2007
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007

Coauthor Index

1Waseem Akhtar [5]
2Seif El-Din Bairakdar [16] [17]
3Gerhard Brewka [12]
4Minh Dao-Tran [8] [11] [12] [14] [15] [16] [17] [18]
5Wlodzimierz Drabent (Wlodek Drabent) [6]
6Christian Drescher [20] [23]
7Thomas Eiter [1] [2] [3] [4] [6] [7] [8] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25]
8Michael Fink [8] [10] [11] [12] [15] [16] [17] [18] [20] [22] [23]
9Giovambattista Ianni [1] [2] [3] [4] [6] [7] [9] [12] [13] [22]
10Jacek Kopecký [5]
11Thomas Lukasiewicz [6]
12Jan Maluszynski [6]
13Alessandra Martello [9] [13]
14Axel Polleres [3] [5] [9] [13]
15Christoph Redl [19] [21]
16Roman Schindlauer [1] [2] [4]
17Patrik Schneider [25]
18Peter Schüller [22]
19Toby Walsh [20] [23]
20Guohui Xiao [25]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page