Accepting PhD Students

PhD projects

Development of high performance discrete optimization solving technology Development of high-level modelling languages for discrete optimization Multi-agent path finding problems and extensions Hybrid approaches to solving discrete optimization

1986 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

1986

Canonical logic programs

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : The Journal of Logic Programming. 3, 2, p. 143-155 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
17 Citations (Scopus)

Logic program semantics for programming with equations

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer, p. 313-326 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Semantics of infinite tree logic programming

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : Theoretical Computer Science. 46, C, p. 141-158 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
20 Citations (Scopus)
1990

A constraint logic programming shell

Lim, P. & Stuckey, P. J., 1 Jan 1990, Programming Language Implementation and Logic Programming - International Workshop PLILP 1990, Proceedings. Deransart, P. & Maluszynski, J. (eds.). Springer, p. 75-88 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 456 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Eliminating negation from normal logic programs

Kanchanasut, K. & Stuckey, P., 1 Jan 1990, Algebraic and Logic Programming - 2nd International Conference, Proceedings. Kirchner, H. & Wechler, W. (eds.). Springer, p. 217-231 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 463 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
1991

Constructive negation for constraint logic programming

Stuckey, P. J., 1 Jul 1991, Proceedings - Symposium on Logic in Computer Science. IEEE, Institute of Electrical and Electronics Engineers, p. 328-339 12 p. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

64 Citations (Scopus)

Design overview of the Aditi deductive database system

Vaghani, J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z. & Stuckey, P. J., 1 Apr 1991, Proceedings - International Conference on Data Engineering. Publ by IEEE, p. 240-247 8 p. (Proceedings - International Conference on Data Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Incremental linear constraint solving and detection of implicit equalities

Stuckey, P. J., 1 Jan 1991, In : ORSA Journal on Computing. 3, 4, p. 269-274 6 p.

Research output: Contribution to journalArticleResearchpeer-review

14 Citations (Scopus)

Magic sets and bottom-up evaluation of well-founded models

Kemp, D. B., Stuckey, P. J. & Srivastava, D., 1 Dec 1991, p. 337-351. 15 p.

Research output: Contribution to conferencePaper

29 Citations (Scopus)

Semantics of logic programs with aggregates

Kemp, D. B. & Stuckey, P. J., 1 Dec 1991, p. 387-401. 15 p.

Research output: Contribution to conferencePaper

60 Citations (Scopus)

The CLP(R) language and system: An overview

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 1 Dec 1991, Digest of Papers - IEEE Computer Society International Conference. Publ by IEEE, p. 376-381 6 p. (Digest of Papers - IEEE Computer Society International Conference).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1992

An Abstract Machine for CLP(R)

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 7 Jan 1992, In : ACM SIGPLAN Notices. 27, 7, p. 128-139 12 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

CLP(ℜ) and some electrical engineering problems

Heintze, N., Michaylov, S. & Stuckey, P., 1 Oct 1992, In : Journal of Automated Reasoning. 9, 2, p. 231-260 30 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

The CLP(R) Language and System

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 5 Jan 1992, In : ACM Transactions on Programming Languages and Systems. 14, 3, p. 339-395 57 p.

Research output: Contribution to journalArticleResearchpeer-review

313 Citations (Scopus)

Transforming normal logic programs to constraint logic programs

Kanchanasut, K. & Stuckey, P. J., 26 Oct 1992, In : Theoretical Computer Science. 105, 1, p. 27-56 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
3 Citations (Scopus)
1993

3 R's of optimizing constraint logic programs: Refinement, removal and reordering

Marriott, K. & Stuckey, P. J., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 334-344 11 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

33 Citations (Scopus)

Projecting CLP R constraints

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Sep 1993, In : New Generation Computing. 11, 3-4, p. 449-469 21 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

Semantics of Constraint Logic Programs with Optimization

Marriott, K. & Stuckey, P. J., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems. 2, 1-4, p. 197-212 16 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)

Well-founded ordered search

Stuckey, P. J. & Sudarshan, S., 1 Jan 1993, Foundations of Software Technology and Theoretical Computer Science - 13th Conference, Proceedings. Shyamasundar, R. K. (ed.). Springer, p. 161-171 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 761 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

5 Citations (Scopus)
1994

Beyond finite domains

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 86-94 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

54 Citations (Scopus)

Compiling query constraints

Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery (ACM), p. 56-67 12 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

16 Citations (Scopus)

Foundations of aggregation constraints

Ross, K. A., Srivastava, D., Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 193-204 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)

The aditi deductive database system

Vaghanl, J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z., Stuckey, P. J., Leask, T. S. & Harland, J., 1 Apr 1994, In : The VLDB Journal. 3, 2, p. 245-288 44 p.

Research output: Contribution to journalArticleResearchpeer-review

27 Citations (Scopus)
1995

An optimizing compiler for CLP(R)

Kelly, A. D., Macdonald, A., Marriott, K., Søndergaard, H., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 222-239 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

9 Citations (Scopus)

Bottom-up evaluation and query optimization of well-founded models

Kemp, D. B., Srivastava, D. & Stuckey, P. J., 24 Jul 1995, In : Theoretical Computer Science. 146, 1-2, p. 145-184 40 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
34 Citations (Scopus)

ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS

Kemp, D. B., Ramamohanarao, K. & Stuckey, P. J., 1 Jan 1995, Deductive and Object-Oriented Databases - 4th International Conference, DOOD 1995, Proceedings. Vieille, L., Mendelzon, A. O. & Ling, T. W. (eds.). Springer, p. 91-108 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1013).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

9 Citations (Scopus)

Negation and constraint logic programming

Stuckey, P. J., 1 Jan 1995, In : Information and Computation. 118, 1, p. 12-33 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
56 Citations (Scopus)

On inductive inference of cyclic structures

Maher, M. J. & Stuckey, P. J., 1 Jun 1995, In : Annals of Mathematics and Artificial Intelligence. 15, 2, p. 167-208 42 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)
1996

Cost-Based Optimization for Magic: Algebra and Implementation

Seshadri, P., Ramakrishnan, R., Hellerstein, J. M., Srivastava, D., Pirahesh, H., Stuckey, P. J., Leung, T. Y. C. & Sudarshan, S., 1 Jan 1996, In : SIGMOD Record (ACM Special Interest Group on Management of Data). 25, 2, p. 435-446 12 p.

Research output: Contribution to journalArticleResearchpeer-review

42 Citations (Scopus)

Low-contact learning in a first year programming course

Johnston, R., Moffat, A., Søndergaard, H. & Stuckey, P., 7 Mar 1996, Proceedings of the 1st Australasian Conference on Computer Science Education, ACSE 1996. Association for Computing Machinery (ACM), p. 19-26 8 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Models for using stochastic constraint solvers in constraint logic programming

Stuckey, P. J. & Tam, V., 1 Jan 1996, Programming Languages: Implementations, Logics, and Programs - 8th International Symposium, PLILP 1996, Proceedings. Swierstra, S. D. & Kuchen, H. (eds.). Springer, p. 423-437 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1140).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Optimizing bottom-up evaluation of constraint queries

Kemp, D. B. & Stuckey, P. J., 1 Jan 1996, In : Journal of Logic Programming. 26, 1, p. 1-30 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
2 Citations (Scopus)

Two applications of an incremental analysis engine for (Constraint) logic programs

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Schmidt, D. A. & Cousot, R. (eds.). Springer, p. 385-386 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Using stochastic methods to guide search in CLP: A preliminary report

Lee, J. H. M., Leung, H. F., Stuckey, P. J., Tam, V. W. L. & Won, H. W., 1 Jan 1996, Concurrency and Parallelism, Programming, Networking, and Security - 2nd Asian Computing Science Conference, ASIAN 1996, Proceedings. Jaffar, J. & Yap, R. H. C. (eds.). Springer, p. 43-52 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1179).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)
1997

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs

Kemp, D. B., Ramamohanarao, K. & Stuckey, P. J., 1 Dec 1997, In : Journal of Systems Integration. 7, 3-4, p. 191-230 40 p.

Research output: Contribution to journalArticleResearchpeer-review

Compiling constraint solving using projection

Harvey, W., Stuckey, P. J. & Borning, A., 1 Jan 1997, Principles and Practice of Constraint Programming - CP 1997 - 3rd International Conference, CP 1997, Proceedings. Smolka, G. (ed.). Springer, p. 491-505 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1330).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

11 Citations (Scopus)

Extending EGENET with lazy constraint consistency

Stuckey, P. & Tam, V., 1 Dec 1997, Proceedings of the International Conference on Tools with Artificial Intelligence. p. 248-257 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Meta-programming in CLP(ℛ)

Heintze, N., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1997, In : Journal of Logic Programming. 33, 3, p. 221-259 39 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
5 Citations (Scopus)

Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

Stuckey, P. J. & Sudarshan, S., 1 Jan 1997, In : Journal of Logic Programming. 32, 3, p. 171-205 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
4 Citations (Scopus)
1998

An efficient heuristic-based evolutionary algorithm for solving constraint satisfaction problems

Tam, V. & Stuckey, P., 1 Jan 1998, Proceedings - IEEE International Joint Symposia on Intelligence and Systems. IEEE, Institute of Electrical and Electronics Engineers, p. 75-82 8 p. 685421. (Proceedings - IEEE International Joint Symposia on Intelligence and Systems).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

A practical object-oriented analysis engine for CLP

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1998, In : Software - Practice and Experience. 28, 2, p. 199-224 26 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Extending GENET with lazy arc consistency

Stuckey, P. J. & Tam, V., 1 Dec 1998, In : IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.. 28, 5, p. 698-703 6 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Foundations of aggregation constraints

Ross, K. A., Srivastava, D., Stuckey, P. J. & Sudarshan, S., 28 Feb 1998, In : Theoretical Computer Science. 193, 1-2, p. 149-179 31 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
27 Citations (Scopus)

Lagrangian reconstruction of a class of local search methods

Choi, K. M. F., Lee, J. H. M. & Stuckey, P. J., 1 Dec 1998, Proceedings of the International Conference on Tools with Artificial Intelligence. p. 166-175 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)

Optimizing compilation of CLP(R)

Kelly, A. D., Marriott, K., Macdonald, A., Stuckey, P. J. & Yap, R., 1 Nov 1998, In : ACM Transactions on Programming Languages and Systems. 20, 6, p. 1223-1250 28 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)
1999

Sharing and groundness dependencies in logic programs

Codish, M., Søndergaard, H. & Stuckey, P. J., 1 Jan 1999, In : ACM Transactions on Programming Languages and Systems. 21, 5, p. 948-976 29 p.

Research output: Contribution to journalArticleResearchpeer-review

28 Citations (Scopus)
2000

Improving temporal joins using histograms

Sitzmann, I. & Stuckey, P. J., 1 Jan 2000, Database and Expert Systems Applications - 11th International Conference, DEXA 2000, Proceedings. Revell, N., Ibrahim, M. & Kung, J. (eds.). Springer, p. 488-498 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1873).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Lagrangian reconstruction of GENET

Choi, K. M. F., Lee, J. H. M. & Stuckey, P. J., 1 Jan 2000, In : Artificial Intelligence. 123, 1-2, p. 1-39 39 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
16 Citations (Scopus)

O-trees: A constraint-based index structure

Sitzmann, I. & Stuckey, P., 1 Jan 2000, Proceedings - 11th Australasian Database Conference, ADC 2000. Orlowska, M. E. (ed.). IEEE, Institute of Electrical and Electronics Engineers, p. 127-134 8 p. 819823. (Proceedings - 11th Australasian Database Conference, ADC 2000).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)
2001

A framework for analysis of typed logic programs

Lagoon, V. & Stuckey, P. J., 1 Jan 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kuchen, H. & Ueda, K. (eds.). Springer, p. 296-310 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2024).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

11 Citations (Scopus)