Péter Szeredi

According to our database, Péter Szeredi authored at least 36 papers between 1977 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving.

Zsolt Zombori, Péter Szeredi

Acta Cybern., 2012

Static Type Inference for the Q language using Constraint Logic Programming.

Zsolt Zombori, János Csorba, Péter Szeredi

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language

János Csorba, Zsolt Zombori, Péter Szeredi

CoRR, 2011

Static Type Checking for the Q Functional Language in Prolog.

Zsolt Zombori, János Csorba, Péter Szeredi

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2009

Efficient description logic reasoning in Prolog: The DLog system.

Gergely Lukácsy, Péter Szeredi

Theory Pract. Log. Program., 2009

Plagiarism Detection in Source Programs Using Structural Similarities.

Gergely Lukácsy, Péter Szeredi

Acta Cybern., 2009

Scalable Web Reasoning Using Logic Programming Techniques.

Gergely Lukácsy, Péter Szeredi

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

2008

Symposium of Young Scientists on Intellignet Systems - Preface.

Tibor Gregorics, Bálint Molnár, Edit Sántáné-Tóth, Péter Szeredi, Zoltán Vámossy, László Zsolt Varga

Acta Cybern., 2008

Prolog Based Description Logic Reasoning.

Gergely Lukácsy, Péter Szeredi, Balázs Kádár

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Optimizing Queries in a Logic-based Information Integration System

András György Békés, Péter Szeredi

CoRR, 2007

Symposium of Young Scientists on Intelligent Systems - Preface.

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

Acta Cybern., 2007

Towards automatic semantic integration.

Gergely Lukácsy, Péter Szeredi, Tamás Benkö

Proceedings of the Enterprise Interoperability II, 2007

Ontology Based Information Integration Using Logic Programming.

Gergely Lukácsy, Péter Szeredi

Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007

2006

Translating Description Logic Queries to Prolog.

Zsolt Nagy, Gergely Lukácsy, Péter Szeredi

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Improving the ISO Prolog Standard by Analyzing Compliance Test Results.

Péter G. N. Szabó, Péter Szeredi

Proceedings of the Logic Programming, 22nd International Conference, 2006

Description logic reasoning using the PTTP approach.

Zsolt Nagy, Gergely Lukácsy, Péter Szeredi

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2004

FDBG, the CLPFD Debugger Library of SICStus Prolog.

Dávid Hanák, Tamás Szeredi, Péter Szeredi

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Teaching Constraints through Logic Puzzles.

Péter Szeredi

Proceedings of the Recent Advances in Constraints, 2003

2002

A Logic-Based System for Application Integration.

Tamás Benkö, Péter Krauth, Péter Szeredi

Proceedings of the Logic Programming, 18th International Conference, 2002

1993

MProlog: an Implementation Overview.

Zsuzsa Farkas, Péter Köves, Péter Szeredi

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

1992

Exploiting Or-Parallelism in Optimisation Problems.

Péter Szeredi

Proceedings of the Logic Programming, 1992

Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.

Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

1991

Using Dynamic Predicates in an Or--Parallel Prolog System.

Péter Szeredi

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.

Péter Szeredi, Rong Yang, Mats Carlsson

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Flexible Scheduling of OR-Parallel Logic Programming Systems.

Anthony Joseph Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Solving Optimisation Problems in the Aurora Or-parallel Prolog System.

Péter Szeredi

Proceedings of the Parallel Execution of Logic Programs, 1991

1990

The Aurora or-parallel Prolog system.

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

New Gener. Comput., 1990

1989

Performance Analysis of the Aurora Or-Parallel Prolog System.

Péter Szeredi

Proceedings of the Logic Programming, 1989

Scheduling Or-parallelism in Aurora: The Manchester Scheduler.

Alan Calderwood, Péter Szeredi

Proceedings of the Logic Programming, 1989

1988

The Aurora Or-Parallel Prolog System.

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

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Converting AND-Control to OR-Control by Program Transformation.

Maarten H. van Emden, Péter Szeredi

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1986

Perspectives of logic programming.

Péter Szeredi

Proceedings of the Trends, 1986

1983

Prolog in Practice.

Bálint Dömölki, Péter Szeredi

Proceedings of the Information Processing 83, 1983

1982

Software Development in LDM.

Kalman Balogh, Zsuzsa Farkas, Edit Sántáné-Tóth, Péter Szeredi

Proceedings of the Specification and Design of Software Systems, 1982

LDM: A Program Specification Support System.

Zsuzsa Farkas, Péter Szeredi, Edit Sántáné-Tóth

Proceedings of the First International Logic Programming Conference, 1982

1977

The Application of Prolog to the Development of QA and DBM Systems.

Ivan Futó, Ferenc Darvas, Péter Szeredi

Proceedings of the Logic and Data Bases, 1977