Object lens: a “spreadsheet” for cooperative work
ACM Transactions on Information Systems (TOIS)
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Metaheuristics for High School Timetabling
Computational Optimization and Applications
University Timetabling Using Constraint Logic Programming
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Using Oz for College Timetabling
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Developing constraint-based applications with spreadsheets
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Enhancing the Programmability of Spreadsheets with Logic Programming
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Concurrency, Graphs and Models
Plato: a compiler for interactive web forms
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Calc/Cream: openoffice spreadsheet front-end for constraint programming
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Hi-index | 0.00 |
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.