Udo Pletat

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context.
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

Event Correlation in Heterogeneous Environments (Ereigniskorrelation in heterogenen Umgebungen).
it Inf. Technol., 2009

High-Availability in a J2EE Enterprise Application Environment.
Proceedings of the Enterprise Application Integration 2005, 2005

Knowledge Representation for Natural Language Understanding: The L<sub>LILOG</sub> Approach.
IEEE Trans. Knowl. Data Eng., 1993

Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten.
Proceedings of the 9. Workshop Logische Programmierung, 1993

Knowledge Representation for Natural Language Processing.
Proceedings of the Logic Programming in Action, 1992

An Order-Sorted Logic with Sort Literals and Disjointness Constraints.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Modularizing Knowledge in LILOG
IWBS Report, 1991

Knowledge in Operation
IWBS Report, 1991

The LILOG Knowledge Representation System
IWBS Report, 1991

The Knowledge Representation Language L-LILOG.
Proceedings of the Text Understanding in LILOG, 1991

The LILOG Inference Engine.
Proceedings of the Text Understanding in LILOG, 1991

An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report, 1990

The Algebra of Feature Graph Specifications
IWBS Report, 1989

Knowledge Representation in LILOG
IWBS Report, 1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
IWBS Report, 1989

Aspects of Consistency of Sophisticated Knowledge Representation Languages.
Proceedings of the Natural Language and Logic, 1989

The Knowledge Representation Language L<sub>LILOG</sub>
LILOG-Report, 1988

An Algebraic Characterization of STUF
LILOG-Report, 1988

Feature Graphs and Abstract Data Types: A Unifying Approach
LILOG-Report, 1988

Semantics of Logic Programs with Equational Abstract Data Type Specifications
LILOG-Report, 1988

Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs
LILOG-Report, 1988

Integrating Logic Programming and Equational Specification of Abstract Data Types.
Proceedings of the Algebraic and Logic Programming, 1988

The Semantics of Asserting and Retracting Clauses to Logic Programs
LILOG-Report, 1987

On the Interpretation of Equality, Sorts, and Logic Programming
LILOG-Report, 1987

On the Integration of Equality, Sorts, and Logic Programming.
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

A Graphtheoretic Semantics for Semantic Data Models.
Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

Die Semantik des Softwareentwicklungsprozesses.
PhD thesis, 1984

Theory and concepts for a software engineering environment.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

An Operational Semantics for Specifications of Abstract Data Types with Error Handling.
Acta Informatica, 1983

A Language for Software Design and its Graphoriented Semantics.
Proceedings of the WG '83, 1983

Ideas for the Development of Software Systems on the Basis of Algebraic Specifications.
Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982