%0 Conference Paper %1 conf/cilc/MontaliCGLM15 %A Montali, Marco %A Chesani, Federico %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %B CILC %D 2015 %E Ancona, Davide %E Maratea, Marco %E Mascardi, Viviana %I CEUR-WS.org %K %P 101-116 %T Evaluating compliance: from LTL to abductive logic programming. %U http://dblp.uni-trier.de/db/conf/cilc/cilc2015.html#MontaliCGLM15 %V 1459

@inproceedings{conf/cilc/MontaliCGLM15, added-at = {2023-12-12T22:36:21.000+0100}, author = {Montali, Marco and Chesani, Federico and Gavanelli, Marco and Lamma, Evelina and Mello, Paola}, biburl = {https://www.bibsonomy.org/bibtex/20eac6bb6d0bbd937e269af4fba5692ad/admin}, booktitle = {CILC}, crossref = {conf/cilc/2015}, editor = {Ancona, Davide and Maratea, Marco and Mascardi, Viviana}, ee = {http://ceur-ws.org/Vol-1459/paper8.pdf}, interhash = {4c0dade9da8298d99fd67630071f6740}, intrahash = {0eac6bb6d0bbd937e269af4fba5692ad}, keywords = {}, pages = {101-116}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-12T22:36:21.000+0100}, title = {Evaluating compliance: from LTL to abductive logic programming.}, url = {http://dblp.uni-trier.de/db/conf/cilc/cilc2015.html#MontaliCGLM15}, volume = 1459, year = 2015 }