The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Klaus P. Jantke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Klaus P. Jantke
    Recursion-Theoretic Problems in Abstract Data Type Theory. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  2. Klaus P. Jantke
    On Solving Divergence in Knuth-Bendix Completion. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  3. Steffen Lange, Klaus P. Jantke
    Inductive Completion for Transformation of Equational Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:117-140 [Conf]
  4. Muffy Thomas, Klaus P. Jantke
    Inductive Inference for Solving Divergence in Knuth-Bendix Completion. [Citation Graph (0, 0)][DBLP]
    AII, 1989, pp:288-303 [Conf]
  5. Klaus P. Jantke
    An algebraic framework for inductive program synthesis. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:101-122 [Conf]
  6. Klaus P. Jantke
    Program Synthesis By Analogy- A Two-Phased Approach. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:67-75 [Conf]
  7. Oksana Arnold, Klaus P. Jantke
    Therapy Plan Generation as Program Synthesis. [Citation Graph (0, 0)][DBLP]
    AII/ALT, 1994, pp:40-55 [Conf]
  8. Gunter Grieser, Klaus P. Jantke, Steffen Lange
    Consistency Queries in Information Extraction. [Citation Graph (0, 0)][DBLP]
    ALT, 2002, pp:173-187 [Conf]
  9. Gunter Grieser, Klaus P. Jantke, Steffen Lange
    Towards the Validation of Inductive Learning Systems. [Citation Graph (0, 0)][DBLP]
    ALT, 1998, pp:409-423 [Conf]
  10. Klaus P. Jantke
    Monotonic and Non-Monotonic Inductive Inference. [Citation Graph (0, 0)][DBLP]
    ALT, 1990, pp:269-281 [Conf]
  11. Klaus P. Jantke
    Reflecting and Self-Confident Inductive Inference Machines. [Citation Graph (0, 0)][DBLP]
    ALT, 1995, pp:282-297 [Conf]
  12. Klaus P. Jantke, Steffen Lange
    Case-Based Representation and Learning of Pattern Languages. [Citation Graph (0, 0)][DBLP]
    ALT, 1993, pp:87-100 [Conf]
  13. Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann
    Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    ALT, 1995, pp:0-0 [Conf]
  14. Steffen Lange, Gunter Grieser, Klaus P. Jantke
    Extending Elementary Formal Systems. [Citation Graph (0, 0)][DBLP]
    ALT, 2001, pp:332-347 [Conf]
  15. Yasubumi Sakakibara, Klaus P. Jantke, Steffen Lange
    Learning Languages by Collecting Cases and Tuning Parameters. [Citation Graph (0, 0)][DBLP]
    AII/ALT, 1994, pp:532-546 [Conf]
  16. Klaus P. Jantke, Martin Memmel, Oleg Rostanin, Bernhard Thalheim, Bernd Tschiedel
    Decision Support By Learning-On-Demand. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops, 2003, pp:- [Conf]
  17. Klaus P. Jantke
    Case-Based Learning in Inductive Inference. [Citation Graph (0, 0)][DBLP]
    COLT, 1992, pp:218-223 [Conf]
  18. Volker Dötsch, Kimihito Ito, Klaus P. Jantke
    Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning. [Citation Graph (0, 0)][DBLP]
    Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, 2004, pp:68-87 [Conf]
  19. Klaus P. Jantke
    The Biotope Issue in Meme Media Implementations. [Citation Graph (0, 0)][DBLP]
    Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, 2004, pp:99-107 [Conf]
  20. Gunter Grieser, Klaus P. Jantke, Steffen Lange, Bernd Thomas
    A Unifying Approach to HTML Wrapper Representation and Learning. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2000, pp:50-64 [Conf]
  21. Klaus P. Jantke
    Automatic synthesis of programs and inductive inference of functions. [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:219-225 [Conf]
  22. Hans-Rainer Beick, Klaus P. Jantke
    Validation of CBL Principles. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:526-530 [Conf]
  23. Volker Dötsch, Gunter Grieser, Klaus P. Jantke, Steffen Lange
    Formal Concepts of Learning Systems Validation in Use. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:319-324 [Conf]
  24. Volker Dötsch, Klaus P. Jantke
    TIC - A Toolkit for Valication in Formal Language Learning. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:325-330 [Conf]
  25. Gunter Grieser, Klaus P. Jantke, Steffen Lange
    Characterizing Sufficient Expertise for Learning Systems Validation. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1998, pp:452-456 [Conf]
  26. Jörg Herrmann, Klaus P. Jantke, Rainer Knauf
    Variants of Validity and their Impact on the Overall Test Space. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1998, pp:472-477 [Conf]
  27. Klaus P. Jantke, Jörg Herrmann
    Lattices of Knowledge in Intelligent Systems Validation. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:499-505 [Conf]
  28. Klaus P. Jantke, Oliver Keller
    Secure Systems Development -- The Evolving Integration of Validation and Verification. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:630-634 [Conf]
  29. Rainer Knauf, Avelino J. Gonzalez, Klaus P. Jantke
    Towards Validation of Case-Based Systems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1999, pp:516-520 [Conf]
  30. Rainer Knauf, Klaus P. Jantke
    Towards an Evaluation of (e-)Learning Systems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2005, pp:226-231 [Conf]
  31. Rainer Knauf, Klaus P. Jantke, Avelino J. Gonzalez, Ilka Philippow
    Fundamental Considerations of Competence Assessment for Validation. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 1998, pp:457-461 [Conf]
  32. Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke
    Towards Validation of Rule-Based Systems - The Loop is Closed. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:331-335 [Conf]
  33. Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke
    The Character of Human Behavior Representation and Its Impact on the Validation Issue. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:635-639 [Conf]
  34. 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. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2002, pp:216-220 [Conf]
  35. 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. [Citation Graph (0, 0)][DBLP]
    ICEIS (5), 2004, pp:238-241 [Conf]
  36. Klaus P. Jantke
    Algorithmic Learning from Incomplete Information - Principles and Problems. [Citation Graph (0, 0)][DBLP]
    IMYCS, 1988, pp:188-207 [Conf]
  37. Klaus P. Jantke, Ulf Goldhammer
    Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1991, pp:65-68 [Conf]
  38. Klaus P. Jantke, Gunter Grieser, Steffen Lange, Martin Memmel
    DaMiT: Data Mining lernen und lehren. [Citation Graph (0, 0)][DBLP]
    LWA, 2004, pp:171-179 [Conf]
  39. Klaus P. Jantke
    DaMiT - Peculiartities of an e-Learning System. [Citation Graph (0, 0)][DBLP]
    MMGPS, 2003, pp:- [Conf]
  40. Klaus P. Jantke
    Monotonic and Nonmonotonic Inductive Inference of Functions and Patterns. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1990, pp:161-177 [Conf]
  41. Klaus P. Jantke
    Games that do not exist communication design beyond the current limits. [Citation Graph (0, 0)][DBLP]
    SIGDOC, 2006, pp:35-42 [Conf]
  42. Klaus P. Jantke
    Polynomial Time Inference of General Pattern Languages. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:314-325 [Conf]
  43. Klaus P. Jantke, Oksana Arnold
    A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. [Citation Graph (0, 0)][DBLP]
    TIME, 1996, pp:- [Conf]
  44. Klaus P. Jantke, Aran Lunzer
    Search, Comparison and Evaluation in Exploratory E-Learning with Subjunctive Interfaces. [Citation Graph (0, 0)][DBLP]
    Wissensmanagement, 2005, pp:140-145 [Conf]
  45. Klaus P. Jantke, Aran Lunzer, Jun Fujima
    Subjunctive Interfaces in Exploratory e-Learning. [Citation Graph (0, 0)][DBLP]
    Wissensmanagement (LNCS Volume), 2005, pp:176-188 [Conf]
  46. Klaus P. Jantke
    Natural Properties of Strategies Identifying Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1979, v:15, n:10, pp:487-496 [Journal]
  47. Klaus P. Jantke
    The Recursive Power of Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1986, v:22, n:5/6, pp:275-296 [Journal]
  48. Klaus P. Jantke, Hans-Rainer Beick
    Combining Postulates of Naturalness in Inductive Inference. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1981, v:17, n:8/9, pp:465-484 [Journal]
  49. Klaus P. Jantke
    Aktualität der Wissensrepräsentation aus Sicht des Algorithmischen Lernens. [Citation Graph (0, 0)][DBLP]
    KI, 1995, v:9, n:5, pp:6-12 [Journal]
  50. Angi Voß, Brigitte Bartsch-Spörl, Ludger Hovestadt, Klaus P. Jantke, Uwe Petersohn, Gerhard Strube
    FABEL. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:3, pp:70-76 [Journal]
  51. Oksana Arnold, Klaus P. Jantke
    Inductive Program Synthesis for Theory Plan Generation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:1, pp:27-58 [Journal]
  52. Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara
    On Case Based Learnability of Language. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:1, pp:39-83 [Journal]
  53. Klaus P. Jantke
    Monotonic and Non-monotonic Inductive Inference. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:8, n:4, pp:349-0 [Journal]
  54. Klaus P. Jantke, Steffen Lange
    Case-Based Representation and Learning of Pattern Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:137, n:1, pp:25-51 [Journal]
  55. Steffen Lange, Gunter Grieser, Klaus P. Jantke
    Advanced elementary formal systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:298, pp:51-70 [Journal]

  56. German Girls Are Goofy. An Investigation into the Knowledge Deficiencies of Digital Games that Are Designed for Learning. [Citation Graph (, )][DBLP]


  57. In Search for the Human Factor in Rule Based Game AI: The GrinTu Evaluation and Refinement Approach. [Citation Graph (, )][DBLP]


  58. Special Track on Games and Entertainment. [Citation Graph (, )][DBLP]


  59. The Evolution of Story Spaces of Digital Games beyond the Limits of Linearity and Monotonicity. [Citation Graph (, )][DBLP]


  60. The Good, the Bad and the Ugly: Short Stories in Short Game Play. [Citation Graph (, )][DBLP]


Search in 0.046secs, Finished in 0.050secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002