The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas Krennwallner" ( http://dblp.L3S.de/Authors/Thomas_Krennwallner )

URL (Homepage):  http://www.kr.tuwien.ac.at/staff/tkren/  Author page on DBLP  Author page in RDF  Community of Thomas Krennwallner in ASPL-2

Publication years (Num. hits)
2007-2010 (18) 2011-2012 (16) 2013-2016 (13)
Publication types (Num. hits)
article(15) incollection(1) inproceedings(30) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 48 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Domain expansion for ASP-programs with external sources. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub Semantically Enriched Multi-Modal Routing. Search on Bibsonomy Int. J. Intelligent Transportation Systems Research The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for answer set programming with external computations. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Distributed Evaluation of Nonmonotonic Multi-context Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller A model building framework for Answer Set Programming with external computations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng FLP answer set semantics without circular justifications for general logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Efficient HEX-Program Evaluation Based on Unfounded Sets. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Eliminating Unfounded Set Checking for HEX-Programs Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao VCWC: A Versioning Competition Workflow Compiler. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Patrik Schneider Lightweight Spatial Conjunctive Query Answering Using Keywords. Search on Bibsonomy ESWC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Liberal Safety for Answer Set Programs with External Sources. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl hex-Programs with Existential Quantification. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Bischof 0002, Stefan Decker, Thomas Krennwallner, Nuno Lopes 0002, Axel Polleres Mapping between RDF and XML with XSPARQL. Search on Bibsonomy J. Data Semantics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca The Answer Set Programming Competition. Search on Bibsonomy AI Magazine The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Conflict-driven ASP Solving with External Sources Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl Conflict-driven ASP solving with external sources. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Harald Beck, Thomas Eiter, Thomas Krennwallner Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller Exploiting Unfounded Sets for HEX-Program Evaluation. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner (eds.) Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings Search on Bibsonomy Reasoning Web The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao Uniform Evaluation of Nonmonotonic DL-Programs. Search on Bibsonomy FoIKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Christoph Redl Nested HEX-Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh Symmetry Breaking for Distributed Multi-Context Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh Symmetry Breaking for Distributed Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Model Streaming for Distributed Multi-Context Systems. Search on Bibsonomy Log-IC@LPNMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Christoph Redl HEX-Programs with Nested Program Calls. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Krennwallner Promoting Modular Nonmonotonic Logic Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph Redl, Thomas Eiter, Thomas Krennwallner Declarative Belief Set Merging Using Merging Plans. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Decomposition of Distributed Nonmonotonic Multi-Context Systems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner First-Order Encodings for Modular Nonmonotonic Datalog Programs. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Distributed Nonmonotonic Multi-Context Systems. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner Realizing Default Logic over Description Logic Knowledge Bases. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres A Rule System for Querying Persistent RDFS Data. Search on Bibsonomy ESWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner Answer Set Programming: A Primer. Search on Bibsonomy Reasoning Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Modular Nonmonotonic Logic Programming Revisited. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modular Logic Programming, Knowledge Representation, Answer Set Programming
1Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner Combining Nonmonotonic Knowledge Bases with External Sources. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Thomas Krennwallner Decomposition of Declarative Knowledge Bases with External Functions. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski Hybrid Reasoning with Rules and Ontologies. Search on Bibsonomy REWERSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer Exploiting conjunctive queries in description logic programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
1Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres Rules and Ontologies for the Semantic Web. Search on Bibsonomy Reasoning Web The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni Exploiting Conjunctive Queries in Description Logic Programs. Search on Bibsonomy ISAIM The full citation details ... 2008 DBLP  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer Exploiting Conjunctive Queries in Description Logic Programs. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license