%0 Thesis %1 rudolph2011reasoning %A Rudolph, Sebastian %D 2011 %K %T Reasoning and modeling support for logic-based knowledge representation

@phdthesis{rudolph2011reasoning, added-at = {2023-12-13T10:53:32.000+0100}, author = {Rudolph, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/292b344d77a3a68b997604fa92bcd557e/admin}, dnbtitleid = {1024400395}, interhash = {dbc81bd9c12342307367afe704035d5d}, intrahash = {92b344d77a3a68b997604fa92bcd557e}, keywords = {}, school = {TU Karlsruhe}, timestamp = {2023-12-13T10:53:32.000+0100}, title = {Reasoning and modeling support for logic-based knowledge representation}, type = {habilitation}, year = 2011 }