%0 Conference Paper %1 conf/kr/BagetLM10 %A Baget, Jean-François %A Leclère, Michel %A Mugnier, Marie-Laure %B KR %D 2010 %E Lin, Fangzhen %E Sattler, Ulrike %E Truszczynski, Miroslaw %I AAAI Press %K dblp %T Walking the Decidability Line for Rules with Existential Variables. %U http://dblp.uni-trier.de/db/conf/kr/kr2010.html#BagetLM10

@inproceedings{conf/kr/BagetLM10, added-at = {2022-03-08T00:00:00.000+0100}, author = {Baget, Jean-François and Leclère, Michel and Mugnier, Marie-Laure}, biburl = {https://www.bibsonomy.org/bibtex/2d7fdd334fbfcbe291b633954726995f9/dblp}, booktitle = {KR}, crossref = {conf/kr/2010}, editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw}, ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1216}, interhash = {a10cd13c85758b93a6c9c37f57f879d8}, intrahash = {d7fdd334fbfcbe291b633954726995f9}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2024-04-10T13:34:22.000+0200}, title = {Walking the Decidability Line for Rules with Existential Variables.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2010.html#BagetLM10}, year = 2010 }