%0 Conference Paper %1 conf/lopstr/SemeraroEMFF97 %A Semeraro, Giovanni %A Esposito, Floriana %A Malerba, Donato %A Fanizzi, Nicola %A Ferilli, Stefano %B LOPSTR %D 1997 %E Fuchs, Norbert E. %I Springer %K dblp %P 300-321 %T A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr97.html#SemeraroEMFF97 %V 1463 %@ 3-540-65074-1

@inproceedings{conf/lopstr/SemeraroEMFF97, added-at = {2017-05-17T00:00:00.000+0200}, author = {Semeraro, Giovanni and Esposito, Floriana and Malerba, Donato and Fanizzi, Nicola and Ferilli, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/21217c2362025b598d45d60b82ce102a8/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1997}, editor = {Fuchs, Norbert E.}, ee = {https://doi.org/10.1007/3-540-49674-2_16}, interhash = {7b79e419cf85be0d2e02e13c0d62c9ca}, intrahash = {1217c2362025b598d45d60b82ce102a8}, isbn = {3-540-65074-1}, keywords = {dblp}, pages = {300-321}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:53.000+0200}, title = {A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr97.html#SemeraroEMFF97}, volume = 1463, year = 1997 }