Udo Pletat

According to our database1, Udo Pletat
  • authored at least 40 papers between 1982 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
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 - Information Technology, 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 LLILOG Approach.
IEEE Trans. Knowl. Data Eng., 1993

Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten.
WLP, 1993

1992
Knowledge in operation.
IBM Journal of Research and Development, 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

Knowledge in Operation
IWBS Report, 1991

The LILOG Knowledge Representation System
IWBS Report, 1991

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

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

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

Knowledge Representation in LILOG.
Sorts and Types in Artificial Intelligence, 1989

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

1988
The Knowledge Representation Language LLILOG
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

An Algebraic Characterization of STUF.
Proceedings of the Computerlinguistik und ihre theoretischen Grundlagen, 1988

The Knowledge Representation Language LLILOG.
Proceedings of the CSL '88, 1988

Feature graphs and abstract data types: a unifying approach.
Proceedings of the 12th International Conference on Computational Linguistics, 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

Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs.
Proceedings of the Künstliche Intelligenz, 5. Frühjahrsschule, 1987

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

1985
A Graphtheoretic Semantics for Semantic Data Models.
TFAIS, 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 Inf., 1983

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


  Loading...