A General Similarity Framework for Horn Clause Logic

DOI10.3233/FI-2009-0004zbMath1161.03308MaRDI QIDQ3625773

Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli, Floriana Esposito

Publication date: 22 May 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

logic programmingFirst-order logicsimilarity/distance measures

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical first-order logic (03B10) Logic programming (68N17)

This page was built for publication: A General Similarity Framework for Horn Clause Logic