Follow
Gert Smolka
Gert Smolka
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Verified email at ps.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka
Artificial intelligence 48 (1), 1-26, 1991
16381991
The Oz programming model
G Smolka
Computer Science Today: Recent Trends and Developments, 324-343, 2005
775*2005
Feature-constraint logics for unification grammars
G Smolka
The Journal of Logic Programming 12 (1-2), 51-87, 1992
2691992
A feature logic with subsorts
G Smolka
IBM Deutschland, WT LILOG, 1988
2471988
Order-sorted equational computation
G Smolka, W Nutt, JA Goguen, J Meseguer
Rewriting Techniques, 297-367, 1989
2401989
Records for logic programming
G Smolka, R Treinen
The Journal of Logic Programming 18 (3), 229-258, 1994
1961994
Mobile objects in distributed oz
P Van Roy, S Haridi, P Brand, G Smolka, M Mehl, R Scheidhauer
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 804-851, 1997
1851997
A feature constraint system for logic programming with entailment
H Aït-Kaci, A Podelski, G Smolka
Theoretical Computer Science 122 (1-2), 263-283, 1994
1801994
Object-oriented concurrent constraint programming in Oz
G Smolka, M Henz, J Würtz
Grundlagen und Anwendungen der Künstlichen Intelligenz: 17. Fachtagung für …, 1993
1481993
Definite relations over constraint languages
M Höhfeld, G Smolka
IBM, 1988
1481988
Logic programming over polymorphically order-sorted types
G Smolka
Universität Kaiserslautern, 1989
1471989
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1251989
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1242006
Representation and reasoning with attributive descriptions
B Nebel, G Smolka
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG …, 2005
1192005
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
German Research Center for Artificial Inteligence, Germany, D-66123 Saarbrucken, 1998
1131998
Inheritance hierarchies: Semantics and unification
G Smolka, H Aït-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1121989
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
1071993
Order-sorted unification
J Meseguer, JA Goguen, G Smolka
Journal of Symbolic Computation 8 (4), 383-413, 1989
1051989
The definition of kernel Oz
G Smolka
French School on Theoretical Computer Science, 251-292, 1994
941994
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
International Workshop on Principles and Practice of Constraint Programming …, 1994
861994
The system can't perform the operation now. Try again later.
Articles 1–20