Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Practical Aspects of Declarative Languages

PADL 2000: Practical Aspects of Declarative Languages pp 308–323Cite as

Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1753))

Abstract

We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them; our Knowledgesheet interface instead allows finite domain constraints to be attached to individual cells that are then solved to obtain a solution. This extension provides an easy-to-use interface for solving a large class of constraint satisfaction problems—those whose specification and solution conforms to a 2-dimensional structure, e.g., scheduling problems, timetabling problems, etc. A prototype for the Knowledgesheet has been developed and applied to solve many different types of problems.

The authors have been partially supported by NSF grants CDA 97-29848, CDA 98-02251, CCR 99-00320, CCR 99-04063.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Van Hentenryck, P., Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, MA, England, 1989.

    Google Scholar 

  2. Marriott, K., and Stuckey, P. J., Programming with Constraints: An Introduction, The MIT Press, Cambridge, MA, England, 1998.

    MATH  Google Scholar 

  3. Cohen, J., Logic Programming and Constraint Logic Programming, The Computer Science and Engg. Handbook, pp. 2066–2093, CRC Press, Inc., Florida, US, 1996.

    Google Scholar 

  4. H.-J. Goltz and D. Matzke. University Timetabling Using Constraint Logic Programming, Proc. PADL’99, Springer LNCS 1551, 1999.

    Google Scholar 

  5. G. Gupta and S. F. Akhter. Knowledgesheet: A Spreadsheet-based Interface for Interactively Solving Scheduling Problems. Patent pending. Feb. 1999.

    Google Scholar 

  6. Boizumault, P., Delon, Y., and Peridy, L., Constraint Logic Programming for Examination Timetabling, The Journal of Logic Programming, pp. 217–233, 1995.

    Google Scholar 

  7. Sterling, L., and Shapiro, E., The Art of Prolog, The MIT Press, 1994.

    Google Scholar 

  8. Meier, M., ECLiPSe User’s Manual, IC-PARC Tech. Rep., 1997.

    Google Scholar 

  9. S. F. Akhter. Knowledgesheet: A User-Interface for Solving Constraint Satisfaction Problems. Master’s thesis. New Mexico State University, July’ 98.

    Google Scholar 

  10. Henz, M., and Würtz, J., Using Oz for College Timetabling, In proceedings of the 1995 Int’l Conf. on Automated Timetabling, Edinburgh, Scotland.

    Google Scholar 

  11. Colorni, A., Dorigo, M., and Maniezzo, V., Metaheuristics for High-School Timetabling, Computational Optimization and Applications, 9(3): 277–298, 1998.

    Article  Google Scholar 

  12. Renschler, M., Configuration Spreadsheet for Interactive Constraint Problem Solving, Conference Proceeding, Proc. Practical Applications of Constraint Tech., 1998.

    Google Scholar 

  13. Lai, K., Malone, T.,W., and Yu, K., Object-Lens: A “Spreadsheet” for Cooperative Work, ACM Transactions on Office Information Systems, 6(4): 332–353, 1998.

    Article  Google Scholar 

  14. Yoder, A., G., and Cohn, D., L., Real Spreadsheets for Real Programmers Proc. International Conference on Computer Languages, IEEE, pp. 20–30, 1994.

    Google Scholar 

  15. Hofe, H., M., ConPlan/SIEDAplan: Personnel Assignment as a Problem of Hierarchical Constraint Satisfaction, Conference Proceeding, PACT 97, pp. 257–271.

    Google Scholar 

  16. Shvetsov, I., Kornienko, V., and Preis, S., Interval Spreadsheet for problems of financial planning, Conference Proceeding, PACT 97, pp. 373–385.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technology CAD Group, Intel Corporation, Portland, Oregon, USA

    Gopal Gupta

  2. Laboratory for Logic, Databases, and Advanced Programming Department of Computer Science, New Mexico State University, Las Cruces, NM, USA

    Shameem F. Akhter

Authors
  1. Gopal Gupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shameem F. Akhter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science New Science Hall, New Mexico State University, Box 30001, MS CS, Stewart Street, Las Cruces, NM, 88003, USA

    Enrico Pontelli

  2. COPPE/Sistemas e Computação Centro de Tecnologia, Universidade Federal do Rio de Janeiro, Bloco H-319, Cx. Postal 68511, Rio de Janeiro, Brazil, CEP:21945-970

    Vítor Santos Costa

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gupta, G., Akhter, S.F. (1999). Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. In: Pontelli, E., Santos Costa, V. (eds) Practical Aspects of Declarative Languages. PADL 2000. Lecture Notes in Computer Science, vol 1753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46584-7_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-46584-7_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66992-0

  • Online ISBN: 978-3-540-46584-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation