%0 Conference Paper %1 conf/foiks/BeierleH20 %A Beierle, Christoph %A Haldimann, Jonas %B FoIKS %D 2020 %E Herzig, Andreas %E Kontinen, Juha %I Springer %K dblp %P 22-41 %T Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. %U http://dblp.uni-trier.de/db/conf/foiks/foiks2020.html#BeierleH20 %V 12012 %@ 978-3-030-39951-1

@inproceedings{conf/foiks/BeierleH20, added-at = {2020-02-06T00:00:00.000+0100}, author = {Beierle, Christoph and Haldimann, Jonas}, biburl = {https://www.bibsonomy.org/bibtex/20db7b214b96fe6f958183ea90eaea708/dblp}, booktitle = {FoIKS}, crossref = {conf/foiks/2020}, editor = {Herzig, Andreas and Kontinen, Juha}, ee = {https://doi.org/10.1007/978-3-030-39951-1_2}, interhash = {2d807e7c1fdad4145d341ebc78c02b93}, intrahash = {0db7b214b96fe6f958183ea90eaea708}, isbn = {978-3-030-39951-1}, keywords = {dblp}, pages = {22-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-07T11:51:45.000+0100}, title = {Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.}, url = {http://dblp.uni-trier.de/db/conf/foiks/foiks2020.html#BeierleH20}, volume = 12012, year = 2020 }