Udo Pletat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1983–1992
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | KR | An Order-Sorted Logic with Sort Literals and Disjointness Constraints. | Toni Bollinger, Udo Pletat |
| 1988 | COLING | Feature graphs and abstract data types: a unifying approach. | Christoph Beierle, Udo Pletat |
| 1988 | CSL | The Knowledge Representation Language L | Christoph Beierle, Jochen Drre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
| 1987 | KI | Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. | Udo Pletat |
| 1983 | WG | A Language for Software Design and its Graphoriented Semantics. | Udo Pletat |