A similarity-based resolution rule (Q4805683)
From MaRDI portal
scientific article; zbMATH DE number 1907630
Language | Label | Description | Also known as |
---|---|---|---|
English | A similarity-based resolution rule |
scientific article; zbMATH DE number 1907630 |
Statements
A similarity-based resolution rule (English)
0 references
8 May 2003
0 references
extended logic programming language
0 references