Péter Szeredi

Publication Activity (10 Years)

Years Active: 1977-2012
Publications (10 Years): 0

Top Topics

Theorem Proving

Constraint Logic Programming

Top Venues

ICLP (Technical Communications)

Publications

Zsolt Zombori, Péter Szeredi
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. Acta Cybern. 20 (3) (2012)
Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Inference for the Q language using Constraint Logic Programming. ICLP (Technical Communications) (2012)
Zsolt Zombori, János Csorba, Péter Szeredi
Static Type Checking for the Q Functional Language in Prolog. ICLP (Technical Communications) (2011)
János Csorba, Zsolt Zombori, Péter Szeredi
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language CoRR (2011)
Gergely Lukácsy, Péter Szeredi
Plagiarism Detection in Source Programs Using Structural Similarities. Acta Cybern. 19 (1) (2009)
Gergely Lukácsy, Péter Szeredi
Efficient Description Logic Reasoning in Prolog: The DLog system CoRR (2009)
Gergely Lukácsy, Péter Szeredi
Efficient description logic reasoning in Prolog: The DLog system. Theory Pract. Log. Program. 9 (3) (2009)
Gergely Lukácsy, Péter Szeredi
Scalable Web Reasoning Using Logic Programming Techniques. RR (2009)
Gergely Lukácsy, Péter Szeredi, Balázs Kádár
Prolog Based Description Logic Reasoning. ICLP (2008)
Tibor Gregorics, Bálint Molnár, 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. 18 (4) (2008)
Laszlo Csink, Tibor Gregorics, Bálint Molnár, 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. 18 (2) (2007)
Gergely Lukácsy, Péter Szeredi
Ontology Based Information Integration Using Logic Programming. ALPSWS (2007)
Gergely Lukácsy, Péter Szeredi, Tamás Benkö
Towards automatic semantic integration. IESA (2007)
András György Békés, Péter Szeredi
Optimizing Queries in a Logic-based Information Integration System CoRR (2007)
Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
Translating Description Logic Queries to Prolog. PADL (2006)
Peter Szabó, Péter Szeredi
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. ICLP (2006)
Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
Description logic reasoning using the PTTP approach. Description Logics (2006)
Dávid Hanák, Tamás Szeredi, Péter Szeredi
FDBG, the CLPFD Debugger Library of SICStus Prolog. ICLP (2004)
Péter Szeredi
Teaching Constraints through Logic Puzzles. CSCLP (2003)
Tamás Benkö, Péter Krauth, Péter Szeredi
A Logic-Based System for Application Integration. ICLP (2002)
Zsuzsa Farkas, Péter Köves, Péter Szeredi
MProlog: an Implementation Overview. ICLP-Workshops on Implementation of Logic Programming Systems (1993)
Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. ILPS (1993)
Péter Szeredi
Exploiting Or-Parallelism in Optimisation Problems. JICSLP (1992)
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)
Anthony Joseph Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren
Flexible Scheduling of OR-Parallel Logic Programming Systems. PARLE (2) (1991)
Péter Szeredi
Solving Optimisation Problems in the Aurora Or-parallel Prolog System. ICLP Workshop on Parallel Execution of Logic Programs (1991)
Péter Szeredi
Using Dynamic Predicates in an Or--Parallel Prolog System. ISLP (1991)
Péter Szeredi, Rong Yang, Mats Carlsson
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) (1991)
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 Gener. Comput. 7 (2-3) (1990)
Péter Szeredi
Performance Analysis of the Aurora Or-Parallel Prolog System. NACLP (1989)
Alan Calderwood, Péter Szeredi
Scheduling Or-parallelism in Aurora: The Manchester Scheduler. ICLP (1989)
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)
Péter Szeredi
Perspectives of logic programming. IMYCS (1986)
Bálint Dömölki, Péter Szeredi
Prolog in Practice. IFIP Congress (1983)
Zsuzsa Farkas, Péter Szeredi, Edit Sántáné-Tóth
LDM: A Program Specification Support System. ICLP (1982)
Kalman Balogh, Zsuzsa Farkas, Edit Sántáné-Tóth, Péter Szeredi
Software Development in LDM. Conference on Operating Systems (1982)
Ivan Futó, Ferenc Darvas, Péter Szeredi
The Application of Prolog to the Development of QA and DBM Systems. Logic and Data Bases (1977)