| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | János Csorba, Zsolt Zombori, Péter Szeredi |
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zsolt Zombori, János Csorba, Péter Szeredi |
Static Type Checking for the Q Functional Language in Prolog. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi |
Plagiarism Detection in Source Programs Using Structural Similarities. |
Acta Cybern. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi |
Efficient Description Logic Reasoning in Prolog: The DLog system |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi |
Efficient description logic reasoning in Prolog: The DLog system. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi |
Scalable Web Reasoning Using Logic Programming Techniques. |
RR |
2009 |
DBLP DOI BibTeX RDF |
DL, Scalability, Parallelism, Logic Programming, OWL |
| 1 | Tibor Gregorics, Balint Molnar, Edit Sántáné-Tóth, Péter Szeredi, Zoltán Vámossy, László Zsolt Varga |
Symposium of Young Scientists on Intellignet Systems --- Preface. |
Acta Cybern. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi, Balázs Kádár |
Prolog Based Description Logic Reasoning. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, description logic, resolution, large data sets |
| 1 | Laszlo Csink, Tibor Gregorics, Balint Molnar, Edit Sántáné-Tóth, Péter Szeredi, Zoltán Vámossy, László Zsolt Varga |
Symposium of Young Scientists on Intelligent Systems --- Preface. |
Acta Cybern. |
2007 |
DBLP BibTeX RDF |
|
| 1 | András Gyorgy Békés, Péter Szeredi |
Optimizing Queries in a Logic-based Information Integration System |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi |
Ontology Based Information Integration Using Logic Programming. |
ALPSWS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gergely Lukácsy, Péter Szeredi, Tamás Benkö |
Towards automatic semantic integration. |
IESA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsolt Nagy, Gergely Lukácsy, Péter Szeredi |
Translating Description Logic Queries to Prolog. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Instance retrieval, Prolog, Description Logics, Reasoning, Query-plan |
| 1 | Zsolt Nagy, Gergely Lukácsy, Péter Szeredi |
Description logic reasoning using the PTTP approach. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Szabó, Péter Szeredi |
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dávid Hanák, Tamás Szeredi, Péter Szeredi |
FDBG, the CLPFD Debugger Library of SICStus Prolog. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers |
CSCLP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Péter Szeredi |
Teaching Constraints through Logic Puzzles. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Benkö, Péter Krauth, Péter Szeredi |
A Logic-Based System for Application Integration. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsuzsa Farkas, Péter Köves, Péter Szeredi |
MProlog: an Implementation Overview. |
ICLP-Workshops on Implementation of Logic Programming Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi |
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi |
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. |
IJCSLP Workshop on Concurrent and Parallel Implementations |
1992 |
DBLP BibTeX RDF |
|
| 1 | Péter Szeredi |
Exploiting Or-Parallelism in Optimisation Problems. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Péter Szeredi, Rong Yang, Mats Carlsson |
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
Or-Parallel Execution, Scheduling, Multiprocessors, Implementation Techniques |
| 1 | Anthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren |
Flexible Scheduling of OR-Parallel Logic Programming Systems. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Szeredi |
Solving Optimisation Problems in the Aurora Or-parallel Prolog System. |
ICLP Workshop on Parallel Execution of Logic Programs |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Szeredi |
Using Dynamic Predicates in an Or--Parallel Prolog System. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi |
The Aurora or-parallel Prolog system. |
New Generation Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Calderwood, Péter Szeredi |
Scheduling Or-parallelism in Aurora: The Manchester Scheduler. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Péter Szeredi |
Performance Analysis of the Aurora Or-Parallel Prolog System. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Maarten H. van Emden, Péter Szeredi |
Converting AND-Control to OR-Control by Program Transformation. |
Foundations of Deductive Databases and Logic Programming. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman |
The Aurora Or-Parallel Prolog System. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Péter Szeredi |
Perspectives of logic programming. |
IMYCS |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Bálint Dömölki, Péter Szeredi |
Prolog in Practice. |
IFIP Congress |
1983 |
DBLP BibTeX RDF |
|
| 1 | Zsuzsa Farkas, Péter Szeredi, Edit Sántáné-Tóth |
LDM: A Program Specification Support System. |
ICLP |
1982 |
DBLP BibTeX RDF |
|
| 1 | Kalman Balogh, Zsuzsa Farkas, Edit Sántáné-Tóth, Péter Szeredi |
Software Development in LDM. |
Conference on Operating Systems |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Futó, Ferenc Darvas, Péter Szeredi |
The Application of Prolog to the Development of QA and BDS Systems. |
Logic and Data Bases |
1977 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")