Péter Szeredi
Cím
Hivatkozott rá
Hivatkozott rá
Év
The Aurora or-parallel Prolog system
E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ...
New Generation Computing 7 (2-3), 243-271, 1990
4171990
Scheduling Or-parallelism in Aurora: The Manchester Scheduler.
A Calderwood, P Szeredi
ICLP 89, 419-435, 1989
781989
Performance Analysis of the Aurora Or-Parallel Prolog System.
P Szeredi
NACLP 89, 713-732, 1989
751989
Flexible scheduling of OR-parallelism in Aurora: The Bristol scheduler
A Beaumont, SM Raman, P Szeredi, DHD Warren
Parle’91 Parallel Architectures and Languages Europe, 825-842, 1991
651991
Efficient description logic reasoning in Prolog: the DLog system
G Lukácsy, P Szeredi
arXiv preprint arXiv:0904.0578, 2009
442009
Serving multiple html clients from a prolog application
P Szeredi, K Molnár, R Scott
Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET …, 1996
331996
The Semantic Web explained: the technology and mathematics behind Web 3.0
P Szeredi, G Lukácsy, T Benkő
Cambridge University Press, 2014
312014
The application of PROLOG to the development of QA and DBM systems
I Futo, F Darvas, P Szeredi
Logic and Data Bases, 347-376, 1978
291978
Prolog applications in Hungary
E Sántáné-Tóth, P Szeredi
Logic Programming, Academic Press, London, 19-32, 1982
261982
The MPROLOG system
J Bendl, P Koves, P Szeredi
Logic Programming Workshop, 201-209, 1980
221980
Prolog in Practice.
B Doemoelki, P Szeredi
IFIP Congress, 627-636, 1983
201983
A szemantikus világháló elmélete és gyakorlata
P Szeredi, G Lukácsy, T Benkő
Budapest: Typotex, 2005
182005
Module concepts for Prolog
P Szeredi
Proc. Workshop on Prolog Programming Environments, Linkoping, 69-80, 1982
171982
Interfacing engines and schedulers in or-parallel Prolog systems
P Szeredi, R Yang, M Carlsson
International Conference on Parallel Architectures and Languages Europe, 439-453, 1991
161991
Translating description logic queries to Prolog
Z Nagy, G Lukácsy, P Szeredi
International Symposium on Practical Aspects of Declarative Languages, 168-182, 2006
152006
Using Dynamic Predicates in an Or--Parallel Prolog System.
P Szeredi
ISLP, 355-371, 1991
151991
Prolog based description logic reasoning
G Lukácsy, P Szeredi, B Kádár
International Conference on Logic Programming, 455-469, 2008
142008
A szemantikus világháló elmélete és gyakorlata
S Péter, N Zsolt, L Gergely, B Tamás
Typotex, 2005
142005
Logic-based program system for predicting drug interactions
F Darvas, I Futó, P Szeredi
International journal of bio-medical computing 9 (4), 259-271, 1978
141978
„PROLOG–a very high-level language based on predicate logic”
P Szeredi
Proceedings of the Second Hungarian Computer Science Conference, 853-866, 1977
121977
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20