| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Peter J. Stuckey 92 Inga Sitzmann , Peter J. Stuckey: Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002 91 Warwick Harvey , Peter J. Stuckey, Alan Borning : Fourier Elimination for Compiling Constraint Hierarchies. Constraints 7 (2): 199-219 (2002) 90 Trevor Hansen , Kim Marriott , Bernd Meyer , Peter J. Stuckey: Flexible Graph Layout for the Web. Journal of Visual Languages and Computing 13 (1): 35-60 (2002) 89 Kim Marriott , Peter Moulder , Peter J. Stuckey, Alan Borning : Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001 : 361-376 88 Vitaly Lagoon , Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001 : 296-310 87 Michael Codish , Samir Genaim , Harald Søndergaard , Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001 : 135-149 86 Christian Holzbaur , Maria J. García de la Banda , David Jeffery , Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001 : 74-89 85 Maria J. García de la Banda , David Jeffery , Kim Marriott , Nicholas Nethercote , Peter J. Stuckey, Christian Holzbaur : Building Constraint Solvers with HAL. ICLP 2001 : 90-104 84 Kevin Glynn , Peter J. Stuckey, Martin Sulzmann , Harald Søndergaard : Boolean Constraints for Binding-Time Analysis. PADO 2001 : 39-62 83 Kevin Glynn , Peter J. Stuckey, Martin Sulzmann : Effective Strictness Analysis with HORN Constraints. SAS 2001 : 73-92 82 Kenneth A. Ross , Inga Sitzmann , Peter J. Stuckey: Cost-based Unbalanced R-Trees. SSDBM 2001 : 203-212 81 Greg J. Badros , Alan Borning , Peter J. Stuckey: The Cassowary linear arithmetic constraint solving algorithm. TOCHI 8 (4): 267-306 (2001) 80 John W. Lloyd , Verónica Dahl , Ulrich Furbach , Manfred Kerber , Kung-Kiu Lau , Catuscia Palamidessi , Luís Moniz Pereira , Yehoshua Sagiv , Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Springer 2000 79 Inga Sitzmann , Peter J. Stuckey: O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000 : 127-134 78 Maria J. García de la Banda , Peter J. Stuckey, Warwick Harvey , Kim Marriott : Model Checking in HAL. Computational Logic 2000 : 1270-1284 77 Inga Sitzmann , Peter J. Stuckey: Improving Temporal Joins Using Histograms. DEXA 2000 : 488-498 76 Francisco Bueno , Maria J. García de la Banda , Manuel V. Hermenegildo , Kim Marriott , German Puebla , Peter J. Stuckey: A model for inter-module analysis and optimizing compilation. LOPSTR 2000 75 Francisco Bueno , Maria J. García de la Banda , Manuel V. Hermenegildo , Kim Marriott , German Puebla , Peter J. Stuckey: A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000 : 86-102 74 Kenneth M. F. Choi , Jimmy Ho-Man Lee , Peter J. Stuckey: A Lagrangian reconstruction of GENET. Artificial Intelligence 123 (1-2): 1-39 (2000) 73 Manuel V. Hermenegildo , German Puebla , Kim Marriott , Peter J. Stuckey: Incremental analysis of constraint logic programs. TOPLAS 22 (2): 187-223 (2000) 72 Greg J. Badros , Alan Borning , Kim Marriott , Peter J. Stuckey: Constraint Cascading Style Sheets for the Web. ACM Symposium on User Interface Software and Technology 1999 : 73-82 71 Bart Demoen , Maria J. García de la Banda , Warwick Harvey , Kim Marriott , Peter J. Stuckey: An Overview of HAL. CP 1999 : 174-188 70 Bart Demoen , Maria J. García de la Banda , Warwick Harvey , Kim Marriott , Peter J. Stuckey: Herbrand Constraint Solving in HAL. ICLP 1999 : 260-274 69 Kim Marriott , Peter J. Stuckey: Book reviews. Intelligence 10 (2): 39-47 (1999) 68 Peter J. Stuckey, Vincent Tam : Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. International Journal on Artificial Intelligence Tools 8 (4): 363-384 (1999) 67 Michael Codish , Harald Søndergaard , Peter J. Stuckey: Sharing and groundness dependencies in logic programs. TOPLAS 21 (5): 948-976 (1999) 66 Warwick Harvey , Peter J. Stuckey: Constraint Representation for Propagation. CP 1998 : 235-249 65 Maria J. García de la Banda , Kim Marriott , Peter J. Stuckey, Harald Søndergaard : Differential Methods in Logic Program Analysis. JLP 35 (1): 1-37 (1998) 64 Joxan Jaffar , Michael J. Maher , Kim Marriott , Peter J. Stuckey: The Semantics of Constraint Logic Programs. JLP 37 (1-3): 1-46 (1998) 63 Peter J. Stuckey, Vincent Tam : Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. Journal of Functional and Logic Programming 1998 (2): (1998) 62 Kim Marriott , Harald Søndergaard , Peter J. Stuckey: A Practical Object-Oriented Analysis Engine for CLP. Software - Practice and Experience 28 (2): 199-224 (1998) 61 Kenneth A. Ross , Divesh Srivastava , Peter J. Stuckey, S. Sudarshan : Foundations of Aggregation Constraints. TCS 193 (1-2): 149-179 (1998) 60 Andrew D. Kelly , Kim Marriott , Andrew D. Macdonald , Peter J. Stuckey, Roland H. C. Yap : Optimizing Compilation of CLP(R). TOPLAS 20 (6): 1223-1250 (1998) 59 Alan Borning , Kim Marriott , Peter J. Stuckey, Yi Xiao : Solving Linear Arithmetic Constraints for User Interface Applications. ACM Symposium on User Interface Software and Technology 1997 : 87-96 58 Warwick Harvey , Peter J. Stuckey, Alan Borning : Compiling Constraint Solving using Projection. CP 1997 : 491-505 57 Peter J. Stuckey: Constraint Search Tree. ICLP 1997 : 301-315 56 German Puebla , Maria J. García de la Banda , Kim Marriott , Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997 : 93-107 55 Peter J. Stuckey, Vincent Tam : Extending EGENET with Lazy Constraint Consistency. ICTAI 1997 : 248- 54 Raghu Ramakrishnan , Peter J. Stuckey: Introduction to the Special Issue on Constraints and Databases. Constraints 2 (3/4): 243 (1997) 53 Peter J. Stuckey, S. Sudarshan : Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. JLP 32 (3): 171-205 (1997) 52 Nevin Heintze , Spiro Michaylov , Peter J. Stuckey, Roland H. C. Yap : Meta-Programming in CLP(R). JLP 33 (3): 221-259 (1997) 51 David B. Kemp , Kotagiri Ramamohanarao , Peter J. Stuckey: An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. Journal of Systems Integration 7 (3/4): 191-230 (1997) 50 J. H. M. Lee , Ho-Fung Leung , Peter J. Stuckey, V. W. L. Tam , Hon-Wing Won : Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996 : 43-52 49 Andrew D. Kelly , Andrew D. Macdonald , Kim Marriott , Peter J. Stuckey, Roland H. C. Yap : Effectiveness of Optimizing Compilation for CLP(R). JICSLP 1996 : 37-51 48 Peter J. Stuckey, Vincent Tam : Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996 : 423-437 47 Andrew D. Kelly , Kim Marriott , Harald Søndergaard , Peter J. Stuckey: Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS 1996 : 385-386 46 Praveen Seshadri , Joseph M. Hellerstein , Hamid Pirahesh , T. Y. Cliff Leung , Raghu Ramakrishnan , Divesh Srivastava , Peter J. Stuckey, S. Sudarshan : Cost-Based Optimization for Magic: Algebra and Implementation. SIGMOD Conference 1996 : 435-446 45 David B. Kemp , Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. JLP 26 (1): 1-30 (1996) 44 Andrew D. Kelly , Andrew D. Macdonald , Kim Marriott , Harald Søndergaard , Peter J. Stuckey, Roland H. C. Yap : An Optimizing Compiler for CLP(R). CP 1995 : 222-239 43 David B. Kemp , Kotagiri Ramamohanarao , Peter J. Stuckey: ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD 1995 : 91-108 42 Jennifer Burg , Peter J. Stuckey, Jason C. H. Tai , Roland H. C. Yap : Linear Equation Solving for Constraint Logic Programming. ICLP 1995 : 33-47 41 Manuel V. Hermenegildo , German Puebla , Kim Marriott , Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995 : 797-811 40 Maria J. García de la Banda , Kim Marriott , Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995 : 417-431 39 Michael J. Maher , Peter J. Stuckey: On Inductive Inference of Cyclic Structures. Annals of Mathematics and Artificial Intelligence 15 (2): 167-208 (1995) 38 Peter J. Stuckey: Negation and Constraint Logic Programming. Information and Computation 118 (1): 12-33 (1995) 37 David B. Kemp , Divesh Srivastava , Peter J. Stuckey: Bottom-Up Evaluation and Query Optimization of Well-Founded Models. TCS 146 (1&2): 145-184 (1995) 36 Kim Marriott , Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994 : 23-35 35 Peter J. Stuckey, S. Sudarshan : Compiling Query Constraints. PODS 1994 : 56-67 34 Kenneth A. Ross , Divesh Srivastava , Peter J. Stuckey, S. Sudarshan : Foundations of Aggregation Constraints. PPCP 1994 : 193-204 33 Joxan Jaffar , Michael J. Maher , Peter J. Stuckey, Roland H. C. Yap : Beyond Finite Domains. PPCP 1994 : 86-94 32 Kim Marriott , Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. SLP 1994 : 571-585 31 Jayen Vaghani , Kotagiri Ramamohanarao , David B. Kemp , Zoltan Somogyi , Peter J. Stuckey, Tim S. Leask , James Harland : The Aditi Deductive Database System. VLDB Journal 3 (2): 245-288 (1994) 30 Peter J. Stuckey, S. Sudarshan : Well-Founded Ordered Search (Extended Abstract). FSTTCS 1993 : 161-172 29 David B. Kemp , Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993 : 666-682 28 Jayen Vaghani , Kotagiri Ramamohanarao , David B. Kemp , Zoltan Somogyi , Peter J. Stuckey, Tim Leask , James Harland : Status of the Aditi Deductive Database System. ICLP 1993 : 851 27 Andrew D. Macdonald , Peter J. Stuckey, Roland H. C. Yap : Redundancy of Variables in CLP (R). ILPS 1993 : 75-93 26 Kim Marriott , Peter J. Stuckey: The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL 1993 : 334-344 25 Jayen Vaghani , Kotagiri Ramamohanarao , David B. Kemp , Zoltan Somogyi , Peter J. Stuckey, Tim Leask , James Harland : The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993 : 161 24 Kim Marriott , Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. LOPLAS 2 (1-4): 197-212 (1993) 23 Joxan Jaffar , Michael J. Maher , Peter J. Stuckey, Roland H. C. Yap : Projecting CLP (R) Constraints. New Generation Computing 11 (3): 449-469 (1993) 22 Joxan Jaffar , Michael J. Maher , Peter J. Stuckey, Roland H. C. Yap : Output in CLP. FGCS 1992 : 987-995 21 David B. Kemp , Peter J. Stuckey, Divesh Srivastava : Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992 : 288-302 20 Joxan Jaffar , Spiro Michaylov , Peter J. Stuckey, Roland H. C. Yap : An Abstract Machine for CLP(R). PLDI 1992 : 128-139 19 Nevin Heintze , Spiro Michaylov , Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. Journal of Automated Reasoning 9 (2): 231-260 (1992) 18 Kanchana Kanchanasut , Peter J. Stuckey: Transforming Normal Logic Programs to Constraint Logic Programs. TCS 105 (1): 27-56 (1992) 17 Joxan Jaffar , Spiro Michaylov , Peter J. Stuckey, Roland H. C. Yap : The CLP(R) Language and System. TOPLAS 14 (3): 339-395 (1992) 16 Jayen Vaghani , Kotagiri Ramamohanarao , David B. Kemp , Zoltan Somogyi , Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991 : 240-247 15 David B. Kemp , Divesh Srivastava , Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991 : 337-351 14 David B. Kemp , Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991 : 387-401 13 Peter J. Stuckey: Constructive Negation for Constraint Logic Programming. LICS 1991 : 328-339 12 Jayen Vaghani , David B. Kemp , Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23 (1): 37-52 (1991) 11 Kanchana Kanchanasut , Peter J. Stuckey: Eliminating Negation from Normal Logic Programs. ALP 1990 : 217-231 10 Pierre Lim , Peter J. Stuckey: Meta Programming as Constraint Programming. NACLP 1990 : 416-430 9 Pierre Lim , Peter J. Stuckey: A Constraint Logic Programming Shell. PLILP 1990 : 75-88 8 Jayen Vaghani , Kotagiri Ramamohanarao , David B. Kemp , Zoltan Somogyi , Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases 1990 : 0- 7 Michael J. Maher , Peter J. Stuckey: Expanding Query Power in Constraint Logic Programming Languages. NACLP 1989 : 20-36 6 Nevin Heintze , Spiro Michaylov , Peter J. Stuckey, Roland H. C. Yap : On Meta-Programming in CLR(R). NACLP 1989 : 52-66 5 John N. Crossley , Pierre Lim , Peter J. Stuckey: Interface Logic Programming. Australian Computer Journal 21 (2): 49-55 (1989) 4 Nevin Heintze , Spiro Michaylov , Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987 : 675-703 3 Joxan Jaffar , Peter J. Stuckey: Logic Program Semantics for Programming with Equations. ICLP 1986 : 313-326 2 Joxan Jaffar , Peter J. Stuckey: Canonical Logic Programs. JLP 3 (2): 143-155 (1986) 1 Joxan Jaffar , Peter J. Stuckey: Semantics of Infinite Tree Logic Programming. TCS 46 (3): 141-158 (1986)  DiSC'02 © 2003 Association for Computing Machinery |
