The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Thomas Krennwallner (changed automatically)

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

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 49 publication records. Showing 48 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
36Thomas 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
36Thomas 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
36Thomas 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
36Minh 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
36Thomas 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
36Yi-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
36Thomas 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
36Thomas 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
36Mario 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
36Gü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
36Thomas 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
36Thomas 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
36Thomas 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
36Stefan 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
36Francesco 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
36Thomas 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
36Thomas 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
36Harald 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
36Thomas 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
36Harald Beck, Thomas Eiter, Thomas Krennwallner Inconsistency Management for Traffic Regulations. Search on Bibsonomy Semantic Cities @ AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
Displaying result #1 - #20 of 48 (20 per page; Change: )
Pages: [1][2][3][>>]
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