default search action
Klaus P. Jantke
Person information
- affiliation: Fraunhofer IDMT
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j13]Oksana Arnold, Ronny Franke, Klaus P. Jantke, Rainer Knauf, Tanja Schramm, Hans-Holger Wache:
Deontic Knowledge Representation and Reasoning in Industrial Accident Prevention Training by Means of Time Travel Prevention Games. Int. J. Adv. Corp. Learn. 17(2): 4-16 (2024) - [j12]Avelino J. Gonzalez, Thomas Anchor, Anthony Hevia, Andres Posadas, Josh Wade, Rebeca Amaya Ansag, Kyle A. Benko, Brooke Bottoni, Vera A. Kazakova, Matthew Alvarez, Josiah Wong, Jordan T. Martin, Rainer Knauf, Klaus P. Jantke, Annie S. Wu:
The evolution of the fAIble system to automatically compose and narrate stories for children. J. Exp. Theor. Artif. Intell. 36(4): 611-656 (2024) - 2022
- [j11]Oksana Arnold, Ronny Franke, Klaus P. Jantke, Hans-Holger Wache:
Professional Training for Industrial Accident Prevention with Time Travel Games. Int. J. Adv. Corp. Learn. 15(1) (2022) - [c90]Oksana Arnold, Sebastian Golchert, Michel Rennert, Klaus P. Jantke:
Interactive Collaborative Learning with Explainable Artificial Intelligence. ICL (1) 2022: 13-24 - 2021
- [c89]Oksana Arnold, Klaus P. Jantke:
The Time Travel Exploratory Games Approach: An Artificial Intelligence Perspective. CSEDU (Selected Papers) 2021: 40-54 - [c88]Oksana Arnold, Klaus P. Jantke:
AI Planning for Unique Learning Experiences: The Time Travel Exploratory Games Approach. CSEDU (1) 2021: 124-132 - 2020
- [c87]Brooke Bottoni, Yasmine Moolenaar, Anthony Hevia, Thomas Anchor, Kyle A. Benko, Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez, Annie S. Wu:
Character Depth and Sentence Diversification in Automated Narrative Generation. FLAIRS 2020: 21-26
2010 – 2019
- 2019
- [c86]Matthew Alvarez, Rebeca E. Amaya, Kyle A. Benko, Jordan T. Martin, Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez:
Hello, Narratives: Character Development in Automated Narrative Generation. FLAIRS 2019: 257-263 - 2018
- [c85]Vera A. Kazakova, Lauren Hastings, Andres Posadas, Lucas C. Gonzalez, Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez:
Let Us Tell You a fAIble: Content Generation through Graph-Based Cognition. FLAIRS 2018: 282-287 - 2017
- [c84]Josh Wade, Josiah Wong, Max Waldor, Lucas Pasqualin, Klaus P. Jantke, Rainer Knauf, Avelino J. Gonzalez:
A Stochastic Approach to Character Growth in Automated Narrative Generation. FLAIRS 2017: 152-157 - [c83]Jun Fujima, Klaus P. Jantke, Oksana Arnold, Bernd Schmidt:
Interaction Semantics versus Interaction Syntax in Data Visualization and Exploration: Design, Implementation and Utilization of Meme Media. FLAIRS 2017: 231-234 - 2016
- [c82]Klaus P. Jantke, Oksana Arnold, Torsten Bosecker:
Exploratory Game Play to Support Language Learning: Dinner Talk. CSEDU (2) 2016: 161-166 - [c81]Klaus P. Jantke, Bernd Schmidt, Rosalie Schnappauf:
Next Generation Learner Modeling by Theory of Mind Model Induction. CSEDU (1) 2016: 499-506 - [c80]Leif Scheuermann, Klaus P. Jantke, Walter Scheuermann:
Erlebter Raum im Rom der späten Republik - eine digitale Forschungsumgebung. DH 2016: 670-671 - 2015
- [c79]Susanne Friedemann, Lisa Baumbach, Klaus P. Jantke:
Textbook Gamification - Transforming Exercises into Playful Quests by using Webble Technology. CSEDU (2) 2015: 116-126 - [c78]Susanne Friedemann, Klaus P. Jantke, Lisa Baumbach:
Textbook Gamification: Methods and Technologies. CSEDU (Selected Papers) 2015: 406-424 - [c77]Leif Scheuermann, Wolfgang Spickermann, Susanne Rau, René Smolarski, Martin Dreher, Charlotte Schubert, Roxana Kath, Michaela Rücker, Klaus P. Jantke:
Zur Integration computerbasierter raum-zeitlicher Visualisierungen in die Methodik der historischen Wissenschaften. DHd 2015 - [c76]Klaus P. Jantke, Tim Hume:
Effective learning through meaning construction in digital role playing games. ICCE 2015: 653-656 - [c75]Klaus P. Jantke, Jun Fujima:
Analysis, Visualization and Exploration Scenarios: Formal Methods for Systematic Meta Studies of Big Data Applications. ISIP 2015: 107-127 - 2014
- [c74]Jacqueline Krebs, Klaus P. Jantke:
Methods and Technologies for Wrapping - Educational Theory into Serious Games. CSEDU (1) 2014: 497-502 - [c73]Susanne Friedemann, Katharina Meier, Klaus P. Jantke:
Here's Looking at You, Player - The Potential of Eye Tracking Analysis for Player-centered Learning Game Design. CSEDU (1) 2014: 532-538 - [c72]Leif Scheuermann, Thomas Grotum, Werner Rieß, Christoph Schäfer, Charlotte Schubert, Klaus P. Jantke, Wolfgang Spickermann:
ICE/AGE - Von der Anwendungsinsel zum digitalen Marktplatz und Hörsaal. DHd 2014 - [c71]Klaus P. Jantke, Oksana Arnold:
Patterns - The key to game amusement studies. GCCE 2014: 478-482 - [c70]Johannes Winter, Klaus P. Jantke:
Formal concepts and methods fostering creative thinking in digital game design. GCCE 2014: 483-487 - [c69]Klaus P. Jantke, Jacqueline Krebs, Markus Santoso:
Game amusement & CRM: Castle Scharfenstein AR case study. GCCE 2014: 488-491 - [c68]Jun Fujima, Klaus P. Jantke:
Web service wrapping technologies for customizable consumer electronics. GCCE 2014: 560-564 - 2013
- [c67]Sebastian Arnold, Jun Fujima, Klaus P. Jantke:
Storyboarding Serious Games for Large-scale Training Applications. CSEDU 2013: 651-655 - [c66]Klaus P. Jantke, Sebastian Spundflasch:
Understanding Pervasive Games for Purposes of Learning. CSEDU 2013: 696-701 - [c65]Oksana Arnold, Klaus P. Jantke, Sebastian Spundflasch:
Hierarchies of pervasive games by storyboarding. IGIC 2013: 6-15 - [c64]Jun Fujima, Klaus P. Jantke, Sebastian Arnold:
Digital game playing as storyboard interpretation. IGIC 2013: 64-71 - [c63]Masahiro Inoue, Ryozo Kiyohara, Tomochika Ozaki, Kazuyuki Kojima, Takahiro Okumura, Shingo Yamaguchi, Toshiyuki Miyamoto, Akiko Yoshida, Tomio Goto, Toshiaki Fujii, Masaru Sakurai, Daisuke Sakamoto, Yoshinari Takegawa, Hitomi Tsujita, Takuji Narumi, Makio Fukuda, Klaus P. Jantke, Tomoyuki Takami, Toshihiro Hayashi, Kazuhiko Kawahara, Akira Nishimura, Kazuma Hoshi, Eunmi L. Oh, Yoshihiro Saito, Tohru Nakanishi:
Introduction to special sessions and the SS chairs/co-chairs. GCCE 2013 - [c62]Klaus P. Jantke, Oksana Arnold, Sebastian Spundflasch:
Aliens on the Bus: A family of pervasive games. GCCE 2013: 387-391 - [c61]Klaus P. Jantke, Hans-Rainer Beick, Yuriy Brovko, Sebastian Drefahl:
Refinement of Adaptivity by Reflection. SITIS 2013: 309-316 - 2012
- [c60]Oksana Arnold, Jun Fujima, Klaus P. Jantke, Yuzuru Tanaka:
Exploring and Understanding the Abstract by Direct Manipulation of the Concrete. CSEDU (2) 2012: 100-107 - [c59]Klaus P. Jantke, Rainer Knauf:
Taxonomic Concepts for Storyboarding Digital Games for Learning in Context. CSEDU (2) 2012: 401-409 - [c58]Jun Fujima, Klaus P. Jantke, Oksana Arnold:
Media Multiplicity at Your Fingertips: Direct Manipulation Based on Webbles. ICME Workshops 2012: 217-222 - [c57]Klaus P. Jantke, Jun Fujima, Oksana Arnold, André Schulz:
Memetic Communication Media - Concepts, Technologies, Applications. ICME Workshops 2012: 260-265 - 2011
- [c56]Klaus P. Jantke, André Schulz:
Adaptivity in Moodle beyond the Limits of Adaptivity in Moodle. CSEDU (1) 2011: 418-421 - 2010
- [c55]Andrea Hofmann, Imke Hoppe, Klaus P. Jantke:
The Need for Special Games for Gamers with Special Needs. CSEDU (2) 2010: 220-225 - [c54]Klaus P. Jantke:
The Gorge Approach - Digital Game Control and Play for Playfully Developing Technology Competence. CSEDU (1) 2010: 411-414 - [c53]Klaus P. Jantke, Swen E. Gaudl:
Taxonomic contributions to digital games science. ICE-GIC 2010: 180-187 - [e17]Klaus P. Jantke, Aran Lunzer, Nicolas Spyratos, Yuzuru Tanaka:
Federation over the Web - International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers. Lecture Notes in Computer Science 3847, Springer 2010, ISBN 978-3-540-31018-1 [contents]
2000 – 2009
- 2009
- [c52]Klaus P. Jantke:
Dramaturgical Design of the Narrative in Digital Games: AI planning of conflicts in non-linear spaces of time. CIG 2009: 88-95 - [c51]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 2009 - [c50]G. Michael Youngblood, Klaus P. Jantke:
Special Track on Games and Entertainment. FLAIRS 2009 - [c49]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 - [c48]Klaus P. Jantke:
The Evolution of Story Spaces of Digital Games beyond the Limits of Linearity and Monotonicity. ICIDS 2009: 308-311 - 2008
- [c47]Klaus P. Jantke:
German Girls Are Goofy. An Investigation into the Knowledge Deficiencies of Digital Games that Are Designed for Learning. FLAIRS 2008: 381-385 - 2006
- [c46]Klaus P. Jantke:
Games that do not exist communication design beyond the current limits. SIGDOC 2006: 35-42 - [e16]Ljupco Todorovski, Nada Lavrac, Klaus P. Jantke:
Discovery Science, 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings. Lecture Notes in Computer Science 4265, Springer 2006, ISBN 3-540-46491-3 [contents] - 2005
- [c45]Roland H. Kaschek, Klaus P. Jantke, István-Tibor Nébel:
Towards Understanding Meme Media Knowledge Evolution. Federation over the Web 2005: 183-201 - [c44]Rainer Knauf, Klaus P. Jantke:
Towards an Evaluation of (e-)Learning Systems. FLAIRS 2005: 226-231 - [c43]Klaus P. Jantke, Aran Lunzer:
Search, Comparison and Evaluation in Exploratory E-Learning with Subjunctive Interfaces. Wissensmanagement 2005: 140-145 - [c42]Klaus P. Jantke, Aran Lunzer, Jun Fujima:
Subjunctive Interfaces in Exploratory e-Learning. Wissensmanagement (LNCS Volume) 2005: 176-188 - [e15]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. LNI P-72, GI 2005, ISBN 3-88579-401-2 [contents] - 2004
- [c41]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 - [c40]Klaus P. Jantke:
The Biotope Issue in Meme Media Implementations. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 99-107 - [c39]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 - [c38]Klaus P. Jantke, Gunter Grieser, Steffen Lange, Martin Memmel:
DaMiT: Data Mining lernen und lehren. LWA 2004: 171-179 - 2003
- [j10]Steffen Lange, Gunter Grieser, Klaus P. Jantke:
Advanced elementary formal systems. Theor. Comput. Sci. 298(1): 51-70 (2003) - [c37]Klaus P. Jantke, Martin Memmel, Oleg Rostanin, Bernhard Thalheim, Bernd Tschiedel:
Decision Support By Learning-On-Demand. CAiSE Workshops 2003 - [c36]Klaus P. Jantke:
DaMiT - Peculiartities of an e-Learning System. MMGPS 2003 - [e14]Ricard Gavaldà, Klaus P. Jantke, Eiji Takimoto:
Algorithmic Learning Theory, 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings. Lecture Notes in Computer Science 2842, Springer 2003, ISBN 3-540-20291-9 [contents] - 2002
- [c35]Gunter Grieser, Klaus P. Jantke, Steffen Lange:
Consistency Queries in Information Extraction. ALT 2002: 173-187 - [c34]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 2002: 216-220 - 2001
- [c33]Steffen Lange, Gunter Grieser, Klaus P. Jantke:
Extending Elementary Formal Systems. ALT 2001: 332-347 - [c32]Klaus P. Jantke, Oliver Keller:
Secure Systems Development -- The Evolving Integration of Validation and Verification. FLAIRS 2001: 630-634 - [c31]Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke:
The Character of Human Behavior Representation and Its Impact on the Validation Issue. FLAIRS 2001: 635-639 - [e13]Klaus P. Jantke, Ayumi Shinohara:
Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings. Lecture Notes in Computer Science 2226, Springer 2001, ISBN 3-540-42956-5 [contents] - 2000
- [c30]Gunter Grieser, Klaus P. Jantke, Steffen Lange, Bernd Thomas:
A Unifying Approach to HTML Wrapper Representation and Learning. Discovery Science 2000: 50-64 - [c29]Volker Dötsch, Gunter Grieser, Klaus P. Jantke, Steffen Lange:
Formal Concepts of Learning Systems Validation in Use. FLAIRS 2000: 319-324 - [c28]Volker Dötsch, Klaus P. Jantke:
TIC - A Toolkit for Valication in Formal Language Learning. FLAIRS 2000: 325-330 - [c27]Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke:
Towards Validation of Rule-Based Systems - The Loop is Closed. FLAIRS 2000: 331-335
1990 – 1999
- 1999
- [c26]Klaus P. Jantke, Jörg Herrmann:
Lattices of Knowledge in Intelligent Systems Validation. FLAIRS 1999: 499-505 - [c25]Rainer Knauf, Avelino J. Gonzalez, Klaus P. Jantke:
Towards Validation of Case-Based Systems. FLAIRS 1999: 516-520 - [c24]Hans-Rainer Beick, Klaus P. Jantke:
Validation of CBL Principles. FLAIRS 1999: 526-530 - 1998
- [c23]Gunter Grieser, Klaus P. Jantke, Steffen Lange:
Towards the Validation of Inductive Learning Systems. ALT 1998: 409-423 - [c22]Gunter Grieser, Klaus P. Jantke, Steffen Lange:
Characterizing Sufficient Expertise for Learning Systems Validation. FLAIRS 1998: 452-456 - [c21]Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez, Ilka Philippow:
Fundamental Considerations of Competence Assessment for Validation. FLAIRS 1998: 457-461 - [c20]Jörg Herrmann, Klaus P. Jantke, Rainer Knauf:
Variants of Validity and their Impact on the Overall Test Space. FLAIRS 1998: 472-477 - 1997
- [j9]Oksana Arnold, Klaus P. Jantke:
Inductive Program Synthesis for Theory Plan Generation. New Gener. Comput. 15(1): 27-58 (1997) - [j8]Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara:
On Case Based Learnability of Language. New Gener. Comput. 15(1): 39-83 (1997) - 1996
- [j7]Angi Voß, Brigitte Bartsch-Spörl, Ludger Hovestadt, Klaus P. Jantke, Uwe Petersohn, Gerhard Strube:
FABEL. Künstliche Intell. 10(3): 70-76 (1996) - [c19]Klaus P. Jantke, Oksana Arnold:
A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. TIME 1996: 182-187 - 1995
- [j6]Klaus P. Jantke:
Aktualität der Wissensrepräsentation aus Sicht des Algorithmischen Lernens. Künstliche Intell. 9(5): 6-12 (1995) - [j5]Klaus P. Jantke, Steffen Lange:
Case-Based Representation and Learning of Pattern Languages. Theor. Comput. Sci. 137(1): 25-51 (1995) - [c18]Klaus P. Jantke:
Reflecting and Self-Confident Inductive Inference Machines. ALT 1995: 282-297 - [c17]Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann:
Editor's Introduction. ALT 1995: ix-xv - [e12]Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann:
Algorithmic Learning Theory, 6th International Conference, ALT '95, Fukuoka, Japan, October 18-20, 1995, Proceedings. Lecture Notes in Computer Science 997, Springer 1995, ISBN 3-540-60454-5 [contents] - [e11]Klaus P. Jantke, Steffen Lange:
Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report. Lecture Notes in Computer Science 961, Springer 1995, ISBN 3-540-60217-8 [contents] - 1994
- [c16]Oksana Arnold, Klaus P. Jantke:
Therapy Plan Generation as Program Synthesis. AII/ALT 1994: 40-55 - [c15]Yasubumi Sakakibara, Klaus P. Jantke, Steffen Lange:
Learning Languages by Collecting Cases and Tuning Parameters. AII/ALT 1994: 532-546 - [e10]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. Lecture Notes in Computer Science 872, Springer 1994, ISBN 3-540-58520-6 [contents] - 1993
- [c14]Klaus P. Jantke, Steffen Lange:
Case-Based Representation and Learning of Pattern Languages. ALT 1993: 87-100 - [e9]Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyoaki Nishida:
Algorithmic Learning Theory, Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992, Proceedings. Lecture Notes in Computer Science 743, Springer 1993, ISBN 3-540-57369-0 [contents] - [e8]Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori:
Algorithmic Learning Theory, 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993, Proceedings. Lecture Notes in Computer Science 744, Springer 1993, ISBN 3-540-57370-4 [contents] - [e7]Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt:
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Lecture Notes in Computer Science 659, Springer 1993, ISBN 3-540-56433-0 [contents] - 1992
- [c13]Klaus P. Jantke:
Case-Based Learning in Inductive Inference. COLT 1992: 218-223 - [e6]Klaus P. Jantke:
Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings. Lecture Notes in Computer Science 642, Springer 1992, ISBN 3-540-56004-1 [contents] - 1991
- [j4]Klaus P. Jantke:
Monotonic and Non-monotonic Inductive Inference. New Gener. Comput. 8(4): 349-360 (1991) - [c12]Klaus P. Jantke, Ulf Goldhammer:
Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). LOPSTR 1991: 65-68 - [e5]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. Lecture Notes in Computer Science 534, Springer 1991, ISBN 3-540-54496-8 [contents] - [e4]Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt:
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Lecture Notes in Computer Science 543, Springer 1991, ISBN 3-540-54564-6 [contents] - 1990
- [c11]Steffen Lange, Klaus P. Jantke:
Inductive Completion for Transformation of Equational Specifications. ADT 1990: 117-140 - [c10]Klaus P. Jantke:
Monotonic and Non-Monotonic Inductive Inference. ALT 1990: 269-281 - [c9]Klaus P. Jantke:
Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns. Nonmonotonic and Inductive Logic 1990: 161-177
1980 – 1989
- 1989
- [c8]Muffy Thomas, Klaus P. Jantke:
Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII 1989: 288-303 - [e3]Klaus P. Jantke:
Analogical and Inductive Inference, International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings. Lecture Notes in Computer Science 397, Springer 1989, ISBN 3-540-51734-0 [contents] - 1988
- [c7]Klaus P. Jantke:
On Solving Divergence in Knuth-Bendix Completion. ADT 1988 - [c6]Klaus P. Jantke:
Algorithmic Learning from Incomplete Information - Principles and Problems. IMYCS 1988: 188-207 - 1987
- [e2]Klaus P. Jantke:
Analogical and Inductive Inference, International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings. Lecture Notes in Computer Science 265, Springer 1987, ISBN 3-540-18081-8 [contents] - 1986
- [j3]Klaus P. Jantke:
The Recursive Power of Algebraic Semantics. J. Inf. Process. Cybern. 22(5/6): 275-296 (1986) - [c5]Klaus P. Jantke:
Recursion-Theoretic Problems in Abstract Data Type Theory. ADT 1986 - [e1]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. Lecture Notes in Computer Science 215, Springer 1986, ISBN 3-540-16444-8 [contents] - 1985
- [c4]Klaus P. Jantke:
An algebraic framework for inductive program synthesis. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 101-122 - 1984
- [b1]Klaus P. Jantke:
Ein allgemeiner Zugang zu Problemen der induktiven Inferenz. Humboldt University of Berlin, Unter den Linden, Germany, 1984 - [c3]Klaus P. Jantke:
Program Synthesis By Analogy- A Two-Phased Approach. AIMSA 1984: 67-75 - [c2]Klaus P. Jantke:
Polynomial Time Inference of General Pattern Languages. STACS 1984: 314-325 - 1981
- [j2]Klaus P. Jantke, Hans-Rainer Beick:
Combining Postulates of Naturalness in Inductive Inference. J. Inf. Process. Cybern. 17(8/9): 465-484 (1981)
1970 – 1979
- 1979
- [j1]Klaus P. Jantke:
Natural Properties of Strategies Identifying Recursive Functions. J. Inf. Process. Cybern. 15(10): 487-496 (1979) - [c1]Klaus P. Jantke:
Automatic synthesis of programs and inductive inference of functions. FCT 1979: 219-225