%0 Conference Paper %1 conf/jsai/SatohAKKNNST10 %A Satoh, Ken %A Asai, Kento %A Kogawa, Takamune %A Kubota, Masahiro %A Nakamura, Megumi %A Nishigai, Yoshiaki %A Shirakawa, Kei %A Takano, Chiaki %B JSAI-isAI Workshops %D 2010 %E Onada, Takashi %E Bekki, Daisuke %E McCready, Eric %I Springer %K dblp %P 153-164 %T PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. %U http://dblp.uni-trier.de/db/conf/jsai/jsai2010.html#SatohAKKNNST10 %V 6797 %@ 978-3-642-25654-7

@inproceedings{conf/jsai/SatohAKKNNST10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Satoh, Ken and Asai, Kento and Kogawa, Takamune and Kubota, Masahiro and Nakamura, Megumi and Nishigai, Yoshiaki and Shirakawa, Kei and Takano, Chiaki}, biburl = {https://www.bibsonomy.org/bibtex/258c5efe53372138841bae34feb0feed5/dblp}, booktitle = {JSAI-isAI Workshops}, crossref = {conf/jsai/2010}, editor = {Onada, Takashi and Bekki, Daisuke and McCready, Eric}, ee = {https://doi.org/10.1007/978-3-642-25655-4_14}, interhash = {516ea2afcf41e7e43414fd8bcc016f81}, intrahash = {58c5efe53372138841bae34feb0feed5}, isbn = {978-3-642-25654-7}, keywords = {dblp}, pages = {153-164}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:43:36.000+0200}, title = {PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology.}, url = {http://dblp.uni-trier.de/db/conf/jsai/jsai2010.html#SatohAKKNNST10}, volume = 6797, year = 2010 }