On decidability and axiomatizability of some ordered structures.

Ziba Assadi Saeed Salehi

Published in: Soft Comput. (2019)

Keyphrases

description logics
query answering
real world
machine learning
artificial intelligence
video sequences
databases
data mining
decision making
special case
hidden markov models
partially ordered
decision procedures