| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Björn Schilling, Boris Koldehofe, Udo Pletat, Kurt Rothermel |
Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context.  |
DEBS  |
2010 |
DBLP DOI BibTeX RDF |
distributed complex event processing, heterogeneous systems and networks, distributed systems |
| 1 | Björn Schilling, Udo Pletat, Kurt Rothermel |
Event Correlation in Heterogeneous Environments (Ereigniskorrelation in heterogenen Umgebungen). |
it - Information Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat |
High-Availability in a J2EE Enterprise Application Environment. |
EAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat, Rudi Studer |
Knowledge Representation for Natural Language Understanding: The LLILOG Approach. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
L/sub LILOG/ approach, logic-based knowledge representation language, semantic background knowledge, frame-like features-value descriptions, order-sorted predicated logic framework, knowledge representation, natural languages, formal semantics, computational linguistics, natural language understanding |
| 1 | Udo Pletat |
Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten Sorten. |
WLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Toni Bollinger, Udo Pletat |
Knowledge in operation. |
IBM Journal of Research and Development |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann |
An Order-Sorted Logic for Knowledge Representation Systems. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat |
Knowledge Representation for Natural Language Processing. |
Logic Programming Summer School |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Bollinger, Udo Pletat |
An Order-Sorted Logic with Sort Literals and Disjointness Constraints. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Toni Bollinger, Udo Pletat |
Knowledge in Operation |
IWBS Report |
1991 |
RDF |
|
| 1 | Toni Bollinger, Udo Pletat |
The LILOG Knowledge Representation System |
IWBS Report |
1991 |
RDF |
|
| 1 | Udo Pletat |
Modularizing Knowledge in LILOG |
IWBS Report |
1991 |
RDF |
|
| 1 | Toni Bollinger, Udo Pletat |
The LILOG Knowledge Representation System. |
SIGART Bulletin |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat |
The Knowledge Representation Language L-LILOG. |
Text Understanding in LILOG |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Bollinger, Sven Lorenz, Udo Pletat |
The LILOG Inference Engine. |
Text Understanding in LILOG |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann |
An Order-Sorted Logic for Knowledge Representation Systems |
IWBS Report |
1990 |
RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann |
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information |
IWBS Report |
1989 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
The Algebra of Feature Graph Specifications |
IWBS Report |
1989 |
RDF |
|
| 1 | Udo Pletat, Kai von Luck |
Knowledge Representation in LILOG |
IWBS Report |
1989 |
RDF |
|
| 1 | Udo Pletat |
Aspects of Consistency of Sophisticated Knowledge Representation Languages. |
Natural Language and Logic |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat, Kai von Luck |
Knowledge Representation in LILOG. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat, Hans Uszkoreit |
An Algebraic Characterization of STUF |
LILOG-Report |
1988 |
RDF |
|
| 1 | Udo Pletat |
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
The Knowledge Representation Language LLILOG |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Semantics of Logic Programs with Equational Abstract Data Type Specifications |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Feature Graphs and Abstract Data Types: A Unifying Approach |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat, Hans Uszkoreit |
An Algebraic Characterization of STUF. |
Computerlinguistik und ihre theoretischen Grundlagen |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Integrating Logic Programming and Equational Specification of Abstract Data Types. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
Feature graphs and abstract data types: a unifying approach. |
COLING |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
The Knowledge Representation Language LLILOG. |
CSL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat, Christoph Beierle |
The Semantics of Asserting and Retracting Clauses to Logic Programs |
LILOG-Report |
1987 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
On the Interpretation of Equality, Sorts, and Logic Programming |
LILOG-Report |
1987 |
RDF |
|
| 1 | Christoph Beierle, Udo Pletat |
On the Integration of Equality, Sorts, and Logic Programming. |
ÖGAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Udo Pletat |
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. |
KIFS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Udo Pletat |
Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Udo Pletat |
A Graphtheoretic Semantics for Semantic Data Models. |
TFAIS |
1985 |
DBLP BibTeX RDF |
|
| 1 | Udo Pletat |
Theory and concepts for a software engineering environment. |
ISPW |
1984 |
DBLP BibTeX RDF |
|
| 1 | Gregor Engels, Udo Pletat, Hans-Dieter Ehrich |
An Operational Semantics for Specifications of Abstract Data Types with Error Handling. |
Acta Inf. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Pletat |
Ideas for the Development of Software Systems on the Basis of Algebraic Specifications. |
ADT |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")