Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2016
Higher-order logic programming: an expressive language for representing qualitative preferences
PPDP '16: Proceedings of the 18th International Symposium on Principles and Practice of Declarative ProgrammingPages 24–37https://doi.org/10.1145/2967973.2968607We consider the problem of concisely representing and handling preferences in logic programming and relational databases. Our starting point is a well-known proposal [8] which advocates the embedding of first-order preference formulas into relational ...
- research-articleSeptember 2016
A framework for easing the development of applications embedding answer set programming
PPDP '16: Proceedings of the 18th International Symposium on Principles and Practice of Declarative ProgrammingPages 38–49https://doi.org/10.1145/2967973.2968594Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning (KRR), especially for its high expressiveness and the ...
- research-articleSeptember 2016
Testing of concurrent and imperative software using CLP
PPDP '16: Proceedings of the 18th International Symposium on Principles and Practice of Declarative ProgrammingPages 1–8https://doi.org/10.1145/2967973.2968593Testing is a vital part of the software development process. In static testing, instead of executing the program on normal values (e.g., numbers), typically the program is executed on symbolic variables representing arbitrary values. Constraints on the ...
