University Timetabling Using Constraint Logic Programming
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Modular Logic Programming and Generalized Quantifiers
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
The Design of the Zinc Modelling Language
Constraints
Universal Booleanization of Constraint Models
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Stable models and difference logic
Annals of Mathematics and Artificial Intelligence
Modular Equivalence in General
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Integrating an answer set solver into prolog: ASP-PROLOG
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
SMODELSA: a system for computing answer sets of logic programs with aggregates
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Present and Future Challenges for ASP Systems
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
A semantic account for modularity in multi-language modelling of search problems
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Translation-based constraint answer set solving
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Hi-index | 0.00 |
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. In the framework a constraint model consists of modules with clear input/output interfaces. When combining modules, apart from the interface, a module is a black box whose internals are invisible to the outside world. Inside a module a chosen constraint language (approaches such as CP, ASP, SAT, and MIP) can be used. This leads to a clear modular semantics where the overall semantics of the whole constraint model is obtained from the semantics of individual modules. The framework supports multi-language modeling without the need to develop a complicated joint semantics and enables the use of alternative semantical underpinnings such as default negation and classical negation in the same model. Furthermore, computational aspects of the framework are considered and, in particular, possibilities of benefiting from the known module structure in solving constraint models are studied.