Concepedia

Gert Smolka

GS

Statistics

Publications

31

Citations

2.3K

H-Index

23

Active since

1981

Affiliations

Saarland University(Current)

German Research Centre for Artificial Intelligence

UCLouvain

Swedish Institute

University of Kaiserslautern

Gert Smolka is an author at Saarland University specializing in computer science, computing, and formal methods.

Publications per year

1981–2019

31

Publications

31

Attributive concept descriptions with complements

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

, , +10

Feature-constraint logics for unification grammars

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

, , +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

, , +15

Basic narrowing revisited

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

A feature constraint system for logic programming with entailment

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

, , +13

1–5 of 31