posted by user: gjn || 3013 views || tracked by 12 users: [display]

CMS 2009 : Knowledge Engineering and Intelligent Systems at Computer Methods and Systems CMS09

FacebookTwitterLinkedInGoogle

Link: http://www.cms.agh.edu.pl/
 
When Nov 26, 2009 - Nov 27, 2009
Where Krakow, Poland
Submission Deadline Jun 15, 2009
Notification Due Jun 30, 2009
Final Version Due Oct 1, 2009
Categories    artificial intelligence   web   databases   software engineering
 

Call For Papers

VII Conference
Computer Methods and Systems CMS09

Krakw, Poland, November 26-27 2009

Organizer: AGH University of Science and Technology, Chair of Automatics

Program Committee: Chair - Ryszard Tadeusiewicz
Vice-chair - Jzef Korbicz

Venue: Krakw, Poland, Hotel Novotel Bronowice

Program:
Workshop on Knowledge Engineering and Intelligent Systems
organizers: Antoni Ligeza, Grzegorz J. Nalepa
Workshop on Mathematical Modelling, Control and Optimization
organizers: Adam Korytowski, Wojciech Mitkowski
Workshop on Scientific and Engineering Computing
organizers: Maciej Szymkat, Andrzej Turnau

Language: English

Publication: Conference proceedings - all accepted papers
Recommended papers - International Journal of Applied Mathematics and Computer Science
Contact: e-mail: cms@agh.edu.pl, conference web-site: http://www.cms.agh.edu.pl/

Conference fee: 550 PLN (around 130EUR) per person covers proceedings, lunches, coffee breaks and conference dinner.

Important dates:
15.06.2009 Abstracts submission (extended)
30.06.2009 Notification of acceptance of the presentation based on abstracts
01.10.2009 Deadline for submission of full versions of papers

Paper/abstract submission: http://www.easychair.org/conferences/?conf=cms2009

Topics:

Knowledge Engineering and Intelligent Systems
* artificial intelligence
* intelligent systems
* knowledge engineering
* rule-based systems and business rules: design, tools, implementation, applications, verification
* knowledge representation, reasoning and management
* semantic web technologies
* semantic wikis and social networks
* ontologies in practical knowledge engineering
* database and knowledge base management in AI systems
* design, evaluation and verification of intelligent systems
* practical tools for intelligent systems
* declarative, logic-based approaches, tools and applications
* Prolog, logic programming, practical applications
* constraint programming, constraint problem solving, constraint logic programming
* inductive logic programming
* knowledge discovery and data mining
* knowledge visualization
* logic for artificial intelligence
* attributive logics, description logics
* web intelligence, web mining, web services
* ontologies in practical knowledge engineering
* intelligent agent technology
* intelligent information systems, decision support systems
* spatial and temporal knowledge representation and inference
* Geographical Information Systems (GIS)

Mathematical Modelling, Control and Optimization
* modelling of discrete and continuous systems
* dynamic optimization
* mathematical methods in optimal control
* distributed parameter systems
* stability and sensitivity analysis
* optimization of switched systems
* algorithms of nonlinear optimization
* discrete optimization
* stochastic optimization

Scientific and engineering computing
* numerical methods and algorithm development
* analytical approaches and computer algebra systems
* MATLAB problem solving environment
* visualization and computer graphics
* neural networks and fuzzy logic systems
* multi-domain simulation
* applications in genetics, biology and medicine
* rapid prototyping and hardware-in-the-loop simulation
* automatic code generation and cosimulation
* physical modelling for electronics, mechanics and power systems
* DSP algorithms and applications
* image processing and recognition

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
IPMU 2020   18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
WWW 2020   The Web Conference
ICRIT--JA, Scopus 2020   2020 3rd International Conference on Robotics and Intelligent Technology (ICRIT 2020)--JA, Scopus
ECAI 2020   24th European Conference on Artificial Intelligence
ICCMC 2020   Scopus-Indexed IEEE 4th International Conference on Computing Methodologies and Communication
IWUAS 2020   2020 International Workshop on Unmanned Aircraft Systems (IWUAS 2020)
ICRAS--IEEE, Ei Compendex and Scopus 2020   2020 4th IEEE International Conference on Robotics and Automation Sciences (ICRAS 2020)--Ei Compendex & Scopus
IROS 2020   International Conference on Intelligent Robots and Systems