2009 | ||
---|---|---|
76 | Swen E. Gaudl, Klaus P. Jantke, Rainer Knauf: In Search for the Human Factor in Rule Based Game AI: The GrinTu Evaluation and Refinement Approach. FLAIRS Conference 2009 | |
75 | G. Michael Youngblood, Klaus P. Jantke: Special Track on Games and Entertainment. FLAIRS Conference 2009 | |
74 | Swen E. Gaudl, Klaus P. Jantke, Christian Woelfert: The Good, the Bad and the Ugly: Short Stories in Short Game Play. ICIDS 2009: 127-133 | |
73 | Klaus P. Jantke: The Evolution of Story Spaces of Digital Games beyond the Limits of Linearity and Monotonicity. ICIDS 2009: 308-311 | |
2008 | ||
72 | Klaus P. Jantke: German Girls Are Goofy. An Investigation into the Knowledge Deficiencies of Digital Games that Are Designed for Learning. FLAIRS Conference 2008: 381-385 | |
2006 | ||
71 | Ljupco Todorovski, Nada Lavrac, Klaus P. Jantke: Discovery Science, 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings Springer 2006 | |
70 | Klaus P. Jantke: Games that do not exist communication design beyond the current limits. SIGDOC 2006: 35-42 | |
2005 | ||
69 | Klaus P. Jantke, Klaus-Peter Fähnrich, Wolfgang S. Wittig: Marktplatz Internet: von E-Learning bis E-Payment, 13. Leipziger Informatik-Tage, LIT 2005, 21.-23. September 2005, Leipzig GI 2005 | |
68 | Rainer Knauf, Klaus P. Jantke: Towards an Evaluation of (e-)Learning Systems. FLAIRS Conference 2005: 226-231 | |
67 | Klaus P. Jantke, Aran Lunzer: Search, Comparison and Evaluation in Exploratory E-Learning with Subjunctive Interfaces. Wissensmanagement 2005: 140-145 | |
66 | Klaus P. Jantke, Aran Lunzer, Jun Fujima: Subjunctive Interfaces in Exploratory e-Learning. Wissensmanagement (LNCS Volume) 2005: 176-188 | |
2004 | ||
65 | Klaus P. Jantke, Steffen Lange, Gunter Grieser, Peter A. Grigoriev, Bernhard Thalheim, Bernd Tschiedel: Learning by Doing and Learning when Doing: Dovetailing E-Learning and Decision Support with a Data Mining Tutor. ICEIS (5) 2004: 238-241 | |
64 | Volker Dötsch, Kimihito Ito, Klaus P. Jantke: Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 68-87 | |
63 | Klaus P. Jantke: The Biotope Issue in Meme Media Implementations. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 99-107 | |
62 | Klaus P. Jantke, Gunter Grieser, Steffen Lange, Martin Memmel: DaMiT: Data Mining lernen und lehren. LWA 2004: 171-179 | |
2003 | ||
61 | Ricard Gavaldà, Klaus P. Jantke, Eiji Takimoto: Algorithmic Learning Theory, 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings Springer 2003 | |
60 | Klaus P. Jantke, Martin Memmel, Oleg Rostanin, Bernhard Thalheim, Bernd Tschiedel: Decision Support By Learning-On-Demand. CAiSE Workshops 2003 | |
59 | Klaus P. Jantke: DaMiT - Peculiartities of an e-Learning System. MMGPS 2003 | |
58 | Steffen Lange, Gunter Grieser, Klaus P. Jantke: Advanced elementary formal systems. Theor. Comput. Sci. 1(298): 51-70 (2003) | |
2002 | ||
57 | Gunter Grieser, Klaus P. Jantke, Steffen Lange: Consistency Queries in Information Extraction. ALT 2002: 173-187 | |
56 | Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke, Dirk Salecker: System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge. FLAIRS Conference 2002: 216-220 | |
2001 | ||
55 | Klaus P. Jantke, Ayumi Shinohara: Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings Springer 2001 | |
54 | Steffen Lange, Gunter Grieser, Klaus P. Jantke: Extending Elementary Formal Systems. ALT 2001: 332-347 | |
53 | Klaus P. Jantke, Oliver Keller: Secure Systems Development -- The Evolving Integration of Validation and Verification. FLAIRS Conference 2001: 630-634 | |
52 | Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke: The Character of Human Behavior Representation and Its Impact on the Validation Issue. FLAIRS Conference 2001: 635-639 | |
2000 | ||
51 | Gunter Grieser, Klaus P. Jantke, Steffen Lange, Bernd Thomas: A Unifying Approach to HTML Wrapper Representation and Learning. Discovery Science 2000: 50-64 | |
50 | Volker Dötsch, Gunter Grieser, Klaus P. Jantke, Steffen Lange: Formal Concepts of Learning Systems Validation in Use. FLAIRS Conference 2000: 319-324 | |
49 | Volker Dötsch, Klaus P. Jantke: TIC - A Toolkit for Valication in Formal Language Learning. FLAIRS Conference 2000: 325-330 | |
48 | Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke: Towards Validation of Rule-Based Systems - The Loop is Closed. FLAIRS Conference 2000: 331-335 | |
1999 | ||
47 | Klaus P. Jantke, Jörg Herrmann: Lattices of Knowledge in Intelligent Systems Validation. FLAIRS Conference 1999: 499-505 | |
46 | Rainer Knauf, Avelino J. Gonzalez, Klaus P. Jantke: Towards Validation of Case-Based Systems. FLAIRS Conference 1999: 516-520 | |
45 | Hans-Rainer Beick, Klaus P. Jantke: Validation of CBL Principles. FLAIRS Conference 1999: 526-530 | |
1998 | ||
44 | Gunter Grieser, Klaus P. Jantke, Steffen Lange: Towards the Validation of Inductive Learning Systems. ALT 1998: 409-423 | |
43 | Gunter Grieser, Klaus P. Jantke, Steffen Lange: Characterizing Sufficient Expertise for Learning Systems Validation. FLAIRS Conference 1998: 452-456 | |
42 | Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez, Ilka Philippow: Fundamental Considerations of Competence Assessment for Validation. FLAIRS Conference 1998: 457-461 | |
41 | Jörg Herrmann, Klaus P. Jantke, Rainer Knauf: Variants of Validity and their Impact on the Overall Test Space. FLAIRS Conference 1998: 472-477 | |
1997 | ||
40 | Oksana Arnold, Klaus P. Jantke: Inductive Program Synthesis for Theory Plan Generation. New Generation Comput. 15(1): 27-58 (1997) | |
39 | Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara: On Case Based Learnability of Language. New Generation Comput. 15(1): 39-83 (1997) | |
1996 | ||
38 | Klaus P. Jantke, Oksana Arnold: A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. TIME 1996 | |
37 | Angi Voß, Brigitte Bartsch-Spörl, Ludger Hovestadt, Klaus P. Jantke, Uwe Petersohn, Gerhard Strube: FABEL. KI 10(3): 70-76 (1996) | |
1995 | ||
36 | Klaus P. Jantke, Steffen Lange: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report Springer 1995 | |
35 | Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann: Algorithmic Learning Theory, 6th International Conference, ALT '95, Fukuoka, Japan, October 18-20, 1995, Proceedings Springer 1995 | |
34 | Klaus P. Jantke: Reflecting and Self-Confident Inductive Inference Machines. ALT 1995: 282-297 | |
33 | Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann: Editor's Introduction. ALT 1995: ix-xv | |
32 | Klaus P. Jantke: Aktualität der Wissensrepräsentation aus Sicht des Algorithmischen Lernens. KI 9(5): 6-12 (1995) | |
31 | Klaus P. Jantke, Steffen Lange: Case-Based Representation and Learning of Pattern Languages. Theor. Comput. Sci. 137(1): 25-51 (1995) | |
1994 | ||
30 | Setsuo Arikawa, Klaus P. Jantke: Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings Springer 1994 | |
29 | Oksana Arnold, Klaus P. Jantke: Therapy Plan Generation as Program Synthesis. AII/ALT 1994: 40-55 | |
28 | Yasubumi Sakakibara, Klaus P. Jantke, Steffen Lange: Learning Languages by Collecting Cases and Tuning Parameters. AII/ALT 1994: 532-546 | |
1993 | ||
27 | Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings Springer 1993 | |
26 | Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyoaki Nishida: Algorithmic Learning Theory, Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992, Proceedings Springer 1993 | |
25 | Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori: Algorithmic Learning Theory, 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993, Proceedings Springer 1993 | |
24 | Klaus P. Jantke, Steffen Lange: Case-Based Representation and Learning of Pattern Languages. ALT 1993: 87-100 | |
1992 | ||
23 | Klaus P. Jantke: Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings Springer 1992 | |
22 | Klaus P. Jantke: Case-Based Learning in Inductive Inference. COLT 1992: 218-223 | |
1991 | ||
21 | Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel: Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990 Springer 1991 | |
20 | Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings Springer 1991 | |
19 | Klaus P. Jantke, Ulf Goldhammer: Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). LOPSTR 1991: 65-68 | |
18 | Klaus P. Jantke: Monotonic and Non-monotonic Inductive Inference. New Generation Comput. 8(4): 349- (1991) | |
1990 | ||
17 | Steffen Lange, Klaus P. Jantke: Inductive Completion for Transformation of Equational Specifications. ADT 1990: 117-140 | |
16 | Klaus P. Jantke: Monotonic and Non-Monotonic Inductive Inference. ALT 1990: 269-281 | |
15 | Klaus P. Jantke: Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns. Nonmonotonic and Inductive Logic 1990: 161-177 | |
1989 | ||
14 | Klaus P. Jantke: Analogical and Inductive Inference, International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings Springer 1989 | |
13 | Muffy Thomas, Klaus P. Jantke: Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII 1989: 288-303 | |
1988 | ||
12 | Klaus P. Jantke: On Solving Divergence in Knuth-Bendix Completion. ADT 1988 | |
11 | Klaus P. Jantke: Algorithmic Learning from Incomplete Information - Principles and Problems. IMYCS 1988: 188-207 | |
1987 | ||
10 | Klaus P. Jantke: Analogical and Inductive Inference, International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings Springer 1987 | |
1986 | ||
9 | Wolfgang Bibel, Klaus P. Jantke: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 Springer 1986 | |
8 | Klaus P. Jantke: Recursion-Theoretic Problems in Abstract Data Type Theory. ADT 1986 | |
7 | Klaus P. Jantke: The Recursive Power of Algebraic Semantics. Elektronische Informationsverarbeitung und Kybernetik 22(5/6): 275-296 (1986) | |
1985 | ||
6 | Klaus P. Jantke: An algebraic framework for inductive program synthesis. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 101-122 | |
1984 | ||
5 | Klaus P. Jantke: Program Synthesis By Analogy- A Two-Phased Approach. AIMSA 1984: 67-75 | |
4 | Klaus P. Jantke: Polynomial Time Inference of General Pattern Languages. STACS 1984: 314-325 | |
1981 | ||
3 | Klaus P. Jantke, Hans-Rainer Beick: Combining Postulates of Naturalness in Inductive Inference. Elektronische Informationsverarbeitung und Kybernetik 17(8/9): 465-484 (1981) | |
1979 | ||
2 | Klaus P. Jantke: Automatic synthesis of programs and inductive inference of functions. FCT 1979: 219-225 | |
1 | Klaus P. Jantke: Natural Properties of Strategies Identifying Recursive Functions. Elektronische Informationsverarbeitung und Kybernetik 15(10): 487-496 (1979) |