This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
kese:euderis2008 [2008/10/20 22:13] martin |
kese:euderis2008 [2019/06/27 15:50] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== EUDERIS ====== | ====== EUDERIS ====== | ||
| + | |||
| + | |||
| ===== EUDERIS2008 ===== | ===== EUDERIS2008 ===== | ||
| - | Design, Evaluation and Refinement of AI systems (in Europe). | + | === European Workshop on Design, Evaluation and Refinement of Intelligent Systems === |
| More and more authors have realized that the lack of systematic methods and formal techniques for the design, the evaluation and the refinement are often important reasons for not using AI systems in practice. The first contributions in this field were limited to classical AI systems. Actually, more and more papers regarding non-classical types of systems (like case-based systems, e.g.), knowledge processing principles (learning principles, e.g.), and intelligent behavior are published. | More and more authors have realized that the lack of systematic methods and formal techniques for the design, the evaluation and the refinement are often important reasons for not using AI systems in practice. The first contributions in this field were limited to classical AI systems. Actually, more and more papers regarding non-classical types of systems (like case-based systems, e.g.), knowledge processing principles (learning principles, e.g.), and intelligent behavior are published. | ||
| Line 26: | Line 29: | ||
| * Evaluation of semi-formal knowledge bases | * Evaluation of semi-formal knowledge bases | ||
| * Problems in system certification and quality management | * Problems in system certification and quality management | ||
| + | |||
| + | |||
| + | |||
| + | |||
| Line 37: | Line 44: | ||
| List of submitted papers/titles: | List of submitted papers/titles: | ||
| - | * Joachim Baumeister: A Formal Approach to Empirical Testing | + | * Martin Atzmueller, Stephanie Beer, Alexander Hörnlein, Ralf Melcher, Hardi Lührs, Frank Puppe: //Design and Implementation of a Data Warehouse for Quality Management, System Evaluation and Knowledge Discovery in the Medical Domain// [{{:kese:euderis2008:euderis-dwh.pdf|Extended Abstract}}] |
| + | * Martin Atzmueller, Alexander Hörnlein: //Exploiting the Power of Social Tagging Systems: A Semantic Flickr Approach for Tutoring and Knowledge Management// [{{:kese:euderis2008:euderis-knizr.pdf|Extended Abstract}}] | ||
| + | * Joachim Baumeister: //Advanced Measures for Empirical Testing// [{{:kese:euderis2008:empiricaltesting_abstract.pdf|Abstract}}] | ||
| + | * Joachim Baumeister, Grzegorz J. Nalepa: //On Verification of Distributed Knowledge Bases in Wikis// [{{:kese:euderis2008:euderis-wikiv-draft.pdf|Draft}}] | ||
| + | * Rainer Knauf: //Knowledge Engineering with Didactic Knowledge. First Steps towards an Ultimate Goal// [{{:kese:euderis2008:euderisknaufr.pdf|Extended Abstract}}] | ||
| + | * Grzegorz J. Nalepa: //XTT Rule Design and Implementation with Object-Oriented Methods// [{{:kese:euderis2008:euderis-xttoom-abstract.pdf|Abstract}}] | ||
| + | * Grzegorz J. Nalepa and Antoni Ligęza: //On ALSV Rules Inference Engine Design// [{{:kese:euderis2008:euderis-xtt2engine-abstract.pdf|Abstract}}] | ||
| ===== Schedule ===== | ===== Schedule ===== | ||
