Udo Pletat

Björn Schilling, Boris Koldehofe, Udo Pletat, Kurt Rothermel: Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context. DEBS 2010: 150-159

Björn Schilling, Udo Pletat, Kurt Rothermel: Event Correlation in Heterogeneous Environments (Ereigniskorrelation in heterogenen Umgebungen). it - Information Technology 51(5): 270-276 (2009)

Udo Pletat: High-Availability in a J2EE Enterprise Application Environment. EAI 2005

Christoph Beierle, Udo Pletat, Rudi Studer: Knowledge Representation for Natural Language Understanding: The L_LILOG Approach. IEEE Trans. Knowl. Data Eng. 5(3): 386-401 (1993)

Udo Pletat: Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten. WLP 1993: 81-84

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)

Toni Bollinger, Udo Pletat: Knowledge in operation. IBM Journal of Research and Development 36(6): 965-989 (1992)

Toni Bollinger, Udo Pletat: An Order-Sorted Logic with Sort Literals and Disjointness Constraints. KR 1992: 413-424

Udo Pletat: Knowledge Representation for Natural Language Processing. Logic Programming Summer School 1992: 231-241

Toni Bollinger, Udo Pletat: The LILOG Knowledge Representation System. SIGART Bulletin 2(3): 22-27 (1991)

Udo Pletat: The Knowledge Representation Language L-LILOG. Text Understanding in LILOG 1991: 357-379

Toni Bollinger, Sven Lorenz, Udo Pletat: The LILOG Inference Engine. Text Understanding in LILOG 1991: 402-427

Toni Bollinger, Udo Pletat: The LILOG Knowledge Representation System. IWBS Report 156 (1991)

Toni Bollinger, Udo Pletat: Knowledge in Operation. IWBS Report 165 (1991)

Udo Pletat: Modularizing Knowledge in LILOG. IWBS Report 173 (1991)

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)

Udo Pletat: Aspects of Consistency of Sophisticated Knowledge Representation Languages. Natural Language and Logic 1989: 168-190

Udo Pletat, Kai von Luck: Knowledge Representation in LILOG. Sorts and Types in Artificial Intelligence 1989: 140-164

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)

Udo Pletat, Kai von Luck: Knowledge Representation in LILOG. IWBS Report 90 (1989)

Christoph Beierle, Udo Pletat: The Algebra of Feature Graph Specifications. IWBS Report 94 (1989)

Christoph Beierle, Udo Pletat: Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988: 71-82

Christoph Beierle, Udo Pletat: Feature graphs and abstract data types: a unifying approach. COLING 1988: 40-45

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. CSL 1988: 14-51

Christoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen 1988: 15-32

Udo Pletat: Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. LILOG-Report 36 (1988)

Christoph Beierle, Udo Pletat: Semantics of Logic Programs with Equational Abstract Data Type Specifications. LILOG-Report 38 (1988)

Christoph Beierle, Udo Pletat: Feature Graphs and Abstract Data Types: A Unifying Approach. LILOG-Report 39 (1988)

Christoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF. LILOG-Report 40 (1988)

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. LILOG-Report 41 (1988)

Udo Pletat: Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. KIFS 1987: 42-64

Christoph Beierle, Udo Pletat: On the Integration of Equality, Sorts, and Logic Programming. ÖGAI 1987: 133-144

Udo Pletat, Christoph Beierle: The Semantics of Asserting and Retracting Clauses to Logic Programs. LILOG-Report 7 (1987)

Christoph Beierle, Udo Pletat: On the Interpretation of Equality, Sorts, and Logic Programming. LILOG-Report 37 (1987)

Udo Pletat: Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. ADT 1986

Udo Pletat: A Graphtheoretic Semantics for Semantic Data Models. TFAIS 1985: 100-115

Udo Pletat: Theory and concepts for a software engineering environment. ISPW 1984: 111-121

Gregor Engels, Udo Pletat, Hans-Dieter Ehrich: An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Inf. 19: 235-253 (1983)

Udo Pletat: Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. ADT 1982