Gert Smolka

Cituota

	Visi	Nuo 2019
Šaltiniai	7670	888
h-rodyklė	40	12
i10-rodyklė	86	19

360

180

270

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202470 104 114 145 209 226 330 293 293 279 323 280 291 231 214 194 189 266 252 355 227 278 233 182 145 158 142 130 121 134 145 180 162 152 180 102 112

Viešas pasiekiamumas

Peržiūrėti viską

4 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Mark KaminskiDepartmental Lecturer, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainPatvirtintas el. paštas uclouvain.be
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyPatvirtintas el. paštas kth.se
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoPatvirtintas el. paštas unibz.it
Seif HaridiProfessor of Computer Systems, KTH, RISEPatvirtintas el. paštas ri.se
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtPatvirtintas el. paštas ki.informatik.uni-frankfurt.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityPatvirtintas el. paštas informatik.uni-freiburg.de
Joachim NiehrenINRIA LillePatvirtintas el. paštas inria.fr
Martin HenzNational University of SingaporePatvirtintas el. paštas comp.nus.edu.sg
Bernhard NebelProfessor für Informatik, Universität FreiburgPatvirtintas el. paštas uni-freiburg.de
Hassan Aït-KaciHAK Language TechnologiesPatvirtintas el. paštas acm.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignPatvirtintas el. paštas illinois.edu
Guido TackAssociate Professor, Monash UniversityPatvirtintas el. paštas monash.edu
Rolf BackofenProfessor für Bioinformatik, Universität FreiburgPatvirtintas el. paštas informatik.uni-freiburg.de
Sigurd SchneiderSaarland UniversityPatvirtintas el. paštas cs.uni-saarland.de
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenPatvirtintas el. paštas tu-dresden.de
Hans-Jürgen BürckertDFKI GmbHPatvirtintas el. paštas dfki.de
Moritz HardtMax Planck Institute for Intelligent SystemsPatvirtintas el. paštas is.mpg.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyPatvirtintas el. paštas uni-bremen.de

Stebėti

Gert Smolka

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Patvirtintas el. paštas ps.uni-saarland.de - Pagrindinis puslapis

Computational Logic Programming Languages


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Attributive concept descriptions with complements M Schmidt-Schauß, G Smolka Artificial intelligence 48 (1), 1-26, 1991	1680	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	253	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	95	2015
The definition of kernel Oz G Smolka French School on Theoretical Computer Science, 251-292, 1994	93	1994

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai