关注
Gert Smolka
Gert Smolka
Professor of Computer Science, Saarland University, Saarland Informatics Campus
在 ps.uni-saarland.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka
Artificial intelligence 48 (1), 1-26, 1991
16641991
The Oz programming model
G Smolka
Computer Science Today: Recent Trends and Developments, 324-343, 2005
769*2005
Feature-constraint logics for unification grammars
G Smolka
The Journal of Logic Programming 12 (1-2), 51-87, 1992
2761992
A feature logic with subsorts
G Smolka
IBM Deutschland, WT LILOG, 1988
2531988
Order-sorted equational computation
G Smolka, W Nutt, JA Goguen, J Meseguer
Rewriting Techniques, 297-367, 1989
2411989
Records for logic programming
G Smolka, R Treinen
The Journal of Logic Programming 18 (3), 229-258, 1994
1941994
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
Definite relations over constraint languages
M Höhfeld, G Smolka
IBM, 1988
1501988
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
1491993
Logic programming over polymorphically order-sorted types
G Smolka
Universität Kaiserslautern, 1989
1491989
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1281989
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1262006
Representation and reasoning with attributive descriptions
B Nebel, G Smolka
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG …, 2005
1222005
Inheritance hierarchies: Semantics and unification
G Smolka, H Aït-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1141989
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
1111999
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
1061989
The definition of kernel Oz
G Smolka
French School on Theoretical Computer Science, 251-292, 1994
931994
Autosubst: Reasoning with de Bruijn terms and parallel substitutions
S Schäfer, T Tebbi, G Smolka
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
872015
系统目前无法执行此操作，请稍后再试。
文章 1–20