A General Similarity Framework for Horn Clause Logic

DOI10.3233/FI-2009-0004zbMATH Open1161.03308MaRDI QIDQ3625773FDOQ3625773

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 programming (68N17) Classical first-order logic (03B10) Logic in computer science (03B70)

Cited In (1)

• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3625773)