Concepedia

Gert Smolka

GS

30

Publications

2.2K

Citations

23

H-Index

1981

Active since

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

Rows per page

1–5 of 30