10th International Workshop on Knowledge Engineering and Software Engineering (KESE10)
at
the 21st European Conference on Artificial Intelligence
Prague, August 19 2014
(http://kese.ia.agh.edu.pl)


# Aims and Scope

Knowledge Based Systems (KBS) have been successfully developed in various domains based on techniques and tools from Knowledge Engineering (KE). The classic KE approach to system modeling uses mostly symbolic logic-based symbolic knowledge representation methods, which are more specific from Artificial Intelligence (AI) in a broad sense, that has recently included computational intelligence techniques. Since most of the implementations of today KBS are software based, Software Engineering (SE) methods and tools play an important role in their development. Moreover, recent developments in SE emphasize the importance of the use of formalized symbolic representations in the software development process.
This stimulates the synergy between KE methods and SE methods and tools. Thus, declarative software engineering techniques have been established in many areas, such as knowledge systems, logic programming, programming for the Semantic Web and Linked data, business rules as well as business processes.

The primary objective of the workshop is to bring together researchers and practitioners from fields of KE and SE. Moreover the workshop endeavors to promote the use of KE techniques in SE problems, where significant benefits can be derived from their use. The general goal of the workshop is to show how the KE techniques can provide practical solutions in Software Engineering issues. On the other hand influence of SE methods and tools on the practical design of KBS within KE. The intention is to give ample space for exchanging latest research results as well as knowledge about practical experience.

# Topics of Interest

Topics of the workshop are generally related to the applications of symbolic KE techniques in SE as well as the use of KE in the SE practice.
Specific topic the areas include, but are not limited to, the ones listed below:

* Knowledge and software engineering for the Semantic Web
* Knowledge and software engineering for Linked Data
* Ontologies in practical knowledge and software engineering
* Business systems modeling, design and analysis using KE and SE
* Practical knowledge representation and discovery techniques in software engineering
* Context and explanation in intelligent systems
* Knowledge base management in KE systems
* Evaluation and verification of KBS
* Practical tools for KBS engineering
* Process models in KE applications
* Software requirements and design for KBS applications
* Software quality assessment through formal KE models
* Declarative, logic-based, including constraint programming approaches in SE

# Call for Tool Presentations

We are also strongly interested in tool presentations, so we regularly encourage the submission of tool presentation papers, i.e., system descriptions that clearly show the interaction between knowledge engineering and software engineering research.


# Important Dates

* 25.05.2014: Deadline for paper submission
* 23.06.2014: Notification on paper acceptance
* 07.07.2014: Camera ready papers
* 19.08.2014: Workshop date

# Intended Audience

We expect researchers and practitioners from the areas of KE and SE. The focus is on KE methods using symbolic logic-based representations, and a synergy between them and formalized and declarative SE methods. Novel, innovative approaches and applications are appreciated. No limitation on the number of participants is planned.

# Workshop Format

The one-day workshop will be held with presentations of accepted papers. The submitted papers will be reviewed by members of the program committee. At least one author of each accepted paper must register and present the contribution. A comfortable time slot for discussions will be given. Accepted contributions will appear as CEUR Workshop Proceedings (CEUR-WS.org).

# Submission Details

Papers should be formatted according to the Springer LNCS guidelines. The length should not exceed 12 pages for regular papers and 6 pages for short papers and tool presentations (including figures and references). All papers must be submitted in PDF. Please use A4 format!
Please submit your paper via EasyChair (https://www.easychair.org/conferences/?conf=kese10).

# Organizers

G. J. Nalepa, AGH University of Science and Technology, Krakow gjn@agh.edu.pl
J. Baumeister, University Wuerzburg / denkbares GmbH joba@uni-wuerzburg.de
K. Kaczor, AGH University of Science and Technology, Krakow kk@agh.edu.pl

# Members of the Program Committee

Thomas-Roth Berghofer, University of West London, UK
Klaus-Dieter Althoff, University Hildesheim, Germany
Kerstin Bach, Verdande Technology AS, Norway
Joaquin Canadas, University of Almeria, Spain
Adrian Giurca, BTU Cottbus, Germany
Jason Jung, Yeungnam University, Korea
Rainer Knauf, TU Ilmenau, Germany
Mirjam Minor, Johann Wolfgang Goethe-Universitat Frankfurt, Germany
Pascal Molli, University of Nantes - LINA, France
Jose Palma, University of Murcia, Spain
Alvaro E. Prieto, University of Extremadura, Spain
Dietmar Seipel, University Wuerzburg, Germany
Isabel Maria del Aguila, University of Almeria, Spain
Jose del Sagrado, University of Almeria, Spain