Concepedia

Gert Smolka

GS

Statistics

Publications

30

Citations

2.2K

H-Index

23

Active since

1981

Affiliations

Saarland University(Current)

German Research Centre for Artificial Intelligence

Swedish Institute

University of Kaiserslautern

Gert Smolka is an author at Saarland University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsLinguisticsLogic ProgrammingLanguageSyntax

Publications per year

1981–2019

30

Publications

30

Attributive concept descriptions with complements

Manfred Schmidt-Schauß, Gert Smolka · Artificial Intelligence · 1991 · 958 citations

Attributive Concept Descriptions, Syntax, Engineering +7

Feature-constraint logics for unification grammars

Gert Smolka · The Journal of Logic Programming · 1992 · 138 citations

Syntax, Engineering, Automated Reasoning +9

Mobile objects in distributed Oz

Peter Van Roy, Seif Haridi, Per Brand et al. · ACM Transactions on Programming Languages and Systems · 1997 · 89 citations · Full text

Distributed Oz, Distributed Programming, Engineering +18

Basic narrowing revisited

Werner Nutt, Pierre Réty, Gert Smolka · Journal of Symbolic Computation · 1989 · 87 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +5

A feature constraint system for logic programming with entailment

Hassan Aı̈t-Kaci, Andreas Podelski, Gert Smolka · Theoretical Computer Science · 1994 · 77 citations

Engineering, Automated Reasoning, Description Logic +6

1–5 of 30