Udo Pletat

41 papers A* 1B 3Journal 20Unranked 16
YearRankTypeTitle / Venue / Authors
2010 — conf
Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context.
DEBS
Björn Schilling, Boris Koldehofe, Udo Pletat, Kurt Rothermel
2009 J jnl
Event Correlation in Heterogeneous Environments (Ereigniskorrelation in heterogenen Umgebungen).
it Inf. Technol.
Björn Schilling, Udo Pletat, Kurt Rothermel
2005 — conf
High-Availability in a J2EE Enterprise Application Environment.
EAI
Udo Pletat
1993 — conf
Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten.
WLP
Udo Pletat
1993 J jnl
Knowledge Representation for Natural Language Understanding: The L
IEEE Trans. Knowl. Data Eng.
Christoph Beierle, Udo Pletat, Rudi Studer
1992 J jnl
An Order-Sorted Logic for Knowledge Representation Systems.
Artif. Intell.
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1992 A* conf
An Order-Sorted Logic with Sort Literals and Disjointness Constraints.
KR
Toni Bollinger, Udo Pletat
1992 — conf
Knowledge Representation for Natural Language Processing.
Logic Programming Summer School
Udo Pletat
1992 J jnl
Knowledge in operation.
IBM J. Res. Dev.
Toni Bollinger, Udo Pletat
1991 J jnl
Knowledge in Operation
IWBS Report
Toni Bollinger, Udo Pletat
1991 J jnl
Modularizing Knowledge in LILOG
IWBS Report
Udo Pletat
1991 — conf
The Knowledge Representation Language L-LILOG.
Text Understanding in LILOG
Udo Pletat
1991 — conf
The LILOG Inference Engine.
Text Understanding in LILOG
Toni Bollinger, Sven Lorenz, Udo Pletat
1991 J jnl
The LILOG Knowledge Representation System
IWBS Report
Toni Bollinger, Udo Pletat
1991 J jnl
The LILOG Knowledge Representation System.
SIGART Bull.
Toni Bollinger, Udo Pletat
1990 J jnl
An Order-Sorted Logic for Knowledge Representation Systems
IWBS Report
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
1989 J jnl
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
IWBS Report
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann
1989 — conf
Aspects of Consistency of Sophisticated Knowledge Representation Languages.
Natural Language and Logic
Udo Pletat
1989 J jnl
Knowledge Representation in LILOG
IWBS Report
Udo Pletat, Kai von Luck
1989 — conf
Knowledge Representation in LILOG.
Sorts and Types in Artificial Intelligence
Udo Pletat, Kai von Luck
1989 J jnl
The Algebra of Feature Graph Specifications
IWBS Report
Christoph Beierle, Udo Pletat
1988 J jnl
An Algebraic Characterization of STUF
LILOG-Report
Christoph Beierle, Udo Pletat, Hans Uszkoreit
1988 — conf
An Algebraic Characterization of STUF.
Computerlinguistik und ihre theoretischen Grundlagen
Christoph Beierle, Udo Pletat, Hans Uszkoreit
1988 J jnl
Feature Graphs and Abstract Data Types: A Unifying Approach
LILOG-Report
Christoph Beierle, Udo Pletat
1988 B conf
Feature graphs and abstract data types: a unifying approach.
COLING
Christoph Beierle, Udo Pletat
1988 — conf
Integrating Logic Programming and Equational Specification of Abstract Data Types.
ALP
Christoph Beierle, Udo Pletat
1988 J jnl
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs
LILOG-Report
Udo Pletat
1988 J jnl
Semantics of Logic Programs with Equational Abstract Data Type Specifications
LILOG-Report
Christoph Beierle, Udo Pletat
1988 B conf
The Knowledge Representation Language L
CSL
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
1988 J jnl
The Knowledge Representation Language L
LILOG-Report
Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
1987 — conf
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs.
KIFS
Udo Pletat
1987 — conf
On the Integration of Equality, Sorts, and Logic Programming.
ÖGAI
Christoph Beierle, Udo Pletat
1987 J jnl
On the Interpretation of Equality, Sorts, and Logic Programming
LILOG-Report
Christoph Beierle, Udo Pletat
1987 J jnl
The Semantics of Asserting and Retracting Clauses to Logic Programs
LILOG-Report
Udo Pletat, Christoph Beierle
1986 — conf
Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction.
ADT
Udo Pletat
1985 — conf
A Graphtheoretic Semantics for Semantic Data Models.
TFAIS
Udo Pletat
1984 — —
Die Semantik des Softwareentwicklungsprozesses.
Udo Pletat
1984 — conf
Theory and concepts for a software engineering environment.
ISPW
Udo Pletat
1983 B conf
A Language for Software Design and its Graphoriented Semantics.
WG
Udo Pletat
1983 J jnl
An Operational Semantics for Specifications of Abstract Data Types with Error Handling.
Acta Informatica
Gregor Engels, Udo Pletat, Hans-Dieter Ehrich
1982 — conf
Ideas for the Development of Software Systems on the Basis of Algebraic Specifications.
ADT
Udo Pletat