2008 | ||
---|---|---|
80 | EE | Christoph Beierle, Gabriele Kern-Isberner: A Verified AsmL Implementation of Belief Revision. ABZ 2008: 98-111 |
79 | EE | Christoph 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 | |
77 | EE | Jens 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 | |
74 | EE | Manfred 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 | |
71 | EE | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner: Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378 |
70 | EE | Christoph Beierle, Gabriele Kern-Isberner: Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119 |
69 | EE | Gabriele 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 | ||
68 | EE | Christoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308 |
2003 | ||
67 | EE | Christoph 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 | |
65 | EE | Christoph Beierle, Gabriele Kern-Isberner: An Alternative View of Knowledge Discovery. HICSS 2003: 68 |
64 | EE | Christoph 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 | |
62 | EE | Christoph Beierle, Gabriele Kern-Isberner: Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172 |
61 | EE | Christoph 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 | |
58 | EE | Marija 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 | |
54 | EE | Christoph 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 | ||
46 | EE | Christoph 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 | ||
40 | Christoph 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 | ||
30 | Christoph 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 | ||
23 | Christoph 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 | |
21 | Christoph 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 | |
11 | Christoph Beierle, Angi Voß: On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS 1987: 245-259 | |
10 | Christoph 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 | |
6 | Christoph 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 |