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

Christoph Beierle Vis

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

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

Coauthor Index

1Michel Bénichou [42]
2Benjamin Berger [81]
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]
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]
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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)