default search action
Thomas Krennwallner
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j11]Francesco Calimeri, Wolfgang Faber, 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. 20(2): 294-309 (2020)
2010 – 2019
- 2019
- [c32]Lucas Kletzander, Nysret Musliu, Johannes Gärtner, Thomas Krennwallner, Werner Schafhauser:
Exact Methods for Extended Rotating Workforce Scheduling Problems. ICAPS 2019: 519-527 - [i6]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2016
- [j10]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Domain expansion for ASP-programs with external sources. Artif. Intell. 233: 84-121 (2016) - [j9]Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, Markus Straub:
Semantically Enriched Multi-Modal Routing. Int. J. Intell. Transp. Syst. Res. 14(1): 20-35 (2016) - [j8]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for answer set programming with external computations. Theory Pract. Log. Program. 16(4): 418-464 (2016) - 2015
- [j7]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Evaluation of Nonmonotonic Multi-context Systems. J. Artif. Intell. Res. 52: 543-600 (2015) - [i5]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations. CoRR abs/1507.01451 (2015) - 2014
- [j6]Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014) - [j5]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Efficient HEX-Program Evaluation Based on Unfounded Sets. J. Artif. Intell. Res. 49: 269-321 (2014) - 2013
- [c31]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Liberal Safety for Answer Set Programs with External Sources. AAAI 2013: 267-275 - [c30]Thomas Eiter, Thomas Krennwallner, Patrik Schneider:
Lightweight Spatial Conjunctive Query Answering Using Keywords. ESWC 2013: 243-258 - [c29]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
hex-Programs with Existential Quantification. KDPD 2013: 99-117 - [c28]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:
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR 2013: 42-53 - [c27]Gü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. LPNMR 2013: 233-238 - [i4]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs. CoRR abs/1301.1390 (2013) - 2012
- [j4]Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca:
The Answer Set Programming Competition. AI Mag. 33(4): 114-118 (2012) - [j3]Stefan Bischof, Stefan Decker, Thomas Krennwallner, Nuno Lopes, Axel Polleres:
Mapping between RDF and XML with XSPARQL. J. Data Semant. 1(3): 147-185 (2012) - [j2]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP solving with external sources. Theory Pract. Log. Program. 12(4-5): 659-679 (2012) - [c26]Harald Beck, Thomas Eiter, Thomas Krennwallner:
Inconsistency Management for Traffic Regulations. Semantic Cities @ AAAI 2012 - [c25]Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao:
Uniform Evaluation of Nonmonotonic DL-Programs. FoIKS 2012: 1-22 - [c24]Harald Beck, Thomas Eiter, Thomas Krennwallner:
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. JELIA 2012: 80-93 - [c23]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Exploiting Unfounded Sets for HEX-Program Evaluation. JELIA 2012: 160-175 - [e1]Thomas Eiter, Thomas Krennwallner:
Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings. Lecture Notes in Computer Science 7487, Springer 2012, ISBN 978-3-642-33157-2 [contents] - [i3]Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
Conflict-driven ASP Solving with External Sources. CoRR abs/1210.1649 (2012) - 2011
- [c22]Thomas Krennwallner:
Promoting Modular Nonmonotonic Logic Programs. ICLP (Technical Communications) 2011: 274-279 - [c21]Thomas Eiter, Thomas Krennwallner, Christoph Redl:
HEX-Programs with Nested Program Calls. INAP/WLP 2011: 269-278 - [c20]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Model Streaming for Distributed Multi-Context Systems. Log-IC@LPNMR 2011: 11-22 - [c19]Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. LPNMR 2011: 26-39 - [c18]Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller:
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106 - [c17]Christoph Redl, Thomas Eiter, Thomas Krennwallner:
Declarative Belief Set Merging Using Merging Plans. PADL 2011: 99-114 - [i2]Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems. CoRR abs/1104.3931 (2011) - [i1]Thomas Eiter, Thomas Krennwallner, Christoph Redl:
Nested HEX-Programs. CoRR abs/1108.5626 (2011) - 2010
- [c16]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
First-Order Encodings for Modular Nonmonotonic Datalog Programs. Datalog 2010: 59-77 - [c15]Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Decomposition of Distributed Nonmonotonic Multi-Context Systems. JELIA 2010: 24-37 - [c14]Seif 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 - [c13]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Distributed Nonmonotonic Multi-Context Systems. KR 2010
2000 – 2009
- 2009
- [c12]Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner:
Realizing Default Logic over Description Logic Knowledge Bases. ECSQARU 2009: 602-613 - [c11]Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres:
A Rule System for Querying Persistent RDFS Data. ESWC 2009: 857-862 - [c10]Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner:
Combining Nonmonotonic Knowledge Bases with External Sources. FroCoS 2009: 18-42 - [c9]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Modular Nonmonotonic Logic Programming Revisited. ICLP 2009: 145-159 - [c8]Thomas Eiter, Michael Fink, Thomas Krennwallner:
Decomposition of Declarative Knowledge Bases with External Functions. IJCAI 2009: 752-758 - [c7]Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. LPNMR 2009: 87-100 - [c6]Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner:
Answer Set Programming: A Primer. Reasoning Web 2009: 40-110 - [c5]Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres:
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. ISWC 2009: 310-327 - [p1]Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski:
Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49 - 2008
- [j1]Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1-4): 115-152 (2008) - [c4]Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, Axel Polleres:
XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. ESWC 2008: 432-447 - [c3]Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni:
Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008 - [c2]Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres:
Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53 - 2007
- [c1]Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint