Computación y Sistemas
Thematic Issue on Developments on Logic-based Methods for Intelligent Systems
Accepted Papers
Barcenas, Everardo; Benítez-Guerrero, Edgard; Benitez, Antonio; de La Calleja, Jorge & Medina Nieto, María Auxilio. Branching Path Planning with Modal Logics
Chávez-Bosquez, Oscar; Parra, Pilar Pozos & Ma, Jianbing. Implementing ∆ps (PS-Merge) Belief Merging Operator for Belief Revision
De Ita, Guillermo; Zacarías-Flóres, Fernando & García-García, Alma Delia. Un Algoritmo Basado en Modelos para la Revisión de Creencias entre Formas Normales Conjuntivas
OVERVIEW AND SCOPE
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
PAPER SUBMISSION
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.
IMPORTANT DATES
- Deadline for submission: July 31, 2015 (deadline extension)
- First decision date: September 30, 2015
- First revision date: November 15, 2015
- Final decision date: December 15, 2015
GUEST EDITORS
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)