| 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Steffen Lange,
Gunter Grieser,
Klaus P. Jantke:
Advanced elementary formal systems.
Theor. Comput. Sci. 1(298): 51-70 (2003) |
| 2002 |
|---|
| 57 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
