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 00:22] 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 | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| ===== Papers ===== | ===== Papers ===== | ||
| - | * Joachim Baumeister: A Formal Approach to Empirical Testing | ||
| + | Extended abstracts (~2-6 pages), preferably in **Springer LNCS** (or plain (LaTeX) article) format should be submitted by October, 26th, 2008 to atzmueller@informatik.uni-wuerzburg.de. | ||
| + | |||
| + | List of submitted papers/titles: | ||
| + | |||
| + | * 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 ===== | ||
| The workshop starts at 10am, October 30th, 2008. | The workshop starts at 10am, October 30th, 2008. | ||
| - | ===== Venue ===== | ||
| + | ===== Venue ===== | ||
| + | Fraunhofer IDMT / Kindermedien in Erfurt, Hirschlachufer 7: Conference room 03 | ||
