|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 52 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Calimeri, Wolfgang Faber 0001, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub |
ASP-Core-2 Input Language Format.  |
Theory Pract. Log. Program.  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber 0001, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub |
ASP-Core-2 Input Language Format. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Lucas Kletzander, Nysret Musliu, Johannes Gärtner, Thomas Krennwallner, Werner Schafhauser |
Exact Methods for Extended Rotating Workforce Scheduling Problems. |
ICAPS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl |
Domain expansion for ASP-programs with external sources. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub |
Semantically Enriched Multi-Modal Routing. |
Int. J. Intell. Transp. Syst. Res. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller |
A model building framework for answer set programming with external computations. |
Theory Pract. Log. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Distributed Evaluation of Nonmonotonic Multi-context Systems. |
J. Artif. Intell. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller |
A model building framework for Answer Set Programming with external computations. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Kewen Wang 0001, Thomas Eiter, Michael Fink 0001, Christoph Redl, Thomas Krennwallner, Jun Deng |
FLP answer set semantics without circular justifications for general logic programs. |
Artif. Intell. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller |
Efficient HEX-Program Evaluation Based on Unfounded Sets. |
J. Artif. Intell. Res. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller |
Eliminating Unfounded Set Checking for HEX-Programs |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl |
hex-Programs with Existential Quantification. |
KDPD |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Patrik Schneider |
Lightweight Spatial Conjunctive Query Answering Using Keywords. |
ESWC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario 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 0001 |
The Fourth Answer Set Programming Competition: Preliminary Report. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 |
VCWC: A Versioning Competition Workflow Compiler. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl |
Liberal Safety for Answer Set Programs with External Sources. |
AAAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Bischof 0002, Stefan Decker, Thomas Krennwallner, Nuno Lopes 0002, Axel Polleres |
Mapping between RDF and XML with XSPARQL. |
J. Data Semant. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca |
The Answer Set Programming Competition. |
AI Mag. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl |
Conflict-driven ASP Solving with External Sources |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl |
Conflict-driven ASP solving with external sources. |
Theory Pract. Log. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Beck, Thomas Eiter, Thomas Krennwallner |
Inconsistency Management for Traffic Regulations. |
Semantic Cities @ AAAI |
2012 |
DBLP BibTeX RDF |
|
| 1 | Harald Beck, Thomas Eiter, Thomas Krennwallner |
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl, Peter Schüller |
Exploiting Unfounded Sets for HEX-Program Evaluation. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao 0001 |
Uniform Evaluation of Nonmonotonic DL-Programs. |
FoIKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner (eds.) |
Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings |
Reasoning Web |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Christoph Redl |
Nested HEX-Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
Declarative Belief Set Merging Using Merging Plans. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Christoph Redl |
HEX-Programs with Nested Program Calls. |
INAP/WLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Krennwallner |
Promoting Modular Nonmonotonic Logic Programs. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Model Streaming for Distributed Multi-Context Systems. |
Log-IC@LPNMR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh |
Symmetry Breaking for Distributed Multi-Context Systems. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller |
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
First-Order Encodings for Modular Nonmonotonic Datalog Programs. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Decomposition of Distributed Nonmonotonic Multi-Context Systems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Distributed Nonmonotonic Multi-Context Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski |
Hybrid Reasoning with Rules and Ontologies. |
REWERSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres |
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner |
Realizing Default Logic over Description Logic Knowledge Bases. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Modular Nonmonotonic Logic Programming Revisited. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Modular Logic Programming, Knowledge Representation, Answer Set Programming |
| 1 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres |
A Rule System for Querying Persistent RDFS Data. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner |
Answer Set Programming: A Primer. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner |
Combining Nonmonotonic Knowledge Bases with External Sources. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink 0001, Thomas Krennwallner |
Decomposition of Declarative Knowledge Bases with External Functions. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting conjunctive queries in description logic programs. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30 |
| 1 | Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres |
XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |
Exploiting Conjunctive Queries in Description Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres |
Rules and Ontologies for the Semantic Web. |
Reasoning Web |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting Conjunctive Queries in Description Logic Programs. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license