%0 Conference Paper %1 conf/gcai/AlassafS19 %A Alassaf, Ruba %A Schmidt, Renate A. %B GCAI %D 2019 %E Calvanese, Diego %E Iocchi, Luca %I EasyChair %K dblp %P 127-138 %T DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2019.html#AlassafS19 %V 65

@inproceedings{conf/gcai/AlassafS19, added-at = {2021-08-15T00:00:00.000+0200}, author = {Alassaf, Ruba and Schmidt, Renate A.}, biburl = {https://www.bibsonomy.org/bibtex/2ef6db2ddfcf8b3f5cd1be0ccaedd91b3/dblp}, booktitle = {GCAI}, crossref = {conf/gcai/2019}, editor = {Calvanese, Diego and Iocchi, Luca}, ee = {https://doi.org/10.29007/hvz6}, interhash = {3254cf5f2aa55dae0a24e70cfba00a23}, intrahash = {ef6db2ddfcf8b3f5cd1be0ccaedd91b3}, keywords = {dblp}, pages = {127-138}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:30:43.000+0200}, title = {DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2019.html#AlassafS19}, volume = 65, year = 2019 }