Description:
Search methods for solving combinatorial problems, predicate logic, modal and description logic, automatic theorem proving, knowledge and expert based systems, fuzzy logic, human-computer interaction, pattern recognition specially for interactive computer applications, data science, machine learning, neural architectures, knowledge discovery.