GENERAL FORM OF α-LINEAR RESOLUTION METHOD BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM LP(X).

Subjects

Subjects :

COMPUTER assisted logic design
LATTICE models (Statistical physics)
ARTIFICIAL intelligence
ALGORITHMS
ALGEBRA

Details

Language :

English

ISBNs :

9789814417730

Database :

Complementary Index

Journal :

Uncertainty Modeling in Knowledge Engineering & Decision Making - Proceedings of the 10th International Flins Conference

Publication Type :

Conference

Accession number :

129081258