%0 Conference Paper %1 conf/icail/Al-AbdulkarimAA17 %A Al-Abdulkarim, Latifa %A Atkinson, Katie %A Atkinson, Sam %A Bench-Capon, Trevor J. M. %B ICAIL %D 2017 %E Keppens, Jeroen %E Governatori, Guido %I ACM %K %P 267-268 %T Angelic environment: demonstration. %U http://dblp.uni-trier.de/db/conf/icail/icail2017.html#Al-AbdulkarimAA17 %@ 978-1-4503-4891-1

@inproceedings{conf/icail/Al-AbdulkarimAA17, added-at = {2023-12-13T04:51:52.000+0100}, author = {Al-Abdulkarim, Latifa and Atkinson, Katie and Atkinson, Sam and Bench-Capon, Trevor J. M.}, biburl = {https://www.bibsonomy.org/bibtex/204cb25779101c14920bfe5892f447fc7/admin}, booktitle = {ICAIL}, crossref = {conf/icail/2017}, editor = {Keppens, Jeroen and Governatori, Guido}, ee = {https://doi.org/10.1145/3086512.3086546}, interhash = {9b549355d2229dc9a2ca999742b2bcb6}, intrahash = {04cb25779101c14920bfe5892f447fc7}, isbn = {978-1-4503-4891-1}, keywords = {}, pages = {267-268}, publisher = {ACM}, timestamp = {2023-12-13T04:51:52.000+0100}, title = {Angelic environment: demonstration.}, url = {http://dblp.uni-trier.de/db/conf/icail/icail2017.html#Al-AbdulkarimAA17}, year = 2017 }