Gert Smolka
Gert Smolka
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Verified email at ps.uni-saarland.de - Homepage
TitleCited byYear
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka
Artificial intelligence 48 (1), 1-26, 1991
13941991
The Oz programming model
G Smolka
Computer science today, 324-343, 1995
747*1995
Feature-constraint logics for unification grammars
G Smolka
The Journal of Logic Programming 12 (1-2), 51-87, 1992
2541992
A feature logic with subsorts
G Smolka
IBM Deutschland, WT LILOG, 1988
2291988
Order-sorted equational computation
G Smolka, W Nutt, JA Goguen, J Meseguer
Rewriting Techniques, 297-367, 1989
2221989
Records for logic programming
G Smolka, R Treinen
The Journal of Logic Programming 18 (3), 229-258, 1994
1891994
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
1691994
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
1641997
Logic programming over polymorphically order-sorted types
G Smolka
Universitaet Kaiserslautern, 1989
1391989
Definite relations over constraint languages
M Hohfeld, G Smolka
LILOG Report 53, IWBS, IBM Deutschland, Postfach 80 08 80, 7000 Stuttgart 80, 1988
1331988
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1201989
Object-oriented concurrent constraint programming in Oz
M Henz, G Smolka, J Würtz
1161993
Representation and reasoning with attributive descriptions
B Nebel, G Smolka
Sorts and Types in Artificial Intelligence, 111-139, 1990
1131990
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1052006
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
1031999
Inheritance hierarchies: Semantics and unification
G Smolka, H Ait-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1031989
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
981993
The definition of kernel Oz
G Smolka
French School on Theoretical Computer Science, 251-292, 1994
891994
Order-sorted unification
J Meseguer, JA Goguen, G Smolka
Journal of Symbolic Computation 8 (4), 383-413, 1989
871989
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
International Workshop on Principles and Practice of Constraint Programming …, 1994
801994
The system can't perform the operation now. Try again later.
Articles 1–20