• Aucun résultat trouvé

Preface

N/A
N/A
Protected

Academic year: 2022

Partager "Preface"

Copied!
3
0
0

Texte intégral

(1)

Preface

Grzegorz J. Nalepa and Joachim Baumeister AGH University of Science and Technology

Krak´ow, Poland [email protected]

Intelligent Systems (Informatik 6) University of W¨urzburg

W¨urzburg, Germany [email protected]

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 estab- lished in many areas, such as knowledge systems, logic programming, constraint programming, and lately in the context of the Semantic Web and business rules.

The sixth workshop on Knowledge Engineering and Software Engineering (KESE6) was held at the KI-2010 in Karlsruhe, Germany, and brought together researchers and practitioners from both fields of software engineering and arti- ficial intelligence. The intention was to give ample space for exchanging latest research results as well as knowledge about practical experience. Topics of inter- est includes but were not limited to:

– Knowledge and software engineering for the Semantic Web – Ontologies in practical knowledge and software engineering – Business rules design and management

– Knowledge representation, reasoning 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 – Process models in AI applications – Declarative, logic-based approaches – Constraint programming approaches

This year, we received contributions focussing on different aspects of knowl- edge engineering: Kluza et al. present a declarative method of inference specifi- cation in modularized knowledge bases. Application of knowledge engineering in psychological processes is elaborated by Newo et al. The contribution of Freiberg et al. discusses practical issues of building novel interfaces for knowledge-based systems. Sagrado et al. review optimization techniques and focus on their appli- cation for the requirements selection problem in software releases.

(2)

This year we also encouraged to submit tool presentations, i.e., system de- scriptions that clearly show the interaction between knowledge engineering and software engineering research and practice. At the workshop, one presentation about current tools was given: Ca˜nadas et al. introduce a practical application for rule-based applications integrated ontologies, using the Jess engine and the MVC approach.

The organizers would like to thank all who contributed to the success of the workshop. We thank all authors for submitting papers to the workshop, and we thank the members of the program committee as well as the external reviewers for reviewing and collaboratively discussing the submissions. For the submission and reviewing process we used the EasyChair system, for which the organizers would like to thank Andrei Voronkov, the developer of the system. Last but not least, we would like to thank the organizers of the KI 2010 conference for hosting the KESE6 workshop.

Grzegorz J. Nalepa Joachim Baumeister

Program Committee

– K.-D. Althoff, University Hildesheim, Germany – J. Baumeister, University W¨urzburg, Germany – J. Ca˜nadas, University of Almeria, Spain – U. Geske, FhG FIRST, Berlin, Germany – A. Giurca, BTU Cottbus, Germany – J. Jung, Yeungnam University, Korea – R. Knauf, TU Ilmenau, Germany

– G. J. Nalepa, AGH UST, Krak´ow, Poland – D. Seipel, University W¨urzburg, Germany

– I. Stamelos, Aristotle University of Thessaloniki,Greece – G. Weiss, University of Maastricht, The Netherlands

(3)

Workshop Organization

The 6th Workshop on Knowledge Engineering and Software Engineering (KESE6)

was held as a one-day event at the

33rd German Conference on Artificial Intelligence (KI2010) on September 21, 2010, Karlsruhe, Germany.

Workshop Chairs and Organizers

Grzegorz J. Nalepa, AGH UST, Krak´ow, Poland Joachim Baumeister, University W¨urzburg, Germany

Programme Committee

Klaus-Dieter Althoff, University Hildesheim, Germany Joaquin Ca˜nadas, University of Almer´ıa, Spain Uli Geske, FhG FIRST, Berlin, Germany Adrian Giurca, BTU Cottbus, Germany Jason Jung, Yeungnam University, Korea Rainer Knauf, TU Ilmenau, Germany

Dietmar Seipel, University W¨urzburg, Germany

Ioannis Stamelos, Aristotle University of Thessaloniki, Greece Gerhard Weiss, University of Maastricht, The Netherlands

Références

Documents relatifs

A Declarative Framework for Security: Secure Concurrent Constraint Programming..

Indeed, as soon as the satisability problem over a computation do- main (eg. nite domains, sets) is an N P -complete problem, the special purpose constraint solver will necessarily

We prove that the selective unification problem is generally undecidable for constraint logic programs, and we present a correct and complete algorithm for selective unification in

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Apart from quantum computers, the second quantum revolution includes other key technologies like quantum internet, quantum clocks, quantum sensors, cryptography, etc.. We

We encoded this configuration problem with the SMT formalism, not only providing the feasibility constraints but also connecting the system with the com- ponents database; in this

We ran three back-end solvers, Mistral, MiniSat and SCIP on three arythmetic puzzles (Magic Square, Costas Array and Golomb Ruler).. For each run, we used a profiler to separate