The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christoph Beierle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
    An Order-Sorted Logic for Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1992, v:55, n:2, pp:149-191 [Journal]
  2. Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
    The Knowledge Representation Language LLILOG. [Citation Graph (1, 0)][DBLP]
    CSL, 1988, pp:14-51 [Conf]
  3. Christoph Beierle
    Vertical and Horizontal Compositions of Implementation Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  4. Christoph Beierle, Angi Voß
    Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  5. Christoph Beierle, Angi Voß
    A Parameterization Concept for Hierarchies of Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  6. Christoph Beierle, Angi Voß
    Implementation Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:39-53 [Conf]
  7. Christoph Beierle, Udo Pletat
    Integrating Logic Programming and Equational Specification of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:71-82 [Conf]
  8. Christoph Beierle, Gabriele Kern-Isberner
    Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:186-203 [Conf]
  9. Christoph Beierle, Gabriele Kern-Isberner
    Footprints of Conditionals. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:99-119 [Conf]
  10. Christoph Beierle, Walter G. Olthoff, Angi Voß
    Automatic Theorem Proving in the ISDV System. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:670-671 [Conf]
  11. Christoph Beierle, Udo Pletat
    Feature graphs and abstract data types: a unifying approach. [Citation Graph (0, 0)][DBLP]
    COLING, 1988, pp:40-45 [Conf]
  12. Christoph Beierle, Egon Börger
    Correctness Proof For the WAM with Types. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:15-34 [Conf]
  13. Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
    Computer Science Exercises in a Virtual University. [Citation Graph (0, 0)][DBLP]
    CSREA EEE, 2006, pp:23-29 [Conf]
  14. Christoph Beierle, Angi Voß
    Viewing Implementations as an Institution. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:196-218 [Conf]
  15. Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
    Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:52-78 [Conf]
  16. Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso
    Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf]
  17. Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera
    Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. [Citation Graph (0, 0)][DBLP]
    DeLFI, 2005, pp:523-524 [Conf]
  18. Christoph Beierle, Marjaa Kulaa, Manfred Widera
    Automatic Analysis of Programming Assignments. [Citation Graph (0, 0)][DBLP]
    DeLFI, 2003, pp:144-153 [Conf]
  19. Immo Schulz-Gerlach, Christoph Beierle
    Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. [Citation Graph (0, 0)][DBLP]
    DeLFI, 2006, pp:243-254 [Conf]
  20. Christoph Beierle
    Synthesizing Minimal Programs from Traces of Observable Behaviour. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:96-101 [Conf]
  21. Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle
    An Extendable System for the Specification and Generation of Interactive Self-tests. [Citation Graph (0, 0)][DBLP]
    Edutainment, 2006, pp:316-321 [Conf]
  22. Christoph Beierle, Gabriele Kern-Isberner
    A Note on Comparing Semantics for Conditionals. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2006, pp:794-799 [Conf]
  23. Christoph Beierle, Gregor Meyer
    Using Types as Approximations for Type Checking Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:251-266 [Conf]
  24. Manfred Widera, Christoph Beierle
    Combining Strict and Soft Typing in Functional Programming. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1999, pp:350-359 [Conf]
  25. Christoph Beierle, Gabriele Kern-Isberner
    An Alternative View of Knowledge Discovery. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:68- [Conf]
  26. Christoph Beierle, Gabriele Kern-Isberner
    On the Interpretation of Uncertain Rules in Prepositional Logic. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2002, pp:522-528 [Conf]
  27. Christoph Beierle
    Type Inferencing for Polymorphic Order-Sorted Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:765-779 [Conf]
  28. Christoph Beierle
    Formal Design of an Abstract Machine for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:377-382 [Conf]
  29. Christoph Beierle, Gabriele Kern-Isberner
    Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:161-172 [Conf]
  30. Christoph Beierle
    Types, Modules and Databases in the Logic Programming Language PROTOS-L. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:73-110 [Conf]
  31. Christoph Beierle, Udo Pletat, Hans Uszkoreit
    An Algebraic Characterization of STUF. [Citation Graph (0, 0)][DBLP]
    Computerlinguistik und ihre theoretischen Grundlagen, 1988, pp:15-32 [Conf]
  32. Christoph Beierle, Gabriele Kern-Isberner
    A Logical Study on Qualitative Default Reasoning with Probabilities. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:376-388 [Conf]
  33. Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner
    Using Answer Set Programming for a Decision Support System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:374-378 [Conf]
  34. Christoph Beierle
    Knowledge Based PPS Applications in PROTOS-L. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:80-90 [Conf]
  35. Christoph Beierle, Udo Pletat
    On the Integration of Equality, Sorts, and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1987, pp:133-144 [Conf]
  36. Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
    Algebraic Knowledge Discovery Using Haskell. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:80-93 [Conf]
  37. Christoph Beierle, Gregor Meyer, Heiner Semle
    A Brief Description of the PROTOS-L System. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:402-404 [Conf]
  38. Manfred Widera, Christoph Beierle
    Detecting common elements of types. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2000, pp:173-184 [Conf]
  39. Manfred Widera, Christoph Beierle
    Function Types in Complete Type Inference. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2001, pp:111-122 [Conf]
  40. Manfred Widera, Christoph Beierle
    How to Combine the Benefits of Strict and Soft Typing. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:68-78 [Conf]
  41. Christoph Beierle, Gregor Meyer, Heiner Semle
    Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:272-286 [Conf]
  42. Christoph Beierle, Walter G. Olthoff, Angi Voß
    A Software Development Environment Integrating Specification and Programming Languages. [Citation Graph (0, 0)][DBLP]
    Software-Architektur, 1986, pp:9-25 [Conf]
  43. Christoph Beierle, Angi Voß
    On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:245-259 [Conf]
  44. Christoph Beierle, Angi Voß
    Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:320-334 [Conf]
  45. Christoph Beierle, Stefan Böttcher
    PROTOS-L: Towards a Knowledge Base Programming Language. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1989, pp:388-400 [Conf]
  46. Christoph Beierle, Marija Kulas, Manfred Widera
    A Pragmatic Approach to Pre-testing Prolog Programs. [Citation Graph (0, 0)][DBLP]
    INAP/WLP, 2004, pp:294-308 [Conf]
  47. Marija Kulas, Christoph Beierle
    Defining Standard Prolog in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  48. Christoph Beierle, Egon Börger
    Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:4, pp:428-462 [Journal]
  49. Christoph Beierle, Egon Börger
    Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:539-564 [Journal]
  50. Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle
    Prolog at IBM: An Advanced and Evolving Application Development Technology. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1992, v:31, n:4, pp:755-773 [Journal]
  51. Christoph Beierle, Walter G. Olthoff, Angi Voß
    Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1988, v:11, n:6, pp:292-302 [Journal]
  52. Christoph Beierle, Gregor Meyer
    Run-Time Type Computations in the Warren Abstract Machine. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:18, n:2, pp:123-148 [Journal]
  53. Christoph Beierle, Reinhold Kloos, Gregor Meyer
    A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
  54. Christoph Beierle, Udo Pletat, Rudi Studer
    Knowledge Representation for Natural Language Understanding: The LLILOG Approach. [Citation Graph (0, 15)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1993, v:5, n:3, pp:386-401 [Journal]
  55. Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle
    Learning Uncertain Rules with CONDORCKD. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:74-79 [Conf]

  56. A Verified AsmL Implementation of Belief Revision. [Citation Graph (, )][DBLP]


  57. A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). [Citation Graph (, )][DBLP]


  58. Automated Reasoning for Relational Probabilistic Knowledge Representation. [Citation Graph (, )][DBLP]


  59. Probabilistic Reasoning at Optimum Entropy with the MEcore System. [Citation Graph (, )][DBLP]


  60. A System for Relational Probabilistic Reasoning on Maximum Entropy. [Citation Graph (, )][DBLP]


  61. The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. [Citation Graph (, )][DBLP]


  62. Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry. [Citation Graph (, )][DBLP]


  63. A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. [Citation Graph (, )][DBLP]


  64. An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. [Citation Graph (, )][DBLP]


  65. Looking at Probabilistic Conditionals from an Institutional Point of View. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
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