Optimization and relaxation in constraint logic languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Optimization and relaxation in constraint logic languages

Full text

Pdf (1.59 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

St. Petersburg Beach, Florida, United States

Pages: 91 - 103

Year of Publication: 1996

ISBN:0-89791-769-3

Authors

Kannan Govindarajan	Dept. of Computer Science, SUNY at Buffalo, Buffalo, NY
Bharat Jayaraman	Dept. of Computer Science, SUNY at Buffalo, Buffalo, NY
Surya Mantha	Corporate Research & Technology, Xerox Corporation, Webster, NY

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 24, Citation Count: 9

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/237721.237735 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Allen L. Brown, Jr. , Surya Mantha , Toshiro Wakayama, A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming, Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems, p.362-374, June 15-18, 1993
	2	A. Brown, S. Mantha, and T. Wakayama. Preference Logics: Towards a Unified Approach to Non- Monotonicity in Deductive Reasoning. Annals of Mathemat#cs and Artificzal Intelligence, 10:233-280, 1994.
	3	François Fages, On the Semantics of Optimization Predicates in CLP Languages, Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, p.193-204, December 15-17, 1993
	4	François Fages , Julian Fowler , Thierry Sola, Handling Preferences in Constraint Logic Programming with Relational Optimization, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, p.261-276, September 14-16, 1994
	5	Sumit Ganguly , Sergio Greco , Carlo Zaniolo, Minimum and maximum predicates in logic programming, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.154-163, May 29-31, 1991, Denver, Colorado, United States [doi>10.1145/113413.113427]
	6	M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Robert A. I(owalski and Kenneth A. Bowen, editors, Proc. 5th Joint Internatio'nal Conference and Symposium on Logic Programming, pages 108t-1086, 1988.
	7	t(. Govindarajan, B. Jayaraman, and S. Mantha. Preference Logic Grammars. Technical Report 94-27, Dept. of Computer Science, SUNY at Buffalo, 1994.
	8	K. Govindarajan, B. Jayaraman, and S. Mantha. Preference Logic Programming. In Proc. 12th Intl. Conf. on Logic Programrn#ng, pages 731-745, 1995.
	9	I(. Govindarajan, B. Jayaraman, and S. Ma.ntha. Relaxation in Constraint Logic Languages. Technical Report 95-22, Dept. of Computer Science, SUNY a.t Buffalo, 1995.
	10	J. Jaffar , J.-L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-119, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41635]
	11	J. Jaffar and M. J. Maher. Constraint Logic Programming' A Survey. Journal of Logic Programming, 1994.
	12	Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages (preliminary report), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.299-313, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298582]
	13	D. B. Kemp and P. J. Stuckey. Semantics of Logic Programs with Aggregates. In Proc. Internatzonal Logic Programming Symposium, 1991.
	14	E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy I(an, and D. B. Shmoys (eds.). The Traveling Salesman Problem: a Guided Tour of Combinatomal Optimization. Wiley and Sons, Chichester, United Kingdom, 1985.
	15	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	16	M. J. Maher and P. J. Stuckey. Expanding Query Power in Constraint Logic Programming Languages. In E. L. Lusk and R. A. Overbeek, editors, Proc. North Amerzcan Conference on Logic Programming, pages 20-36, 1989,
	17	Suryanarayana Murthy Mantha, First-order preference theories and their applications, University of Utah, Salt Lake City, UT, 1992
	18	Kim Marriott , Peter J. Stuckey, Semantics of constraint logic programs with optimization, ACM Letters on Programming Languages and Systems (LOPLAS), v.2 n.1-4, p.197-212, March–Dec. 1993 [doi>10.1145/176454.176522]
	19	F. C. N. Pereira and D. H. D. Warren. Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelhgence, 13:231-278, 1980.
	20	Kenneth A. Ross , Yehoshua Sagiv, Monotonic aggregation in deductive databases, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.114-126, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137852]
	21	S. Sudarshan , Raghu Ramakrishnan, Aggregation and Relevance in Deductive Databases, Proceedings of the 17th International Conference on Very Large Data Bases, p.501-511, September 03-06, 1991
	22	S. Sudarshan , Divesh Srivastava , Raghu Ramakrishnan , Catriel Beeri, Extending the well-founded and valid semantics for aggregation, Proceedings of the 1993 international symposium on Logic programming, p.590-608, December 1993, Vancouver, British Columbia, Canada
	23	Allen Van Gelder , Kenneth A. Ross , John S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM (JACM), v.38 n.3, p.619-649, July 1991 [doi>10.1145/116825.116838]
	24	Molly Ann Wilson, Hierarchical constraint logic programming, University of Washington, Seattle, WA, 1994

CITED BY 9

	J. Jaffar , R. Yap, Constraint programming 2000, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Bharat Jayaraman , Pallavi Y. Tambay, Constrained objects for modeling complex structures (extended abstract), Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), p.159-160, January 2000, Minneapolis, Minnesota, United States
	Pascal Van Hentenryck , Vijay Saraswat, Strategic directions in constraint programming, ACM Computing Surveys (CSUR), v.28 n.4, p.701-726, Dec. 1996
	Bharat Jayaraman , Pallavi Y. Tambay, Constrained objects for modeling complex structures (extended abstract) (poster session), Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), p.71-72, January 2000, Minneapolis, Minnesota, United States
	Hai-Feng Guo , Bharat Jayaraman , Gopal Gupta , Miao Liu, Optimization with mode-directed preferences, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.242-251, July 11-13, 2005, Lisbon, Portugal
	Hai-Feng Guo , Bharat Jayaraman, Mode-directed preferences for logic programs, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Pascal Van Hentenryck , Vijay Saraswat, Constraint Programming: Strategic Directions, Constraints, v.2 n.1, p.7-33, April 1997
	Joxan Jaffar , Roland H. C. Yap, Constraint Programming 2000: A Position Paper, Constraints, v.2 n.1, p.71-73, April 1997
	Elisa Bertino , Ahmed K. Elmagarmid , Mohand-Saïd Hacid, A Logical Approach to Quality of Service Specification in Video Databases, Multimedia Tools and Applications, v.23 n.2, p.75-101, June 2004