Christoph Beierle Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics. FoIKS 2010: 191-210
2009
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner: Probabilistic Reasoning at Optimum Entropy with the MEcore System. FLAIRS Conference 2009
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations. KI 2009: 273-280
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner: An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. LPNMR 2009: 496-501
2008
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: A Verified AsmL Implementation of Belief Revision. ABZ 2008: 98-111
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner, Nicole Koch: A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR 2008: 147-153
2007
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Fisseler, Gabriele Kern-Isberner, Christoph Beierle: Learning Uncertain Rules with CONDORCKD. FLAIRS Conference 2007: 74-79
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller: Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93
2006
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImmo Schulz-Gerlach, Christoph Beierle: Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. DeLFI 2006: 243-254
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment 2006: 316-321
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: A Note on Comparing Semantics for Conditionals. FLAIRS Conference 2006: 794-799
2005
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera: Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI 2005: 523-524
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Oliver Dusso, Gabriele Kern-Isberner: Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Kern-Isberner, Christoph Beierle, Oliver Dusso: Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
2004
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308
2003
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Marjaa Kulaa, Manfred Widera: Automatic Analysis of Programming Assignments. DeLFI 2003: 144-153
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: An Alternative View of Knowledge Discovery. HICSS 2003: 68
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003: 376-388
2002
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI 2002: 522-528
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gabriele Kern-Isberner: Looking at Probabilistic Conditionals from an Institutional Point of View. WCII 2002: 162-179
2001
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Widera, Christoph Beierle: Function Types in Complete Type Inference. Scottish Functional Programming Workshop 2001: 111-122
2000
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Widera, Christoph Beierle: Detecting common elements of types. Scottish Functional Programming Workshop 2000: 173-184
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarija Kulas, Christoph Beierle: Defining Standard Prolog in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gregor Meyer: Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming 1999: 251-266
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Widera, Christoph Beierle: Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung 1999: 350-359
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Widera, Christoph Beierle: How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop 1999: 68-78
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Reinhold Kloos, Gregor Meyer: A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1996
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Egon Börger: Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Asp. Comput. 8(4): 428-462 (1996)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Egon Börger: Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Asp. Comput. 8(5): 539-564 (1996)
1995
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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. Formal Methods for Industrial Applications 1995: 52-78
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Type Inferencing for Polymorphic Order-Sorted Logic Programs. ICLP 1995: 765-779
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications 1995: 139-167
1994
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Formal Design of an Abstract Machine for Constraint Logic Programming. IFIP Congress (1) 1994: 377-382
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gregor Meyer: Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18(2): 123-148 (1994)
1993
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat, Rudi Studer: Knowledge Representation for Natural Language Understanding: The LLILOG Approach. IEEE Trans. Knowl. Data Eng. 5(3): 386-401 (1993)
1992
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School 1992: 80-90
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Logic programming with typed unification and its realization on an abstract machine. IBM Journal of Research and Development 36(3): 375-390 (1992)
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle: Prolog at IBM: An Advanced and Evolving Application Development Technology. IBM Systems Journal 31(4): 755-773 (1992)
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Meyer, Christoph Beierle, Ralph Scheubrein: Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken IWBS Report 219: (1992)
1991
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Egon Börger: Correctness Proof For the WAM with Types. CSL 1991: 15-34
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. PDK 1991: 402-404
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: An Overview on Planning Applications in PROTOS-L IWBS Report 163: (1991)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Stefan Böttcher, Gregor Meyer: Draft Report of the Logic Programming Language PROTOS-L IWBS Report 175: (1991)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181: (1991)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Egon Börger: A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof IWBS Report 200: (1991)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Egon Börger: Correctness Proof for the WAM IWBS Report 205: (1991)
1990
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: Stepwise Software Development with Algebraic Specifications IWBS Report 140: (1990)
1989
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L. Sorts and Types in Artificial Intelligence 1989: 73-110
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Stefan Böttcher: PROTOS-L: Towards a Knowledge Base Programming Language. Wissensbasierte Systeme 1989: 388-400
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Böttcher, Christoph Beierle: Database Support for the PROTOS-L System IWBS Report 71: (1989)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86: (1989)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L IWBS Report 88: (1989)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Stefan Böttcher: PROTOS-L: Towards a Knowledge Base Programming Language IWBS Report 89: (1989)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: The Algebra of Feature Graph Specifications IWBS Report 94: (1989)
1988
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988: 71-82
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: Feature graphs and abstract data types: a unifying approach. COLING 1988: 40-45
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG. CSL 1988: 14-51
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen 1988: 15-32
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum 11(6): 292-302 (1988)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: Semantics of Logic Programs with Equational Abstract Data Type Specifications LILOG-Report 38: (1988)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: Feature Graphs and Abstract Data Types: A Unifying Approach LILOG-Report 39: (1988)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF LILOG-Report 40: (1988)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG LILOG-Report 41: (1988)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung LILOG-Report 42: (1988)
1987
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: On the Integration of Equality, Sorts, and Logic Programming. ÖGAI 1987: 133-144
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: Viewing Implementations as an Institution. Category Theory and Computer Science 1987: 196-218
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS 1987: 245-259
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. TAPSOFT, Vol.2 1987: 320-334
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Udo Pletat: On the Interpretation of Equality, Sorts, and Logic Programming LILOG-Report 37: (1987)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUdo Pletat, Christoph Beierle: The Semantics of Asserting and Retracting Clauses to Logic Programs LILOG-Report 7: (1987)
1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Vertical and Horizontal Compositions of Implementation Specifications. ADT 1986
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Walter G. Olthoff, Angi Voß: Automatic Theorem Proving in the ISDV System. CADE 1986: 670-671
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Walter G. Olthoff, Angi Voß: A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur 1986: 9-25
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: Implementation Specifications. ADT 1984: 39-53
1983
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: A Parameterization Concept for Hierarchies of Specifications. ADT 1983
1982
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Angi Voß: Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. ADT 1982
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle: Synthesizing Minimal Programs from Traces of Observable Behaviour. ECAI 1982: 96-101

Coauthor Index

1Michel Bénichou [42]
2Benjamin Berger [81] [83]
3Henri Beringer [42]
4Egon Börger [33] [34] [40] [51] [52] [53]
5Stefan Böttcher [25] [28] [29] [36]
6Jochen Dörre [15] [21]
7Igor Durdanovic [51]
8Oliver Dusso [69] [71]
9Marc Finthammer [81] [83]
10Jens Fisseler [77] [78]
11Jean-Michel Gauthier [42]
12Uwe Glässer [51]
13Ulrich Hedtstück [27] [32] [44]
14Malte Isberner [72] [74] [76]
15Gabriele Kern-Isberner [61] [62] [63] [64] [65] [67] [69] [70] [71] [72] [73] [74] [76] [77] [78] [79] [80] [81] [82] [83] [84]
16Reinhold Kloos [54]
17Andreas Koch [77]
18Nicole Koch [79]
19Marjaa Kulaa [66]
20Marija Kulas [58] [68]
21Barbara Messing [72] [74] [76]
22Gregor Meyer [35] [36] [38] [39] [41] [47] [54] [57]
23Christian Müller [77]
24Walter G. Olthoff [5] [6] [14] [19]
25Udo Pletat [8] [9] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24] [27] [32] [44] [46]
26Elvinia Riccobene [51]
27Claus-Rainer Rollinger [15] [21]
28Ralph Scheubrein [41]
29Peter H. Schmitt [15] [21] [32] [44]
30Immo Schulz-Gerlach [75]
31Heiner Semle [35] [38] [39]
32Jörg H. Siekmann [27] [32] [44]
33Rudi Studer [15] [21] [46]
34Hans Uszkoreit [16] [20]
35Angi Voß (Angi Voss) [2] [3] [4] [5] [6] [10] [11] [12] [14] [19] [31]
36Manfred Widera [55] [56] [59] [60] [66] [68] [72] [74] [76]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)