cilc-2022-2pkt.bib

%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Roberta Calegari at 2022-02-06 20:52:51 +0100


%% Saved with string encoding Unicode (UTF-8)

 @article{prolog50years-tplp,
    keywords = {Prolog, logic programming systems, portability, rationale, evolution, vision},
    year = 2022,
    pages = {1--83},
    author = {Körner, Philipp and Beuschel, Michael and Barbosa, João and Costa, Vítor Santos and Dahl, Verónica and Hermenegildo, Manuel V. and Morales, Jose F. and Wielemaker, Jan and Diaz, Daniel and Abreu, Salvador and Ciatto, Giovanni},
    publisher = {Cambridge University Press},
    doi = {10.1017/S1471068422000102},
    pdf-local = {history-and-future-of-prolog-0.680.0-2022-02-27T212311.pdf},
    url-openaccess = {https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3A5329B6E3639879301A6D44346FD1DD/S1471068422000102a.pdf/fifty-years-of-prolog-and-beyond.pdf},
    title = {Fifty Years of {P}rolog and Beyond},
    journal = {Theory and Practice of Logic Programming},
    url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fifty-years-of-prolog-and-beyond/3A5329B6E3639879301A6D44346FD1DD}} 

@inproceedings{ilkou2020symbolic,
    author = {Ilkou, Eleni and Koutraki, Maria},
    booktitle = {CIKM (Workshops)},
    date-added = {2022-02-06 17:04:31 +0100},
    date-modified = {2022-02-06 17:04:38 +0100},
    title = {Symbolic Vs Sub-symbolic AI Methods: Friends or Enemies?},
    year = 2020}

 @article{lptech4mas-jaamas35,
    articleno = 1,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mascardi, Viviana and Omicini, Andrea},
    doi = {10.1007/s10458-020-09478-3},
    editor = {Bergenti, Federico and Baldoni, Matteo and Winikoff, Michael and Seghrouchni, Amal El Fallah},
    irisid = {11585/775368},
    issn = {1387-2532},
    issn-online = {1573-7454},
    journal = {Autonomous Agents and Multi-Agent Systems},
    keywords = {SLR; Logic-based Technologies; MAS},
    note = {Collection ``Current Trends in Research on Software Agents and Agent-Based Software Development''},
    number = 1,
    pages = {1:1--1:67},
    publonsid = {34852575},
    scholarid = {3394967429087589940},
    scopusid = {2-s2.0-85092892414},
    semanticscholarid = {225142049},
    title = {Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review},
    url = {http://link.springer.com/10.1007/s10458-020-09478-3},
    url-pdf = {https://link.springer.com/content/pdf/10.1007/s10458-020-09478-3.pdf},
    volume = 35,
    wosid = {000579434600001},
    year = 2021
} 

@article{xaisurvey-ia14,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    booktitle = {Special Issue for the Twentieth Edition of the Workshop `From Objects to Agents'},
    date-added = {2022-02-06 17:03:09 +0100},
    date-modified = {2022-02-06 17:03:09 +0100},
    dblpid = {journals/ia/CalegariCO20},
    doi = {10.3233/IA-190036},
    editor = {Baldoni, Matteo and Bergenti, Federico and Monica, Stefania and Vizzari, Giuseppe},
    irisid = {11585/772707},
    journal = {Intelligenza Artificiale},
    keywords = {XAI, symbolic and sub-symbolic AI, explainability, interpretability, trustable system},
    number = 1,
    pages = {7--32},
    publisher = {IOS Press},
    scopusid = {2-s2.0-85092388493},
    title = {On the integration of symbolic and sub-symbolic techniques for {XAI}: A survey},
    _url = {http://content.iospress.com/articles/intelligenza-artificiale/ia190036},
    volume = 14,
    wosid = {000574865700002},
    year = 2020,
    bdsk-url-1 = {http://content.iospress.com/articles/intelligenza-artificiale/ia190036},
    bdsk-url-2 = {https://doi.org/10.3233/IA-190036}}

@incollection{xailp-woa2019,
    author = {Calegari, Roberta and Ciatto, Giovanni and Dellaluce, Jason and Omicini, Andrea},
    booktitle = {WOA 2019 -- 20th Workshop ``From Objects to Agents''},
    date-added = {2022-02-06 17:02:27 +0100},
    date-modified = {2022-02-06 17:02:27 +0100},
    editor = {Bergenti, Federico and Monica, Stefania},
    irisid = {11585/692870},
    location = {Parma, Italy},
    pages = {105--112},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopusid = {2-s2.0-85069688451},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Interpretable Narrative Explanation for {ML} Predictors with {LP}: A Case Study for {XAI}},
    url = {http://ceur-ws.org/Vol-2404/paper16.pdf},
    volume = 2404,
    year = 2019,
    bdsk-url-1 = {http://ceur-ws.org/Vol-2404/paper16.pdf}}

@article{lpaas-bdcc2,
    articleno = 23,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    date-added = {2022-02-06 17:02:12 +0100},
    date-modified = {2022-02-06 17:02:12 +0100},
    doi = {10.3390/bdcc2030023},
    irisid = {11585/640012},
    issn-online = {2504-2289},
    journal = {Big Data and Cognitive Computing},
    number = 3,
    numpages = 26,
    publisher = {MDPI},
    title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
    volume = 2,
    year = 2018,
    bdsk-url-1 = {https://doi.org/10.3390/bdcc2030023}}

@inproceedings{Goertzel2012,
    author = {Goertzel, Ben},
    booktitle = {Artificial General Intelligence},
    date-added = {2022-02-06 17:01:58 +0100},
    date-modified = {2022-02-06 17:01:58 +0100},
    editor = {Bach, Joscha and Goertzel, Ben and Ikl{\'e}, Matthew},
    isbn = {978-3-642-35506-6},
    location = {Berlin, Heidelberg},
    pages = {79--88},
    publisher = {Springer Berlin Heidelberg},
    title = {Perception Processing for General Intelligence: Bridging the Symbolic/Subsymbolic Gap},
    year = 2012}

@article{BarredoArrieta2020,
    arxivid = {1910.10045},
    author = {Barredo Arrieta, Alejandro and D{\'{i}}az-Rodr{\'{i}}guez, Natalia and Del Ser, Javier and Bennetot, Adrien and Tabik, Siham and Barbado, Alberto and Garcia, Salvador and Gil-Lopez, Sergio and Molina, Daniel and Benjamins, Richard and Chatila, Raja and Herrera, Francisco},
    date-added = {2022-02-06 17:01:46 +0100},
    date-modified = {2022-02-06 17:01:46 +0100},
    doi = {10.1016/j.inffus.2019.12.012},
    eprint = {1910.10045},
    eprinttype = {arXiv},
    issn = {1566-2535},
    journal = {Information Fusion},
    mendeley-groups = {XAI},
    number = {December 2019},
    pages = {82--115},
    publisher = {Elsevier B.V.},
    title = {Explainable Explainable Artificial Intelligence ({XAI}): Concepts, taxonomies, opportunities and challenges toward responsible {AI}},
    volume = 58,
    year = 2020,
    bdsk-url-1 = {https://doi.org/10.1016/j.inffus.2019.12.012}}

@inproceedings{PrologKowalski,
    author = {Kowalski, Robert},
    journal = {IFIP Congr.},
    month = {01},
    pages = {569-574},
    title = {Predicate Logic as Programming Language},
    volume = {74},
    year = {1974}}

@article{FirstOderLogic,
    author = {Ferreir{\'o}s, Jos{\'e}},
    doi = {10.2307/2687794},
    journal = {Bulletin of Symbolic Logic},
    month = {12},
    title = {The Road to Modern Logic-An Interpretation},
    volume = {7},
    year = {2001},
    bdsk-url-1 = {https://doi.org/10.2307/2687794}}

@article{fisher36lda,
    added-at = {2007-09-30T14:27:32.000+0200},
    author = {Fisher, R. A.},
    biburl = {https://www.bibsonomy.org/bibtex/2c9d8d78a8e1bb5adecc7602490f4323f/gromgull},
    interhash = {8475c3a3460b33d2d62c8c992e3044cf},
    intrahash = {c9d8d78a8e1bb5adecc7602490f4323f},
    journal = {Annals of Eugenics},
    keywords = {classic classification linear-classification linear-discriminant-analysis},
    number = 7,
    pages = {179-188},
    timestamp = {2007-09-30T14:27:32.000+0200},
    title = {The Use of Multiple Measurements in Taxonomic Problems},
    volume = 7,
    year = 1936}

@book{murphy2013machine,
    added-at = {2017-02-27T11:22:42.000+0100},
    address = {Cambridge, Mass. [u.a.]},
    author = {Murphy, Kevin P.},
    biburl = {https://www.bibsonomy.org/bibtex/270148d65a6a66e0ae962bf22c5f66148/hotho},
    description = {Machine Learning: A Probabilistic Perspective (Adaptive Computation and Machine Learning series): Kevin P. Murphy: 9780262018029: Amazon.com: Books},
    interhash = {e99d8a06cc36507b05c38192ab80573e},
    intrahash = {70148d65a6a66e0ae962bf22c5f66148},
    isbn = {9780262018029 0262018020},
    keywords = {hmm lda learning machine statistics},
    publisher = {MIT Press},
    refid = {904442949},
    timestamp = {2017-02-27T11:22:42.000+0100},
    title = {Machine learning : a probabilistic perspective},
    url = {https://www.amazon.com/Machine-Learning-Probabilistic-Perspective-Computation/dp/0262018020/ref=sr_1_2?ie=UTF8&qid=1336857747&sr=8-2},
    year = 2013,
    bdsk-url-1 = {https://www.amazon.com/Machine-Learning-Probabilistic-Perspective-Computation/dp/0262018020/ref=sr_1_2?ie=UTF8&qid=1336857747&sr=8-2}}

@article{tuprolog,
    author = {E. Denti, A. Omicini and A. Ricci},
    journal = {International Symposium on Practical Aspects of Declarative Languages},
    pages = {pp. 184--198},
    title = {tuprolog: A light-weight prolog for internet applications and infrastructures},
    year = {2001}}

@article{2p-kt,
    author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    doi = {10.1016/j.softx.2021.100817},
    issn = {2352-7110},
    journal = {SoftwareX},
    keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
    month = dec,
    pages = {100817:1--7},
    title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}},
    _url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
    volume = 16,
    year = 2021,
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
    bdsk-url-2 = {https://doi.org/10.1016/j.softx.2021.100817}}

@book{ISOProlog,
    author = {P. Deransart A. Ed-Dbali 1. Cervoni},
    publisher = {Springer},
    title = {Prolog: The Standard Reference Manual},
    year = {1996}}

@book{Goodfellow-et-al-2016,
    author = {Ian Goodfellow and Yoshua Bengio and Aaron Courville},
    note = {\url{http://www.deeplearningbook.org}},
    publisher = {MIT Press},
    title = {Deep Learning},
    year = {2016}}

@article{mcculloch43a,
    added-at = {2008-02-26T11:58:58.000+0100},
    author = {Mcculloch, Warren and Pitts, Walter},
    biburl = {https://www.bibsonomy.org/bibtex/26fbacb0ae04bc17d296d9265dfc90dff/schaul},
    citeulike-article-id = {2380493},
    description = {idsia},
    interhash = {3e8e0d06f376f3eb95af89d5a2f15957},
    intrahash = {6fbacb0ae04bc17d296d9265dfc90dff},
    journal = {Bulletin of Mathematical Biophysics},
    keywords = {evolutionary},
    pages = {127--147},
    priority = {2},
    timestamp = {2008-02-26T12:00:58.000+0100},
    title = {A Logical Calculus of Ideas Immanent in Nervous Activity},
    volume = 5,
    year = 1943}

@book{hebb-organization-of-behavior-1949,
    abstract = {{Donald Hebb pioneered many current themes in
                 behavioural neuroscience. He saw psychology as a
                 biological science, but one in which the organization
                 of behaviour must remain the central concern. Through
                 penetrating theoretical concepts, including the "cell
                 assembly," "phase sequence," and "Hebb synapse," he
                 offered a way to bridge the gap between cells, circuits
                 and behaviour. He saw the brain as a dynamically
                 organized system of multiple distributed parts, with
                 roots that extend into foundations of development and
                 evolutionary heritage. He understood that behaviour, as
                 brain, can be sliced at various levels and that one of
                 our challenges is to bring these levels into both
                 conceptual and empirical register. He could move
                 between theory and fact with an ease that continues to
                 inspire both students and professional investigators.
                 Although facts continue to accumulate at an
                 accelerating rate in both psychology and neuroscience,
                 and although these facts continue to force revision in
                 the details of Hebb's earlier contributions, his
                 overall insistence that we look at behaviour and brain
                 together {\^a}€” within a dynamic, relational and
                 multilayered framework {\^a}€” remains. His work touches
                 upon current studies of population coding, contextual
                 factors in brain representations, synaptic plasticity,
                 developmental construction of brain/behaviour
                 relations, clinical syndromes, deterioration of
                 performance with age and disease, and the formal
                 construction of connectionist models. The collection of
                 papers in this volume represent these and related
                 themes that Hebb inspired. We also acknowledge our
                 appreciation for Don Hebb as teacher, colleague and
                 friend.}},
    added-at = {2011-06-02T00:21:57.000+0200},
    address = {New York},
    author = {Hebb, Donald O.},
    biburl = {https://www.bibsonomy.org/bibtex/26432ae617e6db0127c8b197bf760d99e/mhwombat},
    citeulike-article-id = {500649},
    citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0805843000},
    citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/0805843000},
    citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/0805843000},
    citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0805843000},
    citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0805843000/citeulike00-21},
    citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/0805843000},
    citeulike-linkout-6 = {http://www.worldcat.org/isbn/0805843000},
    citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0805843000},
    citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0805843000\&index=books\&linkCode=qs},
    citeulike-linkout-9 = {http://www.librarything.com/isbn/0805843000},
    day = 15,
    file = {:neural_nets/Hebb 1949.pdf:PDF},
    groups = {public},
    howpublished = {Hardcover},
    interhash = {ba8f8b92a0de2c83bdbcc9d742235a59},
    intrahash = {6432ae617e6db0127c8b197bf760d99e},
    isbn = {0-8058-4300-0},
    keywords = {MSc checked network neural seminal},
    month = jun,
    posted-at = {2006-02-10 16:35:34},
    priority = {2},
    publisher = {Wiley},
    timestamp = {2016-07-12T19:25:30.000+0200},
    title = {The organization of behavior: {A} neuropsychological theory},
    username = {mhwombat},
    year = 1949}

@article{rosenblatt1958perceptron,
    added-at = {2017-07-19T15:29:59.000+0200},
    author = {Rosenblatt, F.},
    biburl = {https://www.bibsonomy.org/bibtex/214ee8da21c66cd4d00d7ab6eca2d96a9/andreashdez},
    citeulike-article-id = {13697582},
    citeulike-linkout-0 = {http://dx.doi.org/10.1037/h0042519},
    doi = {10.1037/h0042519},
    interhash = {dc0cef9dc06033a04f525efdcde7a660},
    intrahash = {14ee8da21c66cd4d00d7ab6eca2d96a9},
    issn = {0033-295X},
    journal = {Psychological Review},
    keywords = {imported},
    number = 6,
    pages = {386--408},
    posted-at = {2016-05-02 20:23:36},
    priority = {2},
    timestamp = {2017-07-19T15:31:02.000+0200},
    title = {{The perceptron: A probabilistic model for information storage and organization in the brain.}},
    url = {http://dx.doi.org/10.1037/h0042519},
    volume = 65,
    year = 1958,
    bdsk-url-1 = {http://dx.doi.org/10.1037/h0042519}}

@article{hopfield-neural-networks-and-1982,
    abstract = {{Computational properties of use of biological
                 organisms or to the construction of computers can
                 emerge as collective properties of systems having a
                 large number of simple equivalent components (or
                 neurons). The physical meaning of content-addressable
                 memory is described by an appropriate phase space flow
                 of the state of a system. A model of such a system is
                 given, based on aspects of neurobiology but readily
                 adapted to integrated circuits. The collective
                 properties of this model produce a content-addressable
                 memory which correctly yields an entire memory from any
                 subpart of sufficient size. The algorithm for the time
                 evolution of the state of the system is based on
                 asynchronous parallel processing. Additional emergent
                 collective properties include some capacity for
                 generalization, familiarity recognition,
                 categorization, error correction, and time sequence
                 retention. The collective properties are only weakly
                 sensitive to details of the modeling or the failure of
                 individual devices.}},
    added-at = {2011-06-02T00:22:00.000+0200},
    author = {Hopfield, J. J.},
    biburl = {https://www.bibsonomy.org/bibtex/2a3074d3b833b6b02b6fc991407e86804/mhwombat},
    citeulike-article-id = {8137707},
    citeulike-linkout-0 = {http://view.ncbi.nlm.nih.gov/pubmed/6953413]},
    citeulike-linkout-1 = {http://www.hubmed.org/display.cgi?uids=6953413]},
    file = {:neural_nets/Hopfield_1982__pnas00447-0135.pdf:PDF},
    groups = {public},
    interhash = {cf60d9bad127184617e0ad10ae86b78b},
    intrahash = {a3074d3b833b6b02b6fc991407e86804},
    issn = {0027-8424},
    journal = {Proceedings of the National Academy of Sciences of the United States of America},
    keywords = {network neural seminal},
    month = apr,
    number = 8,
    pages = {2554--2558},
    pmid = {6953413]},
    posted-at = {2010-10-28 14:55:59},
    priority = {2},
    timestamp = {2016-07-12T19:25:30.000+0200},
    title = {Neural networks and physical systems with emergent collective computational abilities},
    url = {http://view.ncbi.nlm.nih.gov/pubmed/6953413]},
    username = {mhwombat},
    volume = 79,
    year = 1982,
    bdsk-url-1 = {http://view.ncbi.nlm.nih.gov/pubmed/6953413%5D}}

@article{kohonen-self-organized-formation-1982,
    abstract = {{This work contains a theoretical study and computer
                 simulations of a new self-organizing process. The
                 principal discovery is that in a simple network of
                 adaptive physical elements which receives signals from
                 a primary event space, the signal representations are
                 automatically mapped onto a set of output responses in
                 such a way that the responses acquire the same
                 topological order as that of the primary events. In
                 other words, a principle has been discovered which
                 facilitates the automatic formation of topologically
                 correct maps of features of observable events. The
                 basic self-organizing system is a one- or
                 two-dimensional array of processing units resembling a
                 network of threshold-logic units, and characterized by
                 short-range lateral feedback between neighbouring
                 units. Several types of computer simulations are used
                 to demonstrate the ordering process as well as the
                 conditions under which it fails.}},
    added-at = {2020-07-01T09:49:32.000+0200},
    author = {Kohonen, Teuvo},
    biburl = {https://www.bibsonomy.org/bibtex/2a41838af187d8c424cb09d76db62423c/josetorres778},
    citeulike-article-id = {1835979},
    citeulike-linkout-0 = {http://dx.doi.org/10.1007/BF00337288},
    citeulike-linkout-1 = {http://www.springerlink.com/content/m8816487026vh131},
    day = 1,
    doi = {10.1007/BF00337288},
    groups = {public},
    interhash = {2a476d6ac197f6938cbbf3f2683df1b4},
    intrahash = {a41838af187d8c424cb09d76db62423c},
    issn = {0340-1200},
    journal = {Biological Cybernetics},
    month = jan,
    number = 1,
    pages = {59--69},
    posted-at = {2009-05-28 13:01:48},
    priority = {0},
    timestamp = {2020-07-01T09:49:32.000+0200},
    title = {Self-organized formation of topologically correct feature maps},
    url = {http://dx.doi.org/10.1007/BF00337288},
    username = {mhwombat},
    volume = 43,
    year = 1982,
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF00337288}}

@article{Rumelhart:1986we,
    added-at = {2019-05-21T10:10:49.000+0200},
    author = {Rumelhart, David E. and Hinton, Geoffrey E. and Williams, Ronald J.},
    biburl = {https://www.bibsonomy.org/bibtex/2a392597c4f9cff2cd3c96c2191fa1eb6/sxkdz},
    doi = {10.1038/323533a0},
    interhash = {c354bc293fa9aa7caffc66d40a014903},
    intrahash = {a392597c4f9cff2cd3c96c2191fa1eb6},
    journal = {Nature},
    keywords = {imported},
    number = 6088,
    pages = {533--536},
    timestamp = {2019-05-21T10:10:49.000+0200},
    title = {{Learning Representations by Back-propagating Errors}},
    url = {http://www.nature.com/articles/323533a0},
    volume = 323,
    year = 1986,
    bdsk-url-1 = {http://www.nature.com/articles/323533a0},
    bdsk-url-2 = {https://doi.org/10.1038/323533a0}}

@inproceedings{NIPS2006_5da713a6,
    author = {Bengio, Yoshua and Lamblin, Pascal and Popovici, Dan and Larochelle, Hugo},
    booktitle = {Advances in Neural Information Processing Systems},
    editor = {B. Sch\"{o}lkopf and J. Platt and T. Hoffman},
    pages = {153--160},
    publisher = {MIT Press},
    title = {Greedy Layer-Wise Training of Deep Networks},
    url = {https://proceedings.neurips.cc/paper/2006/file/5da713a690c067105aeb2fae32403405-Paper.pdf},
    volume = {19},
    year = {2007},
    bdsk-url-1 = {https://proceedings.neurips.cc/paper/2006/file/5da713a690c067105aeb2fae32403405-Paper.pdf}}

@article{hinton06,
    added-at = {2013-12-08T17:38:38.000+0100},
    author = {Hinton, G. E. and Osindero, S. and Teh, Y. W.},
    biburl = {https://www.bibsonomy.org/bibtex/2f29089f5341f89661c623dd73403e943/prlz77},
    interhash = {e20c213844c6c160f4bcc59cfcdc845d},
    intrahash = {f29089f5341f89661c623dd73403e943},
    journal = {Neural Computation},
    keywords = {A Algorithm Belief Deep Fast Learning Nets for},
    pages = {1527-1554},
    timestamp = {2013-12-08T17:38:38.000+0100},
    title = {A Fast Learning Algorithm for Deep Belief Nets},
    volume = 18,
    year = 2006}

@article{scikit-learn,
    author = {Pedregosa, F. and Varoquaux, G. and Gramfort, A. and Michel, V. and Thirion, B. and Grisel, O. and Blondel, M. and Prettenhofer, P. and Weiss, R. and Dubourg, V. and Vanderplas, J. and Passos, A. and Cournapeau, D. and Brucher, M. and Perrot, M. and Duchesnay, E.},
    journal = {Journal of Machine Learning Research},
    pages = {2825--2830},
    title = {Scikit-learn: Machine Learning in {P}ython},
    volume = {12},
    year = {2011}}

@article{DBLP:journals/ia/CalegariCO20,
    author = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/journals/ia/CalegariCO20.bib},
    doi = {10.3233/IA-190036},
    journal = {Intelligenza Artificiale},
    number = {1},
    pages = {7--32},
    timestamp = {Mon, 05 Oct 2020 09:36:33 +0200},
    title = {On the integration of symbolic and sub-symbolic techniques for {XAI:} {A} survey},
    _url = {https://doi.org/10.3233/IA-190036},
    volume = {14},
    year = {2020},
    bdsk-url-1 = {https://doi.org/10.3233/IA-190036}}

@inproceedings{DBLP:conf/woa/CalegariCDO19,
    author = {Roberta Calegari and Giovanni Ciatto and Jason Dellaluce and Andrea Omicini},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/conf/woa/CalegariCDO19.bib},
    booktitle = {Proceedings of the 20th Workshop "From Objects to Agents", Parma, Italy, June 26th-28th, 2019},
    editor = {Federico Bergenti and Stefania Monica},
    pages = {105--112},
    publisher = {CEUR-WS.org},
    series = {{CEUR} Workshop Proceedings},
    timestamp = {Wed, 12 Feb 2020 16:45:14 +0100},
    title = {Interpretable Narrative Explanation for {ML} Predictors with {LP:} {A} Case Study for {XAI}},
    url = {http://ceur-ws.org/Vol-2404/paper16.pdf},
    volume = {2404},
    year = {2019},
    bdsk-url-1 = {http://ceur-ws.org/Vol-2404/paper16.pdf}}

@inproceedings{DBLP:conf/woa/PisanoCCO20,
    author = {Giuseppe Pisano and Giovanni Ciatto and Roberta Calegari and Andrea Omicini},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/conf/woa/PisanoCCO20.bib},
    booktitle = {Proceedings of the Workshop on 21st Workshop "From Objects to Agents", Bologna, Italy, September 14-16, 2020},
    editor = {Roberta Calegari and Giovanni Ciatto and Enrico Denti and Andrea Omicini and Giovanni Sartor},
    pages = {101--117},
    publisher = {CEUR-WS.org},
    series = {{CEUR} Workshop Proceedings},
    timestamp = {Wed, 28 Oct 2020 17:00:55 +0100},
    title = {Neuro-symbolic Computation for {XAI:} Towards a Unified Model},
    url = {http://ceur-ws.org/Vol-2706/paper18.pdf},
    volume = {2706},
    year = {2020},
    bdsk-url-1 = {http://ceur-ws.org/Vol-2706/paper18.pdf}}

@book{Mitchell97,
    abstract = {This book covers the field of machine learning, which is the study of algorithms that allow computer programs to automatically improve through experience. This exciting addition to the McGraw-Hill Series in Computer Science focuses on the concepts and techniques that contribute to the rapidly changing field of machine learning---including probability and statistics, artificial intelligence, and neural networks---unifying them all in a logical and coherent manner.},
    added-at = {2017-05-08T14:37:30.000+0200},
    address = {New York},
    author = {Mitchell, Tom M.},
    biburl = {https://www.bibsonomy.org/bibtex/23e79734ee1a6e49aee02ffd108224d1c/flint63},
    file = {eBook:1900-99/Mitchell97.pdf:PDF;McGraw-Hill Product page:http\://www.mhprofessional.com/product.php?isbn=0070428077:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/0070428077/:URL},
    groups = {public},
    interhash = {479a66c32badb3a455fbdcf8e6633a5d},
    intrahash = {3e79734ee1a6e49aee02ffd108224d1c},
    isbn = {978-0-07-042807-2},
    keywords = {01624 105 book shelf ai learn algorithm},
    publisher = {McGraw-Hill},
    timestamp = {2017-07-13T17:10:10.000+0200},
    title = {Machine Learning},
    username = {flint63},
    year = 1997}

@article{bellman1966dynamic,
    author = {Bellman, Richard},
    journal = {Science},
    number = {3731},
    pages = {34--37},
    publisher = {American Association for the Advancement of Science},
    title = {Dynamic programming},
    volume = {153},
    year = {1966}}

@misc{chollet2015keras,
    title={Keras},
    author={Chollet, Fran\c{c}ois and others},
    year={2015},
    howpublished={\url{https://keras.io}},
}

@misc{iris-dataset,
    author = {Fisher, R. A.},
    year = 1936,
    note = {(From the UCI Machine Learning Repository)},
    howpublished = {\url{https://archive.ics.uci.edu/ml/datasets/iris}},
    title = {Iris Data Set}}

@misc{DL4J,
    author = {Konduit},
    year = 2022,
    note = {(Supported by the Eclipse Foundation)},
    howpublished = {\url{https://deeplearning4j.konduit.ai}},
    title = {{Deeplearning4J}: Open-source distributed deep learning for the {JVM}}}

@misc{Li2014Smile,
    author = {Haifeng Li},
    howpublished = {\url{https://haifengl.github.io}},
    title = {Smile},
    year = {2014}}

@misc{Neuroph,
    author = {Zoran Sevarac and others},
    howpublished = {\url{http://neuroph.sourceforge.net/index.html}},
    title = {Neuroph}}

@manual{H2O,
    author = {H2O.ai},
    howpublished = {\url{https://github.com/h2oai/h2o-3}},
    month = {october},
    title = {H2O},
    version = {3.10.0.8},
    year = {2016}}

@misc{DJL,
    author = {{Amazon.com, Inc.}},
    howpublished = {\url{https://djl.ai}},
    title = {DJL - Deep Java Library}}

@book{Weka,
    address = {San Francisco, CA, USA},
    author = {Eibe Frank and Mark A. Hall and Ian H. Witten},
    edition = {4th},
    publisher = {Morgan Kaufmann Publishers Inc.},
    title = {The WEKA Workbench. Online Appendix for "Data Mining: Practical Machine Learning Tools and Techniques},
    year = {2016}}

@misc{tensorflow2015-whitepaper,
    author = {Abadi, Mart{\'\i}n and Agarwal, Ashish and Barham, Paul and Brevdo, Eugene and Chen, Zhifeng and Citro, Craig and Corrado, Greg S and Davis, Andy and Dean, Jeffrey and Devin, Matthieu and others},
    date-modified = {2022-02-06 20:52:48 +0100},
    _note = {Software available from tensorflow.org},
    title = {{TensorFlow}: Large-Scale Machine Learning on Heterogeneous Systems},
    url = {http://tensorflow.org/},
    year = 2015,
    bdsk-url-1 = {http://tensorflow.org/}}

@misc{ruder2016overview,
    abstract = {Gradient descent optimization algorithms, while increasingly popular, are
often used as black-box optimizers, as practical explanations of their
strengths and weaknesses are hard to come by. This article aims to provide the
reader with intuitions with regard to the behaviour of different algorithms
that will allow her to put them to use. In the course of this overview, we look
at different variants of gradient descent, summarize challenges, introduce the
most common optimization algorithms, review architectures in a parallel and
distributed setting, and investigate additional strategies for optimizing
gradient descent.},
    added-at = {2018-12-07T10:36:09.000+0100},
    author = {Ruder, Sebastian},
    biburl = {https://www.bibsonomy.org/bibtex/2705d468fad6e6f3609810917b5bb8a93/jpvaldes},
    description = {An overview of gradient descent optimization algorithms},
    interhash = {6e9f951ec79eba6cb7eb27db1e6d4ad6},
    intrahash = {705d468fad6e6f3609810917b5bb8a93},
    keywords = {gradient_descent optimization review},
    note = {cite arxiv:1609.04747Comment: Added derivations of AdaMax and Nadam},
    timestamp = {2018-12-07T10:36:09.000+0100},
    title = {An overview of gradient descent optimization algorithms.},
    url = {http://arxiv.org/abs/1609.04747},
    year = 2016,
    bdsk-url-1 = {http://arxiv.org/abs/1609.04747}}

@incollection{2pkt-jelia2021,
    author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    booktitle = {Logics in Artificial Intelligence},
    doi = {10.1007/978-3-030-75775-5\_27},
    editor = {Faber, Wolfgang and Friedrich, Gerhard and Gebser, Martin and Morak, Michael},
    keywords = {Prolog; Stream processing; 2P-Kt; State machine},
    note = {17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings},
    pages = {407--420},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Lazy Stream Manipulation in {P}rolog via Backtracking: The Case of {{\sf 2}P-{\sc Kt}}},
    url = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
    volume = 12678,
    year = 2021,
    bdsk-url-1 = {http://link.springer.com/10.1007/978-3-030-75775-5_27},
    bdsk-url-2 = {https://doi.org/10.1007/978-3-030-75775-5_27}}

@article{DBLP:journals/corr/abs-1905-06088,
    archiveprefix = {arXiv},
    author = {Artur S. d'Avila Garcez and Marco Gori and Lu{\'{\i}}s C. Lamb and Luciano Serafini and Michael Spranger and Son N. Tran},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/journals/corr/abs-1905-06088.bib},
    eprint = {1905.06088},
    journal = {CoRR},
    timestamp = {Tue, 28 May 2019 12:48:08 +0200},
    title = {Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning},
    url = {http://arxiv.org/abs/1905.06088},
    volume = {abs/1905.06088},
    year = {2019},
    bdsk-url-1 = {http://arxiv.org/abs/1905.06088}}

@article{DeanG08,
    author = {Jeffrey Dean and Sanjay Ghemawat},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/journals/cacm/DeanG08.bib},
    doi = {10.1145/1327452.1327492},
    journal = {Commun. {ACM}},
    number = {1},
    pages = {107--113},
    timestamp = {Sun, 02 Jun 2019 20:48:57 +0200},
    title = {MapReduce: simplified data processing on large clusters},
    url = {http://doi.acm.org/10.1145/1327452.1327492},
    volume = {51},
    year = {2008},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1327452.1327492},
    bdsk-url-2 = {https://doi.org/10.1145/1327452.1327492}}

@book{WittenFH11,
    author = {Ian H. Witten and Eibe Frank and Mark A. Hall},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/books/lib/WittenFH11.bib},
    isbn = {9780123748560},
    publisher = {Morgan Kaufmann, Elsevier},
    timestamp = {Fri, 17 Jul 2020 16:12:44 +0200},
    title = {Data mining: practical machine learning tools and techniques, 3rd Edition},
    url = {https://www.worldcat.org/oclc/262433473},
    year = {2011},
    bdsk-url-1 = {https://www.worldcat.org/oclc/262433473}}