An Alternative Notion of Quantifiers on Three-Valued Łukasiewicz Algebras.

Alejandro Petrovich Marina Lattanzi

Published in: J. Multiple Valued Log. Soft Comput. (2017)

Keyphrases

first order logic
inference rules
computer vision
video sequences
search algorithm
learning algorithm
artificial intelligence
search engine
decision making
knowledge base
data structure
relational databases
qualitative and quantitative
formal model
temporal reasoning
distributive lattices