Theo dõi
Gert Smolka
Gert Smolka
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Email được xác minh tại ps.uni-saarland.de - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka
Artificial intelligence 48 (1), 1-26, 1991
16501991
The Oz programming model
G Smolka
Computer Science Today: Recent Trends and Developments, 324-343, 2005
776*2005
Feature-constraint logics for unification grammars
G Smolka
The Journal of Logic Programming 12 (1-2), 51-87, 1992
2711992
A feature logic with subsorts
G Smolka
IBM Deutschland, WT LILOG, 1988
2481988
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
1861997
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
1501993
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
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1252006
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1251989
Representation and reasoning with attributive descriptions
B Nebel, G Smolka
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG …, 2005
1202005
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
German Research Center for Artificial Inteligence, Germany, D-66123 Saarbrucken, 1998
1141998
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
1081993
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
951994
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20