@article{LinkeTompitsWoltran2004, author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan}, title = {On acyclic and head-cycle free nested logic programs}, year = {2004}, language = {en} } @article{LinkeSchaub1999, author = {Linke, Thomas and Schaub, Torsten}, title = {On bottom-up pre-processing techniques for automated default reasoning}, isbn = {3-540-66131-x}, year = {1999}, language = {en} } @article{BoeselLinkeSchaub2004, author = {Boesel, Andreas and Linke, Thomas and Schaub, Torsten}, title = {Profiling answer set programming : the visualization component of the noMoRe System}, isbn = {3-540-23242-7}, year = {2004}, language = {en} } @article{LinkeSchaub1996, author = {Linke, Thomas and Schaub, Torsten}, title = {Putting default logics in perspective}, isbn = {3-540-61708-6}, year = {1996}, language = {en} } @article{Linke2003, author = {Linke, Thomas}, title = {Suitable graphs for answer set programming}, issn = {1613-0073}, year = {2003}, language = {en} } @article{AngerGebserLinkeetal.2005, author = {Anger, Christian and Gebser, Martin and Linke, Thomas and Neumann, Andre and Schaub, Torsten}, title = {The nomore++ approach to answer set solving}, year = {2005}, language = {en} } @article{AngerGebserLinkeetal.2005, author = {Anger, Christian and Gebser, Martin and Linke, Thomas and Neumann, Andre and Schaub, Torsten}, title = {The nomore++ approach to answer set solving}, year = {2005}, language = {en} } @article{LinkeSchaub1997, author = {Linke, Thomas and Schaub, Torsten}, title = {Towards a classification of default logic}, year = {1997}, language = {en} } @article{Linke2003, author = {Linke, Thomas}, title = {Using nested logic programs for answer set programming}, issn = {1613-0073}, year = {2003}, language = {en} } @article{KoseWeckwerthLinkeetal.2001, author = {Kose, F. and Weckwerth, Wolfram and Linke, Thomas and Fiehn, Oliver}, title = {Visualizing plant metabolomic correlation networks using clique-metabolite matrices}, year = {2001}, language = {en} }