A General Similarity Framework for Horn Clause Logic
type: Item
instance of: scholarly article
title: A General Similarity Framework for Horn Clause Logic
zbMATH Open document ID: 1161.03308
DOI: 10.3233/FI-2009-0004
author: Stefano Ferilli
author: Teresa Maria Altomare Basile
author: Marenglen Biba
author: Nicola Di Mauro
author: Floriana Esposito
published in: Fundamenta Informaticae
publication date: 2009-05-22T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5555930
zbMATH Keywords: First-order logic
zbMATH Keywords: logic programming
zbMATH Keywords: similarity/distance measures
MaRDI profile type: MaRDI publication profile
description: scientific article