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


Giovanni Ciatto, Roberta Calegari, Andrea Omicini

SoftwareX 16, pages 1–7, 7 pages, article 100817, December 2021
Elsevier B.V.

To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead, to maximise their impact, logic-based technologies should support and enable the general-purpose exploitation of all the manifold contributions from logic programming. Accordingly, we present 2P-Kt, a reboot of the tuProlog project offering a general, extensible, and interoperable ecosystem for logic programming and symbolic AI.

(keywords) logic programming, artificial intelligence, Prolog, Kotlin, tuProlog
 @article{2pkt-swx16,
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

Journals & Series

Publication

— authors

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

— status

published

— sort

article in journal

Venue

— journal

SoftwareX

— volume

16

— pages

1–7

— article no.

100817

— publication date

December 2021

URLs

original page  |  original PDF  |  open access PDF

Identifiers

— DOI

10.1016/j.softx.2021.100817

— IRIS

11585/834368

— Scopus

2-s2.0-85122782224

— WoS / ISI

000706078900005

BibTeX

— BibTeX ID
2pkt-swx16
— BibTeX category
article

Files

Open Access PDF

View this PDF full screen

You do not have the plugin required to display this PDF file. You can still download it: 1-s2.0-S2352711021001126-main.pdf

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY