eass23-cl-in-mas.bib

@article{SterlingY96,
  author    = {Sterling, Leon and Yal{\c{c}}inalp, L. {\"{U}}mit},
  title     = {Logic Programming and Software engineering - implications for Software design},
  journal   = {Knowl. Eng. Rev.},
  volume    = {11},
  number    = {4},
  pages     = {333--345},
  year      = {1996},
  url       = {https://doi.org/10.1017/S026988890000802X},
  doi       = {10.1017/S026988890000802X},
  timestamp = {Thu, 27 Aug 2020 13:19:44 +0200},
  biburl    = {https://dblp.org/rec/journals/ker/SterlingY96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{enwiki:cons,
	author = "{Wikipedia}",
	title = "Cons --- {Wikipedia}{,} The Free Encyclopedia",
	year = "2021",
	url = "https://en.wikipedia.org/wiki/Cons",
	note = "[Online; accessed 11-March-2022]"
}

@misc{Ciatto20212pktPresentation,
    author = "Ciatto, Giovanni",
    title = "\twopkt{}: A Kotlin Multi-Platform ecosystem for Symbolic AI",
    year = "2021",
    url = "https://github.com/tuProlog/2p-kt-presentation/releases/latest",
    note = "[Online; accessed 11-March-2022]"
}

@Inbook{Lachiche2010,
    author="Lachiche, Nicolas",
    editor="Sammut, Claude
    and Webb, Geoffrey I.",
    title="Propositionalization",
    bookTitle="Encyclopedia of Machine Learning",
    year="2010",
    publisher="Springer US",
    address="Boston, MA",
    pages="812--817",
    isbn="978-0-387-30164-8",
    doi="10.1007/978-0-387-30164-8\_680",
    url="https://doi.org/10.1007/978-0-387-30164-8_680"
}

 @inproceedings{dcc-aixia-2021-plp,
    keywords = {probabilistic logic programming, symbolic AI, 2P-Kt},
    year = 2021,
    articleNo = 3,
    pages = {19-32},
    author = {Dellaluce, Jason and Calegari, Roberta and Ciatto, Giovanni},
    sort = {inproceedings},
    numpages = 14,
    volume = 3078,
    issn = {1613-0073},
    month = {dec},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    status = {Published},
    title = {Probabilistic logic programming in 2P-Kt},
    booktitle = {AIxIA 2021 Discussion Papers},
    editor = {Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
    url = {http://ceur-ws.org/Vol-3078/paper-29.pdf},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series}}

@misc{uci:iris,
    author = "{UCI}, Machine Learning Repository",
    title = "Iris Dataset",
    year = "1950",
    url = "https://archive.ics.uci.edu/ml/datasets/iris",
    note = "[Online; accessed 11-March-2022]"
}

@Article{Robinson1965,
  Author	= {Robinson, J. A.},
  Title		= {A Machine-Oriented Logic Based on the Resolution Principle},
  Journal	= {Journal of the ACM},
  Year		= 1965,
  Volume	= 12,
  Number	= 1,
  Pages		= {23--41}
}

@Article{KowVan1970,
  Author	= {van Emden, Maarten and Kowalski, Robert},
  Title		= {The Semantics of Predicate Logic as a Programming Language},
  Journal	= {Journal of the ACM},
  Year		= 1976,
  Volume	= 23,
  Pages		= {733--742}
}

@Article{Korner2022,
  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},
  Title		= {Fifty Years of Prolog and Beyond},
  Journal	= {Theory and Practice of Logic Programming},
  Year		= 2022,
  Note = "(To appear on TPLP 2022)",
  Url = {https://arxiv.org/abs/2201.10816}
}

@InCollection{Clark1978,
  Author	= {Clark, Keith L.},
  Title		= {Negation as Failure},
  Editor	= {Gallaire, Herv{\'e} and Minker, Jack},
  Booktitle	= {Logic and Data Bases},
  Publisher	= {Springer},
  Year		= 1978,
  Pages		= {293--322}
}

@article{MartelliM82,
  author    = {Martelli, Alberto and Montanari, Ugo},
  title     = {An Efficient Unification Algorithm},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {258--282},
  year      = {1982},
  url       = {https://doi.org/10.1145/357162.357169},
  doi       = {10.1145/357162.357169},
  timestamp = {Wed, 14 Nov 2018 10:30:40 +0100},
  biburl    = {https://dblp.org/rec/journals/toplas/MartelliM82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}