%0 Conference Paper %1 conf/icail/GiordanoMD13 %A Giordano, Laura %A Martelli, Alberto %A Dupré, Daniele Theseider %B ICAIL %D 2013 %E Francesconi, Enrico %E Verheij, Bart %I ACM %K dblp %P 53-62 %T Temporal deontic action logic for the verification of compliance to norms in ASP. %U http://dblp.uni-trier.de/db/conf/icail/icail2013.html#GiordanoMD13 %@ 978-1-4503-2080-1

@inproceedings{conf/icail/GiordanoMD13, added-at = {2023-09-30T00:00:00.000+0200}, author = {Giordano, Laura and Martelli, Alberto and Dupré, Daniele Theseider}, biburl = {https://www.bibsonomy.org/bibtex/205cad8d3ec17b6c03f4aeb894af2c3b0/dblp}, booktitle = {ICAIL}, crossref = {conf/icail/2013}, editor = {Francesconi, Enrico and Verheij, Bart}, ee = {https://www.wikidata.org/entity/Q58207602}, interhash = {76f396247b5f211ecc38d7d4a23d29bb}, intrahash = {05cad8d3ec17b6c03f4aeb894af2c3b0}, isbn = {978-1-4503-2080-1}, keywords = {dblp}, pages = {53-62}, publisher = {ACM}, timestamp = {2024-04-10T14:41:49.000+0200}, title = {Temporal deontic action logic for the verification of compliance to norms in ASP.}, url = {http://dblp.uni-trier.de/db/conf/icail/icail2013.html#GiordanoMD13}, year = 2013 }