![]() | 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) |