%0 Conference Paper %1 conf/aiia/Santini15 %A Santini, Francesco %B AI*IA %D 2015 %E Gavanelli, Marco %E Lamma, Evelina %E Riguzzi, Fabrizio %I Springer %K dblp %P 191-204 %T Defeasible Logic Programming in Satisfiability Modulo CHR. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2015.html#Santini15 %V 9336 %@ 978-3-319-24308-5

@inproceedings{conf/aiia/Santini15, added-at = {2019-09-16T00:00:00.000+0200}, author = {Santini, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2dd2b48bd44bbd61ad3de78ccfd20e1b8/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2015}, editor = {Gavanelli, Marco and Lamma, Evelina and Riguzzi, Fabrizio}, ee = {https://doi.org/10.1007/978-3-319-24309-2_15}, interhash = {88b471a522b772aa821e86f3e01f93a6}, intrahash = {dd2b48bd44bbd61ad3de78ccfd20e1b8}, isbn = {978-3-319-24308-5}, keywords = {dblp}, pages = {191-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:38:42.000+0200}, title = {Defeasible Logic Programming in Satisfiability Modulo CHR.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2015.html#Santini15}, volume = 9336, year = 2015 }