Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Udo Pletat

dblp:26/3990 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
0since 2021 · last 1993
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3Theory of computation · 3 · 1 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Logic in computer science · 100%
Artificial intelligence
2 papers
Knowledge representation and reasoning · 88% Language models and text generation · 12%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › first-order logic
order-sorted logic		 0.021992
An Order-Sorted Logic for Knowledge Representation Systems · Artif. Intell. 1992
An Order-Sorted Logic with Sort Literals and Disjointness Constraints · KR 1992
Knowledge, reasoning and agents › Knowledge representation and reasoning › representation language › knowledge representation formalisms
knowledge representation language		 0.011993
Knowledge Representation for Natural Language Understanding: The LLILOG Approach · IEEE Trans. Knowl. Data Eng. 1993
Knowledge, reasoning and agents › Knowledge representation and reasoning › representation language › knowledge representation formalisms › knowledge representation language
logic-based knowledge representation		 0.011993
Knowledge Representation for Natural Language Understanding: The LLILOG Approach · IEEE Trans. Knowl. Data Eng. 1993
Logic in computer science › knowledge representation and reasoning
description logic		 0.011992
An Order-Sorted Logic with Sort Literals and Disjointness Constraints · KR 1992
Logic in computer science › first-order logic
many-sorted logic		 0.011992
An Order-Sorted Logic for Knowledge Representation Systems · Artif. Intell. 1992
Natural language and speech › Language models and text generation
natural language understanding		 0.011993
Knowledge Representation for Natural Language Understanding: The LLILOG Approach · IEEE Trans. Knowl. Data Eng. 1993
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge representation systems		 0.011992
An Order-Sorted Logic for Knowledge Representation Systems · Artif. Intell. 1992

Methods — techniques the papers use, named apart from their topics

order-sorted logic · 0.0formal semantics · 0.0order-sorted predicate logic · 0.0frame-based representation · 0.0
YearPublicationVenuePosition
1993 Knowledge Representation for Natural Language Understanding: The LLILOG Approach
abstract
The logic-based knowledge representation language L/sub LILOG/, which is used to represent both the semantic background knowledge as well as the information extracted from German texts within the LILOG project, is discussed. L/sub LILOG/ integrates frame-like features-value descriptions used in computational linguistics into an order-sorted predicated logic framework. The basis design principles of L/sub LILOG/ and examples of how L/sub LILOG/ is used to model real world knowledge are presented. The implementation of the first LILOG prototype is described. A formal semantics definition is provided.>
Christoph Beierle, Udo Pletat, Rudi Studer
 IEEE Trans. Knowl. Data Eng.2
1992 An Order-Sorted Logic with Sort Literals and Disjointness Constraints
Toni Bollinger, Udo Pletat
 KR2
1992 An Order-Sorted Logic for Knowledge Representation Systems
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
 Artif. Intell.3
1988 Feature graphs and abstract data types: a unifying approach
Christoph Beierle, Udo Pletat
 COLING2
1983 A Language for Software Design and its Graphoriented Semantics
Udo Pletat
 WG1
1983 An Operational Semantics for Specifications of Abstract Data Types with Error Handling
Gregor Engels, Udo Pletat, Hans-Dieter Ehrich
 Acta Informatica2