2P-Kt: A Logic-Based Ecosystem for Symbolic AI

@article{2pkt-swx16,
   articleno = 100817,
   author = {Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
   dblp = {journals/softx/CiattoCO21},
   doi = {10.1016/j.softx.2021.100817},
   iris = {11585/834368},
   issn = {2352-7110},
   journal = {SoftwareX},
   keywords = {logic programming, artificial intelligence, Prolog, Kotlin, tuProlog},
   month = dec,
   numpages = 7,
   pages = {100817:1--100817:7},
   publisher = {Elsevier B.V.},
   scholar = {11747595476298173121},
   scopus = {2-s2.0-85122782224},
   semanticscholar = {244208338},
   title = {{\textsf{2}P-\textsc{Kt}}: A Logic-Based Ecosystem for Symbolic {AI}},
   url = {https://www.sciencedirect.com/science/article/pii/S2352711021001126},
   urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/834368/829533/1-s2.0-S2352711021001126-main.pdf},
   urlpdf = {https://www.sciencedirect.com/sdfe/reader/pii/S2352711021001126/pdf},
   volume = 16,
   wos = {000706078900005},
   year = 2021
}