no way to compare when less than two revisions
Differences
This shows you the differences between two versions of the page.
| — | kese:kese7 [2017/07/17 08:08] (current) – created - external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== The KESE7 Workshop ====== | ||
| + | |||
| + | ===== Aims and Scope ===== | ||
| + | |||
| + | {{: | ||
| + | Intelligent systems have been successfully developed in various domains based on techniques and tools from the fields of knowledge engineering and software engineering. Thus, declarative software engineering techniques have been established in many areas, such as knowledge systems, logic programming, | ||
| + | |||
| + | The seventh workshop on Knowledge Engineering and Software Engineering (KESE7) is held at the [[http:// | ||
| + | |||
| + | ===== Topics of Interest ===== | ||
| + | |||
| + | 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, | ||
| + | * Constraint programming approaches | ||
| + | |||
| + | **Call for Tool Presentations** | ||
| + | |||
| + | This year we // | ||
| + | engineering and software engineering research and practice. Such papers have to be explicitly identified as //tool presentation// | ||
| + | |||
| + | |||
| + | ===== KESE 7 schedule ===== | ||
| + | |||
| + | KESE 7 is the Workshop number 6 in the official CAEPIA-2011 [[http:// | ||
| + | |||
| + | Thursday, 10th November 2011. | ||
| + | Nivaria Hotel. Room 1. | ||
| + | |||
| + | **Session 1. 9:40 – 11:00** | ||
| + | |||
| + | (talks are 15 min + 5 min discussion) | ||
| + | |||
| + | * KESE Opening | ||
| + | * Alvaro Prieto, Adolfo Lozano-Tello, | ||
| + | * Reinhard Hatko, Gritje Meinke, Joachim Baumeister, Stefan Mersmann and Frank Puppe. //Anomaly Detection in DiaFlux Models// | ||
| + | * Krzysztof Kluza, Grzegorz J. Nalepa, Marcin Szpyrka and Antoni Ligeza. //Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods// | ||
| + | * José Del Sagrado, Isabel María Del Águila and Francisco Javier Orellana. // | ||
| + | |||
| + | **11:00 - 11:30: Coffee Break** | ||
| + | |||
| + | **Session 2. 11: | ||
| + | |||
| + | (talks are 15 min + 5 min discussion) | ||
| + | |||
| + | * Emilian Pascalau. //Mashups: Behavior in Context(s)// | ||
| + | * Joaquín Cañadas, Jose Palma and Samuel Túnez. // | ||
| + | * Weronika T. Adrian and Grzegorz J. Nalepa. //Loki - Presentation of Logic-based Semantic Wiki// (Tool presentation) | ||
| + | * KESE Closing | ||
| + | |||
| + | |||
| + | ===== Venue ===== | ||
| + | |||
| + | Here you can find a map of the CAEPIA venues: | ||
| + | http:// | ||
| + | |||
| + | CAEPIA11 main conference will take place ate the Paraninfo Building on the University of La Laguna (plenary sessions) and at the Convento de Santo Domingo (tematic sesions), whereas Workshops will take place in the Nivaria Hotel. | ||
| + | |||
| + | ===== Submission Details ===== | ||
| + | |||
| + | Papers should be formatted according to the Springer [[http:// | ||
| + | All papers must be written in English and submitted in PDF format. According to the review process requirement of CAEPIA proceedings, | ||
| + | Please submit your paper via EasyChair ([[http:// | ||
| + | |||
| + | 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 conference proceedings: | ||
| + | |||
| + | It is planned that accepted contributions to KESE7 also appear as [[http:// | ||
| + | |||
| + | |||
| + | |||
| + | ===== Important Dates ===== | ||
| + | The KESE7 workshop will take place at the Conference of the Spanish Association for Artificial Intelligence [[http:// | ||
| + | |||
| + | The important dates are as follows: | ||
| + | |Paper submission deadline: | ||
| + | |Notification of paper acceptance: | ||
| + | |Camera ready copy submission: | ||
| + | |Workshop: | ||
| + | |||
| + | ===== Call for Papers ===== | ||
| + | The official KESE7 CfP: {{: | ||
| + | |||
| + | The | ||
| + | {{: | ||
| + | |||
| + | ===== Organization ===== | ||
| + | The one-day workshop will be held with presentations of accepted papers. English is the official language of the workshop. A comfortable time slot for discussions will be given. The proceedings will be published as part of the two volumes of CAEPIA 2011 conference proceedings before the workshop, and as CEUR Workshop Proceedings (CEUR-WS.org) later on (pending). | ||
| + | |||
| + | **KESE7 Workshop Chairs** | ||
| + | |||
| + | * [[http:// | ||
| + | * [[http:// | ||
| + | * [[http:// | ||
| + | |||
| + | **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 Almería, Spain | ||
| + | * J. T. Fernandez-Breis, | ||
| + | * A. Giurca, BTU 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, | ||
| + | * 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, | ||
| + | * I. Stamelos, Aristotle University of Thessaloniki, | ||
| + | * R. Valencia-García, | ||
