A similarity-based resolution rule

DOI10.1002/int.10067zbMath1021.68031OpenAlexW2128386928MaRDI QIDQ4805683

Ferrante Formato, Francesca Arcelli Fontana

Publication date: 8 May 2003

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10281/28661

zbMATH Keywords

extended logic programming language

Mathematics Subject Classification ID

Database theory (68P15) Information storage and retrieval of data (68P20)

Related Items (8)

Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ A Transformation-based implementation for CLP with qualification and proximity ⋮ Proximity-based unification theory ⋮ A sound and complete semantics for a similarity-based logic programming language ⋮ Unnamed Item ⋮ Proof of theorems in fuzzy logic based on structural resolution ⋮ Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog

Uses Software

• Likelog

This page was built for publication: A similarity-based resolution rule