机译:onlineSPARC:答案集编程的编程环境
Tufts Univ, Medford, MA 02155 USA;
Texas Tech Univ, Lubbock, TX 79409 USA;
CS education; logic programming; answer set programming; integrated development environment; visualization;
机译:答案集和答案集编程语言
机译:答案集和答案集编程语言
机译:通过答案集编程中的元解释来计算首选答案集
机译:可能答案集程序的可能答案集和必要答案集
机译:用概率答案集编程进行推理和学习
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:AnsProlog *编程环境(APE):通过集成开发环境的实施来研究用于答案集编程的软件工具
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月