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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
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

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

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

1993
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

1992
Knowledge in operation.
IBM J. Res. Dev., 1992

An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell., 1992

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

1991
Modularizing Knowledge in LILOG
IWBS Report, 1991

The LILOG Knowledge Representation System.
SIGART Bull., 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

1989
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

1988
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

1987
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

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

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

1984
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

1983
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

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


  Loading...