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
15721991
The Oz programming model
G Smolka
Computer Science Today: Recent Trends and Developments, 324-343, 2005
761*2005
Feature-constraint logics for unification grammars
G Smolka
The Journal of Logic Programming 12 (1-2), 51-87, 1992
2661992
A feature logic with subsorts
G Smolka
IBM Deutschland, WT LILOG, 1988
2441988
Order-sorted equational computation
G Smolka, W Nutt, JA Goguen, J Meseguer
Rewriting Techniques, 297-367, 1989
2341989
Records for logic programming
G Smolka, R Treinen
The Journal of Logic Programming 18 (3), 229-258, 1994
1981994
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
1821997
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
1811994
Logic programming over polymorphically order-sorted types
G Smolka
Universität Kaiserslautern, 1989
1491989
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
1471993
Definite relations over constraint languages
M Höhfeld, G Smolka
IBM, 1988
1431988
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1232006
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1231989
Representation and reasoning with attributive descriptions
B Nebel, G Smolka
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG …, 2005
1152005
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
1131999
Inheritance hierarchies: Semantics and unification
G Smolka, H Aït-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1051989
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
1021993
Order-sorted unification
J Meseguer, JA Goguen, G Smolka
Journal of Symbolic Computation 8 (4), 383-413, 1989
1021989
The definition of kernel Oz
G Smolka
Constraint Programming: Basics and Trends: 1994 Châtillon Spring School …, 2005
912005
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
PPCP 874, 134-150, 1994
841994
The system can't perform the operation now. Try again later.
Articles 1–20