posted by organizer: BrunoLopes || 3092 views || tracked by 7 users: [display]

Computación y Sistemas: Thematic Issue 2015 : Computación y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems


When N/A
Where N/A
Submission Deadline Jul 31, 2015
Notification Due Sep 30, 2015
Final Version Due Nov 30, 2015
Categories    logic   intelligent systems   artificial intelligence   formal methods

Call For Papers

Call for Papers

Computación y Sistemas

Thematic Issue on Developments on Logic-based Methods for Intelligent Systems


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:

* Non-monotonic reasoning
* Logic programming in Artificial Intelligence
* Logic-related algorithms
* Answer set programming
* Knowledge representation
* Belief representation
* Non-Classical logics
* Deduction techniques
* Automated reasoning
* Reasoning about situations and actions
* Preferences
* Default and abductive reasoning
* Argumentation
* Ontologies


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 at EasyChair
at, .
Papers must be formatted according to the author guidelines for Computación y
Sistemas papers, available at


Deadline for submission: July 31, 2015
First decision date: September 30, 2015
First revision date: November 15, 2015
Final decision date: December 15, 2015


Edward Hermann Haeusler (DI/Pontifícia Universidade Católica do Rio de Janeiro)
Bruno Lopes (DCC/Universidade Federal Fluminense)
Juan Carlos Nieves (DCC/Umeå University)

Related Resources

JISIC 2017   VIII Jornadas de Ingeniería de Sistemas Informáticos y de Computación -JISIC 2017
IJCAI 2018   International Joint Conferences on Artificial Intelligence Organization
CICCSI 2017   Congreso Internacional de Ciencias de la Computación y Sistemas de Información
ECCV 2018   European Conference on Computer Vision
Narrativa y cine Latinoamericano 2018   The Louisville Conference on Literature and Culture since 1900: Nuevos derroteros de la narrativa y del cine Latinoamericano actual
CVPR 2018   Computer Vision and Pattern Recognition
CACIC 2017   Congreso Argentino de Ciencias de la Computación
ACL 2018   56th Annual Meeting of the Association for Computational Linguistics
SECUENCIAS 2017   LA VOCACIÓN MAINSTREAM Fenómenos y pantallas / THE MAINSTREAM VOCATION. Phenomena and screens
ICPRAI 2018   International Conference on Pattern Recognition and Artificial Intelligence