Udo Pletat

Publication Activity (10 Years)

Years Active: 1982-2010
Publications (10 Years): 0

University of Stuttgart, Germany (PHD)

Education History

University of Stuttgart, Germany

PHD

Publications

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)
Björn Schilling, Udo Pletat, Kurt Rothermel
Event Correlation in Heterogeneous Environments (Ereigniskorrelation in heterogenen Umgebungen). it Inf. Technol. 51 (5) (2009)
Udo Pletat
High-Availability in a J2EE Enterprise Application Environment. EAI (2005)
Christoph Beierle, Udo Pletat, Rudi Studer
Approach. IEEE Trans. Knowl. Data Eng. 5 (3) (1993)
Udo Pletat
Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten. WLP (1993)
Udo Pletat
Knowledge Representation for Natural Language Processing. Logic Programming Summer School (1992)
Toni Bollinger, Udo Pletat
Knowledge in operation. IBM J. Res. Dev. 36 (6) (1992)
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) (1992)
Toni Bollinger, Udo Pletat
An Order-Sorted Logic with Sort Literals and Disjointness Constraints. KR (1992)
Toni Bollinger, Udo Pletat
Knowledge in Operation IWBS Report 165 (1991)
Toni Bollinger, Udo Pletat
The LILOG Knowledge Representation System. SIGART Bull. 2 (3) (1991)
Toni Bollinger, Udo Pletat
The LILOG Knowledge Representation System IWBS Report 156 (1991)
Toni Bollinger, Sven Lorenz, Udo Pletat
The LILOG Inference Engine. Text Understanding in LILOG (1991)
Udo Pletat
The Knowledge Representation Language L-LILOG. Text Understanding in LILOG (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, Kai von Luck
Knowledge Representation in LILOG. Sorts and Types in Artificial Intelligence (1989)
Udo Pletat, Kai von Luck
Knowledge Representation in LILOG IWBS Report 90 (1989)
Udo Pletat
Aspects of Consistency of Sophisticated Knowledge Representation Languages. Natural Language and Logic (1989)
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)
Christoph Beierle, Udo Pletat
The Algebra of Feature Graph Specifications IWBS Report 94 (1989)
Christoph Beierle, Udo Pletat
Feature graphs and abstract data types: a unifying approach. COLING (1988)
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
. CSL (1988)
Christoph Beierle, Udo Pletat
Feature Graphs and Abstract Data Types: A Unifying Approach LILOG-Report 39 (1988)
Christoph Beierle, Udo Pletat
Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP (1988)
Christoph Beierle, Udo Pletat
Semantics of Logic Programs with Equational Abstract Data Type Specifications LILOG-Report 38 (1988)
Udo Pletat
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs LILOG-Report 36 (1988)
Christoph Beierle, Udo Pletat, Hans Uszkoreit
An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen (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
LILOG-Report 41 (1988)
Udo Pletat
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. KIFS (1987)
Udo Pletat, Christoph Beierle
The Semantics of Asserting and Retracting Clauses to Logic Programs LILOG-Report 7 (1987)
Christoph Beierle, Udo Pletat
On the Integration of Equality, Sorts, and Logic Programming. ÖGAI (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)
Udo Pletat
Theory and concepts for a software engineering environment. ISPW (1984)
Gregor Engels, Udo Pletat, Hans-Dieter Ehrich
An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica 19 (1983)
Udo Pletat
A Language for Software Design and its Graphoriented Semantics. WG (1983)
Udo Pletat
Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. ADT (1982)

Udo Pletat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Udo Pletat