%0 Conference Paper %1 conf/miwai/FurbachSS14 %A Furbach, Ulrich %A Schon, Claudia %A Stolzenburg, Frieder %B MIWAI %D 2014 %E Murty, M. Narasimha %E He, Xiangjian %E Rao, Chillarige Raghavendra %E Weng, Paul %I Springer %K %P 57-68 %T Automated Reasoning in Deontic Logic. %U http://dblp.uni-trier.de/db/conf/miwai/miwai2014.html#FurbachSS14 %V 8875 %@ 978-3-319-13364-5

@inproceedings{conf/miwai/FurbachSS14, added-at = {2023-12-12T17:38:31.000+0100}, author = {Furbach, Ulrich and Schon, Claudia and Stolzenburg, Frieder}, biburl = {https://www.bibsonomy.org/bibtex/227568c1533f476b6dd4f40bf3361466e/admin}, booktitle = {MIWAI}, crossref = {conf/miwai/2014}, editor = {Murty, M. Narasimha and He, Xiangjian and Rao, Chillarige Raghavendra and Weng, Paul}, ee = {https://doi.org/10.1007/978-3-319-13365-2_6}, interhash = {06a4d299e5ef88f264bfea38a1bd36ce}, intrahash = {27568c1533f476b6dd4f40bf3361466e}, isbn = {978-3-319-13364-5}, keywords = {}, pages = {57-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:38:31.000+0100}, title = {Automated Reasoning in Deontic Logic.}, url = {http://dblp.uni-trier.de/db/conf/miwai/miwai2014.html#FurbachSS14}, volume = 8875, year = 2014 }