Gert Smolka

Cytowane przez

	Wszystkie	Od 2019
Cytowania	7669	889
h-indeks	40	13
i10-indeks	86	19

360

180

270

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202470 104 114 145 209 226 330 293 294 279 323 280 291 231 214 194 189 265 251 355 227 278 233 180 145 158 142 130 123 134 145 180 162 152 180 102 113

Dostęp publiczny

Wyświetl wszystko

4 artykuły

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Mark KaminskiDepartmental Lecturer, University of OxfordZweryfikowany adres z cs.ox.ac.uk
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainZweryfikowany adres z uclouvain.be
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyZweryfikowany adres z kth.se
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoZweryfikowany adres z unibz.it
Seif HaridiProfessor of Computer Systems, KTH, RISEZweryfikowany adres z ri.se
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtZweryfikowany adres z ki.informatik.uni-frankfurt.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityZweryfikowany adres z informatik.uni-freiburg.de
Joachim NiehrenINRIA LilleZweryfikowany adres z inria.fr
Martin HenzNational University of SingaporeZweryfikowany adres z comp.nus.edu.sg
Bernhard NebelProfessor für Informatik, Universität FreiburgZweryfikowany adres z uni-freiburg.de
Hassan Aït-KaciHAK Language TechnologiesZweryfikowany adres z acm.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignZweryfikowany adres z illinois.edu
Guido TackAssociate Professor, Monash UniversityZweryfikowany adres z monash.edu
Rolf BackofenProfessor für Bioinformatik, Universität FreiburgZweryfikowany adres z informatik.uni-freiburg.de
Sigurd SchneiderSaarland UniversityZweryfikowany adres z cs.uni-saarland.de
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigZweryfikowany adres z tu-dresden.de
Hans-Jürgen BürckertDFKI GmbHZweryfikowany adres z dfki.de
Moritz HardtMax Planck Institute for Intelligent SystemsZweryfikowany adres z is.mpg.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyZweryfikowany adres z uni-bremen.de

Obserwuj

Gert Smolka

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Zweryfikowany adres z ps.uni-saarland.de - Strona główna

Computational Logic Programming Languages


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Attributive concept descriptions with complements M Schmidt-Schauß, G Smolka Artificial intelligence 48 (1), 1-26, 1991	1678	1991
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	277	1992
A feature logic with subsorts G Smolka IBM Deutschland, WT LILOG, 1988	252	1988
Order-sorted equational computation G Smolka, W Nutt, JA Goguen, J Meseguer Rewriting Techniques, 297-367, 1989	241	1989
Records for logic programming G Smolka, R Treinen The Journal of Logic Programming 18 (3), 229-258, 1994	194	1994
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	185	1997
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	180	1994
Definite relations over constraint languages M Höhfeld, G Smolka IBM, 1988	150	1988
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	149	1993
Logic programming over polymorphically order-sorted types G Smolka Universität Kaiserslautern, 1989	149	1989
Basic narrowing revisited W Nutt, P Réty, G Smolka Journal of Symbolic Computation 7 (3-4), 295-317, 1989	129	1989
A concurrent lambda calculus with futures J Niehren, J Schwinghammer, G Smolka Theoretical Computer Science 364 (3), 338-356, 2006	126	2006
Representation and reasoning with attributive descriptions B Nebel, G Smolka Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG …, 2005	122	2005
Inheritance hierarchies: Semantics and unification G Smolka, H Aït-Kaci Journal of Symbolic Computation 7 (3-4), 343-370, 1989	114	1989
Finite domain constraint programming in Oz C Schulte, G Smolka, J Wurtz A tutorial. Technical report, DFKI and Saarland University, 1999	111	1999
Oz-a programming language for multi-agent systems M Henz, G Smolka, J Würtz IJCAI, 404-409, 1993	107	1993
Order-sorted unification J Meseguer, JA Goguen, G Smolka Journal of Symbolic Computation 8 (4), 383-413, 1989	106	1989
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	96	2015
The definition of kernel Oz G Smolka French School on Theoretical Computer Science, 251-292, 1994	93	1994

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy