PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Krennwallner, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
A model building framework for answer set programming with external computations.

, , , , , and . TPLP, 16 (4): 418-464 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Thomas Maier

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

Eliminating Unfounded Set Checking for HEX-Programs, , , , and . CoRR, (2013)A model building framework for Answer Set Programming with external computations., , , , , and . CoRR, (2015)Conflict-driven ASP solving with external sources., , , and . TPLP, 12 (4-5): 659-679 (2012)Mapping between RDF and XML with XSPARQL., , , , and . J. Data Semantics, 1 (3): 147-185 (2012)First-Order Encodings for Modular Nonmonotonic Datalog Programs., , , and . Datalog, volume 6702 of Lecture Notes in Computer Science, page 59-77. Springer, (2010)Pushing Efficient Evaluation of HEX Programs by Modular Decomposition., , , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 93-106. Springer, (2011)HEX-Programs with Nested Program Calls., , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 269-278. Springer, (2011)Lightweight Spatial Conjunctive Query Answering Using Keywords., , and . ESWC, volume 7882 of Lecture Notes in Computer Science, page 243-258. Springer, (2013)Answer Set Programming: A Primer., , and . Reasoning Web, volume 5689 of Lecture Notes in Computer Science, page 40-110. Springer, (2009)Semantically Enriched Multi-Modal Routing., , , , , and . Int. J. Intelligent Transportation Systems Research, 14 (1): 20-35 (2016)