Udo Pletat

According to our database, Udo Pletat authored at least 33 papers between 1982 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context.

Björn Schilling, Boris Koldehofe, Udo Pletat, Kurt Rothermel

Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2009

Event Correlation in Heterogeneous Environments (Ereigniskorrelation in heterogenen Umgebungen).

Björn Schilling, Udo Pletat, Kurt Rothermel

it Inf. Technol., 2009

2005

High-Availability in a J2EE Enterprise Application Environment.

Udo Pletat

Proceedings of the Enterprise Application Integration 2005, 2005

1993

Knowledge Representation for Natural Language Understanding: The L_LILOG Approach.

Christoph Beierle, Udo Pletat, Rudi Studer

IEEE Trans. Knowl. Data Eng., 1993

Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten.

Udo Pletat

Proceedings of the 9. Workshop Logische Programmierung, 1993

1992

Knowledge in operation.

Toni Bollinger, Udo Pletat

IBM J. Res. Dev., 1992

An Order-Sorted Logic for Knowledge Representation Systems.

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann

Artif. Intell., 1992

Knowledge Representation for Natural Language Processing.

Udo Pletat

Proceedings of the Logic Programming in Action, 1992

An Order-Sorted Logic with Sort Literals and Disjointness Constraints.

Toni Bollinger, Udo Pletat

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

Modularizing Knowledge in LILOG

Udo Pletat

IWBS Report, 1991

The LILOG Knowledge Representation System.

Toni Bollinger, Udo Pletat

SIGART Bull., 1991

The Knowledge Representation Language L-LILOG.

Udo Pletat

Proceedings of the Text Understanding in LILOG, 1991

The LILOG Inference Engine.

Toni Bollinger, Sven Lorenz, Udo Pletat

Proceedings of the Text Understanding in LILOG, 1991

1989

The Algebra of Feature Graph Specifications

Christoph Beierle, Udo Pletat

IWBS Report, 1989

Knowledge Representation in LILOG

Udo Pletat, Kai von Luck

IWBS Report, 1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann

IWBS Report, 1989

Aspects of Consistency of Sophisticated Knowledge Representation Languages.

Udo Pletat

Proceedings of the Natural Language and Logic, 1989

1988

The Knowledge Representation Language L_LILOG

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer

LILOG-Report, 1988

An Algebraic Characterization of STUF

Christoph Beierle, Udo Pletat, Hans Uszkoreit

LILOG-Report, 1988

Feature Graphs and Abstract Data Types: A Unifying Approach

Christoph Beierle, Udo Pletat

LILOG-Report, 1988

Semantics of Logic Programs with Equational Abstract Data Type Specifications

Christoph Beierle, Udo Pletat

LILOG-Report, 1988

Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs

Udo Pletat

LILOG-Report, 1988

Integrating Logic Programming and Equational Specification of Abstract Data Types.

Christoph Beierle, Udo Pletat

Proceedings of the Algebraic and Logic Programming, 1988

1987

The Semantics of Asserting and Retracting Clauses to Logic Programs

Udo Pletat, Christoph Beierle

LILOG-Report, 1987

On the Interpretation of Equality, Sorts, and Logic Programming

Christoph Beierle, Udo Pletat

LILOG-Report, 1987

On the Integration of Equality, Sorts, and Logic Programming.

Christoph Beierle, Udo Pletat

Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

1986

Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction.

Udo Pletat

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

A Graphtheoretic Semantics for Semantic Data Models.

Udo Pletat

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

1984

Die Semantik des Softwareentwicklungsprozesses.

Udo Pletat

PhD thesis, 1984

Theory and concepts for a software engineering environment.

Udo Pletat

Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1983

An Operational Semantics for Specifications of Abstract Data Types with Error Handling.

Gregor Engels, Udo Pletat, Hans-Dieter Ehrich

Acta Informatica, 1983

A Language for Software Design and its Graphoriented Semantics.

Udo Pletat

Proceedings of the WG '83, 1983

1982

Ideas for the Development of Software Systems on the Basis of Algebraic Specifications.

Udo Pletat

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982