posted by organizer: BrunoLopes || 4855 views || tracked by 5 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.tecmf.inf.puc-rio.br/SIComputacionSistemas
 
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

http://www.tecmf.inf.puc-rio.br/SIComputacionSistemas
-----------------------------------------------------------------------------


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 at EasyChair
at https://easychair.org/conferences/?conf=sics15, .
Papers must be formatted according to the author guidelines for Computación y
Sistemas papers, available at
http://cys.cic.ipn.mx/ojs/index.php/CyS/about/submissions#authorGuidelines


IMPORTANT DATES

Deadline for submission: July 31, 2015
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)

Related Resources

CompHealth 2024   CompHealth 2024 : Computational Health Thematic Track at ICCS 2024
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
AITS@EPIA 2024   Artificial Intelligence in Transportation Systems (Thematic Track at EPIA2024)
ECAI 2024   27th European Conference on Artificial Intelligence
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)