This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
kese:kese8 [2011/12/19 13:07] gjn |
kese:kese8 [2019/06/27 15:50] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== The 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) a.k.a KESE8 ====== | ||
| - | International Joint Workshop | + | ===== Aims and Scope ===== |
| - | on Knowledge Engineering and Intelligent Techniques and Software Enginnering | + | {{:kese:kese_logo.png |The KESE logo (c) 2008 by WTF}} |
| + | 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 modelling 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. | ||
| - | KESE/ISEW 2012 | + | 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, constraint programming, and lately in the context of the Semantic Web, business rules as well as business processes. |
| - | http://kese.ia.agh.edu.pl | + | |
| - | at the European Conference on Artificial Intelligence ECAI 2012 | + | The eight workshop on Knowledge Engineering and Software Engineering (KESE8) is held at the |
| + | [[http://www2.lirmm.fr/ecai2012/|ECAI 2012]] (THE European Conference on Artificial Intelligence) organized by [[http://www.eccai.org/|European Coordinating Committee for Artificial Intelligence]] in Montpellier, France, | ||
| + | and wants to bring together researchers and practitioners from both fields of software engineering and knowledge engineering, as well as the Semantic Web community. The intention is to give ample space for exchanging latest research results as well as knowledge about practical experience. 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 SE issues. On the other hand, the influence of SE methods and tools on the practical design of KBS within KE. | ||
| - | organized by the European Coordinating Committee for Artificial Intelligence (ECCAI) | + | The principal focus of the Workshop is on methods of Knowledge Engineering rooted in the symbolic logic-based representations and their novel applications in Software Engineering. Moreover, a synergistic use and development of these KE methods together with recent formalized and declarative SE methods, including Model-Driven Architecture and Development, ontological modelling as well as Business Process modelling is emphasized. Finally, the studies of the impact of these SE methods on the classic KE development processes are welcomed. |
| - | Montpellier, France, August 27-3 | + | The previous KESE Workshops were held at the German Conference on Artificial Intelligence (KI) since 2005 and on the Spanish AI Conference (CAEPIA) in 2011. |
| - | http://www2.lirmm.fr/ecai201 | + | See the [[start|KESE workshop series]] page for more information. |
| + | ===== Topics of Interest ===== | ||
| - | **Aims and Scope** | + | 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. |
| - | ------------------ | + | |
| - | Intelligent Systems (IS) have been successfully developed in various domains based on techniques and tools from Artificial Intelligence (AI) in a broad sense, including Knowledge Engineering (KE) that uses logic-based symbolic knowledge representation. | + | |
| - | Since most of the implementations of todays IS are software based, Software Engineering methods and tools play an important role in their development. | + | |
| - | This stimulates the synergy between AI/KE methods and SE methods and tools. | + | Specific topic the areasinclude but are not limited to: |
| - | Thus, declarative software engineering techniques have been established in many areas, such as knowledge systems, logic programming, constraint programming, and lately in the context of the Semantic Web and business rules. | + | * Knowledge and software engineering for the Semantic Web |
| - | On the other hand AI techniques can provide the means for addressing, studying, analyzing and understanding critical software development issues, such as software quality and reliability, software cost estimation, software requirements, specifications engineering and software project management. | + | * Ontologies in practical knowledge and software engineering |
| + | * Business Rules design, management and analysis | ||
| + | * Business Processes modelling in KE and SE | ||
| + | * Practical knowledge representation and discovery techniques in software engineering | ||
| + | * Agent-oriented software engineering | ||
| + | * 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 | ||
| + | * Declarative, logic-based, including constraint programming approaches in SE | ||
| + | **Call for Tool Presentations** | ||
| - | The workshop focuses on the current research trends for introducing and implementing Artificial Intelligence (AI) techniques in Software Engineering. | + | 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. |
| + | ===== KESE 8 schedule ===== | ||
| + | KESE8 is the Workshop number 17 in the official [[http://www2.lirmm.fr/ecai2012/index.php?option=com_content&view=article&id=80&Itemid=84|ECAI'2012]] | ||
| - | AI technologies such as fuzzy logic, artificial neural networks, machine learning techniques (supervised & unsupervised learning), text mining & retrieval, graph mining, ranking algorithms and genetic algorithms can be applied in order to extract patterns and identify relations regarding the different phases and needs of software development and analysis. | + | **Tuesday morning, 28th August 2012** |
| - | The workshop endeavours to promote the use of AI techniques in Software Engineering problems, where significant benefits can be derived from their use. Target of the workshop is to show how AI techniques can provide practical solutions in Software Engineering issues. Novel, innovative applications are also appreciated. | + | **Session 1. 8:30 – 10:40.** Chair: Grzegorz J. Nalepa |
| - | TOPICS | + | //(full and tool talks are 15 min + 10 min discussion)// |
| - | The topic of the workshop involves the application of AI techniques in Software Engineering.The workshop includes, but is not limited to, the areas listed below: | + | * //KESE8 Opening// |
| + | * Reinhard Hatko, Joachim Baumeister and Frank Puppe. //CoverageCity: Test Coverage for Clinical Guidelines// (full) | ||
| + | * Isabel María Del Águila and José Del Sagrado. //Metamodeling of Bayesian networks for decision-support systems development// (full) | ||
| + | * Adrian Giurca, Ingo Schmitt and Daniel Baier. //Can Adaptive Conjoint Analysis perform in a Preference Logic Framework?// (full) | ||
| + | * Toader Gherasim, Giuseppe Berio, Mounira Harzallah and Pascale Kuntz. //Problems impacting the quality of automatically built ontologies// (full) | ||
| + | * Joachim Baumeister, Jochen Reutelshoefer, Volker Belli, Albrecht Striffler, Reinhard Hatko and Markus Friedrich. //KnowWE - A Wiki for Knowledge Base Development (Tool Presentation)// | ||
| - | The seventh workshop on Knowledge Engineering and Software Engineering (KESE7) is held at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011, http://www.caepia11.es/index.php?lang=en) in La Laguna (Tenerife), Spain, and wants to bring together researchers and practitioners from fields of software engineering and artificial intelligence, as well as the Semantic Web community. The intention is to give ample space for exchanging latest research results as well as knowledge about practical experience. The previous KESE Workshops were annually organized at the German Conference on Artificial Intelligence (KI) since 2005. | ||
| - | **Topics of Interest** | + | **Coffee Break. 10:40 - 11:10.** |
| - | ---------------------- | + | |
| - | Topics of interest include but are not limited to: | + | |
| - | * Knowledge and software engineering for the Semantic Web | + | |
| - | * Ontologies in practical knowledge and software engineering | + | |
| - | * Business Rules design and management | + | |
| - | * Practical knowledge representation and discovery techniques in software engineering | + | |
| - | * Agent-oriented software engineering | + | |
| - | * Database and knowledge base management in AI systems | + | |
| - | * Evaluation and verification of intelligent systems | + | |
| - | * Practical tools for intelligent systems engineering | + | |
| - | * Process models in AI applications | + | |
| - | * Software requirements and design for AI applications | + | |
| - | * AI approaches in software engineering process | + | |
| - | * Declarative, logic-based approaches | + | |
| - | * Constraint programming approaches | + | |
| - | **Intended Audience** | + | **Session 2. 11:10 – 12:50.** Chair: Joachim Baumeister |
| - | --------------------- | + | |
| - | We expect researchers and practitioners from the areas of knowledge and software engineering, and the Semantic Web. No limitation on the number of participants is planned. | + | |
| - | **Submission Details** | + | //(full talks are 15 min + 10 min discussion; short talks are 10 min + 5 min discussion)// |
| - | ---------------------- | + | |
| - | Papers should be formatted according to the Springer LNCS guidelines. The length of each paper should not exceed 10 pages (including figures and references), see: ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip | + | |
| - | All papers must be written in English and submitted in PDF format. According to the review process requirement of CAEPIA proceedings, papers must be submitted in anonymized form. This means that author names and organization, references, acknowledgments, and any other information that might identify the authors shall be removed from the submitted version of the papers. Submissions will be made via EasyChair: http://www.easychair.org/conferences/?conf=caepia2011 | + | |
| - | **Important dates** | + | * Krzysztof Kluza and Krzysztof Kaczor //Overview of BPMN Model Equivalences. Towards normalization of BPMN diagrams// (full) |
| - | ------------------- | + | * Krzysztof Kaczor and Grzegorz J. Nalepa. //Critical evaluation of the XTT2 rule representation through comparison with CLIPS// (full) |
| - | - Paper submission deadline: May 6, 2011 | + | * Martina Freiberg and Frank Puppe. //Template-based Extensible Prototyping for Creativity- and Usability-Oriented Knowledge Systems Development// (short) |
| - | - Notification of paper acceptance: June 30, 2011 | + | * Antoni Ligeza, Weronika T. Adrian and Przemysław Ciezkowski. //Towards Collaborative Knowledge Engineering for Improving Local Safety in Urban Environment// (short) |
| - | - Camera ready copy submission: July 31, 2011 | + | * Lorina Negreanu and Irina Mocanu. //Formal Verification of Service Requests in a Multi-Agent System using Event-B Method// (short) |
| - | - One day Workshop: Nov. 7-11, 2011 | + | * //KESE8 Closing// |
| - | **Call for Tool Presentations** | + | ===== Important Dates ===== |
| - | ------------------------------- | + | * 19 Feb 2012: 1st call for papers sent |
| - | This year we also strongly encourage the submission of tool presentation papers, i.e., system descriptions that clearly show the interaction between research and practice. Such papers have to be explicitly identified as tool presentation. | + | * <del>28 May 2012</del>: workshop paper submission deadline |
| + | * **4 June, 2012 --new extended deadline-- ** //([[http://www.easychair.org/conferences/?conf=kese8|submit your abstract]] by 1 June, 2012)// | ||
| + | * 28 Jun 2012: notification on workshop paper acceptance | ||
| + | * <del>07</del> 10 Jul 2012: camera ready papers | ||
| + | * 22 Jul 2012: workshop proceedings to be sent to workshop chair | ||
| + | * ** 28 Aug 2012, Tuesday: Workshop date** | ||
| - | **Organization** | + | ===== Call for Papers ===== |
| - | ---------------- | + | The official KESE8 CfP: {{:kese:kese8-cfp.txt|Call for Papers}} |
| - | The one-day workshop will be held with presentations of accepted papers. English is the official language of the workshop. The submitted papers will be reviewed by three members of the program committee using a double blind-review process. A comfortable time slot for discussions will be given. Accepted contributions will be published in the two volumes of the CAEPIA'11 proceedings: one published by Springer (LNAI series) containing a selection of the best papers and one published by Spanish Association for Artificial Intelligence with the rest of the accepted papers. | + | |
| - | It is planned that accepted contributions to KESE7 also appear as CEUR Workshop Proceedings (CEUR-WS.org). | + | |
| - | **Workshop organizers** | + | The KESE 8 {{:kese:kese8-flyer.pdf|flyer}} is available. |
| - | ----------------------- | + | |
| - | * J. Cañadas, University of Almeria <jjcanada@ual.es> | + | ===== Submission Details ===== |
| + | Papers should be formatted according to the ECAI format. The length of each paper should not exceed 8 pages (including figures and references), see: http://people.cs.kuleuven.be/~luc.deraedt/ecai2012-style.zip | ||
| + | All papers must be submitted in PDF. Please submit your paper via EasyChair ([[http://www.easychair.org/conferences/?conf=kese8]]). | ||
| + | |||
| + | ===== Organization ===== | ||
| + | |||
| + | The one-day workshop will be held with presentations of accepted papers. The submitted papers will be reviewed by three 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). | ||
| + | |||
| + | ===== Workshop organizers ===== | ||
| * G. J. Nalepa, AGH UST Krakow <gjn@agh.edu.pl> | * G. J. Nalepa, AGH UST Krakow <gjn@agh.edu.pl> | ||
| + | * J. Cañadas, University of Almeria <jjcanada@ual.es> | ||
| * J. Baumeister, University Würzburg <joba@uni-wuerzburg.de> | * J. Baumeister, University Würzburg <joba@uni-wuerzburg.de> | ||
| - | **Program Committee** | + | ===== Program Committee ===== |
| - | --------------------- | + | |
| - | * I. del Águila, University of Almeria, Spain | + | |
| - | * K.-D. Althoff, University Hildesheim, Germany | + | |
| - | * A. B. Bailón, University of Granada, Spain | + | |
| - | * J. Baumeister, University Würzburg, Germany | + | |
| - | * F. Bienvenido, University of Almeria, Spain | + | |
| - | * I. Blanco, University of Granada, Spain | + | |
| - | * M. Campos, University of Murcia, Spain | + | |
| - | * J. Cañadas, University of Almeria, Spain | + | |
| - | * J. T. Fernandez-Breis, University of Murcia, Spain | + | |
| - | * A. Giurca, Brandenburg University of Technology at Cottbus, Germany | + | |
| - | * F. Guil, University of Almeria, Spain | + | |
| - | * J. M. Juarez, University of Murcia, Spain | + | |
| - | * J. Jung, Yeungnam University, Korea | + | |
| - | * R. Knauf, TU Ilmenau, Germany | + | |
| - | * C. Martínez-Cruz, University of Jaen, Spain | + | |
| - | * G. J. Nalepa, AGH UST, Krakow, Poland | + | |
| - | * J. Palma, University of Murcia, Spain | + | |
| - | * F. Puppe, University Wurzburg, Germany | + | |
| - | * J. del Sagrado, University of Almeria, Spain | + | |
| - | * D. Seipel, University Würzburg, Germany | + | |
| - | * F. Silva Parreiras, University of Koblenz-Landau, Germany | + | |
| - | * I. Stamelos, Aristotle University of Thessaloniki, Greece | + | |
| - | * R. Valencia-García, University of Murcia, Spain | + | |
| + | * Isabel María del Águila, University of Almeria, Spain | ||
| + | * Klaus-Dieter Althoff, University Hildesheim, Germany | ||
| + | * Joachim Baumeister, University Würzburg, Germany | ||
| + | * Joaquín Cañadas, University of Almeria, Spain | ||
| + | * Jesualdo Tomás Fernández-Breis, University of Murcia, Spain | ||
| + | * Adrian Giurca, BTU Cottbus, Germany | ||
| + | * José M. Juarez, University of Murcia, Spain | ||
| + | * Jason Jung, Yeungnam University, Korea | ||
| + | * Rainer Knauf, TU Ilmenau, Germany | ||
| + | * Pascal Molli, University of Nantes - LINA, France | ||
| + | * Grzegorz J. Nalepa, AGH University of Science and Technology, Krakow, Poland | ||
| + | * José Palma, University of Murcia, Spain | ||
| + | * Alvaro E. Prieto, Univesity of Extremadura, Spain | ||
| + | * José del Sagrado, University of Almeria, Spain | ||
| + | * Dietmar Seipel, University Würzburg, Germany | ||
| + | * Rafael Valencia-García, University of Murcia, Spain | ||
| - | AIMS AND SCOPE | ||
| - | The workshop focuses on the current research trends for introducing and implementing Artificial | ||
| - | Intelligence (AI) techniques in Software Engineering. AI techniques can provide the means for | ||
| - | addressing, studying, analyzing and understanding critical software development issues, such as | ||
| - | software quality and reliability, software cost estimation, software requirements, specifications | ||
| - | engineering and software project management. | ||
| - | AI technologies such as fuzzy logic, artificial neural networks, machine learning techniques | ||
| - | (supervised & unsupervised learning), text mining & retrieval, graph mining, ranking algorithms and | ||
| - | genetic algorithms can be applied in order to extract patterns and identify relations regarding the | ||
| - | different phases and needs of software development and analysis. | ||
| - | The workshop endeavours to promote the use of AI techniques in Software Engineering problems, | + | ===== Venue ===== |
| - | where significant benefits can be derived from their use. Target of the workshop is to show how AI | + | |
| - | techniques can provide practical solutions in Software Engineering issues. Novel, innovative | + | |
| - | applications are also appreciated. | + | |
| - | TOPICS | + | TBA |
| - | The topic of the workshop involves the application of AI techniques in Software Engineering.The | + | |
| - | workshop includes, but is not limited to, the areas listed below: | + | |
| - | Software Requirements | + | |
| - | Software Architecture | + | |
| - | Software Methodologies | + | |
| - | Machine Learning (Unsupervised & Supervised Software Algorithms | + | |
| - | learning) Software Design | + | |
| - | Text Mining & Retrieval Software Performance | + | |
| - | Probabilistic Reasoning Engineering | + | |
| - | Model Learning Software Quality | + | |
| - | Expert Systems Software Reliability | + | |
| - | in | + | |
| - | Neural Networks Object-Oriented Analysis and | + | |
| - | Data Mining Design | + | |
| - | Evolutionary algorithms Software Maintenance | + | |
| - | Ranking Algorithms Software Testing | + | |
| - | Regression models Software Metrics | + | |
| - | Statistical methods Software Project Management | + | |
| - | Software Cost Estimation | + | |
| - | Open Source Software | + | |
| - | Software Repository Management | + | |
| - | INFORMATION FOR THE AUTHORS | + | |
| - | Authors are invited to submit electronically original, English-language research contributions or | + | |
| - | experience reports. Papers should be no longer than 8 pages formatted according to | + | |
| - | the ECML guidelines. The proceedings of the workshop will be published online in the Cornells's | + | |
| - | University library (arxiv.org) and also there will be further arrangements to be published in the | + | |
| - | CEUR online proceedings. Submitted papers will be refereed for quality, correctness, originality, and | + | |
| - | relevance. Notification and reviews will be communicated via email. Accepted papers will be presented | + | |
| - | at the workshop and included in the workshops proceedings. | + | |
| + | See [[http://www2.lirmm.fr/ecai2012//|ECAI 2012 site]] | ||
| + | ===== Post-proceedings ===== | ||
| + | KESE8 post-proceedings are now online at CEUR-WS.org: [[http://ceur-ws.org/Vol-949|http://ceur-ws.org/Vol-949]] | ||
| + | The full document is available at [[http://hdl.handle.net/10835/1791|http://hdl.handle.net/10835/1791]] | ||
