Nowadays, logic-based methods are playing an important role on the new generation of intelligent systems. Formal methods for capturing different sort of data are a premier requirement for implementing intelligent systems in different real applications, e.g., medical diagnosis, provision of services in smart-environments, etc. In this setting, logic-based theories have been shown to be sound theories for modelling and implementing intelligent systems. This thematic issue invites contributions from researchers who share a common interest in logic-based methods such as computational logic, formal languages, algorithms, and knowledge representation. Specific topics include:
We solicit high-quality submissions, related to the topics mentioned. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission in EasyChair. Papers must be formatted according to the author guidelines for Computación y Sistemas papers.