%0 Journal Article %1 Manthey2020-yc %A Manthey, Norbert %A Peñaloza, Rafael %A Rudolph, Sebastian %D 2020 %I Springer Science and Business Media LLC %J KI - Künstl. Intell. %K %N 3 %P 389--394 %T SATPin: Axiom pinpointing for lightweight description logics through incremental SAT %V 34

@article{Manthey2020-yc, added-at = {2024-09-10T11:56:37.000+0200}, author = {Manthey, Norbert and Pe{\~n}aloza, Rafael and Rudolph, Sebastian}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/270c2134ad011233149bbe456a694f89b/scadsfct}, interhash = {cdf34e45e69105759d0a06141502d049}, intrahash = {70c2134ad011233149bbe456a694f89b}, journal = {KI - K{\"u}nstl. Intell.}, keywords = {}, language = {en}, month = sep, number = 3, pages = {389--394}, publisher = {Springer Science and Business Media LLC}, timestamp = {2024-09-10T15:15:57.000+0200}, title = {{SATPin}: Axiom pinpointing for lightweight description logics through incremental {SAT}}, volume = 34, year = 2020 }