dblp.uni-trier.dewww.uni-trier.de

Klaus P. Jantke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
70EEKlaus 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
66EEKlaus 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
64EEVolker 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
63EEKlaus 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
60EEKlaus 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
58EESteffen Lange, Gunter Grieser, Klaus P. Jantke: Advanced elementary formal systems. Theor. Comput. Sci. 1(298): 51-70 (2003)
2002
57EEGunter 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
54EESteffen 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
51EEGunter 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
44EEGunter 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)
31EEKlaus 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
22EEKlaus 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
11EEKlaus 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
4EEKlaus 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)

Coauthor Index

1Setsuo Arikawa [30]
2Oksana Arnold [29] [38] [40]
3Brigitte Bartsch-Spörl [37]
4Hans-Rainer Beick [3] [45]
5Wolfgang Bibel [9]
6Gerhard Brewka [27]
7Muffy Calder (Muffy Thomas) [13]
8Jürgen Dix [20]
9Shuji Doshita [26]
10Volker Dötsch [49] [50] [64]
11Hartmut Ehrig [21]
12Klaus-Peter Fähnrich [69]
13Jun Fujima [66]
14Koichi Furukawa [26]
15Ricard Gavaldà [61]
16Christoph Globig [39]
17Ulf Goldhammer [19]
18Avelino J. Gonzalez [42] [46] [48] [52] [56]
19Gunter Grieser [43] [44] [50] [51] [54] [57] [58] [62] [65]
20Peter A. Grigoriev [65]
21Jörg Herrmann [41] [47]
22Ludger Hovestadt [37]
23Kimihito Ito [64]
24Oliver Keller [53]
25Rainer Knauf [41] [42] [46] [48] [52] [56] [68]
26Shigenobu Kobayashi [25]
27Steffen Lange [17] [24] [28] [31] [36] [39] [43] [44] [50] [51] [54] [57] [58] [62] [65]
28Nada Lavrac [71]
29Aran Lunzer [66] [67]
30Martin Memmel [60] [62]
31Toyoaki Nishida [26]
32Fernando Orejas [21]
33Uwe Petersohn [37]
34Ilka Philippow [42] [48] [52] [56]
35Horst Reichel [21]
36Oleg Rostanin [60]
37Yasubumi Sakakibara [28] [39]
38Dirk Salecker [56]
39Peter H. Schmitt [20] [27]
40Ayumi Shinohara [55]
41Takeshi Shinohara [33] [35]
42Gerhard Strube [37]
43Eiji Takimoto [61]
44Bernhard Thalheim [60] [65]
45Bernd Thomas [51]
46Ljupco Todorovski [71]
47Etsuji Tomita [25]
48Bernd Tschiedel [60] [65]
49Angi Voß (Angi Voss) [37]
50Wolfgang S. Wittig [69]
51Takashi Yokomori [25]
52Thomas Zeugmann [33] [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)