Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants (Q4805685)
From MaRDI portal
scientific article; zbMATH DE number 1907632
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
