%0 Journal Article %1 journals/scp/BartakCDVZ17 %A Barták, Roman %A Chrpa, Lukás %A Dovier, Agostino %A Vodrázka, Jindrich %A Zhou, Neng-Fa %D 2017 %J Sci. Comput. Program. %K dblp %P 54-77 %T Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. %U http://dblp.uni-trier.de/db/journals/scp/scp147.html#BartakCDVZ17 %V 147

@article{journals/scp/BartakCDVZ17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Barták, Roman and Chrpa, Lukás and Dovier, Agostino and Vodrázka, Jindrich and Zhou, Neng-Fa}, biburl = {https://www.bibsonomy.org/bibtex/2d4333855981fd6530fbe9910660afa67/dblp}, ee = {https://doi.org/10.1016/j.scico.2017.04.007}, interhash = {524e6abc7fb324de130bc7dfc50a4602}, intrahash = {d4333855981fd6530fbe9910660afa67}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {54-77}, timestamp = {2019-09-26T12:26:26.000+0200}, title = {Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp147.html#BartakCDVZ17}, volume = 147, year = 2017 }