Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants (Q4805685)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1907632
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants |
scientific article; zbMATH DE number 1907632 |
Statements
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants (English)
0 references
8 May 2003
0 references
first-order logic programming
0 references
0.8255067467689514
0 references
0.8033193945884705
0 references
0.777313768863678
0 references
0.7670290470123291
0 references
